«reductions» 태그된 질문

여기서 목표는 가장 적은 수의 절과 변수를 사용하여 임의의 SAT 문제를 다항식 시간으로 3-SAT로 줄이는 것입니다. 내 질문은 호기심에 의해 동기 부여됩니다. 덜 공식적으로 저는 "SAT에서 3-SAT로 '가장 자연적인'감축이 무엇입니까?" 이제 교과서에서 항상 본 축소는 다음과 같습니다. 먼저 SAT를 예로 들어 Cook-Levin 정리를 적용하여 SAT를 회로 SAT로 줄이십시오. 그런 다음 …

18 cc.complexity-theory  sat  reductions 

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

17 cc.complexity-theory  np-hardness  reductions 

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

16 reference-request  np-hardness  reductions 

또는 다른 말로, 우리는 모든 언어 와 , 또는 있습니까?B A ≤ p B B ≤ p AㅏㅏA비비B≤피비ㅏ≤피비A \leq_p BB ≤피ㅏ비≤피ㅏB \leq_p A

15 reductions  complexity 

나는 cs.stackexchange 10 일 전에이 질문을 여기 하지만 난 어떤 대답을 didn'y. A의 매우 유명 용지 (네트워킹 커뮤니티), 왕 및 Crowcroft 일부 제시 여러 첨가제 / 곱셈 제약 조건 경로 계산의 결과를 -completeness. 첫 번째 문제는 다음과 같습니다.N P엔피\mathsf{NP} 방향 그래프 와 모서리에 두 개의 가중치 메트릭 w 1 과 …

15 np-hardness  reductions 

서브셋 합계 문제가 NP- 하드 인 반면 서브셋 제품 문제가 정확히 NP- 하드 인 이유를 설명 할 수 있기를 바랐습니다. 서브 세트 합계가 : 감안할 때 X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} 및 는 ∑ i ∈ X ′ x i = T가 되도록 TTT부분 집합 가 존재한다 .X′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T 일부 …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

모두가 알다시피, Garey와 Johnson의 유명한 저서 (및 다른 많은 책들)는 고전적인 환경에서 축소 기술에 대한 훌륭한 참고 자료를 제공합니다. fpt 축소와 같이 매개 변수화 된 알고리즘의 축소 기술 주제에 대한 조사 나 서적이 있습니까?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

문제 : 주어진 은 부울 회로로 표시되며 와 같이 균일하게 임의의 생성합니다. (또는 x 가 존재 하지 않으면 출력 \ perp ). ϕ : { 0 , 1 }엔→ { 0 , 1 }ϕ:{0,1}엔→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }엔엑스∈{0,1}엔x \in \{0,1\}^nϕ ( x ) = …

14 np-hardness  counting-complexity  reductions 

모두가 아시다시피, SAT는 대한 완료 다항식 시간 많은 한 감소를 WRT. 여전히 wrt 많은 일 감소입니다.N P엔피\mathsf{NP}C0ㅏ씨0\mathsf{AC^0} 내 질문은 축소에 필요한 최소 깊이는 얼마입니까? 더 공식적으로 최소한의 무엇입니까 SAT가되도록 -hard WRT 많은 일 감소?디디dN P엔피\mathsf{NP}C0디ㅏ씨디0\mathsf{AC^0_d} 나에게 보인다 충분해야한다? 누구든지 참조를 알고 있습니까?C02ㅏ씨20\mathsf{AC^0_2}

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

정수 관계에 대한 (작은) 솔루션이 답을 얻을 수 있도록 부분 집합 합 또는 숫자 분할 문제의 인스턴스를 인코딩하는 방법이 있습니까? 확실하지 않다면 어떤 확률 론적 의미에서? 선택한 숫자의 범위가 보다 큰 '저밀도'영역에서 LLL (및 아마도 PSLQ)이 부분 집합 합계 문제를 해결하는 데 적당히 사용되었다는 것을 알고 있습니다. 선택된 숫자의 범위가 …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

대부분의 복잡한 이론가들은 일반적으로 다음과 같은 철학적 규칙을 믿는 것 같습니다. 우리가 문제에 대한 효율적인 알고리즘을 알아낼 수없는 경우 , 우리는 문제를 줄일 수 있습니다 문제에 , 다음이 아마 문제에 대한 효율적인 알고리즘 아닌 중 하나.A B BㅏAAㅏAA비BB비BB 예를 들어, 새로운 문제가 NP- 완료로 입증 될 때, 우리는 단순히 나타낼 …

14 cc.complexity-theory  big-picture  reductions 

Lance Fortnow는 최근에 L! = NP를 증명하는 것이 P! = NP를 증명하는 것보다 쉬워야 한다고 주장했습니다 . 대수 공간에서 NP를 분리하십시오. 나는 아무도 공개하지 않았지만 2001 년 사전 블로그 에서 대각선 화 에 관한 4 가지 접근법 (섹션 3)을 제시했다. P를 NP에서 분리하는 것보다 훨씬 쉽습니다. 관련 설문 조사의 섹션 …

13 cc.complexity-theory  reductions  relativization 

가 complete 임을 증명하고자 할 때 , 표준 접근법은 알려진 complete 문제를 대한 다항식 시간 계산 가능한 다 대일 감소를 나타내는 것 입니다. 이러한 맥락에서 우리는 감소의 실행 시간에 긴밀한 경계가 필요하지 않습니다. 그것은 것으로 충분 어떤 것이 가능성이 매우 높은 학위를 가질 수 있도록, 다항식 바인딩.L ∈ N P엘∈엔피L\in …

13 cc.complexity-theory  reductions  np-complete 

다음을 모두 동시에 유지할 수 있습니까? 에 포함되어 L 의 + 1 모든 양의 정수에 대한 의 .엘에스LsL_s엘s + 1Ls+1L_{s+1}에스ss 는 { 0 , 1 }에 대한 모든 유한 단어의 언어입니다.L = ⋃에스엘에스L=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} 몇 가지 복잡한 클래스가 와 대한 감소 적절한의 개념 C …

13 cc.complexity-theory  complexity-classes  reductions 

얼마 전에 두 세트가 카디널리티와 관련이없는 속성을 충족시키는 가장자리의 2 파티션을 찾고자하는 그래프 문제 에 대한 참조 요청 을 게시 했습니다 . 나는 다음과 같은 문제가 NP-hard라는 것을 증명하려고 노력했다. 토너먼트 가 주어지면, 전 이적 관계를 정의하는 피드백 아크 세트 F ⊆ E 가 G 에 있습니까?G = ( V, …

13 np-hardness  reductions