«complexity-classes» 태그된 질문

계산 복잡성 클래스 및 관계


8
인간의 마음이 빠르게 달성 할 수있는 것과 가장 밀접한 복잡성 클래스는 무엇입니까?
이 질문은 내가 오랫동안 궁금했던 것입니다. 사람들이 P 대 NP 문제를 설명 할 때, 종종 클래스 NP를 창의성과 비교합니다. 그들은 이미 작곡 된 심포니가 모차르트 음질 (P 작업과 유사 함)인지 확인하는 것보다 모차르트 음질의 교향곡 (NP 작업과 유사)을 작성하는 것이 훨씬 어렵다고 지적합니다. 그러나 NP는 실제로 "창의성 클래스"입니까? 다른 후보자가 …

2
P = PH를 넘어서 P = NP를 증폭시킬 수 있습니까?
에서 서술 복잡성 , Immerman가있다 추론 7.23. 다음 조건은 동일합니다. 1. P = NP. 2. 유한하고 규칙적인 구조에서 FO ​​(LFP) = SO. 이것은 더 큰 복잡성 클래스에 대한 동등한 진술에 대해 "증폭"P = NP로 생각할 수 있습니다. SO는 다항식 시간 계층 PH를 캡처하고 FO (LFP)는 P를 캡처하므로 P = NP …

4
의 결과는 무엇입니까 ?
우리는 와 , 여기서 입니다. 우리는 또한 는 후자가 로그 공간 공간-하나 축소에서 완전한 문제를 가지고 있지만 전자는 (공간 계층 정리로 인해) 그렇지 않기 때문에 알고 있습니다. 의 관계를 이해하기 위해서는 와 먼저 관계 이해하는 데 도움이 될 수 및 .L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P}L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq …

4
솔루션의 고유성으로 인해보다 쉽게 ​​찾을 수있는 예
복잡성 클래스 는 문제로 구성되는데, 이는 계산 경로가 최대 하나 인 다항식 비 결정적 튜링 머신으로 결정할 수 있습니다. 즉, 솔루션 은 이러한 의미에서 고유 합니다. Valiant-Vazirani 정리에 따르면 이는 의미 하기 때문에 모든 문제가 있을 가능성은 거의 없습니다 .N P U P P N P = R PUPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} 반면, …

7
아마도 올바른 프로그램에 대해 무엇을 알고 있습니까?
점점 더 복잡 해지는 컴퓨터 프로그램과 점점 더 사회에서 컴퓨터의 중요성이 높아짐에 따라 코드가 올바르게 작동한다는 공식적인 증거를 제공해야하는 프로그래밍 언어를 집단적으로 사용하지 않는 이유가 궁금합니다. 이 용어는 '인증 ​​컴파일러'라고 생각합니다 ( 여기서 찾았습니다 ). 코드를 작성해야 할뿐만 아니라 코드의 사양을 명시하고 코드가 코드를 준수한다는 것을 입증하는 프로그래밍 언어를 컴파일하는 …

3
합니까
내가 이해하는 한, 기하학적 복잡성 이론 프로그램 은 복소수 행렬의 영구이 결정자보다 계산하기가 훨씬 어렵다는 것을 증명함으로써 를 분리하려고 시도합니다 .VP≠VNPVP≠VNPVP \neq VNP GCT 논문을 통해 감추고 난 후의 질문 : 이것은 즉시 의미 합니까, 아니면이 목표를 향한 중요한 단계일까요?P≠NPP≠NPP \neq NP

3
람다 미적분을 통한 P 및 NP 클래스 설명
소개 및 설명에서 종종 튜링 머신을 통해 제공되는 P 및 NP 복잡성 클래스. 계산 모델 중 하나는 람다 미적분입니다. 나는 모든 계산 모델이 동등하다는 것을 이해하고 (Turing machine이라는 용어로 무엇이든 도입 할 수 있다면 모든 계산 모델로 이것을 도입 할 수 있음) 이해하지 못했지만 람다 계산법을 통해 설명 아이디어 P …

2
시맨틱 대 구문 복잡성 클래스
그의 "전산 복잡성"책에서 Papadimitriou는 다음과 같이 썼다. RP 는 어떤 의미에서는 새롭고 특이한 종류의 복잡성 클래스입니다. 폴리 노미 바운드 비 결정적 튜링 머신은 RP에서 언어를 정의하는 기초가 될 수 없습니다. 머신 N 이 RP 로 언어를 정의 하려면 모든 입력에서 만장일치로 거부 하거나 대다수가 받아들이 는 놀라운 특성을 가져야합니다 . …

5
불균일의 불합리한 힘
상식적인 관점에서, 을 추가하면 그 힘이 크게 확장됩니다. 즉, 는 보다 훨씬 큽니다 . 결국 비결정론은 지수 병렬화를 허용하는데, 이는 의심 할 여지없이 매우 강력 해 보입니다. N P PPP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} 반면, 에 비 균일 성을 추가 하고 얻는 경우 직감이 명확하지 않습니다 ( 에서 발생할 수있는 비 재귀 언어를 제외한다고 …

3
최대 공약수 (gcd)의 복잡성
다음 계산 문제 (또는 관련 결정 문제)를 고려하십시오. 이진수로 인코딩 된 두 개의 양의 정수가 주어지면 최대 공약수 (gcd)를 계산하십시오. 이 문제에 포함 된 가장 복잡한 클래스는 무엇입니까? 당신은 참조를 제공 할 수 있습니까? 이 질문에서 나는 주로 실행 시간에 점근선 경계에 관심이 없지만 복잡한 클래스에 관심이 있습니다. AC에 문제가 …

1
대?
복잡성 이론의 중심 문제는 아마도 대 입니다.N P피PP엔피NPNP 그러나 자연은 양자이기 때문에 클래스 (즉, 모든 경우에 대해 최대 1/3의 오류 확률로 다항식 시간으로 양자 컴퓨터에 의해 해결 될 수있는 결정 문제)와 (양자 등가 ) 를 고려하는 것이 더 자연스러워 보일 것 입니다 의 ) 대신.Q M A N PB Q …

8
열린 복잡성 격차가 큰 문제
이 질문은 알려진 하한과 상한 사이에 개방형 복잡성 차이가 큰 문제에 관한 것이지만 복잡성 클래스 자체의 개방형 문제 때문이 아닙니다. 더 정확하게 말하면, 가 hard 임을 증명할 수있는 최대 클래스 이고 가 알려진 최소값 인 경우 문제에 갭 클래스 ( )가 있다고 가정 해 봅시다. 즉, 우리는 문제를 해결하는 알고리즘 …

2
의 결과
TCS 아마추어로서, 나는 양자 컴퓨팅에 대한 대중적이고 매우 입문적인 자료를 읽고 있습니다. 지금까지 내가 배운 몇 가지 기본 정보는 다음과 같습니다. 양자 컴퓨터는 다항식 시간에 NP- 완전 문제를 해결하는 것으로 알려져 있지 않습니다. "양자 마법 충분하지 않습니다" (베넷 등 1997). : 당신은 문제의 구조를 버리고, 단지의 공간을 고려한다면 에 대한 …

3
복잡성 가정의 선집
논문 (Random Oracle Hypothesis Is False )에서 저자 (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan 및 Rohatgi)는 랜덤-가설 가설 의 의미에 대해 논의합니다 . 그들은 우리가 복잡성 클래스 사이의 분리에 대해 거의 알지 못한다고 주장하며, 대부분의 결과에는 합리적인 가정을 사용 하거나 랜덤-가설 가설이 사용됩니다. 가장 중요하고 널리 알려진 가정은 PH가 붕괴되지 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.