Kompleksitas waktu deterministik yang diketahui paling baik untuk masalah alami dalam NP


25

Jawaban ini untuk masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? pertanyaan menyatakan bahwa itu terbuka jika masalah tertentu dalam NP membutuhkan waktu .Ω(n2)

Melihat komentar di bawah jawaban membuat saya bertanya-tanya:

Selain dari padding dan trik serupa, apa kompleksitas waktu paling dikenal yang terikat lebih rendah pada mesin RAM deterministik (atau mesin Turing deterministik multi-tape) untuk masalah yang menarik dalam NP (yang dinyatakan secara alami)?

Apakah ada masalah alami dalam NP yang diketahui tidak dapat diselesaikan dalam waktu deterministik kuadrat pada model mesin yang masuk akal?

Pada dasarnya, apa yang saya cari adalah contoh yang mengesampingkan klaim berikut:

setiap alami masalah NP dapat diselesaikan dalam waktu.O(n2)

Apakah kita tahu masalah NP yang mirip dengan yang ada dalam makalah Karp tahun 1972 atau Garey dan Johnson 1979 yang membutuhkan waktu deterministik? Atau mungkinkah sepengetahuan kami bahwa semua masalah NP alami yang menarik dapat diselesaikan dalam waktu deterministik O ( n 2 ) ?Ω(n2)O(n2)

Edit

Klarifikasi untuk menghilangkan kebingungan yang timbul dari ketidaksesuaian antara batas bawah dan bukan batas atas : Saya mencari masalah yang kita tahu tidak bisa kita selesaikan di . Jika masalah memenuhi persyaratan kuat bahwa Ω ( n 2 ) atau ω ( n 2 ) waktu yang diperlukan (untuk semua input yang cukup besar) maka lebih baik, tapi jauh akan sering melakukan.o(n2)Ω(n2)ω(n2)


5
satu-satunya batas bawah superlinear yang saya tahu untuk masalah alami di NP adalah pertukaran ruang waktu untuk SAT ( dl.acm.org/citation.cfm?doid=1101821.1101822 , dan ada tindak lanjut kerja oleh @RyanWilliams, yang akan tahu lebih banyak) . dan mereka tidak mengatakan apa-apa jika ruang dibiarkan linier.
Sasho Nikolov

@SashoNikolov, hasil ruang-waktu adalah untuk SAT dan tidak ada pengurangan dari banyak masalah NP alami ke SAT di mana ukuran output dibatasi secara linear dalam ukuran input. A batas bawah untuk beberapa masalah NP alami tidak perlu menyiratkan hasil yang lebih kuat untuk SAT daripada yang diketahui saat ini. Ω(n2)
Anonim

1
saya katakan saya tidak tahu ada batas bawah yang super linier untuk masalah NP alami lainnya
Sasho Nikolov

Bagaimana Anda menggunakan padding untuk mendapatkan masalah buatan pada NP dengan kompleksitas waktu lebih rendah? Ω(n2)
Robin Kothari

@RobinKothari, ambil masalah dalam DTIME ( ) dan pad. Buktinya bergantung pada teorema hierarki waktu nondeterministik dan padding bukan cara yang tepat untuk merujuk pada contoh. Kita dapat mengambil masalah NP di NTIME ( Ω ( n 2 ) ) secara langsung. Ω(2n)Ω(n2)
Anonim

Jawaban:


16

Adachi, Iwata, dan Kasai dalam makalah JACM 1984 menunjukkan dengan reduksi bahwa permainan Cat dan -Mice memiliki batas waktu n Ω ( k ) yang lebih rendah. Masalahnya adalah dalam P untuk setiap k . Masalahnya dimainkan pada grafik yang diarahkan. Bergerak terdiri dari kucing dan kemudian salah satu k langkah bolak tikus. Tikus-tikus menang jika mereka bisa mendarat pada simpul keju yang ditentukan sebelum kucing mendarat di atasnya. Pertanyaannya adalah apakah kucing itu menang secara paksa. Ini sebenarnya masalah lengkap sehingga batas bawah benar-benar didasarkan pada diagonalisasi yang memberikan hierarki waktu.knΩ(k)kk

Grandjean menunjukkan bahwa batas bawah Pippenger, Paul, Szemeredi, dan Trotter berlaku untuk penyandian SAT, meskipun hasil Santhanam dapat mengikutinya.

