Pertanyaan yang diberi tag «fixed-parameter-tractable»

Dalam kompleksitas yang , . Dugaan bahwa masing-masing wadah adalah tepat.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Jika maka .P = W [ …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Saat ini saya sedang melakukan survei literatur tentang masalah Graph isomorphism (GI). Saya ingin mengetahui beberapa pertanyaan terbuka terkait hal-hal berikut Apa parameter grafik yang traktabilitas parameter tetap GI merupakan masalah terbuka. Apa parameter grafik, dengan memperbaikinya solvabilitas waktu polinomial GI tidak diketahui. Kompleksitas GI ketika terbatas pada banyak kelas …

18 graph-isomorphism  fixed-parameter-tractable 

Saya ingin belajar tentang Kompleksitas Parametrized (baik di sisi algoritmik dan di sisi kekerasan). Buku / catatan kuliah apa yang bisa saya baca tentang hal ini?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Masalah cycle adalah sebagai berikut:kkk Instance: Grafik tidak berarah dengan simpul dan hingga n \ pilih 2 sisi.GGGnnn(n2)(n2)n \choose 2 Pertanyaan: Apakah ada kkk siklus) di GGG ? Latar Belakang: Untuk setiap k yang diperbaiki kkk, kita dapat menyelesaikan 2k2k2k cycle dalam waktu O(n2)O(n2)O(n^2) . Raphael Yuster, Uri Zwick: Menemukan …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Ketika kita diberi dekomposisi pohon dari grafik dengan lebar , ada beberapa cara di mana kita dapat membuatnya "bagus". Secara khusus, diketahui bahwa adalah mungkin untuk mengubahnya menjadi dekomposisi pohon di mana pohon itu biner dan tingginya adalah . Ini dapat dicapai sambil menjaga lebar dekomposisi paling banyak . (Lihat …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Mengingat grafik, G=(V,E)G=(V,E)G = (V, E) , saya ingin menemukan optimal rrr -domination untuk GGG . Artinya, saya ingin subset SSS dari sehingga semua simpul di berada pada jarak paling dari beberapa titik di , dan meminimalkan ukuran .G r S SVVVGGGrrrSSSSSS Dari apa yang saya periksa sejauh ini, saya …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Dalam definisi traktabilitas parameter tetap (kuat), batas waktu adalah ekspresi dari bentuk mana instance input adalah ( x , k ) dengan parameter k , p adalah polinomial, dan f adalah fungsi yang dapat dihitung .f( k ) . p ( | x | ) ,f(k).hal(|x|),f(k).p(|x|),( x , k )(x,k)(x,k)kkkhalhalpfff …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Parameter dan pendekatan tetap adalah pendekatan yang sama sekali berbeda untuk menyelesaikan masalah yang sulit. Mereka memiliki motivasi yang berbeda. Perkiraan mencari hasil yang lebih cepat dengan solusi perkiraan. Parameter tetap mencari solusi yang tepat dengan kompleksitas waktu dalam hal eksponensial atau beberapa fungsi k dan fungsi polinomial dari n …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Vertex Cover dapat dengan mudah direduksi menjadi Independent Set dan sebaliknya. Namun, dalam konteks kompleksitas parameter, set Independen lebih sulit daripada Penutup Vertex. Sebuah kernel dengan simpul ada untuk Vertex Cover, tapi Independen Set W 1 keras.2k2k2k Bagaimana sifat Independent Set berubah dalam konteks FPT dan mengapa?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

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 …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Dalam makalah Stephen Cook tentang masalah P vs NP, [1] ia menyatakan sebagai berikut: Tesis Kelayakan: Masalah alami memiliki algoritma yang layak jika memiliki algoritma waktu polinomial. Pertanyaan saya adalah, apa sebenarnya yang dia (atau secara umum sebenarnya, apa artinya) dengan " masalah alami "? Berbicara tentang masalah yang wajar …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Dugaan Berman-Hartmanis: semua bahasa NP-lengkap terlihat sama, dalam arti bahwa mereka dapat saling terkait oleh isomorfisme waktu polinomial [1]. Saya tertarik pada versi "polinomial time" yang lebih berbutir halus, yaitu, jika kita menggunakan pengurangan parameter. Masalah parameter adalah himpunan bagian dari , di mana adalah alfabet terbatas dan adalah himpunan …

10 complexity-classes  np-complete  fixed-parameter-tractable 

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 ] …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Wikipedia menulis: FPT berisi masalah traktable parameter tetap, yang dapat diselesaikan dalam waktu untuk beberapa fungsi yang dapat dihitung f . Biasanya, fungsi ini dianggap sebagai eksponensial tunggal, seperti 2 O ( k ) tetapi definisi tersebut mengakui fungsi yang tumbuh lebih cepat. Ini penting untuk sebagian besar sejarah awal …

10 cc.complexity-theory  fixed-parameter-tractable 

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 …

10 parameterized-complexity  fixed-parameter-tractable