Pertanyaan yang diberi tag «barriers»



3
Konstruktivitas dalam Bukti Alam dan Kompleksitas Geometris
Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi kompleksitas rangkaian dan bahwa kita dapat memutuskan apakah fungsi target di (atau yang …

4
Bukti, Hambatan dan P vs NP
Telah diketahui dengan baik bahwa bukti apa pun yang menyelesaikan pertanyaan P vs NP harus mengatasi relativization , bukti alami dan hambatan algebrization . Diagram berikut ini membagi "ruang bukti" menjadi beberapa wilayah. Sebagai contoh, sesuai dengan set bukti yang merelatifkan dan menaturalisasi. (Geometric Complexity Theory) tentu saja merupakan wilayah …

2
Bagaimana pendekatan geometris Mulmuley-Sohoni untuk menghasilkan batas bawah menghindari menghasilkan bukti alami (dalam pengertian Razborov-Rudich)?
Ungkapan tepat dari judul adalah karena Anand Kulkarni (yang mengusulkan situs ini dibuat). Pertanyaan ini diajukan sebagai contoh pertanyaan, tetapi saya sangat ingin tahu. Saya tahu sedikit tentang geometri aljabar, dan pada kenyataannya juga hanya memiliki sepintas, pemahaman sarjana tentang hambatan yang dimainkan dalam pertanyaan P / poly versus NP …

1
Hambatan untuk menunjukkan
Kita semua tahu menunjukkan bahwa memiliki penghalang. Kita semua telah mempelajari hambatan ini karena kami percaya P ≠ N P .P≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Namun anggap dan ada orang bijak yang percaya bahwa kemungkinan ada . Jika ini memang benar maka fakta bahwa kita belum melihat algoritma yang baik …
15 p-vs-np  barriers 


2
Apakah ada penjelasan untuk kesulitan membuktikan batas bawah kuadrat untuk masalah NP yang menarik?
Ini adalah tindak lanjut dari pertanyaan saya sebelumnya: Kompleksitas waktu deterministik yang diketahui paling baik untuk masalah alami dalam NP Saya merasa bingung bahwa kami belum dapat membuktikan waktu deterministik kuadratik lebih rendah untuk masalah NP yang menarik yang orang pedulikan dan mencoba untuk merancang algoritma yang lebih baik. Dugaan …

4
Apakah diagonalisasi menangkap esensi dari pemisahan kelas?
Saya tidak ingat pernah melihat pemisahan kelas yang tidak didasarkan pada hasil diagonalisasi dan relatisasi. Diagonisasi masih dapat digunakan untuk memisahkan kelas yang diketahui yang tersisa, karena argumen non-relativiasi mungkin masih digunakan dalam kesimpulan diagonalisasi, atau dalam konstruksi mesin Turing yang didiagonalisasi. Berikut beberapa pertanyaan terkait: Apakah ada bukti pemisahan …

2
Hambatan untuk memisahkan kelas kompleksitas lainnya
Do Alam Bukti , perelatifan dan Algebrization juga mempengaruhi pemisahan kelas kompleksitas lain seperti dll?L ≠ NL ≠ NP≠ c o NP≠ P.H≠ P.SPA CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Misalnya bukti alami penghalang harus mempengaruhi bukti karena akan memisahkan P ≠ N P . Namun hubungan antara N …
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.