«hard-instances» etiketlenmiş sorular

Greibach , sözde belirsiz olmayan versiyonu olarak bilinen bir dilini tanımladı , böylece herhangi bir CFL, ters morfik bir görüntüsü olacak . DCFL ile benzer bir ifade var mı, muhtemelen izin verilen morfizmlerde bazı kısıtlamalar var mı?D 2 HHHHD2D2D_2HHH (Bakınız, örneğin, M. Autebert, J. Berstel ve L. Boasson. Bağlamdan bağımsız …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Gaspers ve Szeider'ın Güçlü Arka Odadan Sınırlı Treewidth SAT'a yönelik FOCS2013'ün bu son makalesi , SAT yan tümcesi grafiğinin treidth'i ile örnek sertliği arasındaki bağlantıdan bahsediyor . Rastgele 3-SAT, yani rasgele seçilen 3-SAT örnekleri için, yan tümce grafiğinin treidth ile örnek sertliği arasındaki ilişki nedir? "Örnek sertliği", "tipik bir SAT …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Maksimum kesimleri yaklaşık olarak belirlemek için Goemans ve Williamson algoritmasının uygulanmasının 0.878… - yakınsama faktörü ile sonuçlandığı grafiklerin açık örnekleriyle ilgileniyorum. Bu tür örnekleri oluşturma algoritması mükemmel olacaktır, açık örnekler ve referanslar tatmin edicidir.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

NP-komple problemlerinin "zor" bireysel örnekleriyle ilgileniyorum. Ryan Williams , Richard Lipton'un blogunda SAT0 sorununu tartıştı . SAT0, bir SAT örneğinin 0'dan oluşan özel bir çözüme sahip olup olmadığını sorar. Bu da beni "zor" olabilecek SAT örnekleri oluşturmayı düşündürdü. Hemen hemen tüm örneklerin tatmin edilemez olduğu faz geçişinin ötesindeki bölgeye düşmesi …

10 cc.complexity-theory  sat  hard-instances