«np-hardness» 태그된 질문

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


1
중급
입력 정수가 일부 다항식에 의해 제한되는 경우 다항식 (의사 다항식) 시간 알고리즘을 사용하므로 파티션 문제는 NP가 거의 없습니다. 그러나 입력 정수가 다항식으로 묶여 있어도 3- 파티션은 NP- 완전한 문제입니다. 라고 가정하면 중간 NP 완료 문제가 존재 함을 증명할 수 있습니까? 대답이 '예'인 경우, "자연적인"후보 문제가 있습니까?P≠NPP≠NP\mathsf{P \ne NP} 여기서 중간 …


3
이 최적의 여행 문제는 나무의 마감 시간이 NP-hard입니까?
내 친구 중 하나가 트리에서 다음과 같은 일정 문제를 묻습니다. 나는 그것이 매우 깨끗하고 재미 있다는 것을 알았습니다. 그것에 대한 참조가 있습니까? 문제 : 나무 있으며 각 모서리의 대칭 이동 비용은 1 입니다. 각 정점 에 대해 마감일 전에 완료해야하는 작업이 있습니다T(V,E)T(V,E)T(V,E)viviv_ididid_i . 작업은 또한 로 표시됩니다 . 각 작업의 …

1
화음 그래프의 특정 서브 클래스에서 지배적 인 세트 문제의 복잡성
나는 화음 그래프의 서브 클래스 인 특정 그래프 클래스에서 지배적 인 세트 문제 (DSP)의 복잡성에 관심이 있습니다 . 무 방향 트리에있는 경로 패밀리의 정점 교차 그래프 인 경우 그래프는 무 방향 경로 그래프 입니다. UP을 무 방향 경로 그래프의 클래스로 둡니다. 그래프는 경로가 지정되지 않은 트리에서 경로 패밀리의 모서리 교차 …


3
해밀턴 사이클이 쉽지만 NP-hard TSP가있는 그래프 클래스
해밀턴 사이클 문제 (HC) 지정된 무향 그래프의 모든 정점을 통과 사이클을 찾는 구성되어 있습니다. 세일즈맨 문제 (TSP)는 사이클의 에지의 가중치의 합에 의해 측정되는 총 거리를 소정의 에지 가중 그래프의 모든 정점을 통과하고 최소화하는 사이클을 찾는 것으로 이루어진다. HC는 TSP의 특별한 경우이며 NP- 완전한 것으로 알려져있다 [Garey & Johnson]. (이러한 문제에 …

1
“내 집합에서 순열 p가 그래프의 자동 형성인가?” NP 완료?
그래프의 S 세트 (유한 그래프이지만 무한한 수)와 S에 작용하는 순열 그룹 P가 있다고 가정합니다. 인스턴스 : P의 순열 p 질문 : S에 automorphism p를 인정하는 그래프 g가 있습니까? 이 문제가 일부 세트 S에 대해 NP- 완전입니까? 그래프가 순열 p (즉, 인증서)를 허용하는지 쉽게 확인할 수 있습니다. 또한 문제가 NP- 완전하지 …

2
H 프리 파티션
이것은 H 프리 컷 문제 에서 영감을 얻은 질문 입니다. 그 정점 세트의 파티션 그래프 주어 에 R의 부분 V 1 , V 2 , ... , V의 R은 인 H의 경우 -free는 G [ V I ]는 사본 유도하지 않는 H를 모두 I , 1 ≤ i가 ≤ R …

4
완벽하게 균일하게 모드 3을 빠르게 생성하거나 NP 문제를 해결할 수 있습니까?
솔직히 말하면, 난수가 어떻게 생성되는지에 대해 많이 알지 못하지만 (의견은 환영합니다!) 다음 이론적 모델을 가정 해 봅시다. 에서 균일하게 임의의 정수를 얻을 수 있으며 우리의 목표는 [1,3]에서 균일하게 임의의 정수를 출력합니다.[1,2n][1,2n][1,2^n] 예상 실행 시간이 다항식 인 간단한 솔루션 은 다음과 같습니다. 나머지 정수의 수를 으로 나눌 수 있도록 생성 된 …


2
작은주기가없는 그래프의 해밀턴주기
cstheory 에서이 질문에 대답하면서 나는 (비공식적으로) 다음 정리를 즉석에서 증명했습니다. 정리 : 고정 경우 해밀턴 사이클 프로브는 길이 ≤ l 사이클을 포함하지 않는 최대 3 도의 평면 2 분자 무 방향 그래프로 제한 되더라도 NP- 완료 상태를 유지합니다 .l≥3l≥3l \geq 3≤l≤l\leq l 아직 어딘가에 나타나지 않은 것 같습니다. 그러나 "SGS에 …


1
바이너리 스도쿠 퍼즐은 얼마나 어려운가요?
스도쿠는 NP- 완료로 잘 알려진 퍼즐입니다. 이진 스도쿠는 숫자 과 1 만 허용하는 변형입니다 . 규칙은 다음과 같습니다.000111 각 행과 각 열에는 동일한 수의 0과 1이 포함되어야합니다. 각 행과 각 열은 고유합니다. 행 또는 열에는 연속적인 삼중 0 또는 1 이 포함되지 않습니다 ( 은 연속 삼중 1 입니다).1111111 1 …

1
고유 한 SAT 및 정확히
고유 한 SAT는 잘 알려진 문제입니다. CNF 공식 주어지면 F 에 정확히 하나의 모형이 있다는 것이 사실 입니까?FFFFFF « 정확한 SAT»문제에 관심이 있습니다 : CNF 공식 F 와 정수 m > 1이 주어지면 F 가 정확히 m 개의 모형을 가지고 있다는 것이 사실 입니까?mmmFFFm>1m>1m>1FFFmmm 두 문제는 비슷해 보입니다. 그래서 내 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.