이론 컴퓨터 과학 np-hardness

5

매개 변수화 된 복잡성에서 사람들은 W-t-hardness를 증명하기 위해 FPT (fixed-parameter-tractable) 감소를 사용합니다. 이론적으로 FPT 감소는 다항식 시간 감소가 아닙니다. 매개 변수 k에서 지수 적으로 실행될 수 있기 때문입니다. 그러나 실제로 내가 본 모든 FPT 감소는 p- 시간 감소이며, 이는 W-t-hardness 증거는 거의 항상 NP-completeness 증거를 의미합니다. 누군가가 매개 변수 에서 …

11 cc.complexity-theory np-hardness reductions parameterized-complexity

1

최대 H 프리 세트의 계산

그래프에서 독립 집합은 유도 된 하위 그래프로 가장자리를 포함하지 않는 정점 하위 집합입니다. 그래프에서 가장 큰 독립 집합을 찾는 문제는 근본적인 알고리즘 문제이며 어려운 문제입니다. 그래프에서 가장 큰 H- 프리 세트를 찾는 (크기의) 더 일반적인 질문을 고려해 봅시다. 여기서 H- 프리는 고정 된 그래프 H의 사본을 유도 된 서브 그래프로 …

11 ds.algorithms reference-request graph-theory np-hardness co.combinatorics

2

최소 비용 피드백 아크 세트 문제에 대한 빠른 알고리즘?

유 방향 그래프 , 에서 가 DAG (directed acyclic graph)이면 를 피드백 아크 세트라고합니다. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)에프⊂ 전자F⊂EF\subset EG ∖ FG∖FG\setminus F에프FF 각 에지가 가중치 와 연관된 경우 , 최소 비용 피드백 아크 세트 문제는 가 최소가 되도록 를 찾는 것이다 .F …

11 ds.data-structures graph-theory np-hardness approximation-algorithms

2

N 퀸즈는 NP-hard 문제입니까?

N 여왕 문제는 다음과 같습니다. 입력 : N 출력 : NXN 체스 판에 N "퀸"을 배치하여 두 개의 퀸이 같은 행, 열 또는 대각선에 놓이지 않도록합니다. 이것에 대한 Google 검색을 수행하면서 많은 교수의 많은 슬라이드가 이것이 NP-Hard 문제라고 주장했습니다 (예 : web.mst.edu/~ercal/387/slides/NP-Hard.ppt) 그러나 나는 증거를 찾을 수 없었습니다. 내가이 질문을하는 …

11 cc.complexity-theory np-hardness csp

2

NP-hard 감소에서 '가제트'란 무엇입니까?

이 질문은 기술적이지 않을 수 있습니다. 비 원어민 강사이자 알고리즘 클래스의 TA로서 나는 항상 '가제트'또는 '가변 가제트'에서 가제트가 무엇을 의미 하는지 궁금했습니다 . 사전은 가제트가 기계 또는 장치라고 말하지만 NP- 완전 증거와 관련하여 구어체가 어떤 의미인지는 잘 모르겠습니다.

11 cc.complexity-theory np-hardness terminology reductions

2

최소 트루 모노톤 3SAT

CNF 공식이 모노톤 (변인은 무시되지 않음) 인 SAT 변형에 관심이 있습니다. 이러한 공식은 분명히 만족할 만하다. 그러나 진정한 변수의 수는 솔루션이 얼마나 좋은지 측정하는 것이라고 말합니다. 따라서 다음과 같은 문제가 있습니다. 최소 참 모노톤 3SAT INSTANCE : 리터럴이 변수 (부정되지 않음) 인 변수의 U, 3 개의 리터럴의 분리 절 모음 …

11 cc.complexity-theory np-hardness sat

6

일대일 감소 및 튜링 감소는 동일한 등급 NPC를 정의합니다.

일대 감소와 튜링 감소로 정의 된 NPC 클래스가 같은지 궁금합니다. 편집 : 또 다른 질문은 Turing 감소가 일부 C의 C 및 co-C 클래스 만 축소 시키거나 Karp 감소 에서 C ∪ c o − C 에 없는 문제 가 있고 C 에서 Turing 감소 아래에 있는 문제가있는 것과 같은 클래스 …

11 cc.complexity-theory np-hardness reductions

