Berita kematian dari dugaan mati


44

Saya mencari dugaan tentang algoritme dan kompleksitas yang dipandang kredibel oleh banyak orang di beberapa titik waktu, tetapi kemudian mereka ditolak, atau setidaknya tidak dipercaya, karena pemasangan kontra-bukti. Berikut adalah dua contoh:

  1. Hipotesis oracle acak: hubungan antara kelas-kelas kompleksitas yang berlaku untuk hampir semua dunia yang ter-relativisasi, juga berlaku dalam kasus yang tidak ter-relativisasi. Ini dibantah oleh hasil , dan dengan menunjukkan bahwa berlaku untuk hampir semua nubuat acak , lihat Random Oracle Hypothesis is False .I P XP S P A C E X XIP=PSPACEIPXPSPACEXX

  2. Keacakan kesalahan terbatas benar memperluas kekuatan waktu polinomial (yaitu, ). Ini diyakini untuk sementara waktu, tetapi kemudian, karena hasil derandomisasi yang canggih dan koneksi mereka ke kompleksitas sirkuit, dugaan yang berlawanan ( ) telah menjadi lazim (meskipun masih terbuka).P = B P PPBPPP=BPP

Manakah dugaan lain yang gagal dalam ujian waktu?


3
Sebelum IP = PSPACE, bahkan dianggap mungkin bahwa , lihat Fortnow-Sipser 1988 . Saya tidak tahu apakah ini dianggap sebagai jawaban terpisah dengan resolusi yang sama, atau apakah terlalu mirip dengan contoh Anda 1.coNPIP
Joshua Grochow

4
Program Hilbert ("... buang pertanyaan mendasar dalam matematika seperti dulu dan untuk semua ...") dan "dugaannya" tentang kepastian teori formal [~ 1920], yang "hancur" (agak cepat [1931] ]) ke dalam teorema ketidaklengkapan Godel :-)
Marzio De Biasi

2
Tinjauan makalah ini, oleh Kreisel, berbunyi "Makalah ini menetapkan bahwa setiap set (re) yang berulang secara berulang dapat didefinisikan secara eksistensial dalam hal eksponensial. ... Hasil ini terkait dangkal dengan masalah kesepuluh Hilbert pada (biasa, yaitu, non-eksponensial). ) Persamaan Diophantine ... ... tidak sepenuhnya masuk akal bahwa semua masalah Diophantine (biasa) dapat direduksi secara seragam menjadi masalah pada sejumlah variabel tingkat tetap, yang akan menjadi kasus jika semua set ulang adalah Diophantine. " (Lihat juga di sini .)
Andrés E. Caicedo


3
Juga posting Hasil yang Mengejutkan dari blog Computational Complexity.
Kaveh

Jawaban:


22

NLcoNL . Sebelum hasil bahwa keduanya sama, saya pikir secara luas diyakini bahwa mereka berbeda, dengan analogi dengan keyakinan bahwa (yaitu prinsip umum bahwa "nondeterministisme dan ko nondeterminisme berbeda "; ini ternyata salah di bawah batas kompleksitas ruang yang setidaknya logaritmik).NPcoNP


'analogi'? satu adalah waktu dan yang lain adalah ruang tidak?

7
@ Arul: Ya. Itu analogi antara kelas kompleksitas yang ditentukan oleh batas waktu, dan kelas kompleksitas yang ditentukan oleh batas ruang ...
Joshua Grochow

Tetapi waktu dan ruang tidak setara (setidaknya secara dugaan)

25
@ Arul: Benar. Itulah tepatnya mengapa ini hanya analogi ...
Joshua Grochow

19

Sebelum , dianggap mungkin bahkan tidak terkandung dalam : di Fortnow-Sipser 1988 mereka menduga ini sebagai kasus dan memberikan relatif oracle yang memang benar.IP=PSPACEcoNPIP


18

