Kami memiliki masalah dan kami menemukan algoritma yang nampak sebagai 2-nexptime. Saya ingin menemukan masalah 2-nexptime-complete yang diketahui untuk menemukan batas bawah. Saya menemukan dalam literatur terutama dua masalah seperti itu: apakah PCP sebagai solusi ukuran kurang dari...
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:...
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
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}
Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa...
Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan...
Saya harap pertanyaan ini tidak terlalu naif untuk situs ini. Dalam matematika (topologi, geometri, aljabar) adalah umum bagi seseorang untuk membedakan antara dua objek dengan menghasilkan invarian aljabar atau numerik, dan membuktikan bahwa dua objek memiliki nilai yang berbeda. Saya...
Untuk dapat menjelaskan masalah P vs NP kepada non-matematikawan, saya ingin memiliki contoh pedagogis tentang kapan pencarian Brute Force dapat dihindari. Masalahnya idealnya harus segera dimengerti dan triknya seharusnya tidak terlalu mudah atau terlalu sulit. Yang terbaik yang saya hasilkan...
(Saya memposting pertanyaan ini di CS sepuluh hari yang lalu, tanpa jawaban sejak saat itu - jadi saya posting di sini.) Setiap rumus CNF dapat diubah dalam waktu polinomial menjadi rumus 3-CNF dengan menggunakan variabel baru. Tidak selalu mungkin jika variabel baru tidak diperbolehkan (misalnya,...
Saya mencari referensi tentang `mengurangi 'pengurangan Turing ke banyak-satu pengurangan. Dalam benak saya ada pernyataan tentang bentuk berikut (pernyataan yang serupa juga akan memuaskan saya): Dalil. Jika , maka A ≤ 2 f m B t t .A≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf...
Apa saja contoh masalah yang diketahui berada dalam AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) yang tidak diketahui berada dalam NPNP\mathsf{NP} atau dalam BPPBPP\mathsf{BPP} ? Untuk AMAM\mathsf{AM} , saya tahu dua contoh berikut: Grafik non-isomorfisme: Diberikan dua grafik berlabel GGG dan HHH ,...
Menurut Handshaking Lemma: setiap grafik tidak berarah yang memiliki simpul yang derajatnya adalah bilangan ganjil harus memiliki beberapa simpul lain yang derajatnya adalah bilangan ganjil. Pengamatan ini berarti bahwa jika kita diberi grafik dan simpul derajat ganjil, dan kita diminta untuk...
Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan...
Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang...
Bisakah perpotongan dua bahasa dalam NP yang tidak lengkap menjadi NP lengkap? Bisakah perpotongan dua bahasa dalam coNP yang bukan coNP selesai menjadi coNP lengkap? Dapatkah perpotongan dua bahasa satu dalam coNP tetapi tidak lengkap dan lainnya dalam NP tetapi tidak lengkap NP menjadi NP...
Versi P, NP dan coNP yang tidak seragam adalah P / poly, NP / poly dan coNP / poly. Demikian pula, kita dapat mendefinisikan versi yang tidak seragam untuk setiap level di PH. Sebagai contoh: / poly terdiri dari masalah bentuk , di mana C adalah sirkuit dari ukuran polinomial yang dapat bervariasi...
Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan...
Bahasa Critical SAT didefinisikan sebagai himpunan rumus boolean sedemikian rupa sehingga tetapi menghapus klausa apa pun dari membuatnya memuaskan. Diketahui bahwa SAT kritis adalah lengkap. Saya bertanya-tanya tentang varian berikut: diberi rumus , apakah ini kasus bahwa ada di dan bahwa ada...
Apa kompleksitas masalah kepuasan lokal untuk modal logika ? Di sini kita dilambangkan oleh I K 5 logika modal atas bingkai euclidean diperpanjang dengan modalitas terbalik. Bisakah Anda memberikan referensi? Apakah dalam N P ?I K 5IK5\mathit{IK5}sayaK5IK5IK5NPNPNP Apa yang saya ketahui tentang...