1

Red-Blue 퍼펙트 매칭의 존재를 결정하는 것은 얼마나 어렵습니까?

2 색의 완벽한 일치 문제는 각 노드가 정확히 하나의 이웃과 동일한 색을 갖도록 그래프가 두 가지 색으로 채색되는지 여부를 결정하는 것입니다. 이 문제는 Schaefer에 의해 NP가 완료된 것으로 입증되었습니다 . 평면 입방 형 그래프에서도 NP- 완전 상태를 유지합니다. 입력 그래프에 두 가지 색상으로 색상이 지정되는지 여부를 결정하려는 변형에 관심이 있습니다. …

10 cc.complexity-theory np-hardness

2

그래프 문제의 가상 복잡성에 대한 일반적인 통찰

일부 그래프 문제 의 가상 경도 에 대한 두 가지 예를 보았습니다 . 가상의 경도는 어떤 추측을 반박하면 각각의 그래프 문제의 NP- 완전성을 의미합니다. 예를 들어, Barnette의 추측에 따르면 3 개의 연결된 3 차 평면 이분 그래프는 모두 Hamiltonian이라고합니다. Feder와 Subi는 추측을 반박하는 것은 추측의 계급 그래프에서 해밀턴 사이클 문제의 …

10 cc.complexity-theory graph-theory np-hardness

1

Planar 3-SAT의 정의

Planar 3-SAT의 표준 정의는 무엇입니까? 나는 여러 가지 다른 정의를 보았다. 그것을 정의하고 NP- 완전하다는 것을 증명 한 최초의 논문은 무엇입니까?

10 cc.complexity-theory reference-request np-hardness sat planar-graphs

1

랜덤 스왑으로 원하는 순열을 생성 할 가능성

다음 문제에 관심이 있습니다. 우리는 순서대로 인덱스 i 1 , … , i m ∈ [ n - 1 ]의 목록뿐만 아니라 "타겟 순열" 을 입력으로 받는다 . 그리고,리스트로 시작 L = ( 1 , 2 , ... , N ) 각 시간 단계에서 (즉, 아이덴티티 퍼뮤) 우리 스왑 에 …

10 np-hardness counting-complexity permutations sorting-network disjoint-paths

2

거의 2-SAT NP-hard입니까?

3 개 이상의 절의 총 수 (너비는 아님)가 상수로 제한 될 때 CNF SAT 문제 NP가 어렵습니까? 그러한 절이 하나만있을 때 구체적으로 어떻습니까?

10 np-hardness sat upper-bounds

1

구간 목록 사이의 모노톤 바이 젝션

다음과 같은 문제가 있습니다. 입력 : 간격 와 T 의 두 세트 (모든 엔드 포인트는 정수임). 쿼리 : 모노톤 bijection f : S → T가 있습니까?에스SS티TT에프: S→ Tf:S→Tf:S \to T bijection은 와 T 에 설정된 포함 순서로 모노톤 입니다. ∀ X ⊆ Y ∈ S , f ( X ) …

10 cc.complexity-theory ds.algorithms np-hardness partial-order matching

2

세트 커버 서브 케이스의 경도

요소의 수가 일부 함수 (예 : )에 의해 제한되는 경우 Set Cover 문제는 얼마나 어려운가? 여기서 n 은 문제 인스턴스의 크기입니다. 공식적으로로그엔log⁡n\log n엔nn 하자 와 F가 = { S 1 , ⋯ , S , N은 } S I ⊆ U 및 m = O ( 로그 N ) . …

10 np-hardness set-cover exp-time-algorithms

2

0-1 프로그래밍을위한 정확한 지수 시간 알고리즘

순진 알고리즘을 능가하는 다음 문제에 대한 알려진 알고리즘이 있습니까? 입력 : A 시스템 의 m 선형 불평등.A x ≤ bAx≤bAx \le b미디엄mm 출력 : 실행 가능한 솔루션 경우).엑스※∈ { 0 , 1 }엔x∗∈{0,1}nx^*\in \{0,1 \}^n 와 b 에 정수 항목이 있다고 가정하십시오 . 최악의 상황에 관심이 있습니다.ㅏAAbbb

10 np-hardness integer-programming exp-time-algorithms

«np-hardness» 태그된 질문