«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Dinamik Programlama hiçbir zaman Açgözlü'den daha zayıf değil mi?
Devre karmaşıklığında, çeşitli devre modellerinin güçleri arasında ayrımlarımız vardır. İspat karmaşıklığında, çeşitli ispat sistemlerinin güçleri arasında ayrımlarımız var. Ancak algoritmik olarak, algoritmik paradigmaların güçleri arasında hala çok az ayrımımız var. . Aşağıdaki sorularım iki paradigma için bu ikinci soruna değinmeyi amaçlıyor: Açgözlü ve Dinamik Programlama. Bir dizi temel öğemiz var …
1
Mu
P P A D'yiPPAD{\bf PPAD} bir çoklu zaman Turing makinesi / polysize devresi, bir günlük alanı Turing makinesi veya A C 0AC0{\bf AC^0} devresi yerine sorunu kodlayacak şekilde tanımlarsak ne olur ? Son zamanlarda küçük devreler için Devre memnuniyeti için daha hızlı algoritmalar vermenin önemli olduğu ortaya çıktı , bu …
1
ile Komple sorun yarı polinom çözeltilerin sayısı sınır
FewP , çözeltilerin sayısına (giriş boyutunda) polinom bağlı problemleri sınıfıdır NPNPNP. F e w P'de bilinen bir NPNPNP tamamlama problemi yoktur . Bu gözlemi ne kadar uzatabileceğimizle ilgileniyorum.fewPfewPfewP Herhangi bir doğal var NPNPNP yarı-polinom üst çözeltiler (tanıklar) sayısına bağlı olan Komple sorun? Bu olasılığı ortadan kaldıracak yaygın kabul görmüş bir …
2
GI-hard grafik problemi
Graph İzomorfizmi ( ) problem için iyi bir adaydır . problemler olmadığı sürece vardır . I için zor olan doğal bir sorun arıyorum Karp indirgenmesi (bir grafik sorunu altında şekilde ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Doğal var mı ne olduğunu -Zor grafik sorunu -eşdeğer ne de olduğu bilinen -Komple?G I N PGIGIGIGIGIGINPNPNP
1
Negatif Olmayan Kalıcı Düzgün Karmaşıklık
Son yirmi yıldır Daimi olan üzerinde fantastik çalışmalar yapıldı. Bir süredir Negatif Olmayan Matrisler için Pürüzsüz P algoritması olasılığını merak ediyorum. Tabii ki ünlü JSV algoritması var ama bu bir fpra. Smoothed Complexity içindeki diğer çalışmaları düşünmek, Smoothed P'de olmanın güçlü bir ipucu fpras / Portedopolynomial algoritmasının varlığıydı. Düzgünleştirilmemiş P'de …
3
Alt küme toplamı ve Alt küme ürünü (güçlü ve zayıf NP sertliği)
Bazılarının bana neden alt küme ürün sorununun neden NP-zor olduğunu açıklayabileceğini umuyordum, alt küme toplamı sorunu ise zayıf NP-zor. Alt Küme Sum: Verilen ve T , bir alt grup arasında var, X ' , öyle ki Σ i ∈ X ' X i = T .X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = …
2
sonlu kümeler için düzenli ifade boyutunu en aza indirme
Dilin spesifikasyonu olarak bir DFA'mız olsa bile , normal bir ifadenin boyutunu en aza indirmenin PSPACE-complete olduğu bilinmektedir . Dil sonluysa sonuçlar nelerdir? Bu problem iki modelde düşünülebilir: Giriş, dildeki tüm dizelerdir ve giriş boyutunu tüm dizelerin uzunluğunun toplamı ile ölçeriz. Giriş bir DFA'dır ve giriş boyutunu DFA'nın durum sayısına …
3
açısından
Olasılıksal ispat sistemi genellikle kısıtlaması olarak adlandırılır , burada Arthur sadece rastgele bitleri kullanabilir ve yalnızca Merlin tarafından gönderilen kanıt sertifikasının bitleri (bkz . http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n ) ]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]M birMbir\mathcal{MA}f( n )f(n)f(n)g( n)g(n)g(n) Bununla birlikte, 1990'da …
1
Aşağıdaki NP sorunu zor mu?
Kümelerinin bir koleksiyon düşünün taban kümesi üzerinden nerede ve içinde ve pozitif bir tamsayı olsun.F={F1,F2,…,Fn}F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\}U={e1,e2,…,en}U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\}|Fi||Fi||F_i| ≪≪\ll nnnei∈Fiei∈Fie_i \in F_ikkk Amaç, üzerinde kümelerinin başka bir koleksiyonunu böylece her en fazla karşılıklı ayrık kümelerin birleşimi olarak yazılabilir içinde ve ayrıca istediğimiz Σ m 1 | C j | minimum olmak için (diğer …
1
PHP'nin tatmin edici bulut sunucularında DPLL tabanlı SAT çözücüler ne kadar etkilidir?
Biz DPLL merkezli SAT çözen bir edilemezdir örneklerini doğru cevap başarısız olduğunu biliyoruz üzerinde (güvercin yuvası prensibi), örneğin, "bir injective haritalama yoktur n + 1 için n ":PHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} \ \bigvee_{j\in[n]} \ p_{i,j}\right) \wedge \left(\bigwedge_{i\neq i'\in[n+1]} \ \bigwedge_{j\in[n]} \ (\lnot …
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.