«polynomial-time» etiketlenmiş sorular

Belirli bir genel boole formülünde (CNF-SAT), belirli bir DNF formülünde veya hatta belirli bir 2SAT formülünde tatmin edici atama sayısını saymanın problemini # P-tamamlama problemidir. Şimdi, negatif değişmez değeri olmayan bir CNF-SAT düşünün ( , her zaman ). Karar problemi çok kolaydır (tüm değişkenleri TRUE olarak ayarlayın ve atamanın formülü …

13 sat  counting-complexity  polynomial-time  monotone 

Treewith, bir grafiğin ağaç olmaktan ne kadar yakın olduğunu gösteren önemli bir grafik parametresidir (sıkı bir topolojik anlamda olmasa da). Trewidth hesaplamanın NP-sert olduğu iyi bilinmektedir. Ağaç genişliğinin hesaplanmasının zor olduğu doğal grafik sınıfları var mı? Benzer şekilde: Ağaç genişliğinin hesaplanmasının kolay olduğu ilginç grafik sınıfları var mı? Evet ise, …

13 graph-theory  np-hardness  polynomial-time  treewidth 

P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir. MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Pratik bir problem boyutu için , üstel bir algoritmanın en iyi bilinen polinom zaman muadilinden çok daha hızlı çalıştığı herhangi bir problemi (tercihen en azından biraz iyi bilinir) biliyor musunuz? Örneğin, bir sorunun pratik boyutu * ve bilinen iki algoritma olduğunu varsayalım : Biri ve diğeri , bazı sabit . …

13 time-complexity  polynomial-time  exp-time-algorithms 

Aşağıdaki sorunu düşünün, Bir dizi Verilen pozitif sayılar { a 1 , ... , bir n } hangi bir sabittir, biz içine setini bölümlere ayırmak istediğiniz boyutu alt kümelerine k böylece her toplamının ürün alt küme maksimize edilir.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}mk≥3k≥3k \ge 3mmmkkk Sorun, her bir …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Negatif olmayan kenar ağırlıkları ve iki ayırt edici köşe noktası olan bağlı yönlendirilmemiş bir grafik düşünün . Aşağıdaki formun tümü olan bazı yol sorunları şunlardır: yoldaki kenar ağırlıklarının bazı işlevleri minimum olacak şekilde bir yolu bulun . Bu anlamda hepsi en kısa yol sorununun "akrabaları" dır; ikincisinde fonksiyon basitçe toplamdır.s …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Karmaşıklık Hayvanat Bahçesi'nde, [ 1 ], tanımlayıcı karmaşıklıkta PPP aynı zamanda F O ( n O ( 1 ) ) olan FO(LFP)FO(LFP)FO(LFP) şeklinde üç farklı formülle tanımlanabileceğini söylüyor . S O ( lH O R ' N ) .FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) Bununla birlikte, bazı istisnalar vardır, örneğin EvennessEvennessEvenness FP tarafından ifade edilemez …

10 lo.logic  polynomial-time  descriptive-complexity 

Mahaney Teoremi seyrek varsa söyler polinom zamanlı birçok kimse indirimleri altında -tamamlamak seti, daha sonra P = N P . (Bkz. " NP için seyrek takımlar: Berman ve Hartmanis varsayımlarının çözümü ")N-PN-PNPP= NPP=N-PP = NP Diğer karmaşıklık sınıfları için seyrek komple kümelerin varlığının bilinen sonuçları var mı? Özellikle, günlük alanı …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Olup olmadığı bilinmiyor P⊆ CSLP⊆CSLP\subseteq CSL veya P⊈ CSLP⊈CSLP\not\subseteq CSL, nerede PPP , deterministik bir Turing makinesinde polinom zamanında karar verilebilen tüm diller kümesidir ve CSLCSLCSL , lineer sınırlı otomata tarafından karar verilen diller olan ile eşdeğer olduğu bilinen içeriğe duyarlı diller .N-SPA CE( O ( n ) )N-SPbirCE(Ö(n))NSPACE(O(n)) Birçok …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Özür dilerim, bu biraz "yumuşak" bir soru. Bilgi teorisinin hesaplama karmaşıklığı kavramı yoktur. Örneğin, bir SAT veya bir SAT örneği ve tatmin edilebilirliği gösteren bir bit örneği aynı miktarda bilgi taşır. "Polinom olarak bilinebilir" kavramını resmileştirmenin bir yolu var mı? Böyle bir çerçeve, örneğin, Y verilen polinom zamanında X'i hesaplamak …

9 cc.complexity-theory  it.information-theory  polynomial-time