«np-complete» 태그된 질문

NP에서 가장 어려운 문제, 즉 비 결정적 튜링 기계로 다항식 시간에 해결할 수있는 문제에 대한 질문.

3
NP-Complete에 유한 문제가 있습니까?
강사가 진술했다 유한 문제는 NP-Complete 일 수 없습니다 그는 당시 스도쿠에 대해 이야기하면서 8x8 스도쿠의 경우 유한 솔루션 세트가 있지만 그가 말한 것을 정확하게 기억할 수는 없다고 말합니다. 나는 인용했지만 여전히 이해하지 못한다는 메모를 작성했습니다. 내가 실수하지 않으면 스도쿠는 NP 완성입니다. 진부한 문제는 NP-Complete이며 4-Clique 문제가있는 경우 NP-Complete라는 유한 한 …
13 np-complete  np 
1
P ≠ NP라고 가정하고 NP 완료 문제 알고리즘의 런타임 한계
가정합니다 피≠ N피P≠NPP\neq NP. 모든 NP 완료 문제의 런타임 범위에 대해 무엇을 말할 수 있습니까? 즉, 가장 완전한 함수 패 , U: N → NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} 은 어떤 NP- 완전 문제에 대한 최적의 알고리즘이 적어도 ω ( L ( n ) )ω(L(n))\omega(L(n)) 및 최대 시간에 실행 되도록 보장 할 수 있습니다 …
2
3- 파티션 문제에서 균형 잡힌 파티션 문제로 감소
3- 파티션 문제는 정수 세트를 3 개의 정수 세트 로 분할하여 각 세트가 주어진 정수 까지 수 있는지 묻습니다 . 균형 분할 문제는 정수를 두 개의 동일한 카디널리티 세트로 분할하여 두 세트의 합계가 같은지 여부를 묻습니다 . 두 문제는 모두 NP- 완전한 것으로 알려져 있습니다. 그러나 3- 파티션은 NP가 완전합니다. …
2
DOUBLE-SAT가 NP 완료임을 증명
잘 알려진 SAT 문제는 참고 용으로 여기 에 정의되어 있습니다 . DOUBLE-SAT 문제는 다음과 같이 정의됩니다. D O U B L E - S T = { ⟨ φ ⟩ | φ는 적어도 두 만족 과제를 갖는다 }DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ …
2
최대 다항식 공간을 사용하여 (그러나 지수 시간을 사용하면서) NP-Complete Problem을 해결할 수 있습니까?
나는 NPC 와 PSPACE 와의 관계 에 대해 읽었 으며 최악의 다항식 공간 요구 사항을 가진 알고리즘을 사용하여 NPC 문제를 결정 론적으로 해결할 수 있는지, 지수 시간 (P는 다항식 인 경우 2 ^ P (n))을 취할 수 있는지 알고 싶습니다. 또한 일반적으로 EXPTIME 으로 일반화 할 수 있습니까? 내가 묻는 …
2
쉐퍼의 정리는 왜 P = NP임을 증명하지 않습니까?
이것은 아마도 어리석은 질문이지만 이해가되지 않습니다. 또 다른 질문으로 그들은 쉐퍼의 이분법 정리 를 생각해 냈습니다 . 나에게 그것은 모든 CSP 문제가 P 또는 NP- 완료이지만 사이에 있지 않다는 것을 증명하는 것처럼 보입니다. 모든 NP 문제는 다항식 시간에서 CSP로 변환 될 수 있기 때문에 (CSP가 NP- 완료되기 때문에) P와 NP-Complete …
2
모노톤 부울 공식의 만족도 결정에 대한 NP- 완전성 입증
이 문제를 해결하려고 노력하고 있으며 실제로 고심하고 있습니다. 모노톤 부울 수식은 모두 리터럴 양성 명제 논리 수식이다. 예를 들어 ( x1∨ x2) ∧ ( x1∨ x삼) ∧ ( x삼∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) 모노톤 부울 함수입니다. 반면에 ( x1∨ …
4
입력이 단항 인코딩 될 때 강력한 NP-hard 또는 -complete 문제의 복잡성이 변경됩니까?
입력이 이진 인코딩 대신 단 항일 때 강력한 NP-hard 또는 NP-complete 문제 (예 : 여기에 정의 된대로 ) 의 난이도가 변경됩니까? 강력한 NP-hard 문제의 입력이 단항 인코딩되면 어떤 차이가 있습니까? 예를 들어 약한 NP-complete Knapsack 문제를 예로 든다면 바이너리 인코딩시 NP- 완료이지만 단항 인코딩시 동적 프로그래밍으로 다항식 시간으로 해결할 수 …
3
NFA가 다른 NFA의 하위 집합을 허용하는지에 대한 효율적인 테스트가 있습니까?
따라서 정규 언어 이 정규 언어 의 하위 집합 인지 테스트하는 것은 결정 가능합니다. 두 언어를 모두 DFA로 변환하고 계산 한 다음이 언어가 비어 있는지 테스트 할 수 있기 때문입니다.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} 그러나이를 위해서는 DFA로 변환해야하므로 입력 NFA의 상태 수에 따라 DFA 및 테스트 알고리즘이 기하 …
1
NP- 하드 문제가 평균 다항식 일 수 있습니까?
평균적으로``다항식 ''인 hard 문제 가 있는지 궁금합니다 .이를 해석하는 두 가지 방법이 있다고 생각합니까?NPNPNP 만약 , 해결 알고리즘이있을 수 시간 실행 상각 (평균 케이스)와 -hard 문제가 일정에 대한 ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk 또는 에있는 hard 문제가 있습니까?NPNPNPBPPBPPBPPPPPPPP 누구든지이 질문들 중 하나에 대한 답변을하거나 참조를 제공 할 수 있습니까?
2
두 사이클에 포함 된 가장 긴 사이클
다음은 NP-complete 문제입니까? (그렇습니다). 입력 : 에지 세트가 두 개의 에지 분리 된 간단한 사이클로 분해 될 수있는 무 방향 그래프 ( 입력의 일부 는 아님 ).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) 질문 : 길이가 보다 큰 간단한주기가 있습니까?kGGGkkk 분명히 문제는 NP에 있고 의 최대 정도 는 이지만 도움이되지 않는 것 같습니다.≤ 4GGG≤4≤4\leq …
1
3 차 삼각형이없는 그래프에서 독립적으로 설정
3 차 삼각형이없는 그래프에서 최대 독립 세트가 NP- 완전하다는 것을 알고 있습니다. 독립 세트의 크기가 정확히 이어야하는 경우에도 NP가 완전 합니까?| V| / 2|V|/2|V|/2 기본적으로, 3 차 삼각형이없는 그래프 문제에 대한 독립 설정 문제의 예는 정확히 노드를 가져야합니다 . 어떤 인스턴스도 보다 작은 독립적 인 크기의 세트를 갖지 않습니다 .| …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.