Waktu quasi-polinomial, atau QP, adalah kelas kompleksitas pada mesin Turing deterministik. Berikut adalah definisi yang tepat: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Sedangkan βP adalah kelas kompleksitas nondeterminisme terbatas. Berikut adalah definisi yang tepat:...
Apakah ada yang dikenal sejumlah transendental dihitung seperti itu yang nnn digit th adalah dihitung dalam waktu polinomial, tapi tidak di O(n)HAI(n)O(n)
Apa metode pendekatan Razborov? Bisakah seseorang memberikan ikhtisar tingkat tinggi dan intuisi di
Setelah keberhasilan yang lebih baru dan lebih baru dari jaringan saraf dalam bermain game papan, orang merasa bahwa tujuan berikutnya yang kita tetapkan bisa menjadi sesuatu yang lebih berguna daripada mengalahkan manusia di Starcraft. Lebih tepatnya, saya bertanya-tanya apakah Dapatkah...
Apa batas atas asimptotik yang paling dikenal pada ukuran bukti yang dapat diperiksa secara probabilistik? Idealnya, saya mencari survei kontemporer tentang pertanyaan luas ini, tetapi jika tidak ada, saya terutama tertarik pada ketidak-taksiran 3-SAT. Misalkan 7/8 + ε-3-SAT menjadi 3-SAT dengan...
Hasil ini oleh Tavenas, Koiran dan lain-lain menunjukkan bahwa setiap polinomial yang dihitung oleh sirkuit ukuran sss dihitung oleh kedalaman-4 sirkuit homogen ukuran sd√sds^{\sqrt{d}} . Apakah ada hasil yang serupa untuk sirkuit Boolean atau kita tahu mengapa hal seperti itu tidak mungkin?...
Konteks : Ada beberapa makalah yang mempelajari implikasi dari kurva timelike tertutup (CTL) terhadap kompleksitas kuantum. Pada tahun 2008, Aaronson dan Watrous menerbitkan makalah terkenal mereka tentang topik ini yang menunjukkan bahwa bentuk perjalanan waktu tertentu dapat membuat komputasi...
Ada jenis hasil dalam TCS yang biasanya disebut hasil bootstrap . Secara umum, itu dari bentuk Jika proposisi berlaku, maka proposisi berlaku.AAAA′A′A' di mana dan adalah proposisi yang terlihat serupa, dan tampaknya "lebih lemah" daripada , yang merupakan alasan kami memberi nama jenis hasil...
Untuk banyak masalah, algoritma dengan kompleksitas asimptotik terbaik memiliki faktor konstan yang sangat besar yang disembunyikan oleh notasi O besar. Ini terjadi dalam perkalian matriks, perkalian integer (khususnya, algoritma multiplikasi integer O (n log n) baru-baru ini dari Harvey dan van...
Saya bertanya-tanya apakah tugas mencari planar 3-warna diketahui sebagai kompleksitas atau lebih rendah? Ini terasa seperti itu akan menjadi konsekuensi intuitif berdasarkan hasil pemisah planar, namun di wikipedia , itu hanya menyebutkan set independen, pohon Steiner, siklus Hamilton, dan TSP. Di...
Masalah berikut baru-baru ini muncul dari penelitian saya dan saya ingin bertanya apakah ada yang tahu apakah masalah ini dipertimbangkan sebelumnya atau telah mendengar apa pun yang mungkin terkait. Pengaturan umum adalah sebagai berikut. Kita diberi FFF , keluarga ttt -subsets dari { 1 , 2 , ....
Dalam konteks perkolasi ikatan pada mana adalah bilangan bulat positif, pertimbangkan masalah perhitungan a -pendekatan dari perkolasi kritis diberi dimensi kisi dan parameter presisi sebagai input. Adakah hasil yang diketahui tentang kerumitan masalah seperti itu? d 2 - k p c d∈ N k∈...
Pertanyaannya adalah: Apakah skema perkiraan waktu-poli selalu ada untuk masalah NP-complete yang memiliki algoritma waktu pseudo-polinomial (seperti misalnya
tolong dapatkah Anda memberikan referensi, atau memberikan contoh-contoh khusus dari masalah PSPACE-lengkap yang dapat dipecahkan dalam waktu semu-polinomial? Catatan tambahan: Definisi waktu polinom pseudo: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Sebagai balasan atas beberapa...
Seperti yang kita ketahui, Graph Isomorphism ada dalam NP tetapi tidak diketahui sebagai NP-Complete atau P-Complete. Saya bertanya-tanya apakah ada masalah yang diketahui berada di PSPACE tetapi tidak dikenal sebagai PSPACE-Lengkap dan tidak terletak pada
Ide dasar induksi mundur adalah memulai dengan semua posisi akhir yang mungkin dari sebuah permainan di mana pemain X menang. Jadi untuk catur, lihat semua cara Putih dapat skakmat Hitam. Sekarang bekerjalah mundur ke semua kemungkinan pergerakan / posisi yang memungkinkan Putih pindah ke salah...
Pada langkah reduksi derajat dari bukti Dinur, grafik input ditransformasikan menjadi grafik G ′ dengan mengganti setiap simpul v ∈ V ( G ) dengan seperangkat simpul, c l o u d ( v ) , sedemikian rupa sehingga | c l o u d ( v ) | = d e g r e e G ( v ) , dan memaksakan derajat d grafik expander pada...
Apakah ada perangkap-pintu-seperti fungsi yang kompleksitas encoding adalah waktu polinomial nk1nk1n^{k_{1}} dan pembalik kompleksitas (tanpa kunci rahasia) juga merupakan fungsi polinom panjang masukan nk2nk2n^{k_{2}} dengan k1< < K2k1<<k2k_{1}
Meskipun L.Berman membuktikan bahwa masalah memverifikasi atau memalsukan pernyataan urutan pertama tentang bilangan real yang menggunakan penambahan dan perbandingan tetapi tidak multiplikasi ada di EXPSPACE. Apakah sudah diperlihatkan berapa banyak waktu atau ruang yang akan Anda perlukan untuk...
Diberikan grafik , masalah pencocokan maksimum klasik adalah memilih subset maksimum tepi st, untuk setiap tepi , .M ( u , v ) ∈ M d ( u ) = d ( v ) = 1G ( V, E)G(V,E)G(V,E)M.MM( u , v ) ∈ M(u,v)∈M(u,v) \in Md( u ) = d( v ) = 1d(u)=d(v)=1d(u)=d(v)=1 Adakah yang mempelajari varian berikut? Untuk...