Apa hubungan antara hipotesis-hipotesis dalam Fine-Grained Complexity Theory?


23

Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu yang dibutuhkan untuk menyelesaikan masalah. Rincian lebih lanjut dapat ditemukan di sini: http://simons.berkeley.edu/programs/complexity2015

Berikut ini beberapa hipotesis penting:

ETH: - membutuhkan waktu untuk beberapa .S A T 2 δ n δ > 03SAT2δnδ>0

SETH: untuk setiap , ada sedemikian sehingga - pada variabel, klausa tidak dapat diselesaikan dalam .k k S A T n m 2 ( 1 - ε ) n p o l y mε>0kkSATnm2(1ε)n poly m

Diketahui bahwa SETH lebih kuat dari ETH dan mereka berdua lebih kuat dari , dan keduanya lebih kuat dari .F T P W [ 1 ]PNPFTPW[1]

Empat dugaan penting lainnya:

  1. 3SUM dugaan: 3SUM pada bilangan bulat di membutuhkan waktu{ - n 3 , , n 3 } n 2 - o ( 1 )n{n3,,n3}n2o(1)

  2. Dugaan OV: Vektor ortogonal pada vektor membutuhkan waktu .n 2 - o ( 1 )nn2o(1)

  3. Dugaan APSP: Semua Pasang Jalur Terpendek pada node dan bobot bit membutuhkan waktu .O ( log n ) n 3 - o ( 1 )nO(logn)n3o(1)

  4. Konjektur BMM: Algoritma "kombinatorial" apa pun untuk perkalian matriks Boolean memerlukan waktu .n3o(1)

Diketahui bahwa SETH mengimplikasikan dugaan OV (Ryan Willams, 2004). Selain bukti Ryan bahwa SETH dugaan OV, tidak ada pengurangan lain terkait dugaan tersebut.

Pertanyaan saya: Apakah Anda tahu hipotesis atau dugaan terkait lainnya di bidang ini? Apa hubungan di antara mereka?

Pengakuan: hasil yang terdaftar berasal dari slide Virginia Vassilevska Williams, dia juga memberi saya sebagian jawaban untuk pertanyaan ini.

Tautan ke slide: http://theory.stanford.edu/~virgi/overview.pdf


Halo Rupei, saya telah mengerjakan berbagai masalah jangkauan grafik dan kendala yang terkait dengan daftar masalah kompleksitas berbutir halus yang Anda sebutkan. Jika Anda tertarik, tembak saya email dan kami bisa mengobrol kapan saja. Saya senang melihat orang lain yang tertarik dengan kompleksitas berbutir halus pada stackexchange. :)
Michael Wehar

3
Pengurangan sepele: APSP "kombinatorial" menyiratkan BMM subkultur "kombinatorial". Untuk 3SUM, lihat hubungan di antara masalah terkait di halaman 14 dari slide ini cs.uwaterloo.ca/~tmchan/talks/bsg_stoc_talk.pdf . Untuk BMM, lihat Bagian G dari teori makalah ini.stanford.edu/~virgi/tria-mmult-conf.pdf . Untuk APSP, ada banyak makalah oleh Virginia yang menunjukkan kesetaraan subkubis.
Thatchaphol

1
@Thatchaphol, Terima kasih atas berbagi yang baik!
Rupei Xu

Jawaban:


15

Ini adalah makalah baru - baru ini memperkenalkan Nondeterministic Strong Exponential Time Hypothesis (NSETH), yang merupakan perpanjangan dari SETH.

NSETH: Untuk setiap , ada k sehingga k -DNF-TAUT tidak dapat diselesaikan dalam waktu nondeterministik 2 ( 1 - ϵ ) n .ϵ>0kk2(1ϵ)n

NSETH menyiratkan SETH. Jika NSETH benar, maka beberapa masalah tidak memiliki batas SETH lebih rendah (karena mereka memiliki algoritma nondeterministic lebih cepat daripada algoritma deterministik).

Makalah ini juga memperkenalkan Non-seragam Nondeterministic Strong Exponential Time Hypothesis (NUNSETH), sebuah hipotesis yang lebih kuat dari NSETH dan SETH.

NUNSETH: Untuk setiap , ada k sedemikian sehingga k -DNF-TAUT tidak dapat dikenali oleh keluarga rangkaian nondeterministik ukuran 2 ( 1 - ϵ ) n .ϵ>0kk2(1ϵ)n


1
Terima kasih atas kerja pionirnya! Ryan Williams percaya SETH salah. Apakah menurut Anda NSETH benar?
Rupei Xu

2
Makalah ini mencatat bahwa Ryan telah benar-benar menunjukkan bahwa versi MA dari SETH adalah salah, yang tampaknya menunjukkan bahwa NSETH tidak mungkin benar. Namun demikian, dalam beberapa hal, intinya adalah, untuk menunjukkan hubungan antara beberapa dugaan lainnya, Anda harus terlebih dahulu membuat kemajuan dalam menyangkal NSETH.
palindrome

8

Dugaan menarik lainnya adalah kekerasan -Clique untuk fixed k (lihat di sini ).kk

Ini bukan jenis hubungan yang Anda cari, tetapi ada makalah FOCS menarik yang menunjukkan bahwa masalah alami yang disebut "Matching Segitiga" sulit di bawah salah satu dugaan SETH, 3SUM, atau APSP (lihat di sini ). Saat ini tidak diketahui apakah salah satu dari ketiga dugaan ini menyiratkan satu sama lain dengan cara yang menarik - ini adalah salah satu pertanyaan terbuka utama dari Fine-Grained Complexity.


1
Greg terima kasih! Motivasi asli saya untuk mengirim pertanyaan ini di sini adalah untuk mengumpulkan semua hasil yang ada di daerah ini, seperti koleksi yang baik di The Parameterized Complexity Newsletter fpt.wikidot.com/...
Rupei Xu

k

1

O(n2ϵ)

O(n2ϵ)

kno(k)NLP

sepanjang garis ini juga perlu disebutkan ada hubungan signifikan yang diketahui antara konstruksi DFA dan perhitungan jarak Levenshtein misalnya dalam makalah ini


1
Menambahkan beberapa koreksi kecil ke posting Anda VZN. Anda baik untuk menyebutkan saya. Saya sangat bersemangat tentang masalah persimpangan DFA dan mudah-mudahan akan memiliki lebih banyak hal untuk dibagikan di masa depan. :)
Michael Wehar
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.