Pertanyaan yang diberi tag «hard-instances»

Greibach terkenal didefinisikan bahasa , yang disebut versi non-deterministik dari D 2 , sehingga setiap CFL adalah gambar morphic kebalikan dari H . Apakah ada pernyataan serupa dengan DCFL, mungkin dengan pembatasan morfisme diizinkan?HHHD2D2D_2HHH (Lihat, misalnya, M. Autebert, J. Berstel, dan L. Boasson. Bahasa bebas konteks dan automata pushdown. Dalam …

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

Makalah baru-baru ini dari FOCS2013, Strong Backdoors ke Bounded Treewidth SAT oleh Gaspers dan Szeider berbicara tentang hubungan antara treewidth grafik klausa SAT dan kekerasan contoh. Untuk 3-SAT acak, yaitu instance 3-SAT yang dipilih secara acak, apa korelasi antara treewidth grafik klausa dan contoh kekerasan? "Instance hardness" dapat dianggap sebagai …

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

Saya tertarik pada contoh-contoh eksplisit dari grafik yang mana penerapan algoritma Goemans dan Williamson untuk memperkirakan hasil pemotongan maksimum dalam 0,878 ... -aproximation factor. Algoritma untuk membuat contoh seperti itu akan sempurna, contoh dan referensi eksplisit memuaskan.

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

Saya tertarik pada contoh individual "sulit" masalah NP-lengkap. Ryan Williams membahas masalah SAT0 di blog Richard Lipton . SAT0 bertanya apakah instance SAT memiliki solusi spesifik yang terdiri dari semua 0. Ini membuat saya berpikir tentang membangun instance SAT yang cenderung "sulit". Pertimbangkan instance SAT dengan klausa dan variabel , …

10 cc.complexity-theory  sat  hard-instances