Pertanyaan yang diberi tag «parameterized-complexity»

Studi tentang kompleksitas komputasi masalah sehubungan dengan lebih dari satu parameter.

1
Pengantar lembut untuk aspek algoritmik kedalaman pohon
Treewidth dan pathwidth adalah parameter populer, yang mengukur kedekatan grafik ke pohon atau jalur. Memang, tampaknya treewidth sangat populer sehingga ditampilkan di banyak makalah, buku, dan catatan kuliah yang memberikan (bahkan sangat lembut) pengantar aspek algoritmik treewidth (lihat misalnya buku Downey & Fellows). Biasanya, sumber daya ini menjelaskan bagaimana beberapa …
1
Kompleksitas sirkuit monoton dari fungsi komputasi pada input yang jarang
Berat |x||x||x|dari string biner x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n adalah jumlah yang ada dalam string. Apa yang terjadi jika kita tertarik untuk menghitung fungsi monoton pada input dengan sedikit? Kita tahu bahwa memutuskan apakah sebuah grafik memiliki kkk -clique sulit untuk rangkaian monoton (lihat antara lain Alon Boppana, 1987), tetapi jika sebuah grafik memiliki …
1
Adakah hasil pada biner boolean CSP di luar traktabilitas parameter tetap dari masalah hampir 2SAT?
Biarkan menjadi rumus 2CNF dan k bilangan bulat tidak negatif. Hal ini terbukti dalam kertas bahwa masalah memutuskan apakah seseorang dapat menghapus paling k klausul untuk membuat φ satisfable, tetap-parameter penurut, di mana k adalah parameter. Pertanyaan saya adalah apakah ada beberapa pekerjaan yang menggeneralisasi hasil ini ke CSP boolean …
1
Apakah grafik “gen-terluar-terikat” memiliki treewidth yang konstan?
Biarkan dan dilambangkan dengan G k himpunan semua grafik yang dapat ditanamkan pada permukaan genus k sehingga semua simpul yang terletak di wajah luar . Misalnya, G 0 adalah himpunan grafik outerplanar. Dapatkah treewidth dari grafik di G k harus atas dibatasi oleh beberapa fungsi k ?k∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk Arah lain jelas …
1
Kompleksitas parameterisasi penyertaan bahasa reguler
Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua ekspresi reguler dan E 2 Pertanyaan: Benarkah L …
5
Contoh pengurangan-FPT yang bukan merupakan pengurangan waktu polinomial
Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan FPT yang saya lihat adalah pengurangan p-time, yang berarti W [t] -kurang bukti hampir selalu menyiratkan …
2
Masalah grafik manakah yang
Mengikuti pertanyaan setara tentang NP-Completeness (lihat pertanyaan bobot dan pertanyaan terarah ), saya bertanya-tanya bagaimana masalah parameterisasi dipengaruhi oleh atribut ini. Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik diarahkan, tapi tetap parameter penurut pada grafik diarahkan?NPNPNPW[1]W[1]W[1] Yang masalah grafik -Hard adalah W [ 1 ] …
1
Kernel polinomial untuk
Masalah parametrized k-FLIP SAT didefinisikan sebagai: Input: rumus 3-CNF dengan variabel dan penugasan kebenaran Parameter: Pertanyaan: dapatkah kita mengubah penugasan menjadi penugasan yang memuaskan untuk membalik nilai kebenaran paling banyak variabel ?φφ\varphinnnσ: [ n ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} kkk σσ\sigmaσ′σ′\sigma'φφ\varphi kkk Masalahnya jelas …
1
Apakah kompleksitas parameterisasi akan menjadi masa depan teori kompleksitas?
Saya seorang sarjana penelitian yang bekerja dalam teori Algoritma dan Kompleksitas, saya menggunakan kompleksitas parameter sampai batas tertentu. Bagi saya tampaknya para peneliti dalam kompleksitas parameter sangat aktif (saya tidak bermaksud yang lain tidak) dalam hal jumlah makalah penelitian. Saya telah melihat bahwa para peneliti dari kompleksitas komunikasi, kompleksitas aritmatika …
1
Memukul set dengan subfamili
Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Mengingat koleksi seperti di atas, yang - …
5
W [1] - masalah sulit dengan algoritma aproksimasi waktu FPT
Saya mencari masalah yang sulit diselesaikan dalam waktu FPT tetapi memiliki algoritma perkiraan. Artinya, masalah itu adalah: R1. W [1] -hard. R2. Akui algoritma perkiraan (lebih disukai konstan) dalam waktu FPT. Masalah yang saya kenal adalah menghitung jumlah jalur sederhana panjang dalam grafik. Ia dikenal sebagai #W [1] -hard , …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.