Pertimbangkan masalah keputusan berikut Input : CNF ΦΦ\Phi monoton dan DNF monoton P .ΨΨ\Psi Pertanyaan : Apakah sebuah tautologi?Φ→ΨΦ→Ψ\Phi \to \Psi Tentunya Anda dapat mengatasi masalah ini dalam waktu , di mana adalah jumlah variabel dalam dan adalah panjang input. Di sisi lain, masalah ini...
Apakah ada kategori tambalan yang kira-kira terlihat seperti ini: Objek adalah string dalam beberapa alfabet dasar Morfisme adalah skrip edit ("diffs" atau "patches") di antara string Saya tertarik dengan pertanyaan ini: Apakah ada gagasan kategoris tentang naskah edit minimal ? Mungkin...
Baru-baru ini saya belajar tentang dugaan serakah untuk Masalah Superstring Terpendek . Dalam masalah ini, kita diberi satu set string s1, … , Sns1,...,sns_1,\dots, s_n dan kami ingin menemukan terpendek superstring sss yaitu sehingga setiap ssayassayas_i muncul sebagai substring dari sss...
Saya memiliki dataset yang merupakan sejumlah objek yang disusun dalam kotak 2-D. Saya tahu saya memiliki urutan ketat, meningkat saat Anda bergerak dari kiri ke kanan di setiap baris, dan meningkat dari atas ke bawah dalam setiap kolom. Sebagai contoh, 1 2 3 4 6 7 5 8 9 Bisakah saya...
The Paley grafik P q adalah mereka yang simpul-set diberikan oleh bidang yang terbatas GF (q), untuk kekuatan utama q≡1 (mod 4), dan di mana dua simpul yang berdekatan jika dan hanya jika mereka berbeda oleh 2 untuk beberapa a ∈ GF (q). Dalam kasus q adalah prima, bidang hingga GF (q) hanyalah...
Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki...
Apa saja masalah dunia nyata yang telah dipecahkan menggunakan algoritma genetika? Apa masalahnya? Apa tes kebugaran yang digunakan untuk mengatasi masalah
Sederhananya: apa korespondensi antara mesin Turing dengan oracle, dan keluarga sirkuit seragam dengan oracle? Bagaimana yang terakhir didefinisikan untuk mendapatkan model komputasi yang sama, untuk mesin Turing oracle yang diberikan? Ini mungkin pertanyaan mendasar, tetapi tidak jelas ke mana...
Sangat mudah untuk memverifikasi bahwa dengan grid d dimensi dari titik integer , dengan kedekatan reguler, orang dapat menemukan pemisah ukuran n d - 1 (cukup pilih sembarang hyperplane tengah, dan hapus semua simpulnya). Juga tidak terlalu sulit (tapi jelas tidak langsung) untuk memverifikasi...
Setelah diskusi tentang batas bawah untuk 3SAT [ 1 ], saya bertanya-tanya apa hasil batas bawah utama yang dirumuskan sebagai pertukaran ruang-waktu. Saya mengecualikan hasil seperti, katakanlah, teorema Savitch; entri yang bagus akan fokus pada satu masalah dan batasannya. Contohnya...
Ini adalah pertanyaan yang terinspirasi oleh masalah pemotongan bebas-H . Diberikan grafik, partisi dari simpulnya mengatur menjadi r bagian V 1 , V 2 , ... , V r adalah H -gratis jika G [ V i ] tidak menginduksi salinan H untuk semua i , 1 ≤ i ≤ r .VVVrrrV1,V2,…,VrV1,V2,…,VrV_1, V_2, \ldots,...
Ketidaksamaan tipe Chernoff digunakan untuk menunjukkan bahwa probabilitas bahwa jumlah variabel acak independen menyimpang secara signifikan dari nilai yang diharapkan secara eksponensial kecil dalam nilai yang diharapkan dan deviasi. Apakah ada ketimpangan tipe Chernoff untuk jumlah variabel acak...
Jadi, saya punya sekitar 100-200 matriks boolean persegi yang sangat jarang dengan panjang sisi ~ beberapa lusin, dan saya perlu menghitung produk mereka. Saya tahu bahwa jika saya mengalikannya secara seri, produk biasanya akan tetap jarang di setiap langkah. Apakah ada algoritma produk rantai...
Dalam makalah Quantum Random Walks Hit Eksponensial Lebih Cepat ( arXiv: quant-ph / 0205083 ) Kempe memberikan gagasan mengenai waktu tempuh untuk berjalan kuantum (dalam hypercube) yang tidak terlalu populer dalam literatur jalan kuantum. Ini didefinisikan sebagai berikut: Waktu Tembakan...
Dalam makalah berjudul "On Deniability dalam Common Reference String dan Random Oracle Model," tulis Rafael Pass: Kami mencatat bahwa ketika membuktikan keamanan sesuai dengan definisi nol-pengetahuan standar dalam model RO [Random Oracle], simulator memiliki dua keunggulan dibandingkan...
Seperti judulnya, apa definisi yang benar dari -tree? Ada beberapa kertas yang berbicara tentang k -trees dan parsial k -trees sebagai definisi alternatif untuk grafik dengan treewidth dibatasi, dan saya telah melihat banyak definisi yang tampaknya tidak benar. Misalnya, setidaknya satu tempat...
Chong, Han dan Lam menunjukkan bahwa st-konektivitas tanpa arah dapat diselesaikan pada EREW PRAM dalam waktu dengan prosesor O ( m + n ) . Apa algoritma paralel paling dikenal untuk st-konektivitas diarahkan ? Silakan sebutkan waktu berjalan, algoritma deterministik / acak dan model PRAM yang...
Dua pohon pencarian biner dikatakan setara secara linear ketika mereka setuju dalam traversal berurutan mereka. Teorema berikut menjelaskan mengapa rotasi pohon sangat mendasar: Biarkan A dan B menjadi pohon pencarian biner. Kemudian A dan B setara secara linier jika dan hanya jika mereka...
Asumsikan bahwa Anda diberi satu set n poin di pesawat dan Anda ingin memeriksa apakah mereka membentuk cembung n poligon, yaitu, jika mereka semua berbaring di cembung lambung. Saya bertanya-tanya apakah ada yang tahu bagaimana melakukan ini dalam waktu (nlogn), yaitu, tanpa menghitung...
Misalkan kita memiliki seperangkat S grafik (grafik berhingga, tetapi sejumlah tak terbatas dari mereka) dan sekelompok P permutasi yang bekerja pada S. Instance: P permutasi di P. Pertanyaan: Apakah ada grafik g di S yang menerima p automorfisme? Apakah ini masalah NP-complete untuk...