«np-hardness» 태그된 질문

NP- 경도 및 NP- 완전성과 관련된 질문.

2
k- 정규 그래프의 해밀 성
평면형 (Garey, Johnson, Tarjan, SIAM J. Comput. 1976) 또는이 분식 (Nishizeki, Akiyama, 및 Saito, J. Inform. Proc. 1980) 또는 Hamilton 곡선이 Jordan 곡선의 배열에 의해 형성된 그래프 일지라도 4 규칙 그래프에 존재하는지 테스트합니다 (Iwamoto and Toussaint, IPL 1994). k- 정규 그래프의 해밀 성을 테스트하기 위해 NP- 완전한 것으로 알려진 다른 …
1
평면 그래프의 트리 폭 계산의 복잡성을 결정하기 위해 여전히 열려 있습니까?
상수 , 입력 그래프 G가 주어지면 그 트리 폭 이 ≤ k 인지 여부 를 선형 시간으로 결정할 수 있습니다 . 그러나 k 와 G 가 모두 입력으로 주어지면 문제는 NP-hard입니다. ( 출처 ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG 그러나 입력 그래프가 planar 이면 복잡성에 대해 알려진 것이 훨씬 적습니다. 이 문제는 …
2
자연스러운 CLIQUE to K-Color 감소
둘 다 NP-Complete이기 때문에 CLIQUE에서 k-Color로 분명히 축소되었습니다. 사실, 저는 3-SAT에서 k-Color로 축소하여 CLIQUE에서 3-SAT로 축소를 구성하여 하나를 구성 할 수 있습니다. 내가 궁금해하는 것은 이러한 문제 사이에 합리적인 직접 축소가 있는지 여부입니다. SAT와 같은 중간 언어를 설명 할 필요없이 친구에게 간략하게 설명 할 수있는 축소를 말하십시오. 내가 찾고있는 것의 …
1
쉬운 가제트에서 Planar Hamiltonian Cycle NP-Complete (Hamiltonian Cycle)을 증명하고 싶습니다.
Hamiltonian (짧은 햄) 사이클은 NP- 완료이고 Planar Ham Cycle은 NP- 완전한 것으로 알려져 있습니다. Planar Ham Cycle에 대한 증거는 Ham Cycle이 아닙니다. 그래프 G가 주어지면 모든 교차점을 평면 가제트로 대체하여 평면 그래프 G '를 갖도록 멋진 가제트가 있습니까? G '에 햄 사이클이 있으면 G'에 햄 사이클이 있습니다. (Ham 경로 또는 …
5
사각형을 볼록 다각형으로 포장하지만 회전하지는 않음
나는 (2 차원) 사각형의 동일한 사본을 겹치지 않고 볼록한 (2 차원) 다각형으로 포장하는 문제에 관심이 있습니다. 내 문제에서 사각형을 회전시킬 수 없으며 축과 평행하게 있다고 가정 할 수 있습니다. 직사각형의 치수와 다각형의 꼭짓점이 주어졌으며 다각형에 동일한 직사각형 사본을 몇 개나 포장 할 수 있는지 물었습니다. 사각형을 회전시킬 수 있다면이 문제는 …
2
일반 언어로 단어를 달성하기 위해 문자를 예약 할 수 있는지 테스트
내가 해결 정규 언어 L을LL 알파벳에 ΣΣ\Sigma , 그리고 내가 전화하는 다음과 같은 문제를 고려 편지 일정 에 대한 L을LL . 비공식적으로, 입력은 각 문자에 대해 n 개의nn 문자와 간격을 제공하며 (즉, 최소 및 최대 위치) 두 번째 문자가 동일한 위치에 매핑되지 않도록 각 문자를 간격에 배치하는 것이 목표입니다. 결과 …
1
P의 PLANAR NAE k-SAT는 어느 것입니까?
부울 변수 의 집합 에 대해 일련의 절 를 고려할 때 모두 같지 않음 -SAT 문제 (NAE -SAT) 는 각 절에 최대 리터럴이 포함 되도록 변수의 실제 할당이 있는지 묻습니다. 각 절에는 하나 이상의 true 및 하나 이상의 false 리터럴이 포함됩니다.kkkkkkCCCXXXkkk PLANAR NAE -SAT 문제는 NAE -SAT가 와 의 입사 …
2
절이 서로 "가까운"리터럴 만 사용할 수있을 때 3-SAT의 하드 인스턴스가 있습니까?
변수를 . 두 변수 사이의 거리는. 두 리터럴 사이의 거리는 해당하는 두 변수 사이의 거리입니다.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| 모든 절 대해 와 같이 3-SAT 인스턴스가 있다고 가정합니다. 어떤 고정 값 .(xa,xb,xc)(xa,xb,xc)(x_a , x_b, x_c)d(xa,xb)≤N∧d(xa,xc)≤N∧d(xb,xc)≤Nd(xa,xb)≤N∧d(xa,xc)≤N∧d(xb,xc)≤Nd(x_a , x_b) \leq N \wedge d(x_a , x_c) \leq …
22 np-hardness  sat 
1
Blum의
에서는 스레드 , Norbet 블룸의 시도 증거는 간결 Tardos 함수 정리 6 반례 것을 주목 반증한다.피≠ N피P≠NPP \neq NP 정리 6 : 모노톤 부울 함수로합니다. CNF-DNF-approximator에 있다고 가정 A를 위해 하한을 증명하는 데 사용될 수 C를 m ( F ) . 그러면 A는 또한 행 같은 저급 증명하는 데 사용될 …
10
비가 중 그래프에서는 쉽지만 가중 그래프에서는 어려운 문제
비가 중 그래프와 가중 그래프 모두에서 다항식 시간으로 많은 알고리즘 그래프 문제를 해결할 수 있습니다. 일부 예는 최단 경로, 최소 스패닝 트리, 최장 경로 (지향 비순환 그래프에서), 최대 흐름, 최소 컷, 최대 일치, 최적의 arborescence, 특정 가장 조잡한 하위 그래프 문제, 최대 분리 된 지시 컷, 특정 그래프 클래스의 최대 …
1
3 차 그래프에는 쉽지만 최대 3 도의 그래프에는 어려운 문제가 있습니까?
입방 그래프는 모든 정점이 3 등급 인 그래프입니다. 그것들은 광범위하게 연구되었으며 몇 가지 NP- 하드 문제가 입방 그래프의 서브 클래스로 제한 되더라도 NP- 하드로 남아 있지만 일부는 더 쉬워진다는 것을 알고 있습니다. 3 차 그래프의 수퍼 클래스는 최대 학위 인 그래프 클래스입니다 .Δ ≤ 3Δ≤삼\Delta \leq 3 3 차 그래프의 …
1
NP- 경도는 P- 경도를 의미합니까?
문제가 다항식 시간 단축을 사용하여 NP-hard 인 경우 P-hard (로그 공간 또는 NC 축소 사용)임을 의미합니까? NP의 문제만큼 어려운 경우 P의 문제만큼 어려운 것이 직관적이지만, 감소를 연결하고 로그 공간 (또는 NC) 감소를 얻는 방법을 모르겠습니다.
2
그래프 등급 인식의 경도와 금지 된 서브 그래프 특성의 관계
금지 된 하위 그래프로 특징 지을 수있는 그래프 클래스를 고려하고 있습니다. 그래프 클래스에 금지 된 하위 그래프의 유한 세트가있는 경우 사소한 다항식 시간 인식 알고리즘이 있습니다 (단 하나는 무차별 대입을 사용할 수 있음). 그러나 금지 된 하위 그래프의 무한 계열은 경도를 의미하지 않습니다. 금지 된 하위 그래프의 무한 목록이있는 클래스에는 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.