Bukti kontradiksi untuk ketimpangan P dan NP?


10

Saya mencoba untuk berpendapat bahwa N bukan NP sama dengan menggunakan teorema hierarki. Ini adalah argumen saya, tetapi ketika saya menunjukkannya kepada guru kami dan setelah deduksi, ia mengatakan bahwa ini bermasalah di mana saya tidak dapat menemukan alasan kuat untuk menerimanya.

Kami memulai dengan mengasumsikan bahwa . Kemudian ia menghasilkan yang kemudian mengikuti . Sebagai contoh, kami dapat mengurangi setiap bahasa dalam menjadi . Oleh karena itu, . Sebaliknya, teorema hierarki waktu menyatakan bahwa harus ada bahasa , itu tidak dalam . Ini akan mengarahkan kita untuk menyimpulkan bahwa adalah dalam , sementara tidak dalam , yang merupakan kontradiksi dengan asumsi pertama kami. Jadi, kami sampai pada kesimpulan bahwa .P=NPSATPSATTIME(nk)NPSATNPTIME(nk)ATIME(nk+1)TIME(nk)APNPPNP

Apakah ada yang salah dengan buktiku?


2
Tolong, tulis sesuatu seperti $\mathit{SAT}$bukan $SAT$. Seperti yang ditulis Leslie Lamport dalam buku LaTeX aslinya, yang terakhir adalah singkatan dari S times A times T.
Oliphaunt - mengembalikan Monica

Lebih baik lagi, gunakan complexitypaket dan cukup menulis \SAT. (Tapi saya rasa itu tidak tersedia pada tumpukan ini.)
Oliphaunt - mengembalikan Monica

@Oliphaunt Mengapa tidak menyarankan edit ketika Anda dapat meningkatkan posting? Meskipun saya harus mengatakan bahwa di sini perbedaannya (jika ada) jauh lebih halus daripada yang saya harapkan.
Kadal diskrit

1
@ Discretelizard yang sering saya lakukan, tapi kali ini "terlalu banyak pekerjaan" (saya sedang menggunakan ponsel). Memasukkan semua $ dan \ adalah pekerjaan yang rewel. Saya memilih untuk mendidik sebagai gantinya. (Keputusan ini mungkin tidak sepenuhnya rasional.)
Oliphaunt - mengembalikan Monica

Jawaban:


55

Kemudian ia menghasilkan SATP yang dengan sendirinya mengikuti SATTIME(nk) .

Tentu.

Seperti berdiri, kita dapat melakukan mengurangi setiap bahasa di NP ke SAT . Oleh karena itu, NPTIME(nk) .

Tidak. Pengurangan waktu polinomial tidak gratis. Kita dapat mengatakan bahwa dibutuhkan O(nr(L)) waktu untuk mengurangi bahasa L ke SSEBUAHT , di mana r(L.) adalah eksponen dalam pengurangan waktu polinomial yang digunakan. Di sinilah argumen Anda berantakan. Tidak ada k hingga sehingga untuk semua L.NP kita memiliki r(L.)<k . Setidaknya ini tidak mengikuti dari P=NP dan akan menjadi pernyataan yang jauh lebih kuat.

Dan pernyataan kuat hal ini memang bertentangan dengan waktu hirarki teorema, yang mengatakan kepada kita bahwa P tidak dapat runtuh ke TsayaM.E(nk) , apalagi semua NP .


1
Ini bukan hanya waktu untuk pengurangan itu sendiri. Anda bisa mengurangi menjadi masalah yang lebih besar. Jika saya bisa menyelesaikan X di O (n ^ 5), dan saya bisa mengurangi masalah di Y di O (n ^ 6) menjadi contoh X ukuran O (n ^ 3), maka saya membutuhkan O (n ^ 15) secara keseluruhan.
gnasher729

Yang mengherankan, argumen ini berlaku untuk masalah lengkap PTIME juga, misalnya HORNSAT, yang dapat diselesaikan dalam waktu linier (tetapi tidak semua masalah dalam P adalah waktu linier).
cody

8

Misalkan 3SSEBUAHTNTsayaM.E[nk] . Dengan versi teoretis hierarki waktu yang tidak ditentukan, untuk r apa pun  , ada masalah XrNTsayaM.E[nr] yang tidak ada dalam NTIME[nr1] . Ini adalah hasil tanpa syarat yang tidak bergantung pada jenis asumsi seperti PNP

Pilih r>k . Misalkan kita memiliki reduksi deterministik dari Xr menjadi 3SAT yang berjalan dalam waktu  nt . Ini menghasilkan 3SAT contoh dari ukuran paling  nt , yang dapat diselesaikan dalam waktu paling (nt)k=ntk . Dengan pilihan  Xr , kita harus memiliki tk>r1 , jadi t>(r+1)/k . Fungsi ini tumbuh tanpa terikat dengan r .

Ini berarti bahwa tidak ada terikat pada berapa lama dapat dilakukan untuk mengurangi sewenang-wenang NP masalah untuk 3SAT . Bahkan jika 3SATP , masih belum ada batasan berapa lama pengurangan tersebut dapat berlangsung. Jadi, khususnya, bahkan jika 3SATDTIME[nk] untuk beberapa  k , kita tidak dapat menyimpulkan bahwa NPDTIME[nk], atau bahkanNPDTIME[nk]untuk beberapak>k.

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.