나는 무한히 많은 입력 크기에 대한 모든 NP 완전 문제에 대한 인상이 크기의 모든 가능한 입력을 통해 예 - 인스턴스의 수는 N 이다 (적어도)에서 지수 N을 .엔엔n엔엔n엔엔n 이것이 사실입니까? 증명 될 수 있습니까 (아마도 라는 가정 하에서 만 )? 아니면 인위적으로 모든 (대규모) n 에 대해 yes-instances의 수가 최대 n …
우리는 N1×N2N1×N2N_1 \times N_2 그리드를 가지고 있습니다. 이 그리드에는 사각형 모음이 있으며 각 사각형은 N1N1N_1 x N2N2N_2 이진 행렬 로 나타낼 수 있습니다 RRR. 그리드를 사각형으로 덮고 싶습니다. 이 세트의 결정 버전은 NP-complete 문제입니까? 입력 : 모눈에있는 사각형의 모음 C={R1,R2,…,RL}C={R1,R2,…,RL}\mathcal{C}=\{R_1,R_2,\dots,R_L\} (입력 크기 : ) 및N1N2LN1N2LN_1N_2LK∈N+K∈N+K \in \mathbb{N}^+ 출력 : 부분 …
특정 노드를 포함하는 그래프에 모든 간단한 사이클을 나열 하는 것이 NP -hard 인지 묻는 질문을 Stack Overflow에서 읽고 있었는데 기존의 복잡한 클래스를 생각할 수 없었습니다. "이 문제에 대한 모든 해결책을 열거하십시오." 클래스 NP어떤 의미에서 는 적어도 하나의 솔루션이 존재하는지, FNP 클래스 가 단일 솔루션을 생성하도록 요구하고, 클래스 #P 는 얼마나 …
다항식 시간에 해결할 수있는 어려운 결정 문제의 예는 무엇입니까? 최적의 알고리즘이 "느린"문제 또는 가장 빠른 알려진 알고리즘이 "느린"문제를 찾고 있습니다. 다음은 두 가지 예입니다. 완벽한 그래프 인식. FOCS'03 논문 [1] Cornuéjols에서 Liu와 Vuskovic는 문제에 대해 시간 알고리즘을 제공했으며, 여기서 은 꼭짓점의 개수입니다. 이 경계가 개선되었는지 확실하지 않지만 이해하면 더 빠른 …
Hidoku는 1에서 사이의 미리 채워진 정수 가있는 격자입니다 . 목표는 그리드 에서 연속 정수 (1 ~ ) 의 경로를 찾는 것입니다 . 보다 구체적으로, 그리드의 각 셀은 1에서 까지의 서로 다른 정수를 포함해야 하며 값 각 셀은 값이 인접 셀을 가져야합니다 (대각선 일 수도 있음).n 2 n 2 n 2 …
분명히, 만약 , 모든 언어 를 제외하고 및 될 것이다 - 완전한.P ∅ Σ ∗ N PP = N PP=NP{\sf P}={\sf NP}피P{\sf P}∅∅\emptysetΣ※Σ∗\Sigma^*N PNP{\sf NP} 왜이 두 언어가 특별한가요? 수락하거나 수락하지 않을 때 언어를 출력하여 다른 언어를 줄일 수 없습니까 ?피P{\sf P}
A를 B로 환원 할 수있게하십시오 (예 : . 따라서 를 수락 Turing 머신 은 의 Oracle에 액세스 할 수 있습니다. 허용 Turing 머신 이 이고 대한 오라클 이 . 감축 유형 :A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} 튜링 감소 : 는 여러 번 쿼리 할 수 있습니다 .MAMAM_{A}OBOBO_{B} Karp 축소 : "다항식 시간 …
Clique 문제는 필요한 Clique 의 크기가 입력의 일부인 잘 알려진 -complete 문제입니다. 그러나 k- 크릭 문제에는 사소한 다항식 시간 알고리즘이 있습니다 ( k 가 일정 할 경우 O ( n k ) ). k가 일정 할 때 가장 잘 알려진 상한에 관심이 있습니다.NPNPNPO(nk)O(nk)O(n^k)kkk 런타임 의 알고리즘이 있습니까? O ( N …
일상의 문제를 설명하기 위해 만들어진 대부분의 언어는 상황에 따라 달라질 수 있습니다. 반면에, 재귀 적이 지 않거나 재귀 적으로 열거 할 수없는 일부 언어를 찾는 것은 가능하고 어렵지 않습니다. 이 두 유형 사이에는 재귀 비 문맥 언어가 있습니다. Wikipedia는 여기에 하나의 예를 제공 합니다 . 문맥에 맞지 않는 재귀 언어의 …
의사 다항식 시간 알고리즘은 입력 값 (크기)에서 다항식 실행 시간을 갖지만 입력 크기 (비트 수)에서 지수 실행 시간을 갖는 알고리즘입니다. 수 있는지, 예를 들어 시험 nnn , 소수인지 2 내지 번호로 루프가 필요 n−1n−1n-1 하고 있는지 확인 nnn 개조 iii 없거나 없다. 상기 중간 개조는 O (1) 시간이 걸리고, 전체 …
2-SAT가 P에 있다는 것은 잘 알려져 있지만, 주어진 2-SAT 공식에 대한 해의 수를 세는 것, 즉 # 2-SAT가 # P-hard라는 것은 매우 흥미로운 것 같습니다. 즉, 우리는 결정이 쉽지만 계산이 어려운 문제의 예를 가지고 있습니다. 그러나 임의의 NP- 완전 문제 (예 : 3-COL)를 고려하십시오. 계수 변수의 경도에 대해 즉시 말할 …
따라서 일반적으로 스도쿠는 이지만이 질문은 퍼즐 까지 확장됩니다 . 스도쿠 퍼즐에 대한 해결책을 찾는 데 많은 다항식 시간 공제 규칙이 있습니다. 그러나 때로는 값을 추측하고 일련의 결론을 내려야 셀 값 또는 셀 값 조합을 제거 할 수 있습니다. 그러나 유효한 솔루션을 찾은 후에도 솔루션이 고유하다는 보장은 없습니다. 유효한 스도쿠 퍼즐에는 …
나는 누군가가 이것에 대해 생각하기 전에 또는 그것을 즉시 무시했다고 확신하지만, 희소 세트에 대한 Mahaney의 정리와 함께 Schaefer의 이분법 이론은 왜 P = NP를 의미하지 않습니까? 내 추론 은 다음과 같습니다. 무한 결정 가능한 스파 스 세트와 교차하는 SAT와 동일한 언어 을 만듭니다 . 그런 다음 도 드 물어야합니다. 이후 …