FPT vs W [P] - Kompleksitas Parameter


20

Dalam kompleksitas yang , . Dugaan bahwa masing-masing wadah adalah tepat.W [ 2 ] W [ P ]FPTW[1] W[2] W[P]

Jika maka .P = W [ P ]FPT=W[P]P=W[P]

Tetapi apakah itu mengikuti itu

  • Jika lalu ? atauF P T = W [ P ]FPT=W[1]FPT=W[P]
  • Jika (untuk beberapa t) maka ?W[t1]=W[t]FPT=W[P]

1
Apa yang dimaksud dengan notasi "W []"?
Tyson Williams

1
Apakah pertanyaan kedua berarti "untuk semua t" atau "untuk beberapa t"?
Yoshio Okamoto

Pertanyaan kedua berarti "untuk beberapa orang"
Uéverton dos santos souza

2
Anda tidak menjadi penanya-pertanyaan yang membantu. Anda belum memasukkan definisi atau tautan ke hierarki-W, meskipun seseorang bertanya kepada Anda tentang hal itu. Jawaban atas pertanyaan Anda mungkin "keduanya terbuka," karena karakterisasi W-hierarki sebagai keluarga sirkuit AC0 yang dimodifikasi - keruntuhan W-hierarki akan menyiratkan keruntuhan kompleksitas sirkuit. (Ini dianggap bukti bahwa setiap level hirarki-W adalah subset yang tepat untuk yang berikutnya.) Tetapi saya harus memeriksa beberapa hal untuk mengirim jawaban (bukan area saya), dan Anda tidak menganggap serius pertanyaan itu.
Aaron Sterling

2
Masalah parameter (L, K) milik W [t] jika ada k 'dihitung dari k sehingga (L, K) mengurangi masalah bobot-k' untuk sirkuit weft-t. [Downey, 1997] [Downey, 1997] Rodney G. Downey, Michael R. Fellows, Kenneth W. Regan; Seri Laporan Penelitian Kompleksitas Sirkuit Terparameterisasi dan Hierarki Barat; Pusat Matematika Diskrit dan Ilmu Komputer Teoritis; 1997.
Uéverton dos santos souza

Jawaban:


14

Pertanyaan ini rumit karena jawabannya (sejauh yang saya tahu) masih "tidak tahu".

Untuk menambah bobot pada ini, Flum & Grohe [1] berikan sebagai masalah terbuka (p. 164):

  • Apakah hirarki ketat di bawah asumsi ?F P TW [ P ]WFPTW[P]
  • Untuk , apakah persamaan menyiratkan ?W [ t ] = W [ t + 1 ] W [ t ] = W [ t + 2 ]t1W[t]=W[t+1]W[t]=W[t+2]

Selain itu, dalam monografi Downey dan Fellow baru-baru ini [2] pernyataan terkuat (langsung) yang mereka buat adalah (hal. 521):

Hipotesis yang lebih halus adalah bahwa hirarki tepat, dan, khususnya, .W [ 1 ] W [ 2 ]WW[1]W[2]

Tidak ada pernyataan berikut (atau yang lebih baru) di sepanjang baris "jika tidak hirarki akan runtuh", atau serupa.W

Ini juga didahului oleh:

Hipotesis yang lebih lemah mungkin untuk beberapa , F P TW [ t ]t

FPTW[t]

Menyiratkan bahwa mungkin tanpa efek lain pada hierarki.FPT=W[t1]

Referensi:

  1. J. Flum dan M. Grohe, "Parameterized Complexity Theory", Springer, 2006.
  2. R. Downey dan M. Fellows, "Dasar-Dasar Teori Kompleksitas Parameter", Springer, 2014.
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.