Pertanyaan yang diberi tag «parameterized-complexity»

Masalah-masalah tertentu diketahui tidak dapat diputuskan, tetapi masih mungkin untuk membuat beberapa kemajuan dalam memecahkannya. Misalnya, masalah penghentian tidak dapat diputuskan, tetapi kemajuan praktis dapat dibuat pada pembuatan alat untuk mendeteksi potensi loop tak terbatas dalam kode Anda. Masalah ubin sering kali tidak dapat dipastikan (mis., Apakah ubin polyomino ini …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Saya tertarik pada kompleksitas parameter dari apa yang saya sebut masalah Set-h Memukul d-dimensi: diberi ruang rentang (yaitu sistem set / hypergraph) S = (X, R) memiliki dimensi-VC paling banyak d dan bilangan bulat positif k, apakah X berisi subset ukuran k yang mengenai setiap rentang dalam R? Versi parameterisasi …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Katakanlah kita memiliki masalah komputasi, misalnya 3-SAT, yang memiliki seperangkat contoh masalah (mungkin input) . Biasanya dalam analisis algoritma atau teori kompleksitas komputasi, kami memiliki beberapa set dari semua input dengan panjang , dan fungsi yang memberikan waktu berjalan beberapa algoritma solusi pada input . Urutan waktu berjalan terburuk untuk …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

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 

Treewidth memainkan peran penting dalam algoritma FPT, sebagian karena banyak masalah yang FPT parameter oleh treewidth. Gagasan terkait, lebih terbatas, adalah pathwidth. Jika grafik memiliki pathwidth , grafik juga memiliki treewidth paling banyak k , sedangkan pada arah sebaliknya, treewidth k hanya menyiratkan pathwidth di sebagian besar k log n …

18 parameterized-complexity  treewidth  graph-minor 

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 

Bagaimana jika ada yang diketahui tentang kompleksitas parameter dari penghitungan angka perpotongan grafik (jumlah klik terkecil yang diperlukan untuk menutupi semua tepinya)? Sudah lama dikenal sebagai NP-complete, dan itu jelas FPT karena memiliki kernel: jika Anda dapat menutupi grafik dengan klik maka ada paling banyak 2 k lingkungan simpul tertutup …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Biarkan dan pertimbangkan masalah keputusan0≤p≤10≤p≤10\le p\le 1 CLIQUE Input: integer , grafik dengan simpul dan edge Pertanyaan: apakah G berisi klik pada sekurang-kurangnya simpul s ?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Sebuah instance dari CLIQUE berisi proporsi dari semua kemungkinan edge. Jelas, CLIQUE mudah untuk beberapa nilai . CLIQUE hanya berisi …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Diberikan simpul tak berarah titik, apa batas runtime paling dikenal untuk menemukan subgraph yang merupakan k × k -biclique? Apakah ada algoritma parametrized yang lebih cepat daripada algoritma waktu dari "menebak" satu sisi biclique dan melihat apakah setidaknya ada simpul lain yang muncul pada semuanya?nnnk×kk×kk\times k(nk)poly(n)(nk)poly(n)\binom{n}{k}\mbox{poly}(n)kkk

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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 

Seperti semua orang tahu, buku terkenal Garey dan Johnson (dan banyak lainnya) memberikan referensi yang sangat baik untuk teknik reduksi dalam pengaturan klasik. Apakah ada survei atau buku tentang topik teknik reduksi dalam algoritma parameter, katakanlah pengurangan fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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 

The -hierarchy adalah hirarki kelas kompleksitas W [ t ] dalam kompleksitas parameter, lihat Zoo Kompleksitas untuk definisi. Definisi alternatif mendefinisikan W [ t ] menggunakan pembobotan Fagin tertimbang untuk Π t- formula logika orde pertama, lihat buku teks oleh Flum dan Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Untuk kelas terendah dan W [ …

13 cc.complexity-theory  parameterized-complexity 

Motivasi: Seorang penulis pendamping menyunting sebuah naskah dan saya ingin melihat ringkasan yang jelas dari suntingan itu. Semua "diff" -seperti alat cenderung tidak berguna jika Anda berdua bergerak teks di sekitar (misalnya, re-mengatur struktur) dan melakukan suntingan lokal. Apakah sangat sulit untuk memperbaikinya? Definisi: Saya ingin mencari jarak pengeditan minimum, …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

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