Program percabangan dengan lebar konstan memerlukan lebih dari panjang polinomial untuk dihitung : Setelah Furst-Saxe-Sipser dan Ajtai pada tahun 1981 menunjukkan bahwa sirkuit AC 0 tidak dapat dihitung, langkah berikutnya yang wajar tampaknya adalah menunjukkan bahwa program percabangan lebar-lebar polinomial panjang tidak bisa dihitung, yang secara luas dikira masih ada. David Barrington pada tahun 1986 menunjukkan bahwa mereka tidak hanya dapat menghitung tetapi juga setara dengan NC 1 .


17

The -conjecture: Bahwa algoritma deterministik apa pun untuk membutuhkan waktu .3SUM3SUMΩ(n2)

Ini dibantah pada tahun 2014, oleh Allan Grønlund dan Seth Pettie, yang memberikan algoritma deterministik yang berjalan dalam waktu [1].O(n2/(logn/loglogn)2/3)

[1] Segitiga Bertiga, Merosot, dan Cinta. Allan Grønlund dan Seth Pettie. Dalam Yayasan Ilmu Komputer (FOCS) 2014, hlm. 621-630. arXiv: 1404.0799 [cs.DS]


5
Bagaimana mereka bisa mendapatkan gelar itu melewati pengulas?
David Zhang

17

Solusi dari masalah kesepuluh Hilbert oleh Davis, Matiyasevich, Putnam, dan Robinson, menunjukkan bahwa perangkat yang dapat dihitung secara rekursif adalah perangkat Diophantine.

(Saya mereproduksi di sini sebuah posting blog , Hindsight , dari beberapa tahun yang lalu, seperti yang disarankan dalam komentar.)

