Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

9
Algoritma serakah yang optimal untuk masalah NP-hard
Keserakahan, karena tidak ada kata yang lebih baik, adalah baik. Salah satu paradigma algoritmik pertama yang diajarkan dalam kursus pengantar algoritma adalah pendekatan serakah . Pendekatan serakah menghasilkan algoritma sederhana dan intuitif untuk banyak masalah dalam P. Lebih menarik lagi, untuk beberapa masalah NP-hard, algoritma lokal / lokal yang tamak …
5
Apakah ada logika tanpa induksi yang menangkap banyak P?
The Immerman-Vardi teorema menyatakan bahwa PTIME (atau P) justru kelas bahasa yang dapat dijelaskan oleh hukuman Pertama-Order Logic bersama-sama dengan operator fixed-point, lebih kelas struktur memerintahkan. Operator titik tetap dapat berupa titik tetap paling tidak (seperti yang dipertimbangkan oleh Immerman dan oleh Vardi), atau titik tetap inflasi. (Stephan Kreutzer, kesetaraan …
4
Contoh di mana keunikan solusi membuatnya lebih mudah ditemukan
Kelas kompleksitas terdiri dari masalah-masalah yang dapat diputuskan oleh mesin Turing waktu polinomial nondeterministic yang memiliki paling banyak satu yang menerima jalur komputasi. Artinya, solusinya, jika ada, unik dalam pengertian ini. Diperkirakan sangat tidak mungkin bahwa semua masalah ada di , karena oleh Teorema Valiant-Vazirani ini akan menyiratkan keruntuhan .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} …
2
Aksioma diperlukan untuk ilmu komputer teoretis
Pertanyaan ini diilhami oleh pertanyaan serupa tentang matematika terapan pada aliran matematika, dan pemikiran itu mengomentari bahwa pertanyaan penting TCS seperti P vs. NP mungkin independen dari ZFC (atau sistem lain). Sebagai sedikit latar belakang, matematika terbalik adalah proyek untuk menemukan aksioma yang diperlukan untuk membuktikan teorema penting tertentu. Dengan …
4
Apakah ?
Kita tahu bahwa level pertama dari hierarki polinomial (yaitu NP dan co-NP) adalah dalam PP, dan bahwa . Kita juga tahu dari Teorema Toda bahwa .PP⊆ P.SPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ P.PPPH⊆PPPPH \subseteq P^{PP} Apakah kita tahu apakah ? Jika tidak, mengapa dengan lebih kuat dari ? Apakah mungkin dan PP …
3
Apakah
Sejauh yang saya mengerti, upaya Program teori kompleksitas geometri untuk memisahkan dengan membuktikan bahwa permament dari matriks bernilai kompleks adalah jauh lebih sulit untuk menghitung dari determinan.VP≠VNPVP≠VNPVP \neq VNP Pertanyaan yang saya miliki setelah membaca sekilas tentang GCT Papers: Apakah ini segera menyiratkan , atau apakah itu hanya langkah besar …
3
Teknik untuk menunjukkan masalah itu dalam kekerasan "limbo"
Diberikan masalah baru di yang kompleksitas sebenarnya ada di antara dan NP-complete, ada dua metode yang saya tahu yang mungkin digunakan untuk membuktikan bahwa menyelesaikan ini sulit:PNPNP\mathsf{NP}PP\mathsf{P} Tunjukkan bahwa masalahnya adalah GI-complete (GI = Graph Isomorphism) Tunjukkan bahwa masalahnya ada di . Dengan hasil yang diketahui, hasil seperti itu menyiratkan …
3
Apakah ada cadangan / pengganti Kebun Binatang Kompleksitas?
Ini adalah pertanyaan non-teknis, tetapi tentu relevan untuk komunitas TCS. Jika dianggap tidak pantas, silakan tutup. Halaman web Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) tentu saja sangat bermanfaat bagi komunitas TCS selama bertahun-tahun. Ternyata sudah turun cukup lama. Saya bertanya-tanya, apakah seseorang masih mempertahankannya, apakah sudah pindah, apakah ada server cadangan, atau apakah …
4
Kekerasan pendekatan tanpa teorema PCP
Aplikasi penting dari teorema PCP adalah bahwa ia menghasilkan hasil jenis "kekerasan perkiraan". Dalam beberapa kasus yang relatif lebih sederhana seseorang dapat membuktikan kekerasan seperti itu tanpa PCP. Namun, adakah kasus di mana kekerasan hasil perkiraan pertama kali terbukti menggunakan teorema PCP, yaitu, hasilnya tidak diketahui sebelumnya, tetapi kemudian ditemukan …
3
Mengapa keacakan memiliki efek yang lebih kuat pada reduksi daripada pada algoritma?
Dugaan bahwa keacakan tidak memperpanjang kekuatan algoritma waktu polinomial, yaitu, diperkirakan untuk ditahan. Di sisi lain, keacakan tampaknya memiliki efek yang sangat berbeda pada pengurangan waktu polinomial . Dengan hasil Valiant dan Vazirani yang terkenal, berkurang menjadi melalui pengurangan waktu polinomial secara acak. Kecil kemungkinan bahwa pengurangan tersebut dapat diderandomisasi, …
3
Kompleksitas fungsi eksponensial
Kita tahu bahwa fungsi eksponensial atas bilangan asli tidak dapat dihitung dalam waktu polinomial, karena ukuran output tidak dibatasi secara polinomi dalam ukuran input.exp( x , y) = xyexp⁡(x,y)=xy\exp(x,y) = x^y Apakah ini alasan utama untuk kesulitan menghitung fungsi eksponensial, atau apakah eksponensial pada dasarnya sulit untuk dihitung, terlepas dari …
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.