주문 유지 보수 문제점 (또는 "목록의 주문 유지")은 조작을 지원하는 것입니다. singleton: 하나의 항목으로 목록을 작성하고 이에 대한 포인터를 리턴합니다. insertAfter: 항목에 대한 포인터가 주어지면 그 뒤에 새 항목을 삽입하고 새 항목에 대한 포인터를 반환합니다. delete: 항목에 대한 포인터가 주어지면 목록에서 제거합니다. minPointer: 동일한 목록의 항목에 대한 두 개의 포인터가 …
" FPH에 대한 응용 이론 "논문을 읽을 때 다음과 같은 구절이 발생할 수 있습니다. 계산 복잡성의 클래스를 특징 짓는 이론을 고려할 때 세 가지 다른 접근 방식이 있습니다. 하나는 이론 내에서 정의 될 수있는 기능은 특정 복잡성 클래스 내에서 "자동"입니다. 이러한 계정에서는 구문이 적절한 클래스에 머 무르도록 제한되어야합니다. 이로 인해 …
근사 계수가 1 + c 인 P에 대해 다항식 시간 근사 알고리즘이 존재하도록 상수 c> 0이 존재하면 문제 P는 APX에 있다고합니다. APX에는 PTAS (정수 c> 0을 선택하여 볼 수 있음)와 P가 포함되어 있습니다. APX가 NP에 있습니까? 특히 일부 근사 계수에 대해 다항식 시간 근사 알고리즘이 존재한다는 것은 문제가 NP에 있음을 …
최근의 연구에서, 우리는 가정하에, 조합 맥락에서 발생한 전산 문제를 해결 , 는 IS 의 -version . 우리가 찾은 에 관한 유일한 논문 은 Complexity Zoo에 인용 된 Beigel-Buhrman-Fortnow 1998 논문 이었습니다 . 우리는 패리티 버전의 - 완전한 문제 ( 이 질문 참조 )를 취할 수 있지만 실제로는 에서 완전하지 않을 …
복잡성 클래스 BQP는 클래식 입력을 취하고 확률 적 클래식 출력을 뱉어내는 다항식 시간 양자 서브 루틴에 해당합니다. 퀀텀 어드바이스는 미리 결정된 퀀텀 어드바이스 상태의 사본을 포함하지만 평상시와 같이 고전적인 입력을 포함하도록 수정합니다. 다항식 시간 퀀텀 서브 루틴의 복잡성 클래스는 임의의 퀀텀 상태를 입력으로 취하고 복제가 없기 때문에 하나의 사본 만 …
우리는 종종 Turing 머신이 사용할 수있는 공간의 양에 한계가있는 복잡성 클래스를 고려합니다 (예 : DSPACE(f(n))DSPACE(f(n))\textbf{DSPACE}(f(n)) 또는 . 복잡도 이론 초기에는 공간 계층 정리와 및 와 같은 중요한 클래스를 만드는 등의 클래스에서 많은 성공을 거둔 것으로 보입니다 . 양자 계산에 대한 유사한 정의가 있습니까? 또는 양자 유사체가 흥미롭지 않은 명백한 이유가 …
있지만 N C 2 에있는 것으로 알려지지 않은 흥미로운 문제가 있습니까? Cook은 '빠른 병렬 알고리즘 문제의 분류법'논문에서 MIS가 N C 5 에만있는 것으로 알려져 있지만 이후 N C 2 로 축소되었다고 언급했습니다 . 깊이를 향상시키는 데 집중하는 것처럼 보이는 polylog-depth 병렬 알고리즘에 다른 문제가 있는지 궁금합니다.N C엔씨\mathsf{NC}N C2엔씨2\mathsf{NC^{2}}N C5엔씨5\mathsf{NC^{5}}N C2엔씨2\mathsf{NC^{2}} …
Arora 및 Barak의 Computational Complexity 책 에서 NEXP의 ACC 하한에 대한 부록을 읽고 있습니다. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf 핵심 정리 중 하나는 회로에서 다항식 차수 및 준 다항식 계수를 갖는 정수에 대한 다중 선 다항식으로 변환하는 것입니다. 동등하게, 회로 클래스 . 이것은 폴리 폴리 알릭스 팬인 (polylogarithmic fan-in)과 함께 최하위에 준 폴리 노 …
이 질문은 Jan Pax가 Foundations of Mathematics 메일 링리스트 에서 물었습니다 . 확실히 이지만 이 질문에 대한 답변에서 ⊕ P ⊆ P P (또는 P P 가 그 질문에 대한 가능한 답이 될 것임) 인지 알 수없는 것으로 의심됩니다. 알 수없는 경우 오라클 분리가 있습니까?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus …
나는 오랫동안 (1) NP-hard이고 (2) NP에 있으면 문제가 NP-complete라고 생각했다. 그러나 유명한 논문 "타원체 방법과 조합 최적화의 결과" 에서 저자들은 소수 색수 문제가 NP에 속하고 NP-hard이지만 NP- 완전한 것으로 알려져 있지 않다고 주장합니다. 논문의 세 번째 페이지에서 저자는 다음과 같이 씁니다. ... 그래프의 꼭짓점-포장 문제는 분수 색수 문제와 같은 의미로,이 …
I는 알고 (만약 NP 오라클 대수적 많은 전화)에 해당 (다항식 NP 오라클에 대한 병렬 쿼리 수). 이 클래스의 "함수"버전도 같은지 궁금합니다.P N P | |PNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[logn]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||} 사실 인 경우 포인터가 도움이 될 것입니다.
1) (판정 버전) A가 NP- 완료이고 B가 P에있을 때 # P- 완전 문제 #A에서 카운팅 문제 #B로 상당히 줄어드는 것이 가능합니까? 예를 들어 B가 P에있을 때 #SAT에서 #B로 엄청나게 감소 할 수 있습니까? 2) B가 P에 있으면 #B의 복잡성에 대한 다른 가능성은 무엇입니까?
CNF가 두 개인 경우 할당 횟수가 같으면 "예"라고 답하고 그렇지 않으면 "아니오"라고 대답하십시오. 그것은에 쉽게 알 수있다 우리는이 두 CNF에 대한 해결책의 정확한 번호를 알고있는 경우에, 우리가 그들과 대답은 "예"또는 "아니오"를 campare 때문에.P#PP#PP^{\#P} 이 문제의 복잡성은 무엇입니까?