«reductions» 태그된 질문

이 질문에 내가 놓친 사소한 대답이 있으면 죄송합니다. 결정 불가능한 것으로 입증 된 문제를 연구 할 때마다 그 증거가 결정 불가능한 것으로 입증 된 다른 문제의 감소에 의존한다는 것을 알았습니다. 문제의 난이도에 따라 일종의 질서를 생성한다는 것을 이해합니다. 그러나 내 질문은-결정 불가능한 모든 문제를 결정할 수없는 다른 문제로 줄일 수 …

11 computability  reductions  undecidability 

Complexity Zoo 는 을 결정 성있는 Turing machine이 선형 시간으로 해결할 수있는 결정 문제의 클래스로 정의합니다 .L I엔엘나는엔LIN L I엔⊆ P엘나는엔⊆피LIN \subseteq P HORN-SAT는 에서 해결할 수 있기 때문에 ( Propositional Horn Formulas (1984)의 만족도를 테스트하기위한 선형 시간 알고리즘에 나와 있음 )O ( n )영형(엔)O(n) (제안) 혼 공식이 만족 스러운지를 …

11 complexity-theory  time-complexity  reductions 

나는 계산 이론에서 마지막을 위해 공부하고 있으며,이 진술이 거짓인지 아닌지에 대한 올바른 대답 방법으로 고심하고 있습니다. 의 정의 에 의해 다음 문장을 구성 할 수 있습니다.≤m≤m\leq_m 승 ∈ A⟺에프( w ) ∈ B → w ∉ A⟺에프( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin …

11 complexity-theory  computability  reductions 

NP- 완전성과 같은 것들에 대한 추론을 위해, 우리는 일반적으로 다수의 축소 (즉, Karp 축소)를 사용합니다. 이것은 다음과 같은 그림으로 이어집니다. (표준 추측하에). 우리 모두 이런 종류의 일에 익숙하다고 확신합니다. 튜링 감소 (예 : 쿡 감소)를 사용하면 어떤 그림을 볼 수 있습니까? 사진은 어떻게 바뀌나요? 특히, 가장 중요한 복잡성 클래스는 무엇이며 …

10 complexity-theory  reductions  complexity-classes 

우리는 Cook과 Karp 축소의 관계에 대해 몇 가지 질문을했습니다 . Cook 감소 (다항식 튜링 감소)는 일반적으로 사용되는 Karp 감소 (다항식 다 대일 감소)와 동일한 NP- 완전성 개념을 정의하지 않습니다. 특히, 쿡 감소는 P NP 인 경우에도 NP를 co-NP로부터 분리 할 수 ​​없습니다 . 따라서 일반적인 축소 증명에는 Cook 축소를 사용해서는 …

10 complexity-theory  reference-request  np-complete  reductions 

입력 인스턴스가 간단한 그래프 이고 자연 정수 k 인 다음 문제를 고려하십시오 .GGGkkk 세트 있는가 하도록 G - S는 양자과는 | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k 3-SAT, k -CLIQUE, k -DOMINATING SET 또는 k -VERTEX COVER를 줄임으로써이 문제가 임을 보여 드리고자합니다.NPNP\rm{NP}kkkkkkkkk 3-COLORING 문제를 줄일 …

10 complexity-theory  np-complete  reductions 

다음에 대한 증거를 제시하려고합니다. 모든 언어 ㅏㅏA 에 대해 A \ le _ {\ mathrm {T}} B 이지만 B \ nleq _ {\ mathrm {T}} A 와 같은 언어 B 가 있습니다 .비비Bㅏ≤티비ㅏ≤티비A \le_{\mathrm{T}} B≰티ㅏ≰티ㅏ\nleq_{\mathrm{T}} A 나는시키는 생각하고 있었는데 비비B 가 될 ㅏT Mㅏ티미디엄A_{\mathrm{TM}} 하지만 모든 언어에 환원 튜링되어 있지 …

9 computability  reductions  undecidability 

최대 이분법 일치 문제에서 최대 흐름 문제로 유명하고 우아하게 축소되었습니다. 소스 노드가있는 네트워크를 만듭니다. 에스ss터미널 노드 티tt각 항목에 대해 하나의 노드를 일치시킨 다음 적절한 모서리를 추가하십시오. 다항식 시간에서 최대 흐름을 최대이 분식 매칭으로 최대 흐름을 줄이는 방법은 확실히 있습니다. 두 방법 모두 다항식 시간으로 각각 해결할 수 있기 때문입니다. 그러나 …

9 reductions  network-flow  bipartite-matching 

문제 A가 어렵다는 것을 알면 B도 어렵다는 것을 알기 위해 A를 알 수없는 문제 B로 줄입니다. 예를 들어 3 색이 어렵다는 것을 알고 있습니다. 그런 다음 3 색을 4 색으로 줄입니다. 3 색의 색상 중 하나를 팽팽하게하면 4 색이 표시되고 ergo 4 색은 어렵습니다. 그 방법입니다. 그러나 이것이 왜 4 …

9 complexity-theory  np-complete  reductions 

무한 알파벳의 기호를 읽고 쓰는 것이 허용되는 튜링 머신은 일반 TM보다 강력합니다 (유일한 차이점입니다. 머신에는 여전히 유한 한 수의 상태가 있습니다)? 직관에 따르면 각 기호를 구별하기 위해 무한한 수의 상태가 필요하기 때문에 나에게 그렇지 않습니다. 따라서 심볼로 인한 일부 심볼 또는 전환 (또는 전환의 일부 하위 집합)은 동일해야한다고 생각합니다. 따라서 …

9 computability  turing-machines  reductions  simulation