«np-complete» 태그된 질문

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

1
다항식 예 인스턴스의 NP- 완전 문제?
나는 무한히 많은 입력 크기에 대한 모든 NP 완전 문제에 대한 인상이 크기의 모든 가능한 입력을 통해 예 - 인스턴스의 수는 N 이다 (적어도)에서 지수 N을 .엔엔n엔엔n엔엔n 이것이 사실입니까? 증명 될 수 있습니까 (아마도 라는 가정 하에서 만 )? 아니면 인위적으로 모든 (대규모) n 에 대해 yes-instances의 수가 최대 n …
1
사각형으로 그리드 커버링
우리는 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}^+ 출력 : 부분 …
3
새로운 DAG로 DAG 계약의 최소 크기
DAG가 있습니다. 우리는 노드 F:V→N에프:V→엔F\colon V\to \mathbb N (느슨하게 말해서 노드에 번호를 매 깁니다). 다음 규칙을 사용하여 새로운 방향 그래프를 작성하려고합니다. 동일한 번호의 노드 만 동일한 새 노드로 계약 할 수 있습니다. F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y' . (그러나 x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq F(y) ) 우리는 새로운 …
2
감소 유형 및 경도의 관련 정의
A를 B로 환원 할 수있게하십시오 (예 : . 따라서 를 수락 Turing 머신 은 의 Oracle에 액세스 할 수 있습니다. 허용 Turing 머신 이 이고 대한 오라클 이 . 감축 유형 :A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} 튜링 감소 : 는 여러 번 쿼리 할 수 ​​있습니다 .MAMAM_{A}OBOBO_{B} Karp 축소 : "다항식 시간 …
1
Shaefer와 Mahaney의 정리는 왜 P = NP를 의미하지 않습니까?
나는 누군가가 이것에 대해 생각하기 전에 또는 그것을 즉시 무시했다고 확신하지만, 희소 세트에 대한 Mahaney의 정리와 함께 Schaefer의 이분법 이론은 왜 P = NP를 의미하지 않습니까? 내 추론 은 다음과 같습니다. 무한 결정 가능한 스파 스 세트와 교차하는 SAT와 동일한 언어 을 만듭니다 . 그런 다음 도 드 물어야합니다. 이후 …
1
조합 ILP 알고리즘의 가장 빠른 알려진 복잡성
나는 BIG-의 측면에서, 가장 잘 알려진 알고리즘 무엇인가 궁금하네요 정수 선형 계획법을 해결하기 위해, 표기?영형영형O 나는 문제가 완전 하다는 것을 알고 있으므로 다항식을 기대하지 않습니다. 그리고 CPLEX와 같은 실제 응용 프로그램에 사용되는 휴리스틱이 많이 있지만 정확한 알고리즘의 공식적인 최악의 복잡성에 더 관심이 있습니다.엔피엔피NP 일부 - 완전한 문제는 시간의 알고리즘이 및 …
1
평면 1-in-3 SAT의 평면 조건
Planar 3SAT 는 NP-complete입니다. 평면 3SAT 인스턴스는 다음 규칙을 사용하여 작성된 그래프가 평면 인 3SAT 인스턴스입니다. 모든 및 ¯ x i에 꼭짓점 추가엑스나는엑스나는x_i엑스나는¯엑스나는¯\bar{x_i} 모든 조항에 대한 정점을 추가 씨제이씨제이C_j 모든 쌍 에 대해 모서리를 추가( x나는, x나는¯)(엑스나는,엑스나는¯)(x_i,\bar{x_i}) 정점 (또는 ¯ x i ) 에서 모서리 를 포함하는 절을 나타내는 각 …
2
모든 NP 문제에 다량의 ILP 제제가 있습니까?
Integer Linear Programming은 NP-complete이기 때문에 NP의 문제로 인한 Karp 감소가 있습니다. 나는 이것이 NP의 문제에 대해 항상 다항식 크기의 ILP 공식이 있다는 것을 암시한다고 생각했다. 그러나 나는 사람들이 "이것은 최초의 폴리 사이즈 제형이다"또는 "알려진 폴리 사이즈 제형은 없다"와 같은 것을 쓰는 특정 NP 문제에 관한 논문을 보았다. 그게 내가 당황한 …
1
이진 트리에서 최소 대역폭의 근사치
최소 대역폭 문제는 인접한 두 노드 사이의 최대 거리를 최소화하는 정수 라인에서 그래프 노드의 순서를 찾는 것입니다. 이진 트리의 경우에도 결정 문제는 NP 완료입니다. 대역폭 최소화를위한 복잡성 결과. Garey, Graham, Johnson and Knuth, SIAM J. Appl. 수학, Vol. 34, No.3, 1978 년 . 이진 트리에서 최소 대역폭을 계산할 때 가장 …
2
ILP에서 SAT 로의 폴리 타임 감소?
따라서 알려진 바와 같이 ILP의 0-1 결정 문제는 NP- 완료입니다. NP로 표시하는 것은 쉽지만 원래 감소는 SAT에서 나왔습니다. 그 이후로, 많은 다른 NP-Complete 문제는 ILP 공식화 (그러한 문제에서 ILP 로의 감소로 기능 함)를 갖는 것으로 나타났습니다. 왜냐하면 ILP는 매우 유용하기 때문입니다. 인하 에서 ILP는 더 힘들어 자신을하거나 추적 중 하나에 …
1
총 학생 시간을 최소화하기위한 최적의 질문 순서 찾기
대학에 튜토리얼 세션이 있다고 가정합니다. 우리는 kkk 질문 Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} 와 nnn 명의 학생 S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} 있습니다. 각 학생은 각 학생의 질문, 즉의 특정 부분 집합에 의심의 여지가 sjsjs_j ,하자 Qj⊆QQj⊆QQ_j \subseteq Q 학생이 의심을 가지고 질문을 설정합니다. 한다고 가정 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.