컴퓨터 과학

Kolmogorov-Complexity 를 정의하는 방법에는 여러 가지가 있으며 일반적으로 이러한 모든 정의는 부가 상수와 동일합니다. 경우 즉 및 콜 모고 로프 복잡도 함수는 (다른 언어 또는 모델을 통해 정의), 다음 상수가 존재 등을 그 모든 문자열에 대한 , . 나는 이것이 모든 Kolmogorov 복잡도 함수 와 모든 대해상수 .K 2 c …

20 computability  kolmogorov-complexity 

양자 Toffoli 게이트에 관해서 : 그것은이다 classicaly 그렇다면 보편적하고, 그 이유는 무엇입니까? 그것은 양자 보편적이며 왜 그런가?

20 quantum-computing  circuits  turing-completeness 

사용자 정의 도메인 특정 언어를 구문 분석하고 싶습니다. 이 언어는 일반적으로 수학 표기법에 가깝습니다 (자연어를 구문 분석하지 않습니다). 사용자는 다음과 같이 BNF 표기법으로 DSL을 정의합니다. expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr like like 입력은 1 + ( 2 * 3 )승인되어야하고, …

20 formal-languages  parsers  compilers 

Immerman 에 따르면 SQL 쿼리 와 관련된 복잡성 클래스 는 Q ( F O ( C O U N T ) ) 의 안전한 쿼리 클래스입니다 (일차 쿼리와 계산 연산자). SQL은 안전한 쿼리를 캡처합니다. (즉, 모든 SQL 쿼리의 복잡도가 Q ( F O ( C O U N T ) …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Software Engineering Stack Exchange에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 보편적으로 정량화 된 유형 : 가 하위 유형인지 또는 동일한 시그니처 를 갖는 존재 적으로 정량화 된 타입 의 특별한 경우 :T a = ∀ X : { …

20 logic  type-theory  typing 

레이블이없는 뿌리 이진 트리를 고려하십시오. 우리는 할 수 있습니다 압축 하위 트리에 대한 포인터있을 때마다 : 같은 나무를 T티T 와 와 (해석 구조 평등), 우리는 저장 (wlog) 및 모든 포인터 대신 가리키는 포인터와 . 예를 들어 uli의 답변 을 참조하십시오 . T = T ' = T T ' TT′티'T'T=T′티=티'T …

20 algorithms  data-structures  trees  binary-trees 

P 대 NP 문제에 대한 두 가지 가능성, P = NP 및 P NP의 가능성을 고려하십시오 .≠≠\neq Q를 알려진 NP-hard 문제 중 하나로하자. P = NP를 증명하려면 Q에 대해 단일 다항식 시간 알고리즘 A를 설계하고 A가 Q를 올바르게 해결한다는 것을 증명해야합니다. P NP 를 증명하려면 다항식 시간 알고리즘이 Q를 해결 …

20 complexity-theory  p-vs-np 

내가 일반적으로 구현하는 많은 최대 흐름 알고리즘, Dinic의 알고리즘, 푸시 레이블 등은 동적 트리 (링크 컷 트리라고도 함)를 사용하여 점근 적 시간 비용을 개선 할 수 있습니다 . 푸시 레이블 재 지정은 또는 또는 정상적으로 실행되지만 동적 트리O(V2E)O(V2E)O(V^2E)O(V3)O(V3)O(V^3)O(V2E−−√)O(V2E)O(V^2\sqrt{E})O(VElog(V2/E))O(VElog⁡(V2/E))O(VE \log(V^2/E)) Dinic의 알고리즘은 에서 실행되지만 동적 트리O(V2E)O(V2E)O(V^2E)O(VElog(V))O(VElog⁡(V))O(VE\log(V)) 그러나 대부분의 라이브러리에서 max-flow 알고리즘의 …

20 reference-request  graphs  data-structures  network-flow 

부동 소수의 변성 사례로 간주 될 수있는 고정 소수점 표현을 고려하십시오. 음수에 2의 보수를 사용하는 것은 전적으로 가능합니다. 그러나 부동 소수점 숫자에 부호 비트가 필요한 이유는 무엇입니까? 가수 비트가 2의 보수를 사용해서는 안됩니까? 또한 지수 비트가 부호있는 크기 표현 (가수 비트와 유사) 또는 2의 보수 표현 대신 바이어스를 사용하는 이유는 …

20 computer-architecture  floating-point  number-formats 

복잡성이 3n과 같은 상수를 갖는 경우 여러 번이 상수를 무시하고 O (3n)이 아니라 O (n)이라고 말합니다. 그러한 세 가지 변화를 어떻게 무시할 수 있습니까? 어떤 것이 다른 것보다 3 배 더 빠르게 변합니다! 우리는 왜이 사실을 무시합니까?

20 complexity-theory  asymptotics  landau-notation 

희소 무향 그래프 의 둘레 를 찾는 방법이 궁금합니다 . 드문 드문해서 나는 합니다. 최적이라는 것은 가장 낮은 시간 복잡도를 의미합니다.| 이자형| =O( | V| )|E|=O(|V|)|E|=O(|V|) 무 방향 그래프에 대한 Tarjan의 알고리즘 에 대한 일부 수정에 대해 생각 했지만 좋은 결과를 찾지 못했습니다. 실제로 에서 2- 연결된 구성 요소를 찾을 …

20 algorithms  time-complexity  graph-theory 

이것이 일반적인 질문입니다. 누구나 구현을 구체적으로 만들고 싶다면 유닉스 관련 것들을 선호합니다. 그러나 먼저 다음과 같은 일반적인 문제를 알아야합니다. 단일 프로세스에 여러 스레드가있을 수 있다고 읽었습니다. 동일한 프로세스의 여러 스레드가 서로 공유합니다. 나는 그들이 무엇을 공유하고 무엇을 알고 싶어요. 프로세스가 주소 공간, 스택, 힙, 전역 변수, 코드, 데이터, OS 리소스로 …

20 operating-systems  threads 

어셈블리 언어는 어셈블러에 의해 기계 언어로 변환됩니다. 컴파일러가 고급 언어를 어셈블리로 변환하는 이유는 무엇입니까? 고급 언어에서 기계 코드로 직접 변환 할 수 없습니까?

19 compilers  code-generation  assembly 

이 질문은 컴퓨터 과학 스택 교환에서 대답 할 수 있기 때문에 이론적 인 컴퓨터 과학 스택 교환에서 마이그레이션 되었습니다. 6 년 전에 이주했습니다 . 그것은 가능한가 과의 카디널리티 카디널리티와 동일 ? 또는 는 와 가 다른 카디널리티를 가져야 한다는 것을 의미 합니까?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

19 complexity-classes  p-vs-np 

때로는 알고리즘을 신중하게 검사하면서 시간의 복잡성을 쉽게 식별 할 수 있습니다. 두 개의 중첩 루프가있는 알고리즘 NNN은 분명히 N2N2N^2 입니다. 두 값 의 NNN 그룹의 가능한 모든 조합을 탐색하는 알고리즘 은 분명히 2N2N2^N 입니다. 그러나 나는 Θ(NlogN)Θ(Nlog⁡N)\Theta(N \log N) 복잡성을 가진 알고리즘을 "스팟"하는 방법을 모른다 . 예를 들어 재귀 병합 …

19 algorithm-analysis  time-complexity  intuition