Selain batas waktu tradeoff ruang-waktu untuk SAT yang disebutkan dalam komentar lain, ada badan kerja pada program percabangan batas bawah yang menyiratkan tradeoff ruang-waktu untuk mesin Turing. Untuk masalah seperti FFT, pengurutan atau penghitungan fungsi hash universal, ada tradeoff kuadratik batas bawah Borodin-Cook, Abrahamson, Mansour-Nisan-Tiwari tetapi ini untuk fungsi dengan banyak output. Untuk masalah keputusan dalam P, ada tradeoff batas waktu dan batas bawah yang berlaku untuk batas waktu yang tetapi ini lebih lemah daripada yang diketahui untuk SAT.O(nlogn)


ada ide tentang hubungan permainan kucing-dan-tikus dengan NP?
vzn

12

Hasil klasik yang saya tahu adalah karena Paul, Pippenger, Szemeredi dan Trotter (1983) dan memisahkan deterministik dari waktu linier non-deterministik.

Kemudian, ada hasil yang lebih baru oleh Fortnow, Lipton, van Melkebeek dan Viglas (2004) yang telah disebutkan. Keunikan dari hasil ini adalah bahwa itu adalah hasil tradeoff ruang-waktu, ruang pembatas serta waktu.

Namun, saya juga mengetahui hasil karena Santhanam (2001) yang membuktikan batas bawah . Hasil ini sedikit lebih kuat untuk batasan waktu daripada yang di atas, tetapi tidak memberikan jaminan ruang.ω(nlogn)

Mengingat di atas serta pengetahuan saya tentang lapangan, saya akan mengatakan bahwa membuktikan bahwa ada masalah -Lengkap yang tidak dapat diselesaikan dalam O ( n 2 )NPO(n2) waktu deterministik akan cukup langkah besar. Sejauh yang saya tahu, hasil seperti itu dianggap sangat tidak trivial dan kemungkinan membutuhkan teknik batas bawah yang baru.

Catatan: Kata-kata saya tentang masalah pada paragraf terakhir berbeda dari pada pertanyaan Anda. Saya bisa menjadi rewel (dan mungkin tidak banyak membantu) dan memberi tahu Anda bahwa secara sepele ada jumlah masalah yang tak terbatas dalam dan dengan demikian dalam N P yang tidak dapat diselesaikan dalam O ( n 2 ) waktu deterministik, oleh waktu deterministik teorema hierarki.PNPO(n2)


Sunting: Setelah berpikir lebih lanjut, inilah cara Anda dapat menemukan masalah dalam yang sesuai dengan kebutuhan Anda:NP

  1. DTIME(f(n))f(n)=Ω(n2logn)ω(n2)
  2. NTIME(f(n))f(n)=ω(n2)
  3. SPACE(f(n)) , where f(n)=ω(n2/logn). This is justified by the TIME-SPACE separation. I believe that

The above lower bounds should hold for the bit complexity of the problem.

Once again, if you restrict your attention to NP-complete problems, I am not aware of such lower bounds.


3
the question asks about a natural problem
Sasho Nikolov

Thank you but I am not asking about deterministic vs. nondeterministic time: you can take any problem in NTIME(nk) as long as it requires Ω(n2) deterministic time. Neither the second result answers my question not because it restricts the space but because it is only for SAT, see my reply to Sasho Nikolov below the question. And there are NP-complete problems that cannot be solved in deterministically Ω(n2) by padding, I am looking for natural examples.
Anonymous

@Anonymous are you saying SAT is not a natural problem?
Sasho Nikolov

@SashoNikolov, SAT is a natural problem. However the result doesn't answer my question positively. Therefore I interpreted it as saying no better answer to my question is known. That doesn't need to be the case. In that sense it doesn't answer my question.
Anonymous

2
I will try one last time: while you are right that there is no such implication, I am fairly certain that there is no known unconditional quadratic lower bound against deterministic time for any natural NP problem. It does not follow from the SAT results; it's just the state of affairs
Sasho Nikolov

2

Perhaps a fairly natural example comes from time-bounded Kolmogorov complexity:

For any fixed k, and fixed function f(n)n you can ask: "Given a binary string x, does a Turing machine M exist such that |M|<f(|x|) and M produces x in less than |x|k steps?"


Thank you, it is not completely artificial but I don't find it a satisfying natural example.
Anonymous

2
how do you know that your ramsey problem requires Ω(nk) time?
Sasho Nikolov

@SashoNikolov: I deleted the Ramsey part ... it needs a formal proof :-(
Marzio De Biasi

-7

This is just reasking the same question of P=NP in the a different way, if you can prove that its unsolvable in quadratic time or find an absolute lower bound, you would be proving P!=NP


11
Why would a quadratic lower bound for a natural problem in NP show P != NP?
Robin Kothari
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.