Dari apa yang saya mengerti (yang sangat sedikit, jadi tolong perbaiki saya di mana saya salah!), Teori bahasa pemrograman sering berkaitan dengan bukti "intuitionistic". Dalam interpretasi saya sendiri, pendekatan itu menuntut kita untuk menganggap serius konsekuensi perhitungan logika dan...
Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa...
Pertimbangkan tugas komputasi berikut: Kami ingin mengambil sampel rumus 3-SAT dari variabel (varian: variabel klausa) berkenaan dengan distribusi probabilitas seragam, dikondisikan pada rumus yang memuaskan:n mnnnnnnmmm T1: Dapatkah ini dicapai secara efisien oleh komputer klasik (dengan bit...
Apa alasan kuat untuk meyakini ? L adalah kelas algoritma ruang log dengan pointer ke input.L ≠ PL≠PL\neq P Misalkan L = P untuk saat ini. Seperti apa algoritma ruang-log untuk masalah P-complete dalam garis
Pertimbangkan masalah pengoptimalan dari formulir berikut. Misalkan f(x)f(x)f(x) menjadi fungsi yang dapat dihitung polinomial-waktu yang memetakan string menjadi bilangan rasional. Masalah optimasinya adalah ini: berapakah nilai maksimum atas bit string ?f ( x ) nxxxf(x)f(x)f(x)nnnxxx Mari kita...
Saya tahu bahwa secara sepintas fungsi OR pada variabel dapat direpresentasikan dengan tepat oleh polinomial seperti: , yang bertingkat .x 1 , ... , x n p ( x 1 , ... , x n ) p ( x 1 , ... , x n ) = 1 - ∏ n i = 1 ( 1 - x i ) nnnnx1, ... , xnx1,…,xnx_1,\ldots, x_np ( x1, ... ,...
Untuk alfabet yang terbatas tetap ΣΣ\Sigma , bahasa formal LLL lebih ΣΣ\Sigma adalah biasa jika ada sebuah robot yang terbatas deterministik (DFA) lebih ΣΣ\Sigma yang menerima persis LLL . Saya tertarik pada bahasa yang "hampir" teratur dalam arti bahwa mereka dapat dikenali oleh automata keluarga...
Sebuah penting 2003 kertas oleh Childs et al.memperkenalkan "pohon siam masalah": masalah mengakui percepatan kuantum eksponensial yang tidak seperti masalah lain yang kita tahu. Dalam masalah ini, kami diberi grafik besar secara eksponensial seperti yang digambarkan di bawah ini, yang terdiri dari...
Saat ini saya mencoba untuk menemukan masalah EXPSPACE-lengkap (terutama untuk menemukan inspirasi untuk pengurangan), dan saya terkejut dengan sejumlah kecil hasil yang muncul. Sejauh ini, saya menemukan ini, dan saya kesulitan memperluas daftar: universalitas (atau sifat-sifat lainnya) dari...
Polinom adalah proyeksi monoton dari polinom g ( y 1 , ... , y m ) jika m = poli ( n ) , dan ada penugasan π : { y 1 , ... , y m } → { x 1 , ... , x n , 0 , 1f( x1, ... , xn)f(x1,…,xn)f(x_1,\ldots,x_n)g( y1, ... , ym)g(y1,…,ym)g(y_1,\ldots,y_m)mmm( n )(n)(n) sedemikian rupa sehingga f ( x 1 , ......
Diberikan dua string x dan y, saya ingin membangun DFA ukuran minimum yang menerima x dan menolak y. Salah satu cara untuk melakukan ini adalah pencarian brute force. Anda menghitung mulai DFA dengan yang terkecil. Anda mencoba setiap DFA sampai Anda menemukan satu yang menerima x dan menolak...
Misalkan menjadi dua bahasa reguler yang diberikan oleh NFA sebagai input.M 1 , M 2L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Asumsikan kami ingin memeriksa apakah . Ini jelas dapat dilakukan oleh algoritma kuadratik yang menghitung otomat produk , tetapi saya bertanya-tanya apakah ada yang lebih efisien...
Saya telah membaca banyak artikel yang menentukan konstanta Cheeger dari sebuah grafik adalah N PNP\mathsf{NP} -hard. Tampaknya itu adalah teorema rakyat, tetapi saya belum pernah menemukan kutipan atau bukti untuk pernyataan ini. Siapa yang harus saya beri penghargaan untuk itu? Dalam sebuah...
Termotivasi oleh komentar Fortnow pada posting saya, Bukti bahwa masalah Graph Isomorphism bukan -completeNPNPNP , dan oleh fakta bahwa adalah kandidat utama untuk -intermediate problem (bukan -complete atau ), saya tertarik pada bukti yang diketahui bahwa tidak dalam
Saat ini bitcoin memiliki sistem proof of work (PoW) menggunakan SHA256. Fungsi hash lainnya menggunakan bukti sistem kerja menggunakan grafik, inversi fungsi hash parsial. Apakah mungkin untuk menggunakan masalah Keputusan dalam Knot Theory seperti pengakuan Knot dan menjadikannya sebagai bukti...
Untuk konstanta , seseorang dapat menentukan dalam waktu linier, diberikan grafik input , apakah treewidth -nya adalah . Namun, ketika dan diberikan sebagai input, masalahnya adalah NP-hard. ( Sumber ). Gk ∈ Nk∈Nk \in \mathbb{N}GGGk G≤ k≤k\leq kkkkGGG Namun, ketika grafik input adalah planar ,...
Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu...
Akses ke oracle akan memberikan percepatan super-polinomial besar untuk semua yang ada di (dengan asumsi set tidak kosong). Hal ini kurang jelas, bagaimanapun, berapa banyak akan manfaat dari akses oracle ini. Tentu saja, percepatan dalam tidak bisa super polinomial, tetapi masih bisa polinomial....
Telah diketahui secara umum bahwa banyak parameter grafik penting menunjukkan konsentrasi (kuat) pada grafik acak, setidaknya dalam beberapa kisaran probabilitas tepi. Beberapa contoh khas adalah jumlah kromatik, maksimum clique, set independen maksimum, maksimum pencocokan, jumlah dominasi, jumlah...
Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 3 tahun yang lalu . Dalam makalah Science 2016 " Realisasi algoritma Shal scalable " [ 1 ], penulis faktor 15 dengan hanya 5