Mengingat , berapa banyak k -DNF dengan n variabel dan klausa m adalah tautologi? (atau berapa banyak k -CNF yang tidak memuaskan?)m,n,km,n,km, n,
Jaringan switch (namanya diciptakan) dibuat dengan tiga jenis node: satu simpul Mulai satu simpul ujung satu atau lebih Switch node Node switch memiliki 3 pintu keluar: Kiri, Atas, Kanan; memiliki dua status L dan R dan status target TL atau TR . Setiap sakelar dapat dilintasi dengan aturan...
Mari kita mengatakan bahwa grafik adalah -connected jika penghapusan setiap simpul dan setiap tepi dari daun selalu graf terhubung. Misalnya, grafik -connect, sesuai dengan definisi standar, adalah -connected, sesuai dengan definisi baru. Apakah ada algoritma polinomial-waktu untuk memutuskan...
Konteks: hubungan antara logika dan automata Teorema Büchi menyatakan bahwa logika Orde Kedua atas string (MSO) Monadic menangkap kelas bahasa biasa. Buktinya benar-benar menunjukkan bahwa MSO eksistensial ( exist atau EMSO ) lebih dari string sudah cukup untuk menangkap bahasa biasa. Ini mungkin...
Mari kita asumsikan bahwa kita telah membangun komputer kuantum universal. Kecuali untuk masalah yang berhubungan dengan keamanan (kriptografi, privasi, ...) yang mana masalah dunia nyata saat ini dapat mengambil manfaat dari menggunakannya? Saya tertarik pada keduanya: masalah saat ini tidak...
Saya mencari algoritme untuk menggabungkan dua pohon pencarian biner dengan ukuran dan jangkauan yang berubah-ubah. Cara yang jelas saya akan menerapkan ini adalah untuk menemukan seluruh sub pohon yang jangkauannya dapat masuk ke dalam simpul eksternal yang berubah-ubah di pohon lain. Namun, kasus...
Bertahun-tahun yang lalu saya mendengar bahwa menghitung NFA minimal (otomat hingga nondeterministik) dari DFA (deterministik) adalah pertanyaan terbuka, berlawanan dengan arah sebaliknya yang telah dikenal selama beberapa dekade dan diteliti dengan baik dengan efisien algoritma. Adakah yang datang...
(juga bertanya di sini , tidak ada balasan) A -quantum expander adalah distribusi atas kelompok kesatuan dengan properti yang: a) , b) , di mana adalah ukuran Haar. Jika alih-alih distribusi pada unitari kami mempertimbangkan distribusi atas matriks permutasi, tidak sulit untuk melihat bahwa kami...
Labirin fraktal adalah labirin yang berisi salinan dirinya sendiri. Misalnya, yang berikut oleh Mark JP Wolf dari artikel ini : Mulailah di MINUS dan lanjutkan ke PLUS. Saat Anda memasukkan salinan labirin yang lebih kecil, pastikan untuk mencatat nama surat salinan itu, karena Anda harus...
Perhitungan kuantum terikat waktu jelas sangat menarik. Bagaimana dengan perhitungan kuantum yang dibatasi ruang? Saya tahu banyak hasil menarik untuk komputasi kuantum dengan batas ruang sublogaritmik dan berbagai jenis model quantum automata. Di sisi lain, itu menunjukkan bahwa probabilistik...
Sejauh yang saya ketahui, sebagian besar implementasi pembuatan nomor pseudorandom dalam praktik menggunakan metode seperti register umpan balik pergeseran linier (LSFR), atau algoritma "Mersenne Twister" ini. Sementara mereka lulus banyak tes statistik (heuristik), tidak ada jaminan teoritis bahwa...
2dca (dua arah deterministik one-counter automata) (Petersen, 1994) dapat mengenali bahasa unary berikut: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Apakah ada bahasa unary nontrivial lain yang dikenali oleh...
Saya membaca tentang kelas graf yang Graph isomorfisma ( ) dalam P . Salah satu kasus tersebut adalah grafik valensi terikat (maksimum lebih dari derajat setiap simpul) seperti yang dijelaskan di sini . Tapi saya merasa terlalu abstrak. Saya akan berterima kasih jika ada yang bisa menyarankan saya...
Grafik planar memiliki genus nol. Grafik yang dapat disematkan pada torus memiliki genus paling banyak 1. Pertanyaan saya sederhana: Apakah ada masalah yang dapat dipecahkan secara polinomi pada grafik planar tetapi NP-hard pada grafik genus satu? Lebih umum apakah ada masalah yang secara...
Saya mengajar batas bawah saat ini, dan salah satu siswa ditanya tentang alasan nama A C . Penjelasan resmi adalah bahwa "A" adalah singkatan dari "Alternation".A C0SEBUAHC0AC^0A CSEBUAHCAC Samar-samar saya ingat diberi tahu bertahun-tahun yang lalu bahwa Nick Pippenger Steve Cook menamai setelah...
Versi pendek. Bukti asli bahwa # 2-SAT adalah #P -lengkap menunjukkan, pada kenyataannya, bahwa contoh-contoh dari # 2-SAT yang keduanya monoton (tidak melibatkan negasi dari variabel apa pun) dan bipartit (grafik yang dibentuk oleh klausa di atas variabel adalah grafik bipartit) adalah #P -hard ....
Kita tahu bahwa program linier (LP) dapat diselesaikan tepat dalam waktu polinomial menggunakan metode ellipsoid atau metode titik interior seperti algoritma Karmarkar. Beberapa piringan hitam dengan jumlah variabel / kendala super-polinomial (eksponensial) juga dapat diselesaikan dalam waktu...
Sebagian besar situs yang saya kunjungi membaca tentang topik menarik ini menyatakan sesuatu di sepanjang baris "Satu-satunya kekuatan dua (selain 2 itu sendiri) yang muncul dalam urutan ini adalah yang memiliki eksponen utama" (MathWorld) atau "Setelah 2, urutan ini berisi kekuatan 2...
Ini adalah tindak lanjut dari pertanyaan terakhir yang diajukan oleh A. Pal: Memecahkan program semidefinite dalam waktu polinomial . Saya masih bingung tentang waktu berjalan aktual dari algoritma yang menghitung solusi dari program semidefinite (SDP). Seperti yang ditunjukkan Robin dalam...
Apakah ada dugaan dalam ilmu komputer teoretis yang melibatkan beberapa parameter n dan terbukti untuk nilai kecil n DAN untuk bilangan prima tetapi kemudian ternyata salah? Dalam teori bilangan masalah semacam itu memang ada, misalnya. seperti yang ditunjukkan Aaron Meyerowitz tentang koefisien...