«np» 태그된 질문

NP는 비 결정적 다항식 시간을 나타냅니다.

1
일반화 된 15- 퍼즐에 대한 의사 결정 문제의 NP- 완전성
나는 유명한 15- 퍼즐 의 자연 일반화에 관심이 있습니다. 여기서 주어진 숫자를 모두 정렬 할 때까지 블록을 슬라이드해야합니다 (일반적으로 1 블록의 간격이 있습니다). 이제 일반화는 퍼즐의 크기를 15에서 로 확장하는 것인데 , 여기서 한 필드는 자유입니다. 나는 작은 그림을 만들었습니다 (파선 화살표는 허용 된 움직임을 보여주고 아래쪽 구성은 해결 된 …
6
“큰”증인과의 자연스러운 NP- 완전 문제
" 선형 크기 증인으로 제한되는 NP는 무엇입니까? "라는 질문에 대한 질문은 선형 크기 O(n)O(n)O(n) 증인으로 제한되는 등급 NP에 대해 묻지 만 이 있습니까 자연 NP 완전 문제는 크기에 (예) 인스턴스 nnn 이상의 크기 이상의 증인이 필요 nnn ? 분명히 우리는 다음과 같은 인공 문제를 만들 수 있습니다 . L={1nw∣w encodes …
3
PH에 알려지지 않았지만 P = NP 인 경우 P에있는 결정 문제
편집 : 라비 보 파나 (Ravi Boppana)는 그의 대답 에서 올바르게 지적 하고 스콧 아 론슨 ( Scott Aaronson)도 그의 대답 에 또 다른 예를 추가 했으므로이 질문 에 대한 대답은 내가 전혀 기대하지 않은 방식으로“예”로 밝혀졌습니다. 먼저 나는 그들이 묻고 싶은 질문에 대답하지 않았다고 생각했지만, 어떤 생각을 한 후에,이 …
2
이유는 믿는
많은 사람들이 를 믿는 것으로 보입니다. (Shiva Kintali는 몇 가지 다른 후보 문제를 여기에 나열했습니다 ).피≠ N피∩ c o N피P≠NP∩coNPP \ne NP \cap coNP 반면, Grötschel, Lovász 및 Schrijver는 "많은 사람들이 라고 믿는다 "고 . 이 인용문은 Geometric Algorithms and Combinatorial Optimization 에서 찾을 수 있으며 Schrijver는 Combinatorial Optimization : …
7
NP의 사소한 회원
에있는 언어의 예가 있습니까? 그러나이 언어의 멤버십에 대한 다항식 증인이 있음을 보여줌으로써이 사실을 직접 증명할 수없는 곳은 있습니까?NPNPNP 대신, 언어가 있다는 사실은 언어를 다른 언어로 줄여서 증명할 수 있는데,이 둘 사이의 연결은 사소하지 않고 신중한 분석이 필요합니다.NPNPNPNPNPNP 더 일반적으로, 문제의 몇 가지 흥미로운 사례가 그래서 그들이에 있다고보기는 어렵다입니다 ?NPNPNPNPNPNP 반 …
27 reductions  np 
2
효율적인 양자 솔루션의 NP- 중간 문제
Peter Shor 는 가장 중요한 NP- 중간 문제인 팩토링과 이산 로그 문제가 BQP에 있음 을 보여주었습니다 . 대조적으로, SAT (Grover 's search)에 대해 가장 잘 알려진 양자 알고리즘은 고전적인 알고리즘에 비해 2 차 개선을 가져 오므로 양자 컴퓨터에서 NP- 완전한 문제는 여전히 다루기 힘들다는 것을 암시합니다. Arora와 Barak이 지적했듯이 BQP에는 …
3
없는
에는 U P ∩ c o U P에 있지 않은 것으로 알려진 자연적인 문제가 있습니까?NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP 분명히 큰 하나 모두가에 대해 알고있는 인수의 결정 버전입니다 (n은 가장 k에 크기의 요소가 않습니다)하지만 그건에서 사실상 U P ∩ C O U P .NP∩coNP엔피∩기음영형엔피NP \cap coNPUP∩coUP유피∩기음영형유피UP \cap coUP
4
NP의 자연 문제에 대해 가장 잘 알려진 결정 론적 시간 복잡성 하한
이론적 컴퓨터 과학에서 해결되지 않은 주요 문제에 대한 답 은 ? 문제는 NP의 특정 문제에 시간이 필요한 경우 개방되어 있음을 나타냅니다 .Ω ( n2)Ω(n2)\Omega(n^2) 답변 아래의 의견을 보면 궁금해졌습니다. 패딩 및 이와 유사한 트릭을 제외하고 NP 의 흥미로운 문제 에 대해 결정 론적 RAM 시스템 (또는 다중 테이프 결정 론적 …
1
선형 크기 증인으로 제한되는
이것은 모든 NP 언어에 대한 회원의 증인 규모가 이미 알려져 있습니까? 라는 질문과 관련이 있습니다 . 일부 자연적인 (완전한) 문제에는 선형 길이 감시가 있습니다 : S A T에 대한 만족스러운 할당 , H A M P A T H에 대한 일련의 정점 등.N PNP\mathsf{NP}에스TSATSATHM피THHAMPATHHAMPATH 복잡성 클래스 " 는 선형 길이 …
3
SAT 오라클이 다항식 시간 알고리즘의 속도를 높이는 데 얼마나 도움이됩니까?
오라클 에 대한 액세스 는 모든 항목에 대해 대폭적인 초고속 속도를 제공합니다 (세트가 비어 있지 않다고 가정). 그러나 \ bf P 가이 오라클 액세스로부터 얼마나 많은 이점을 얻을 수 있는지는 분명하지 않습니다 . 물론 \ bf P 의 속도 향상은 다항식 일 수는 없지만 여전히 다항식 일 수 있습니다. 예를 …
1
NP의 문제이지만 Average-P / poly의 문제는 아닙니다.
카프-립톤 Theoem이 경우한다고 다음 P H는 축소되어 Σ P 2 . 그러므로, Σ P 2 와 Σ P 3 사이의 분리를 가정하면 , N P- 완전 문제는 P / p o l y에 속하지 않을 것이다 .N P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P HPH\mathsf{PH}Σ피2Σ2P\mathsf{\Sigma^P_2}ΣP2Σ2P\mathsf{\Sigma^P_2}ΣP3Σ3P\mathsf{\Sigma^P_3}NPNP\mathsf{NP}P/polyP/poly\mathsf{P/poly} 다음 질문에 …
2
강한 의미의 NP-hard 나 유사 다항식 알고리즘이없는 NP-complete 문제가 있습니까?
그들의 논문에서 (p. 503) Garey와 Johnson은 다음과 같이 말했습니다 : ... 의사 다항식 시간 알고리즘으로 강한 의미에서 NP- 완전하거나 해결할 수없는 NP- 완전 문제가 존재할 수 있습니다 ... 위에서 언급 한 속성과 관련된 후보 문제를 아는 사람이 있습니까? 이 질문에 대한 가능한 대답은 의사 다항식 알고리즘이 알려진 일반적인 의미의 NP- …
2
CNF-SAT에 비 결정적 선형 시간 알고리즘이 있습니까?
결정 문제 CNF-SAT는 다음과 같이 설명 될 수 있습니다. 입력 : 결합 형 일반 형식 의 부울 수식ϕϕ\phi 질문 : 를 충족하는 변수 할당이 있습니까?ϕϕ\phi 비 결정적 2 테이프 튜링 머신으로 CNF-SAT를 해결하기위한 여러 가지 접근 방식을 고려하고 있습니다. 단계 에서 CNF-SAT를 해결하는 NTM이 있다고 생각 합니다.n ⋅ 폴리 ( …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.