결정 문제 부울 식을 감안할 때 , 않습니다 한 단 하나의 할당을 만족?ϕϕ\phiϕϕ\phi , -hard 및 -hard에 있는 것으로 볼 수 있습니다 . 복잡성에 대해 더 알려진 것이 있습니까?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}
모든 사람은 "Garey & Johnson"을 알고 있는데, 이는 NP-hardness 증거를 위해 변환해야 할 문제가 필요할 때마다 참조 할 수있는 곳입니다. 그러나 나는 최근에 APX-hardness 증거가 필요하다는 것을 알게되었고, APX-hard로 밝혀진 비슷한 (그리고 더 최신의 ..?) 모음이 있는지 궁금합니다. 아무도 이와 같은 것을 알고 있습니까? 이러한 문제를 체계적으로 수집하는 웹 사이트가 …
내가 알기 로, 헝가리어 알고리즘이 다항식 시간-O (n 3 )으로 해결할 수 있기 때문에 할당 문제 는 P에 있습니다 . 또한 할당 문제는 정수 선형 프로그래밍 문제이지만 Wikipedia 페이지에 이것이 NP-Hard라고 표시되어 있습니다. 나에게 이것은 할당 문제가 NP-Hard에 있음을 의미합니다. 그러나 할당 문제는 P와 NP-Hard 모두에있을 수 없습니다. 그렇지 않으면 …
나도 그 정량화 된 부울 식의 문제를 공식에 대한 곳 \ 파이 더 한정사가없는 유일한 변수는 \ ldots 단락을 X_1, x_n, y_1 , \ ldots, y_n 은 \ Pi_2 ^ P-완전한 문제 의 예입니다 . 그러나 회로 최소화 가 자연스러운 \ Sigma_2 ^ P-완전한 문제인 것처럼 \ Pi_2 ^ P-완전한 …
경우 다음 계층합니다 (카프-립톤 정리하여) 두 번째 단계로 축소. 그러나 와 어떻습니까?N P c o N PRP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP 가 포함되어 있음을 증명하려고했지만 ( 경우 다른 방향은 사소한 것입니다 ) 아무 소용이 없으며 사실인지 확실하지 않습니다.N P R P = N PBPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP …
NP- 완전성과 같은 것들에 대한 추론을 위해, 우리는 일반적으로 다수의 축소 (즉, Karp 축소)를 사용합니다. 이것은 다음과 같은 그림으로 이어집니다. (표준 추측하에). 우리 모두 이런 종류의 일에 익숙하다고 확신합니다. 튜링 감소 (예 : 쿡 감소)를 사용하면 어떤 그림을 볼 수 있습니까? 사진은 어떻게 바뀌나요? 특히, 가장 중요한 복잡성 클래스는 무엇이며 …
다음 사항을 증명하는 데 도움을 주셔서 감사합니다. 경우 후, P = N P를 .N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} 여기서, 은 비 결정적 튜링 기계에 의해 O ( n 100 ) 의 다항식 시간에 의해 결정될 …
전산 복잡도에 대해 강의합니다. 내 문제는 상대화 방법을 이해하지 못한다는 것 입니다. 불행히도 지금까지 많은 교과서에서 약간의 직관을 찾으려고 노력했지만 성공하지 못했습니다. 누군가가이 주제에 대한 빛을 비추어 스스로 계속할 수 있다면 고맙겠습니다. 다음 문장들 중 일부는 관계 화에 대한 질문과 생각으로 토론을 탐색하는 데 도움이 될 것입니다. 종종 상대화는 대각선 …
PP 와 BPP 가 어떻게 정의되어 있는지 혼란 스럽습니다 . 가정하자χχ\chi 언어의 특징적인 기능입니다 LL\mathcal{L}. M 은 확률 적 튜링 머신입니다. 다음 정의가 맞습니까? B P피= { L : Pr [ χ ( x ) ≠ M( x ) ] ≥12+ ϵ∀ x ∈ L , ϵ > 0 } …