«reductions» etiketlenmiş sorular

Azalma, bir sorunun başka bir probleme dönüşmesidir. Bir indirgeme kullanımına örnek olarak P sorununun çözülemez olup olmadığını göstermek verilebilir. Bu, bir karar sorununun dönüştürülmesi veya azaltılmasıyla elde edilebilir.Pkararsız bir soruna dönüştü. Bu başarılabilirse, bu sorunun P'nin çözülemez olduğunu gösterdik.


2
Karekök toplamı-zor problemlerin toplamı?
Karekök toplamı sorunu, iki sekans verilen sorar ve toplamı olup, pozitif tamsayılar az, buna eşit veya daha büyük bir sum toplamından . Bu sorunun karmaşıklık durumu açık; bkz Bu yayını daha detaylı bilgi için. Bu problem, hesaplama geometrisinde, özellikle de Öklid'in en kısa yollarını içeren problemlerde doğal olarak ortaya çıkar …

3
Neden rasgelelik, indirgemede algoritmalardan daha güçlü bir etkiye sahiptir?
Rastgeleliğin polinom zaman algoritmalarının gücünü arttırmadığı, yani, nin bekletildiği varsayılır. Öte yandan, rastgelelik polinom zamanını azaltmada oldukça farklı bir etkiye sahip görünüyor . Valiant ve Vazirani iyi bilinen sonucu olarak, azaltır randomize polinom zaman indirgenmesi yoluyla. Azalma ihtimalinin düşük olması muhtemel değildir, çünkü muhtemel olmadığı düşünülen değerini verecektir .P=BPPP=BPP{\bf P}={\bf …

2
Valiant-Vazirani’nin derandomize edilmesi?
Valiant-Vazirani teoremi tam olarak bir tatmin edici bir düzenlemeye sahiptir SAT formülü ve bir edilemezdir formül arasında ayrım yapmak için bir polinom zaman algoritmasını (deterministik ya da randomize) bulunmaktadır - sonra NP = RP . Bu teorem, UNIQUE-SAT'ın, rastgele indirgeme altında NP- hard olduğunu göstererek kanıtlanmıştır . Mantıklı derandomizasyon varsayımlarına …

5
RSA'dan SAT'a Hızlı Azaltma
Scott Aaronson'un blog yazısı bugün, karmaşıklıktaki ilginç açık problemlerin / görevlerin bir listesini verdi. Özellikle biri dikkatimi çekti: Çözüldüğü zaman kayda değer sonuçlar doğurabilecek, mümkün olduğunca az değişken ve cümlecik içeren, 3SAT örneklerinden oluşan bir halk kütüphanesi oluşturun. (Örneğin, RSA faktoring zorluklarını kodlayan örnekler.) Bu kitaplıktaki en iyi güncel SAT-çözücülerinin …

7
NP’de önemsiz üyelik
bir dilin örneği var mı NPNPNP, ancak bu gerçeği doğrudan bu dilin üyeliğine dair çok sesli bir tanık olduğunu göstererek kanıtlayamadığımız bir yer var mı? Bunun yerine, dilin olduğu gerçeği, bu ikisi arasındaki bağlantının önemsiz olmadığı ve dikkatli bir analiz gerektirdiği N P'dekiNPNPNP başka bir dile indirgenerek kanıtlanmış olacaktır .NPNPNP …
27 reductions  np 

1
PLANAR SAT için subexponential algoritmalar var mı?
Treewidth en çünkü genel grafikler üstel olan bazı NP-zor problemler düzlemsel grafikler altüssel olan treewthth içinde ve üsteller.4.9 | V( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Temelde ben NP-tamamlandı PLANAR SAT için subexponential algoritmalar olup olmadığını merak ediyorum. Let değişkenler üzerinde CNF formül olabilir x i ve i -inci maddesi olduğu C …

2
Kalıcı kullanılarak iki taraflı olmayan mükemmel eşleşmeleri saymak için doğrudan / doğal bir azalma var mı?
İki taraflı bir grafikte mükemmel eşleşme sayısının sayılması, kalıcıın hesaplanmasında hemen azaltılabilir. İki taraflı olmayan bir grafikte mükemmel bir eşleşme bulmak NP'de olduğundan, iki taraflı olmayan grafiklerden kalıcıya doğru bir miktar azalma söz konusudur , ancak Cook'un SAT'a indirgemeyi ve daha sonra düşürmek için Valiant teoremini kullanarak kötü bir polinom …

2
K-Renk azaltma için Doğal CLIQUE
Her ikisi de NP-Complete olduğu için CLIQUE'den k-Color'a net bir düşüş var. Aslında, birini CLIQUE'dan 3-SAT'ye, 3-SAT'dan k-Color'a bir azalma ile azaltarak oluşturabilirim. Merak ettiğim şey, bu sorunlar arasında makul bir doğrudan azalma olup olmadığı. Diyelim ki SAT gibi bir ara dil tanımlamaya gerek kalmadan bir arkadaşıma oldukça kısaca açıklayabileceğim …

6
Karmaşıklık alt sınırlarının belirlenmesi için ileri teknikler
Bazılarınız, araştırma seviyesi olmadığı için kapatılmış olan bu soruyu izliyor olabilirsiniz. Dolayısıyla, sorunun araştırma düzeyinde olan kısmını çıkartacağım. Sıralama düzenlemesinin azaltılması veya EXPTIME tamamlanmış bir sorun gibi "basit" tekniklerin ötesinde, bir sorunun zaman karmaşıklığı için düşük sınırları kanıtlamak için hangi teknikler kullanılmıştır? Özellikle: Son on yılda geliştirilen "son teknoloji" teknikler …

5
Bilgisayar destekli NP eksiksizlik kanıtları hakkında meraklı
Yazıda "Gerçeklenebilirlik sorunlarının karmaşıklığı" Thomas J. Schaefer, yazar ifade etmiştir This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …

1
İkili çarpım ve parite evrişimi
Bu soru, ikili sayıların normal çarpımı ile polinom çarpma mod 2 arasındaki ilişki hakkındadır. Soruyu somutlaştırmak için, ideal olarak Knuth vol. 2, 3. baskı, sayfa 420 kitapta verilenden daha fazla. "Polinomların modulo 2 çarpımı, katsayılar bilgisayar sözcükleriyle doldurulmuşsa, ikili bir bilgisayarda sıradan aritmetik işlemlerle kolaylaştırabilir mi?" Knuth, girdideki bit sayısını …

9
Kitaptan indirimler.
Bu, " Kitaptan Algoritmalar " satırları boyuncadır . İndirgemeler de algoritmalar olsa da, bir kişinin kitaptan algoritmalar ile ilgili soruya cevap olarak bir azalma düşüneceğini düşündüm. Dolayısıyla ayrı bir sorgu! Her türlü indirimden en fazla şey bekleriz. Köşe kapağından yıldızlardaki multicut'a çok basit bir düşüşle başlayacağım. Azalma, kaynak sorunu tanımlandığında …

3
Rasgele veya P / poli indirimleri altında NP-tamamlanmış problemler.
Gelen bu soruya , biz (bu sayı teorisinde kanıtlanmamış varsayımlar doğruysa hangi bağlıdır rağmen) deterministik azalmalar altında randomize indirimleri altında NP-tam, ama muhtemelen değil doğal bir sorun tespit görünmektedir. Bilinen başka sorunlar var mı? P / poli indirgeme altında NP-tamamlanmış, ancak P indirgeme altında olduğu bilinmeyen herhangi bir doğal problem …

1
USTCONN'un logaritmik alan gerektirdiğini nasıl kanıtlayabilirim?
USTCONN, bir grafik G'de kaynak köşeden sss hedef köşeye bir yol olup olmadığına karar vermeyi gerektiren bir sorundur ; bunların tümü girişin bir parçası olarak verilmiştir.tttG,GG Ömer Reingold, USTCONN'un L'de olduğunu gösterdi (doi: 10.1145 / 1391289.1391291 ). Kanıt , zig-zag ürünü vasıtasıyla sabit dereceli bir genişletici oluşturur . Sabit dereceli …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.