«np-hardness» 태그된 질문

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

1
해밀턴 분해 결정 문제
하자 무향 그래프 될. 의 분해 분리 된 서브 세트에 불리며 해밀턴 분해 의 서브 그래프는 각각의 세트에 의해 유도되는 경우 어느 해밀턴 그래프 또는 단일 에지 구성 .G = ( V, E)지=(V,이자형)G=(V,E)VVVV나는V나는V_i지지GV나는V나는V_i| V나는| =2|V나는|=2|V_i|=2 예 : 완전 이분 그래프 은 경우에만 Hamilton 분해를 .케이m , n케이미디엄,엔K_{m,n}m = n미디엄=엔m=n 주어진 …
2
DP의 중요 SAT 변형
언어 클래스에 D P 개의 언어가있다 IFF에 L 1 ∈ N P 및 L 2 ∈ C O N P 되도록 L = L (1) ∩ L 2L엘LDP디피DPL1∈NP엘1∈엔피L1 \in NPL2∈coNP엘2∈씨영형엔피L2 \in coNPL=L1∩L2엘=엘1∩엘2L = L1 \cap L2 정규 - 완전한 문제는 SAT-UNSAT이되는 두 개의 3-CNF 식, 주어진 F 와 G를 , …
2
정사각형 그리드에 숨겨진 다각형 퍼즐의 복잡성?
히로이 모노 인기입니다 - 완전한 퍼즐. 관련 퍼즐의 계산 복잡성에 관심이 있습니다.NPNPNP 문제는: 입력 : x n 정사각형 그리드 에있는 점 세트 와 정수 knnnnnnkkk 질문 : 다각형 모서리의 점 수가 k 이상이 되도록 직선 다각형 ( 또는 y 축에 평행 한 변 )이 있습니까?xxxyyykkk 다각형의 모든 모서리는 입력 점 …
1
다음 SAT 하위 집합의 복잡성은 무엇입니까?
P ≠ N P라고 가정피≠ N피P≠NPP \neq NP 다음 표기법을 사용하십시오 테트 레이션을위한 (즉.나는ㅏia{}^ia ).나는a = aㅏ⋅⋅⋅ㅏ나는 배ia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | 인스턴스 x의 크기입니다. L을 언어로, 패 |에프( i ) ≤ | x | < g( 나는 ): = { x ∈ L | ∃ …
2
결정 불가능한 문제의 NP- 완전 변형?
결정 불가능한 세트 의 경계 완전 변형의 예 :엔피NPNP 경계 정지 문제 = { | NTM 기계 M이 정지하고 t 단계 내에서 x를 받아들입니다 }( M, x , 1티)(M,x,1t)(M, x, 1^t)미디엄MM엑스xx티tt 경계 바둑판 식 배열 = { | T의 타일에 의한 면적 t 2 의 타일링이 있습니다 }( T, 1티)(T,1t)(T, …
1
제한된 스타 시스템 문제의 경도?
스타 시스템은 n- 요소 세트 의 n 서브 세트로 구성된 패밀리 입니다 . 몇몇 그래프가 있으면 스타 시스템은 그래픽 인 되도록 의 정점 이웃의 가족 . 주어진 스타 시스템이 그래픽인지 여부를 결정하는 것은 입니다.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP 문제가 -complete를 유지하도록 각 요소의 최소 발생은 무엇입니까 ?NPNPNP 12-12-2010 편집 : 다른 질문을 추가했습니다. 문제가 …
3
길이가 긴 단어를 찾는 어려움
문제 설명 : 허락하다 M미디엄M (잠재적으로 결정적이지 않은) 푸시 다운 오토 마톤이어야하고 Aㅏ\cal A입력 알파벳입니다. 단어가 있습니까w∈A∗w∈A∗w \in \cal A^* 성 |w|≤k|w|≤k|w| \leq k 그것은 받아 들여진다 M미디엄M ? 이 문제가 NP-complete입니까? 연구 되었습니까? 그런 단어를 찾을 수있는 알고리즘이 있습니까?
1
가장 잘 알려진 점근 적 PCP 크기 / 3-SAT
확률 적으로 확인할 수있는 증거의 크기에 대해 가장 잘 알려진 점근 적 상한은 무엇입니까? 이상적으로, 나는이 광범위한 질문에 대한 현대적인 설문 조사를 찾고 있지만 아무것도 없다면 3-SAT의 근사성에 특히 관심이 있습니다. 7 / 8 + ε-3-SAT를 3-SAT로 설정하고 절의 7 / 8 + ε 비율이 만족스러운 경우 인스턴스를 만족시킬 수 …
1
제한된 그래프 클래스에 대한 색도의 경도에 대해 알려진 것은 무엇입니까?
1991 년부터 색도 지수를 결정하는 경도에 대해 알려진 것을 나타내는 다른 그래프 클래스 가족에 대한 세 개의 다이어그램이 포함 된 멋진 논문 이 있습니다. 그 이후로 뉴스가 있습니까? 경계 색 수가있는 그래프에 대해 가장 관심이 있습니다. /mathpro/238448/hypergraph-edge-colouring 으로 호기심이 생겼습니다 .
1
방향성 사이클에 대한 이형 동질성의 복잡성
고정 된 방향 그래프 (digraph) 가 주어지면 , COLORING 결정 문제는 입력 digraph 가 와 동질성을 갖는지 묻습니다 . ( 에서 의 동형은 호를 보존하는 에서 의 매핑 입니다 . 즉, 가 의 호 이면 는 )디DD디DD지GG디DD지GG디DD에프ffV( G )V(G)V(G)V( D )V(D)V(D)너 vuvuv지GG에프( u ) f( V )f(u)f(v)f(u)f(v)디DD COLORING 문제 의 …
1
모든 변수가 양수와 음수 모두 발생하더라도 1-in-3 SAT는 NP-hard로 유지됩니까?
표준 문제 1-in-3 SAT (또는 XSAT 또는 X3SAT)는 다음과 같습니다. 인스턴스 : 정확히 3 개의 리터럴을 포함하는 모든 절이있는 CNF 수식 질문 : 절당 정확히 1 개의 리터럴을 만족시키는 할당 설정이 있습니까? 문제는 NP- 완료이며 변수가 부정되지 않더라도 여전히 어려운 상태입니다. 각 변수가 적어도 한 번은 긍정적으로 그리고 최소한 한 …
1
무지개 삼각형으로 가장자리 분할
다음 문제가 NP-hard인지 궁금합니다. 입력 : 간단한 그래프, 그리고 채색의 ( 는 특정 속성을 확인하지 않습니다).G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff 질문 : 각 삼각형이 각 색상의 한쪽 가장자리를 갖도록 를 삼각형 으로 분할 할 수 있습니까?EEE|E|/3|E|/3|E|/3 나는 색깔없이 "에지 분할"로 그래프의 문제를 알고 , (참조 NP-어려운 일부 에지 …
1
최대 중량 "공정한"매칭
그래프에서 최대 가중치 일치의 변형에 관심이 있는데,이를 "최대 공정 일치"라고합니다. 그래프가 가득 차고 (즉, ), 짝수의 정점이 있으며 가중치는 이익 함수 p : {V \ choose 2} \ to \ mathbb N에 의해 주어진다고 가정합니다 . 일치하는 M이 주어지면 M (v)로 표시됩니다 . 가장자리 v 의 이익 이 일치합니다.이자형=V×VE=V×VE=V\times V피:(V2)→엔p:(V2)→Np:{V\choose …
1
최대 쌍별 분리 세트를 찾는 복잡성
가능한 에서 가져온 요소 가있는 세트 가 있다고 가정 합니다. 각 세트는 크기가 ( )이며, 세트가 겹칠 수 있습니다. 다음 두 가지 문제가 NP 완료인지 여부를 확인하고 싶습니다.PPPrrrnnnn&lt;rn&lt;rn<r 문제 A.이 거기에 ( ) 별개의 내 세트 세트 (즉, 자신의 쌍대 교차로가 비어)?MMM1≤M≤P1≤M≤P1 \le M \le PPPP 문제 B. 이제 ( …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.