«reductions» etiketlenmiş sorular

Bu soruda eksik olduğum önemsiz bir cevap varsa üzgünüm. Kararsız olduğu kanıtlanmış bir sorun üzerinde çalıştığımda, kanıtın kararsız olduğu kanıtlanmış başka bir soruna indirgemeye dayandığını gözlemliyorum. Bir sorunun zorluk derecesi hakkında bir çeşit emir yarattığını anlıyorum. Ama sorum şu ki - kararsız olan tüm problemlerin kararsız olan başka bir probleme …

11 computability  reductions  undecidability 

Karmaşıklık Hayvanat Bahçesi , lineer zamanda deterministik bir Turing makinesi tarafından çözülebilen karar problemleri sınıfı olarak tanımlar .LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P HORN-SAT, de çözülebildiğinden (teklif boynuz formüllerinin tatmin edilebilirliğini test etmek için Doğrusal zaman algoritmalarında belirtildiği gibi (1984) )O(n)O(n)O(n) (Önerme) Boynuz formülünün tatmin edici olup olmadığına karar vermek için yeni …

11 complexity-theory  time-complexity  reductions 

Hesaplama teorisinde finalimi inceliyorum ve bu ifadenin yanlış için doğru olup olmadığını doğru bir şekilde cevaplamaya çalışıyorum. By tanımı içinde biz aşağıdaki ifadeyi oluşturabilirsiniz≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Burada sıkıştığım yer, söylemek istediğim, gibi böylesine hesaplanabilir bir fonksiyona sahip …

11 complexity-theory  computability  reductions 

NP tamlığı gibi şeyler hakkında düşünmek için, tipik olarak bir-bir indirimler (yani Karp indirimleri) kullanırız. Bu, aşağıdaki gibi resimlere yol açar: (standart varsayımlar altında). Eminim hepimiz bu tür şeylere aşinayız. Turing indirimleri (yani Cook indirimleri) ile çalışırsak hangi resmi elde ederiz? Görüntü nasıl değişir? Özellikle, en önemli karmaşıklık sınıfları nelerdir …

10 complexity-theory  reductions  complexity-classes 

Biz oldu Cook ve Karp indirimleri ilişkisi hakkında birkaç soru . Cook indirgemelerinin (polinom-zamanlı Turing indirgemeleri), genellikle kullanılan Karp indirimleri (polinom-zaman çok-bir indirimler) ile aynı NP tamlık kavramını tanımlamadığı açıktır. Özellikle Cook indirimleri, P NP olsa bile ko-NP'den ayıramaz . Bu nedenle Cook azaltmalarını tipik azaltma kanıtlarında kullanmamalıyız.≠≠\neq Şimdi, öğrenciler …

10 complexity-theory  reference-request  np-complete  reductions 

Girdi örneği basit bir grafik ve doğal bir tamsayı olan aşağıdaki sorunu göz önünde bulundurun .G,G,Gkkk Bir dizi var bu şekilde G - S bipartit ve | S | \ leq 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 …

10 complexity-theory  np-complete  reductions 

Aşağıdakiler için bir kanıt bulmaya çalışıyorum: Herhangi bir dil için , bir dil vardır öyle ki ancak B .AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A Ben izin düşünüyordum olmak , ama tüm diller indirgenemez Turing değil fark , bu nedenle tutmazlar. Ne diğer seçenek ben bu beni bir kahini kullanan bir TM yazmak …

9 computability  reductions  undecidability 

Maksimum iki taraflı eşleştirme sorunundan maksimum akış sorununa kadar ünlü ve zarif bir azalma var: kaynak düğümü , bir terminal düğümü ve eşleştirilecek her öğe için bir düğüm, ardından uygun kenarları ekleyen bir ağ oluşturuyoruz .sssttt Polinom zamanında maksimum akışı maksimum bipartit eşleştirmeye indirmenin bir yolu vardır, çünkü her ikisi …

9 reductions  network-flow  bipartite-matching 

Diyelim ki A probleminin zor olduğunu biliyoruz, o zaman B'yi de zor olduğunu kanıtlamak için A'yı bilinmeyen B sorununa indirgiyoruz. Örnek olarak: 3 rengin zor olduğunu biliyoruz. Sonra 3-rengi 4-rengine indiriyoruz. 3 renklendirmedeki renklerden birini karıştırarak 4 renklendirmeye sahip olursunuz, ergo 4 renklendirmesi zordur. İşte böyle. Peki bu neden 4 …

9 complexity-theory  np-complete  reductions 

Sonsuz bir alfabeden sembolleri okuma ve yazma izni olan bir Turing Makinesi normal bir TM'den daha güçlü mü (tek fark bu, makine hala sınırlı sayıda duruma sahiptir)? Sezgi bana söylemez, çünkü her sembolü farklılaştırmak için sonsuz sayıda duruma ihtiyacınız vardır. Bu yüzden sembollerin (veya geçişlerin bazı alt kümelerinin) neden olduğu …

9 computability  turing-machines  reductions  simulation