Pertanyaan yang diberi tag «complexity-classes»

(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, rumus satu klausa: ).(x1∨x2∨x3∨x4)(x1∨x2∨x3∨x4)(x_1 \lor …

8 cc.complexity-theory  complexity-classes  sat 

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 sejauh ini adalah SUBSET_PRODUCT_IS_ZERO Masalahnya mudah dipahami (diberikan satu set …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

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 bertanya-tanya sejauh mana ini telah dicoba dengan kelas kompleksitas (atau …

8 cc.complexity-theory  complexity-classes  algebra 

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 adalah dua masalah penghitungan. Sebagai contoh, #SAT menanyakan berapa banyak …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

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 kelas bahasa yang dikenali oleh maschine nondeterministic seperti itu …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

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&lt; &lt; K2k1&lt;&lt;k2k_{1} << k_{2} (mengatakan k1= 2k1=2k_{1} = 2 dan k2k2k_{2} terbukti tanpa syarat dapat dibatasi di bawah 100010001000 )? Apa implikasi dari fungsi-fungsi …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

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 komentar yang disebutkan sebelumnya. Saya telah bertanya sebelumnya apakah ada masalah yang menyelesaikan PSPACE yang memiliki FPTAS. Jawaban yang mengejutkan adalah …

8 cc.complexity-theory  complexity-classes 

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 PH?

8 cc.complexity-theory  complexity-classes