컴퓨터 과학

컴퓨터 과학의 학생, 연구원 및 실무자를위한 Q & A

2
세대 가비지 수집기는 본질적으로 캐시 친화적입니까?
일반적인 세대 가비지 수집기는 최근 할당 된 데이터를 별도의 메모리 영역에 유지합니다. 일반적인 프로그램에서는 많은 데이터가 수명이 짧으므로 어린 가비지 (작은 GC주기)를 자주 수집하고 오래된 가비지를 수집하는 것은 메모리 오버 헤드와 GC를 수행하는 데 소요되는 시간 사이의 좋은 절충안입니다. 직관적으로, 단일 지역 수집기와 비교하여 세대 가비지 수집기의 이점은 캐시에 대한 …
6
데이터베이스 계산에서 그룹, 모노 이드 및 링은 어떤 용도로 사용됩니까?
Twitter와 같은 회사가 그룹, 모노 이드 및 반지와 같은 대수 개념에 관심을 갖는 이유는 무엇입니까? github : twitter / algebird 의 저장소를 참조하십시오 . 내가 찾을 수있는 것은 : Bloom filter , HyperLogLog 및 CountMinSketch 와 같은 흥미로운 근사 알고리즘을위한 Monoids 구현 . 이를 통해 숫자처럼 복잡한 작업을 생각하고 hadoop …
7
PRNG를 사용하여 물건을 마술처럼 압축 할 수 있습니까?
이 아이디어는 프로그램을 배우고 처음 PRNG를 만난 어린 시절에 나에게 일어났다. 나는 아직도 그것이 얼마나 현실적인지 알지 못하지만 이제 스택 교환이 있습니다. 놀라운 압축 알고리즘을위한 14 살짜리 계획은 다음과 같습니다. PRNG s를 가져와 시드 로 시드 하여 긴 일련의 의사 난수 바이트를 얻습니다. 이 시퀀스를 다른 당사자에게 전송하려면 PRNG에 대한 …
6
비대칭 지연으로 네트워크에서 클록 동기화
컴퓨터에 초기화되지 않은 정확한 시계가 있다고 가정하십시오. 즉, 컴퓨터 시계의 시간은 실시간 + 일정한 오프셋입니다. 컴퓨터가 네트워크에 연결되어 있으며이 오프셋을 사용하여 상수 오프셋 B 를 결정하려고합니다.B비B . 간단한 방법은 컴퓨터가 현지 시간 을 기록하여 시간 서버에 쿼리를 보내는 것 B+C1비+씨1B + C_1입니다. 시간 서버 한번에 쿼리를 수신 T티T 및 포함 …
3
기능적 언어에 대한 알고리즘 복잡도는 어떻게 모델링됩니까?
알고리즘 복잡도는 하위 수준 세부 사항과 독립적으로 설계되었지만 명령형 모델 (예 : 배열 액세스 및 트리의 노드 수정에 O (1) 시간이 걸림)을 기반으로합니다. 순수한 기능적 언어에서는 그렇지 않습니다. Haskell 목록은 액세스하는 데 선형 시간이 걸립니다. 트리에서 노드를 수정하려면 트리의 새 사본을 작성해야합니다. 그렇다면 기능적 언어에 대한 알고리즘 복잡성의 대체 모델링이 …
8
프로그래밍 언어의 "속도"는 무엇입니까?
프로그램이 두 개의 다른 언어로 작성되었다고 가정하십시오. 컴파일러가 동일한 바이트 코드를 생성하는 경우 언어 Y 대신 언어 X를 사용해야하는 이유는 무엇입니까? 한 언어가 다른 언어보다 빠르다는 것은 무엇입니까? "C는 가장 빠른 언어이고 ATS는 C와 같은 언어입니다." 프로그래밍 언어에 대한 "빠른"정의를 이해하려고했습니다.
2
라이스 정리에 당황하다
요약 : 라이스 정리에 따르면 모든 것이 불가능합니다. 그럼에도 불구하고, 나는 어떻게 이 가정으로 불가능한 것들에게 모든 시간을! 물론 라이스 정리는 단순히 "모든 것이 불가능하다"고 말하는 것은 아닙니다. "컴퓨터 프로그램의 모든 속성은 계산할 수 없습니다." (모발을 나누려면 모든 "사소하지 않은"속성입니다. 즉, 모든 프로그램이 있거나 프로그램이 없는 속성은 간단하게 계산할 수 …
6
왜 양자 컴퓨터가 일반 컴퓨터보다 더 빠릅니까?
나는 현재 양자 물리학에 관한 책 (그리고 많은 위키 백과)을 읽고 있는데, 오늘날 우리 컴퓨터보다 양자 컴퓨터가 어떻게 더 빠를 수 있는지 이해하지 못했습니다. 양자 컴퓨터는 어떻게 지수 컴퓨터에서만 지수 시간으로 해결할 수있는 서브 지수 시간으로 문제를 해결할 수 있습니까?
3
순진 곱셈보다 효율적인 요인 알고리즘
반복 및 재귀를 모두 사용하여 계승을 코딩하는 방법을 알고 있습니다 (예 n * factorial(n-1): 예). 나는 팩토리얼을 재귀 적으로 반으로 나누어 더 효율적인 코딩 방법이 있음을 교과서에서 (추가 설명없이) 읽었습니다. 왜 그런지 이해합니다. 그러나 나는 스스로 코딩을 시도하고 싶었지만 시작해야 할 곳을 모른다고 생각합니다. 친구가 기본 사례를 먼저 쓰라고 제안했습니다. …
2
본질적으로 모호하고 결정론적인 문맥이없는 언어가 있습니까?
결정 론적 푸시 다운 오토 마톤에 의해 수용 될 수있는 경우에만 문맥없는 언어 결정론을 호출하고 그렇지 않으면 비결정론 적이라고하자. 언어를 생성하는 모든 문맥이없는 문법이 모호하고 그렇지 않으면 모호하지 않은 경우에만 문맥이없는 언어를 본질적으로 모호하게하자. 결정적이고 모호하지 않은 언어의 예는 다음과 같은 언어입니다. 비결정적이고 명확한 언어의 예는 다음과 같은 언어입니다. { …
3
예 또는 아니오가 아닌 결정 문제 대“실제”문제
나는 몇 가지 문제가에 근접하기 어려운 것을 여러 곳에서 읽기 (이다 NP-하드 근사치 를). 그러나 근사는 결정적인 문제가 아닙니다. 대답은 예 또는 아니오가 아닌 실수입니다. 또한 각각의 원하는 근사 계수에 대해 많은 정답과 오답이 있으며, 이는 원하는 근사 계수로 바뀝니다! 그렇다면이 문제가 NP-hard라고 어떻게 말할 수 있습니까? (상기 제 탄환 …
3
논리 란 정확히 무엇입니까?
전제 조건에 대한 또 다른 질문을 한 것이 사과가 될 수 있지만 시작점에 대해서는 혼란 스러웠습니다. 나는 "Modal Logic", "Temporal Logic", "First-order Logic", "Second order Logic"및 "Higher order Logic"과 같은 다양한 용어를 접했습니다. 이 맥락에서 "논리"는 정확히 무엇을 의미합니까? "논리"라는 단어를 어떻게 엄격하게 정의합니까? 나는 몇 권의 책의 시작 페이지를 …
3
Martin-Löf 유형 이론 소개
타입 이론에 대한 Per Martin-Löfs 아이디어에 대한 가장 좋은 소개는 무엇입니까? 나는 오레곤 PL 여름 학교에서 강의를 보았지만 여전히 다음 질문에 의아해합니다. 유형은 무엇입니까? 일반적인 ZF 공리로 정의 할 수 있고 매우 직관적 인 콘크리트 모델이 있기 때문에 세트가 무엇인지 알고 있습니다. 물건으로 가득 찬 바구니를 생각하십시오. 그러나 나는 유형에 …
11
컴퓨터 과학의 데이터가 왜 이산적인 것으로 간주됩니까?
데이터의 "구조"는 부울 대수에 전적으로 의존하지만 다음과 같이 이해합니다. 왜 데이터가 연속적인 것이 아니라 이산적인 수학적 실체로 간주됩니까? 이것과 관련하여 : 데이터를 차원 의 연속 엔터티로 구조화 할 때 위반되는 결점 또는 변형은 무엇입니까 ?rrr 저학년 수학 학생으로서 나는이 분야의 전문가가 아니므로, 내가 5 살인 사람이 나에게 이것을 설명한다면 정말 …
6
점근 적 성장에 의한 분류 기능
예를 들어 함수 목록이 있다고 가정합니다. nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots 이를 무정형으로 정렬하려면 어떻게해야합니까? f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , 그것들이 실제로 쌍으로 비교된다고 가정 합니까 ( 여기도 참조 하십시오 )? 의 정의를 사용하는 것은 어색한 것으로 보이며, 적절한 상수 와 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.