이론 컴퓨터 과학

에지 추가 당 O (N ^ 2) 미만의 시간 복잡도로 유 방향 비순환 그래프의 전 이적 폐쇄를 유지하기위한 온라인 알고리즘을 찾고 있습니다. 내 현재 알고리즘은 다음과 같습니다 For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ \cup { v …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

튜링 머신에 의해 정의 된 언어 L을 결정하면 L이 NP에 있는지 알고리즘 적으로 결정할 수 있습니까?

15 cc.complexity-theory  computability  turing-machines 

이 질문은 주어진 배열의 무작위 셔플을 반환하는 Fisher-Yates 알고리즘과 관련이 있습니다. 위키 백과 페이지 의 복잡도가 O (n)의 것을 말한다, 그러나 나는 (N N 로그) O라고 생각합니다. 각 반복 i에서 임의의 정수는 1과 i 사이에서 선택됩니다. 단순히 메모리에 정수를 쓰는 것은 O (log i)이며 n 개의 반복이 있기 때문에 총계는 …

15 ds.algorithms  permutations 

최근의 연구에서, 우리는 가정하에, 조합 맥락에서 발생한 전산 문제를 해결 , 는 IS 의 -version . 우리가 찾은 에 관한 유일한 논문 은 Complexity Zoo에 인용 된 Beigel-Buhrman-Fortnow 1998 논문 이었습니다 . 우리는 패리티 버전의 - 완전한 문제 ( 이 질문 참조 )를 취할 수 있지만 실제로는 에서 완전하지 않을 …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

나는 LYAH 에서 실제로 이해가되지 않는 장을 읽고있었습니다 . 나는 지퍼가 나무와 같은 구조를 임의로 가로 지르는 것을 이해하지만 그것에 대해 약간의 설명이 필요합니다. 또한 지퍼를 모든 데이터 구조로 일반화 할 수 있습니까?

15 ds.data-structures  functional-programming  tree 

우리가 큰 (감독) 그래프가있는 경우 와 작은 뿌리 나무 ,의 서브 그래프 찾기위한 가장 잘 알려진 복잡성 무엇 에 동형를 ? 와 가 모두 나무이고 가 평면이거나 나무 너비 (및 기타) 경계가 있는 하위 트리 동형에 대한 결과를 알고 있지만이 그래프와 트리의 경우에는 해당되지 않습니다. GGGHHHGGGHHHGGGHHHGGG

15 ds.algorithms  reference-request  graph-theory 

문제 하자 = ⟨ Σ , Q , Q 0 , F는 , Δ가 ⟩ 언어 인식하는 부치 오토메이션 수 L ⊆ Σ ω를 . 우리는 가정 A는 다음과 같은 의미에서 수용 전략을 가지고 : 함수가 σ : Σ * → Q 의 파일럿 실행하는 데 사용할 수 있습니다 A는 …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

복잡성 클래스 BQP는 클래식 입력을 취하고 확률 적 클래식 출력을 뱉어내는 다항식 시간 양자 서브 루틴에 해당합니다. 퀀텀 어드바이스는 미리 결정된 퀀텀 어드바이스 상태의 사본을 포함하지만 평상시와 같이 고전적인 입력을 포함하도록 수정합니다. 다항식 시간 퀀텀 서브 루틴의 복잡성 클래스는 임의의 퀀텀 상태를 입력으로 취하고 복제가 없기 때문에 하나의 사본 만 …

15 cc.complexity-theory  complexity-classes  quantum-computing 

주어 행렬 (가정 , 컬럼의 랭크 및 기준을 계산하는 가장 빠른 알고리즘이 무엇인가)?m×nm×nm \times nm≥nm≥nm \ge n 선형 Matroid 교차를 통해 해결할 수 있다는 것을 알고 있습니다 .O 시간 결정 알고리즘과 시간 무작위 알고리즘을 의미합니다. 거기에 보다 직접적 행렬 곱셈에 문제 (또는 가우스 소거법)를 감소하는 시간 결정적 알고리즘?O(mn1.62)O(mn1.62)O(mn^{1.62})O(mnω−1)O(mnω−1)O(mn^{\omega-1})O(mnω−1)O(mnω−1)O(mn^{\omega-1})

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

우리는 종종 Turing 머신이 사용할 수있는 공간의 양에 한계가있는 복잡성 클래스를 고려합니다 (예 : DSPACE(f(n))DSPACE(f(n))\textbf{DSPACE}(f(n)) 또는 . 복잡도 이론 초기에는 공간 계층 정리와 및 와 같은 중요한 클래스를 만드는 등의 클래스에서 많은 성공을 거둔 것으로 보입니다 . 양자 계산에 대한 유사한 정의가 있습니까? 또는 양자 유사체가 흥미롭지 않은 명백한 이유가 …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

세트 커버의 다음 변형은 무엇입니까? 세트 S, S의 서브 세트 모음 C 및 양의 정수 K가 주어지면, S의 모든 요소 쌍이 선택된 서브 세트 중 하나에 놓 이도록 C에 K 세트가 존재한다. 참고 :이 문제가 NP-Complete임을 확인하기는 어렵지 않습니다. 정상적인 설정 표지 문제 (S, C, K)가 주어지면 S ', S' …

15 np-hardness  set-cover  cc.complexity-theory 

{ x : A x ≤ b , x ≥ 0 }으로 정의 된 폴리 토프 피PP 있습니다.{ x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} 질문 : 정점 Vvv 가 피PP 인 경우 P 의 그래프에서 Vvv 의 …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

파라 메트릭 다형성에 대한 관계 의미론의 본질을 이해하는 자연적인 방법이 있습니까? 나는 존 레이놀즈 (John John Reynolds)의 "유형, 추상화 및 파라 메트릭 다형성"이라는 관계 파라 메트릭의 개념에 대해 읽기 시작했고, 관계 시맨틱 스가 어떻게 동기 부여되는지 이해하는 데 어려움을 겪고있다. 집합 의미론은 나에게 완벽하게 의미가 있으며, 집합 의미론이 파라 메트릭 …

15 type-theory  parametricity 

SAT 솔버는 하나의 수량 자로 부울 수식의 유효성을 확인할 수있는 강력한 방법을 제공합니다. 예를 들어, 의 유효성을 검사합니다 . φ ( x ) , SAT 솔버를 사용하여 φ ( x ) 가 만족 스러운지 여부를 결정할 수 있습니다. ∀ x 의 유효성을 검사합니다 . φ ( x ) , SAT …

15 ds.algorithms  lo.logic  sat  boolean-functions 

언어의 (일반화 된) 별 높이는 확장 된 정규 표현식으로 언어를 표현하는 데 필요한 Kleene 별의 최소 중첩입니다. 유한 알파벳 대한 확장 정규 표현식 은 다음을 충족합니다.ㅏAA (1) 및 a 는 모든 A에 대한 확장 정규식 입니다.∈∅ , 1∅,1\emptyset, 1ㅏaa∈a∈Aa\in A (2) 모든 확장 정규식 이자형, FE,FE,F ; 이자형∪ FE∪FE\cup F …

15 fl.formal-languages  lower-bounds  regular-expressions