팩토링 및 그래프 동형화는 P에서 또는 NP-Complete로 알려지지 않은 NP의 문제입니다. 이 속성을 공유하는 다른 (충분히 다른) 자연 문제는 무엇입니까? Ladner 정리 증명에서 직접 나오는 인공적인 예는 포함되지 않습니다. "합리적인"가설 만 가정 할 때 이러한 예 중 NP- 중간에 해당되는 사례가 있습니까?
Ladner Theorem 은 P ≠ NP이면 P를 엄격하게 포함하고 NP에 엄격하게 포함 된 복잡성 클래스 의 무한한 계층 구조가 있다고 말합니다 . 이 증거는 NP가 한 번 감소하면 SAT의 완전성을 사용합니다. 계층 구조에는 일종의 대각 화로 구성된 복잡성 클래스가 포함되어 있으며 각 클래스에는 하위 클래스의 언어가 여러 개가 될 수없는 …
와 completes 사이에 진정한 복잡성이 존재하는 의 새로운 문제를 감안할 때 ,이를 해결하는 것이 어렵다는 것을 증명하는 데 사용할 수있는 두 가지 방법이 있습니다.NPNP\mathsf{NP}PP\mathsf{P} 문제가 GI- 완료임을 보여줌 (GI = 그래프 동형) 문제가 줍니다. 알려진 결과에 따르면, 이러한 결과는 문제가 NP- 완료이면 PH가 두 번째 수준으로 축소됨을 의미합니다. 예를 들어, …
Ladner Theorem은 인 경우 무한히 많은 중간 ( ) 문제가 있음을 잘 알고 있습니다. Graph Isomorphism과 같은이 상태에 대한 자연스러운 후보도 있으며, 다른 여러 가지도 있습니다 ( P와 NPC 사이의 문제 참조) . 그럼에도 불구하고 알려진 문제 의 군중에서 대다수는 또는 중 하나로 알려져 있습니다 . 그중 일부만이 후보로 남아 …
Peter Shor 는 가장 중요한 NP- 중간 문제인 팩토링과 이산 로그 문제가 BQP에 있음 을 보여주었습니다 . 대조적으로, SAT (Grover 's search)에 대해 가장 잘 알려진 양자 알고리즘은 고전적인 알고리즘에 비해 2 차 개선을 가져 오므로 양자 컴퓨터에서 NP- 완전한 문제는 여전히 다루기 힘들다는 것을 암시합니다. Arora와 Barak이 지적했듯이 BQP에는 …
라즐로 바바이 (László Babai)는 최근 그래프 동 형사상 문제가 준 다항식 시간 에 있음을 증명했다 . 시카고 대학교에서의 그의 강연 을 참조하십시오. Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 의 대화 내용을 참고하십시오 . Ladner의 정리에 따르면 인 경우 가 비어 있지 않습니다. 즉 …
라고 가정하자 . N P 나는 문제의 클래스 N P 에 어느 쪽도 없습니다 P 도에 N P의 -hard. 여기서 N P I로 추측되는 문제 목록을 찾을 수 있습니다.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} . 라드의 정리는 경우라고 우리에게 이야기 다음의 무한 계층 구조가 N P I의 문제, 즉있다 N P I의 단단 …
(Graph Isomorphism )는 중간 문제의 좋은 후보입니다 . 가 아니면 중간 문제가 존재합니다 . Karp reduction ( 와 같은 그래프 문제 에서 에 어려운 자연 문제를 찾고 있습니다.GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI<mpXGI<pmXGI <_p^m X 자연이 있습니까 도 아니다 -hard 그래프 문제 -equivalent도 알려져 - 전체는?GIGIGIGIGIGINPNPNP
P NP라고 가정하십시오 .≠≠\ne Ladner Theorem은 NP 중간 문제 (P 또는 NP-Complete가 아닌 NP의 문제)가 있다고 말합니다. 나는 NPI 내에 상호 축소 가능한 언어의 많은 "수준"이 모두 하나로 완전히 붕괴되지는 않는다고 제안하는 온라인의 가려진 참고 문헌을 발견했다. 이 레벨의 구조에 대해 몇 가지 질문이 있습니다. "NP-Intermediate-Complete"문제, 즉 다른 모든 NP-Intermediate …
N P- hard 가 아닌 모든 언어 ( P ≠ N P로 가정 ), P L ≠ P SAT 임을 증명할 수 있습니까 ? 또는 합리적인 가정 하에서이를 입증 할 수 있습니까?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
다음 문제가 속하는 복잡성 클래스를 이해하려고합니다. 지수 다항식 근본 문제 (EPRP) 하자 가 수 다항식 ℃에서 ( P ) ≥ 0 유한 필드에서 도출 계수 G F ( Q ) 와 Q 소수와 r에 해당 필드에 대한 프리미티브 루트. :의 솔루션 결정 P ( X ) = R (X) (또는 …
NP-Complete과 반대로 NP-Intermediate 일 가능성이있는 문제와 이유를 어떻게 검토합니까? 문제를보고 그것이 NP-Complete인지 아닌지를 말하기는 종종 매우 간단하지만 문제가 NP-Intermediate인지 여부를 말하기가 훨씬 더 어려워 보입니다. 클래스. 기본적으로 내가 묻는 것은 다항식 시간 (모두 있다면)에서 확인할 수 있지만 다항식 시간 (P가 NP와 같지 않은 한)으로 해결할 수없는 문제가 서로 다항식 시간이 …
에있는 것으로 알려진 일부 NP-Complete 문제 ( , 등)가 있습니다 . 하위 선형 공간은 어떻습니까?S T에스ㅏ티 \mathsf{SAT} S U B S E T S U M에스유비에스이자형티에스유미디엄 \mathsf{SUBSETSUM} D S P A C E ( n )디에스피ㅏ씨이자형(엔) \mathsf{DSPACE(n)} 비선형 비결정 공간에 NP-Complete (또는 NP-Intermediate) 문제가 있습니까?