Operasi suara terbanyak muncul cukup sering di toleransi kesalahan (dan tidak diragukan lagi tempat lain), di mana fungsi output sedikit sama dengan nilai yang pernah muncul paling sering dalam nilai bit input. Untuk kesederhanaan, mari kita asumsikan bahwa setiap kali input berisi jumlah bit yang...
XORifikasi adalah teknik untuk membuat fungsi atau rumus Boolean lebih sulit dengan mengganti setiap variabel dengan XOR k ≥ 2 variabel berbeda x 1 ⊕ … ⊕ x k . xxxk ≥ 2k≥2k\geq 2x1⊕ ... ⊕ xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Saya menyadari penggunaan teknik ini dalam kompleksitas bukti, terutama...
Apakah teorema otomatis membuktikan dan mencari bukti lebih mudah dalam linear dan logika substruktural proposisi lainnya yang kurang kontraksi? Di mana saya dapat membaca lebih banyak tentang teorema otomatis yang dibuktikan dalam logika ini dan peran kontraksi dalam pencarian
Apakah ada algoritma untuk pemecahan SAT yang tidak berbasis DPLL? Atau apakah semua algoritma yang digunakan oleh pemecah SAT berbasis
Sudah dikenal komputer kuantum benar-benar lebih kuat daripada rekan-rekan klasik mereka dalam hal kompleksitas permintaan . Apakah ada model lain (alami atau buatan) yang secara ketat antara kuantum dan klasik dalam hal kompleksitas kueri? Pemisahan bisa dimulai masalah spesifik: model X...
Saya melihat banyak penelitian tentang hiperkomputasi pada tahun 1990-an, tetapi dalam beberapa tahun terakhir tampaknya ada sedikit pekerjaan pada topik tersebut. Benarkah penelitian di bidang ini mereda? Jika demikian, apa alasannya? Apakah area ini secara meyakinkan terbukti tidak...
Apa yang diketahui tentang kompleksitas tepat dari masalah superstring terpendek? Bisakah itu diselesaikan lebih cepat dari ? Apakah ada algoritma yang dikenal yang memecahkan superstring terpendek tanpa mengurangi menjadi TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: menekan faktor
Saya pikir itu akan menjadi ide yang baik untuk membuat daftar teorema yang menyatakan bahwa P tidak sama dengan NP jika dan hanya jika ini dan itu keluar, beberapa kelas kompleksitas terkandung dalam kelas kompleksitas lain dan seterusnya dan seterusnya.
Biarkan menjadi Formula CNF yang memuaskan dengan variabel dan klausaBiarkan S F 1 menjadi ruang solusi F 1 .F1F1F_1mnnnmmmSF1SF1S_{F_1}F1F1F_1 Pertimbangkan masalah penentuan, mengingat , Formula F 2 CNF lainnya dengan set variabel yang sama dengan F 1 , dengan S F 2 = S F 1 (ruang solusi yang...
IP = PSPACE terdaftar sebagai contoh kanonik dari hasil non-relativizing, dan bukti untuk ini adalah bahwa ada oracle sedemikian sehingga , sementara {\ sf CoNp} ^ O \ subseteq {\ sf PSPACE} ^ O untuk semua nubuat O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf
Saya sedang mengerjakan set masalah untuk kelas, dan memikirkan pertanyaan terkait dengan apa yang saya kerjakan. Apakah ada jumlah minimum status yang harus dimiliki otomat terbatas untuk menerima string biner yang mewakili angka yang dapat dibagi oleh bilangan bulat n? Dalam set masalah...
Saya telah mencari jauh untuk aplikasi semacam itu dan sebagian besar muncul pendek. Saya dapat menemukan banyak aplikasi topologi dan struktur serupa pada set yang dapat dihitung (atau tidak terhitung), tetapi jarang saya benar-benar menemukan set yang tidak terhitung sebagai objek studi oleh para...
Apa algoritma efisien dikenal untuk menghitung penentu matriks bilangan bulat dengan koefisien dalam ZmZm\mathbb{Z}_m , cincin residu modulo mmm . Angka mmm mungkin bukan prima tetapi komposit (jadi perhitungan dilakukan dalam cincin, bukan bidang). Sejauh yang saya tahu (baca di bawah),...
Apakah ada pekerjaan yang telah dilakukan tentang bagaimana kompleksitas kejadian acak # 2-SAT bervariasi dengan kepadatan klausa? Yaitu: bagaimana kesulitan menghitung solusi yang memuaskan untuk contoh 2-SAT yang dihasilkan secara acak bervariasi, karena kepadatan klausa bervariasi? Secara...
Misalkan adalah pohon derajat konstan yang strukturnya tidak kita ketahui. Masalahnya adalah untuk mengeluarkan pohon dengan menanyakan pertanyaan dari formulir: "Apakah simpul terletak pada jalur dari simpul ke simpul ?". Asumsikan bahwa setiap permintaan dapat dijawab dalam waktu yang konstan...
Seperti yang Anda tahu ada banyak anomali untuk mesin Turing tape tunggal ketika waktunya adalah : simulasi multi-tape TM, simulasi alfabet tape yang lebih besar hanya dengan { 0 , 1 , b } , konstruktivitas waktu, non-sesak teorema hierarki waktu, ...o(n2)o(n2)o(n^2){0,1,b}{0,1,b}\{0,1,b\} Juga...
The Kompleksitas kebun binatang tidak memiliki banyak tentang SCSC\mathsf{SC} . Saya mencari masalah † bagus yang ada di level hirarki yang lebih tinggi, yaitu masalah di D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) tetapi tidak diketahui sebagai dalam D T i m e S p a c e ( n O ( 1...
Saya seorang ahli fisika, dan saya pikir One-Way Quantum Computing sangat brilian. Secara khusus, Graph State Measurement-based Quantum Computing (MBQC) telah menjadi perkembangan yang sangat bagus dalam penelitian Quantum Computing sebagaimana berasal dari Raussendorf & Briegel . Orang hanya...
Mafia adalah permainan permainan peran yang populer di pesta-pesta, deskripsi terperinci tersedia di wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Pada dasarnya, ini berfungsi sebagai berikut: Pada awalnya, masing-masing pemain NNN diam-diam diberi peran, baik selaras dengan Mafia...
Misalkan adalah kelas dari masalah keputusan yang memiliki algoritma acak kesalahan dua sisi terikat yang berjalan dalam waktu O ( f ( n ) ) .BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Apakah kita tahu ada masalah sedemikian sehingga Q ∈ B P T I M E ( n k ) tetapi Q ∉ D T I...