«np-hardness» 태그된 질문

그들의 논문에서 (p. 503) Garey와 Johnson은 다음과 같이 말했습니다 : ... 의사 다항식 시간 알고리즘으로 강한 의미에서 NP- 완전하거나 해결할 수없는 NP- 완전 문제가 존재할 수 있습니다 ... 위에서 언급 한 속성과 관련된 후보 문제를 아는 사람이 있습니까? 이 질문에 대한 가능한 대답은 의사 다항식 알고리즘이 알려진 일반적인 의미의 NP- …

19 ds.algorithms  np-hardness  np 

이 문제는 최근 블로그 게시물 에서 나왔습니다 . TSP 둘러보기가 제공되었다고 가정합니다. 최소 한도인지 확인하는 것은 공동 NP 완료입니까? 다음은 NP-complete 문제입니다. 인스턴스 : 양의 정수로 가중치를 부여한 간선과 G의 모든 노드를 방문하는 간단한주기 C가있는 완전한 그래프 G가 제공됩니다. 질문 : G에서 D의 모든 모서리의 총 무게가 G에서 C의 모든 …

18 np-hardness 

다항식 시간 감소 (Cook reductions) 개념은 매우 직관적 인 개념의 추상화입니다. 다른 문제에 대한 알고리즘을 사용하여 문제를 효율적으로 해결합니다. 그러나 이론에 -completeness의 개념 - 경도 매핑 감소 (카프 감축)를 통해 캡처됩니다. 이 "제한된"축소 개념은 (적어도 나에게는) 직관적이지 않다. 그것은 다소 덜 직관적 인 경도 개념을 생성하기 때문에 약간 생각한 것처럼 …

18 cc.complexity-theory  np-hardness  soft-question 

문제 NP 완료를 증명하는 것이 연구의 성공이라는 것을 이해하고 있는가? 그렇다면 왜?

18 cc.complexity-theory  np-hardness  big-picture 

다음 문제에 관심이 있습니다. X 세트 X 및 X_1, ..., X_n의 X_n 집합을 고려할 때 각 X_i의 요소가 모두 다르게 색상이 지정되도록 X의 요소를 k 색상으로 채색하십시오. 보다 구체적으로, 모든 X_i의 크기가 k 인 경우를보고 있습니다. 이것은 문학에서 어떤 이름으로 알려져 있습니까? 채색 가능한 인스턴스의 특성화와 복잡성에 대한 결과를 찾고 …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

다음과 같은 문제를QQQ 생각해보십시오. Q : 정수 과 k 간격 [ l i , r i ] 에 1 ≤ l i ≤ r i ≤ 2 n 이 주어집니다 . 또한 2 n 정수 d 1 , … , d 2 n ≥ 0이 부여 됩니다. 이 작업은 최소 …

17 cc.complexity-theory  np-hardness 

최근에 나는 다음과 같은 변색의 변형을 만났다. 무 방향 그래프가 연결된 경우 최대 정점 수를 사용하는 가장자리의 색상을 찾고 모든 정점에 대한 제약 조건을 만족시킵니다. VVv가장자리에 VVv 최대 두 가지 색상을 사용하십시오. 내 첫 번째 추측은 문제가 NP-hard라는 것입니다. 그래프 색상 문제에 대한 고전적인 NP-hard 증거는 대부분 3SAT에서 감소한 것입니다. …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

나는 최근에 문제가 강력한 NP- 하드 문제에서 (다항식 시간으로) 간단히 줄임으로써 문제가 NP- 하드 였다는 증거를 최근에 읽었습니다. 이것은 나에게 의미가 없었습니다. 축소에 사용 된 숫자와 축소하려는 문제의 인스턴스가 문제 크기에서 다항식으로 묶여 있음을 보여 주어야한다고 생각했을 것입니다. 나는 Wikipedia가 이런 종류의 증거에 대해 동일한 일반적인 지침 을 제공하는 것을 …

17 cc.complexity-theory  np-hardness  reductions 

NP- 완전 문제에 대한 두 번째 해결책을 찾는 문제의 NP- 완전성에 관한 일반적인 결과 또는 예가 있는지 확인하려고합니다. 보다 정확하게는 다음 형식의 문제에 관심이 있습니다. 솔루션을 감안할 때 인스턴스에 I NP에 완성 문제의 해결책이 S ' ≠ S 에 내가 ?SSSIIIS′≠SS′≠SS' \neq SIII 이러한 종류의 문제, NP- 완료 여부와 일반적인 …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

연결되고 단순하고 방향이없는 그래프 H가 있다고 가정합니다. H 프리 컷 문제는 다음과 같이 정의됩니다. 단순하고 방향이없는 그래프 G가 주어지면, 컷 세트 (L 및 R)에 의해 유도 된 그래프가 모두 H에 대한 동형 하위 그래프를 포함하지 않도록 컷 (정점을 두 개의 비빈 세트 L, R로 분할)이 있습니까? . 예를 들어, H가 …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

무 방향 그래프 주어지면 꼭짓점 GGG의 부분 집합 A≠∅A≠∅A\neq \emptyset 를 찾습니다. 모든 정점 x∈Ax∈Ax\in A 의 의 이웃 중 적어도 절반 xxx도AAA및 A 의 크기AAA 는 최소입니다. 즉, 우리는 모든 내부 정점 근처의 절반 이상이 내부로 유지되는 클러스터를 찾고 있습니다. 전체 정점 세트 V(G)V(G)V(G) 항상 특성 1을 갖기 때문에 …

16 graph-theory  graph-algorithms  np-hardness 

3 가지 일반 마그네틱의 교집합은 NP-hard ( source )이며, 이는 해밀턴 사이클에서 감소를 통해 이루어집니다. 축소에는 하나의 그래픽 matroid와 두 개의 연결 matroid가 사용됩니다. 내가 작업중 인 문제의 특별한 경우는 여러 그래픽 matroids를 교차시켜 해결할 수는 있지만이 문제가 P인지 여부는 찾을 수 없었습니다. 질문 : 알려진가요? 누군가 제게 종이나 무언가를 …

16 reference-request  np-hardness  reductions 

음이 아닌 정수로 선형 디오 판틴 방정식을 푸는 NP- 완전 문제에 대한 정보는 거의 없습니다. 즉, 음이 아닌 을 방정식 a 1 x 1 + a 2 x 2 +로 바꿉니다 . . . 모든 상수가 양수인 + a n x n = b ? 내가 아는 유일한 문제는 Schrijver …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

라고 가정하자 . N P 나는 문제의 클래스 N P 에 어느 쪽도 없습니다 P 도에 N P의 -hard. 여기서 N P I로 추측되는 문제 목록을 찾을 수 있습니다.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} . 라드의 정리는 경우라고 우리에게 이야기 다음의 무한 계층 구조가 N P I의 문제, 즉있다 N P I의 단단 …

16 cc.complexity-theory  np-hardness  np-intermediate 

사각형 패킹 문제에서, 사각형 세트 과 경계 사각형 됩니다. 이 작업은 안에 배치 하여 사각형이 겹치지 않도록하는 것입니다 . 일반적으로, 각 직사각형의 방향 고정된다. 즉, 사각형을 회전 할 수 없습니다. 이 경우 문제는 NP- 완전한 것으로 알려져 있습니다 (예 : Korp 2003 참조 ).{r1,…,rn}{r1,…,rn}\{r_1,\dots,r_n\}RRRr1,…,rnr1,…,rnr_1,\ldots,r_nRRRnnnririr_i 사각형을 909090 도 회전시킬 수 있다면 …

16 cc.complexity-theory  np-hardness  packing