«fine-grained» etiketlenmiş sorular

Karmaşıklık teorisi, NP'nin eksiksizliği gibi kavramlar aracılığıyla, nispeten verimli çözümleri olan hesaplanabilir problemler ile anlaşılmaz olanları birbirinden ayırır. "İnce taneli" karmaşıklık, bu nitel ayrımı sorunları çözmek için gereken tam zamana ilişkin kantitatif bir rehber haline getirmeyi amaçlamaktadır. Daha fazla ayrıntı burada bulunabilir: http://simons.berkeley.edu/programs/complexity2015 İşte bazı önemli hipotezler: ETH: 333 - …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Aşağıdaki karar problemini düşünün Girdi : Bir monoton CNF ve bir monoton DNF .ΦΦ\PhiΨΨ\Psi Soru : bir totoloji midir?Φ→ΨΦ→Ψ\Phi \to \Psi Kesinlikle bu sorunu -zamanında çözebilirsiniz , burada değişken sayısı ve giriş uzunluğudur. Öte yandan, bu sorun coNP-complete'tur. Ayrıca, coNP-tamlığı sağlayan bir azalma da SETH başarısız olmadığı sürece bu problem …

14 exp-time-algorithms  boolean-formulas  fine-grained