Dari ulasan Georg Kreisel tentang Masalah keputusan untuk persamaan diophantine eksponensial , oleh Martin Davis, Hilary Putnam, dan Julia Robinson, Ann. dari Matematika. (2), 74 (3) , (1961), 425-436. MR0133227 (24 # A3061) .

Makalah ini menetapkan bahwa setiap set (re) yang berulang secara berulang dapat didefinisikan secara eksistensial dalam hal eksponensial. [...] Hasil ini terkait dangkal dengan masalah kesepuluh Hilbert pada persamaan Diophantine (biasa, non-eksponensial). Bukti hasil penulis, meskipun sangat elegan, tidak menggunakan fakta rekondisi dalam teori angka atau dalam teori set ulang, dan kemungkinan hasil ini tidak terkait erat dengan masalah kesepuluh Hilbert. Juga tidak sepenuhnya masuk akal bahwa semua masalah Diophantine (biasa) dapat direduksi secara seragam menjadi masalah dengan sejumlah variabel tingkat tetap, yang akan menjadi kasus jika semua set ulang adalah Diophantine.

Tentu saja, kutipan favorit saya sehubungan dengan masalah kesepuluh adalah dari Kata Pengantar oleh Martin Davis ke masalah kesepuluh Hilbert milik Yuri Matiyasevich .

Selama tahun 1960-an saya sering memiliki kesempatan untuk memberi kuliah tentang Masalah Kesepuluh Hilbert. Pada saat itu diketahui bahwa ketidakmampuan akan mengikuti dari adanya persamaan Diophantine tunggal yang memenuhi kondisi yang telah dirumuskan oleh Julia Robinson. Namun, tampaknya sangat sulit untuk menghasilkan persamaan seperti itu, dan memang, pendapat yang berlaku adalah bahwa seseorang tidak mungkin ada. Dalam kuliah saya, saya akan menekankan konsekuensi penting yang akan muncul baik dari bukti atau ketidakberadaan keberadaan persamaan seperti itu. Tidak dapat dihindari selama periode pertanyaan saya akan diminta pendapat saya sendiri tentang bagaimana masalah akan terjadi, dan saya sudah siap menjawab: "Saya pikir hipotesis Julia Robinson itu benar, dan itu akan dibuktikan oleh seorang pemuda Rusia yang pintar."


9

Program Hilbert dan "dugaannya" tentang kepastian teori formal. Itu dirumuskan pada awal 1920-an dan dikejar olehnya dan rekan-rekannya di Universitas Gottingen dan di tempat lain pada 1920-an dan 1930-an.

"Dengan landasan matematika yang baru ini - yang dapat dengan tepat disebut sebagai teori pembuktian - saya percaya untuk membuang pertanyaan-pertanyaan mendasar dalam matematika seperti itu sekali dan untuk semua dengan mengubah setiap pernyataan matematika menjadi formula yang dapat diperagakan secara konkret dan keras, dan dengan demikian mentransfer seluruh pertanyaan kompleks ke dalam bidang matematika murni. "

Diketahui bahwa proposal Hilbert "jatuh" (agak cepat [1931]) ke dalam teorema ketidaklengkapan Godel .

Untuk tinjauan umum yang bagus tentang program Hilbert dan perkembangan selanjutnya, lihat: Richard Zach; Program Hilbert dulu dan sekarang; Handbook of Philosophy of Science. Volume 5: Filsafat Logika; 2006

Lihat juga jawaban Andrés Caicedo untuk aspek lain dari kisah ini: masalah kesepuluh Hilbert yang diselesaikan hanya pada tahun 1970.


7

Dalam sebuah ceramah oleh Madhu Sudan * ia mengklaim ada beberapa kepercayaan bahwa ada sehingga , melalui pemrograman semidefinite, sebelum bukti teorema PCP tiga bit Håstad.s>1/2PCP1,s[logn,3]P

Memang SDP memang menunjukkan , memberikan ikatan yang kuat pada kompleksitas PCP tersebut.PCP1,1/2[logn,3]=P

(* Saya menemukan kuliah Madhu ini diterbitkan dalam "Teori Kompleksitas Komputasi yang diedit oleh Rudich / Wigderson")


1

dugaan berkisar pada spektrum dari formal ke informal. misalnya dugaan Hilberts yang terkenal tentang desidabilitas matematika diformalkan menjadi beberapa masalah, misalnya masalah Hilberts ke-10 tetapi juga dugaan informal yang lebih muluk yang mencakup seluruh bidang. itu juga dapat dilihat sebagai program penelitian yang diusulkan.

satu resep mudah untuk menemukan "obituari kematian" dugaan seperti itu adalah dengan mempertimbangkan "meta-" pernyataan "[x] dugaan dapat dibuktikan dalam hidupku." literatur matematika penuh dengan pernyataan / harapan seperti itu yang ternyata "salah" dalam arti benar-benar menentang harapan tentang kesulitan dan aksesibilitas bukti. yang klasik adalah dugaan Riemann, terbuka selama lebih dari ~ 1½ abad. menerapkan model yang sama ini ke teori kompleksitas tidak semudah karena teori kompleksitas adalah bidang ilmiah yang jauh lebih muda. Namun, inilah contoh utama.

penemuan awal masalah P vs NP (sekarang buka 4½ dekade) memiliki semacam kepolosan karena para peneliti asli tidak dan tidak bisa membayangkan betapa sulit atau lintas-potong masalah akan berubah menjadi. untuk membuat ini lebih spesifik, pertimbangkan bidang kompleksitas sirkuit yang ditemukan pada awal 1980-an misalnya oleh Sipser. ini adalah program penelitian agak seperti Hilberts dipasang sebagian untuk menyerang P vs NP. beberapa hasil historis dirangkum oleh Arvind dalam abstrak / pengantar Kolom Kompleksitas Komputasi ini, BEATCS 106 :

1980-an adalah periode emas untuk kompleksitas sirkuit Boolean batas bawah. Ada terobosan besar. Misalnya, ukuran eksponensial Razborov yang lebih rendah untuk sirkuit monoton Boolean menghitung fungsi Clique dan ukuran superpolynomial Razborov-Smolensky batas bawah untuk sirkuit kedalaman konstan dengan gerbang MOD p untuk prime p. Hasil-hasil ini membuat para peneliti optimis akan kemajuan pada pertanyaan-pertanyaan besar yang lebih rendah dan pemisahan kelas yang rumit. Namun, dalam dua dekade terakhir, optimisme ini secara bertahap berubah menjadi keputusasaan. Kami masih tidak tahu bagaimana membuktikan batas bawah superpolynomial untuk sirkuit kedalaman konstan dengan gerbang MOD 6 untuk fungsi yang dapat dihitung dalam waktu eksponensial.

ada dua kertas kunci yang menjatuhkan harapan di lapangan. Razborov mendapatkan hasil yang luar biasa tentang fungsi Clique tetapi kemudian menulis dua makalah yang saling bertentangan. satu makalah menunjukkan bahwa Matching, masalah P-time, membutuhkan sirkuit monoton eksponensial dan oleh karena itu dalam beberapa hal pendekatan sirkuit monoton untuk batas bawah digagalkan karena kurangnya korespondensi dalam kompleksitas dengan sirkuit nonmonotone ("lengkap") (masih belum sepenuhnya dipahami).

ini diperluas dalam makalahnya yang terkenal, Natural Proofs, yang ditulis bersama dengan Rudich di mana ditunjukkan bahwa semua bukti sirkuit sebelumnya dengan batas bawah tunduk pada pola tertentu yang memiliki kelemahan yang dapat dibuktikan dalam arti berkonflik dengan batas bawah terkira pada generator nomor acak dari kriptografi.

jadi, pada tingkat tertentu sirkuit telah "jatuh dari rahmat". ini masih merupakan wilayah penelitian masif, tetapi kearifan konvensional, yang didukung oleh hasil teknis, adalah semacam pola / struktur pembuktian khusus yang belum diketahui akan diperlukan untuk mendapatkan hasil yang kuat di bidang tersebut, jika mungkin bahkan mungkin. bahkan dengan cara yang sama orang mungkin menyarankan bahwa bahkan "batas bawah yang kuat dalam teori kompleksitas" secara keseluruhan sekarang terlihat sangat sulit, dan ini tidak banyak diharapkan / diprediksi pada masa muda bidang tersebut. tetapi di sisi lain ini kemudian peringkat mereka di sana dalam kesulitan / signifikansi / pentingnya dengan masalah (terbuka) matematika yang besar.


1
Dugaan apa yang Anda sorot? Juga, kompleksitas sirkuit tampaknya sangat aktif dan agak sukses, misalnya beberapa terobosan Rossman; lihat buku teks Jukna yang otoritatif untuk tinjauan lapangan yang lebih membumi.
András Salamon

ada beberapa ide yang saling terkait, tetapi misalnya dugaan "kasar" bahwa sirkuit pada umumnya atau beberapa bentuk khusus (misalnya monoton) dapat membuktikan P vs NP atau batas bawah yang kuat ... itu tidak pernah benar-benar diformalkan secara ketat tetapi beredar di banyak (lama) makalah teori sirkuit. itu juga tidak sepenuhnya dibantah, tetapi direvisi dengan 2020. kisah sirkuit monoton khususnya adalah "pembalikan dekat".
vzn

8
Jika Anda mengutip beberapa referensi spesifik sebagai dukungan untuk rangkaian monoton tentang-wajah, maka itu akan menjadi jawaban yang bagus. Tetapi hal di atas muncul sebagai melemparkan banyak kata ke dinding dan berharap beberapa tongkat; itu memiliki nuansa tetapi tidak memiliki tesis yang jelas. Dalam bacaan saya, saya belum membentuk kesan bahwa sirkuit monoton pernah dianggap sangat kuat.
András Salamon

@ AndrásSalamon: Saya pikir pandangan itu mewakili manfaat dari belakang. Yaitu, setelah batas bawah eksponensial Razborov pada sirkuit monoton untuk klik, saya pikir ada optimisme yang cukup luas bahwa sirkuit batas bawah yang jauh lebih besar (seperti ) "tepat di tikungan." (Mungkin tidak keyakinan bahwa , tapi saya pikir cukup luas untuk disebut sebagai jawaban untuk pertanyaan ini.)P n e q N P.NPP/polyPneqNP
Joshua Grochow

@ JoshuaGrochow, saya setuju, tapi itu sangat berbeda dari utas kusut di atas. Mungkin layak dikirim sebagai jawaban?
András Salamon
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.