Bahasa bebas konteks deterministik (DCFL) dan bahasa pushdown tampak (VPL) keduanya set bahasa formal antara bahasa bebas konteks (CFL) dan bahasa biasa (REG). Apakah ada notasi yang dapat dibaca yang dapat diekspresikan dalam ASCII sederhana seperti Backus-Naur-Form untuk CFL dan ekspresi reguler...
Sangat mudah untuk melihat bahwa untuk setiap ada pemetaan 1-1 dari {0,1} ke {0,1} sedemikian rupa sehingga untuk setiap vektor adalah "seimbang", yaitu memiliki jumlah 1s dan 0s yang sama. Apakah mungkin untuk mendefinisikan sehingga diberikannnnFFFnn^nn+O(logn)n+O(logn)^{n+O(\log...
Hai Semua, Saya saat ini mencoba untuk menemukan topik tesis master yang solid yang berkaitan dengan beberapa cabang teori automata atau terkait dengan bahasa formal. Saya mencoba untuk menghasilkan beberapa ide bagus untuk topik yang dapat diterima, sesuatu yang ambisius tetapi sesuatu yang bisa...
Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)f(n)f(n) Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f
Sebuah sistem bintang adalah keluarga n himpunan bagian dari n-elemen set . Sebuah sistem bintang adalah grafis jika ada beberapa graph sehingga adalah keluarga dari lingkungan vertex di . Ini lengkap untuk memutuskan apakah sistem bintang yang diberikan adalah grafis.FFFSSSG ( V,...
Contoh varian -lengkap dari set yang tidak dapat ditentukan:NPNPNP Masalah Berhenti Terikat = { | Mesin NTM M berhenti dan menerima x dalam langkah t }(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ubin Terikat = { | ada ubin dari persegi luas t 2 oleh ubin dari T }(T,1t)(T,1t)(T,
Banyak di sini mungkin menyadari batas bawah super-linear baru-baru ini Alon untuk ϵϵ\epsilon jaring dalam pengaturan geometris alami [PDF] . Saya ingin tahu apa, jika ada, seperti batas bawah yang menyiratkan tentang perkiraan masalah Set Cover / Hitting Set yang terkait. Untuk sedikit lebih...
Stratego adalah bahasa transformasi pemrograman / Menulis Ulang DSL. Anthony Sloane telah melakukan beberapa pekerjaan melakukan implementasi yang berjalan di Scala . Apa batas teoritis Stratego sebagai bahasa fungsional? (terlepas dari implementasi). Bisakah seseorang menulis ycombinator pesanan...
Saya tertarik pada contoh individual "sulit" masalah NP-lengkap. Ryan Williams membahas masalah SAT0 di blog Richard Lipton . SAT0 bertanya apakah instance SAT memiliki solusi spesifik yang terdiri dari semua 0. Ini membuat saya berpikir tentang membangun instance SAT yang cenderung...
Apakah kita memiliki kelas kompleksitas sehubungan dengan, katakanlah, kompleksitas kasus rata-rata? Sebagai contoh, apakah ada kelas kompleksitas (bernama) untuk masalah yang membutuhkan waktu polinomial yang diharapkan untuk memutuskan? Pertanyaan lain mempertimbangkan kompleksitas kasus terbaik...
Asumsikan P≠NPP≠NPP \neq NP Mari gunakan notasi berikut iaia{}^ia for tetration (mis.ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} ). | x | adalah ukuran instance x. Biarkan L menjadi bahasa,...
Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh...
Apakah ada yang diketahui kelas kompleksitas yang mengandung mitra online masalah optimasi? Jika tidak, lalu bagaimana kelas tersebut dapat didefinisikan? Kita tahu bahwa banyak masalah memiliki versi online mereka: misalnya versi online dari masalah pengemasan bin. Masalah online lebih sulit...
Saya ingin tahu apakah ada bahasa yang jarang (bahkan dibangun oleh diagolanisasi tertunda) di NPI dengan asumsi bahwa .P≠ NPP≠NPP \neq
Saya mencari fungsi hash atas set H (.) Dan relasi R (.,.) Sehingga jika A dimasukkan dalam B maka R (H (A), H (B)). Tentu saja, R (.,.) Harus mudah diverifikasi (waktu konstan), dan H (A) harus dihitung dalam waktu linier. Salah satu contoh H dan R
Saya ingin mengetahui keadaan transisi fase saat ini untuk k-sat acak, mengingat n variabel dan klausa m, apa yang paling dikenal c = m / n untuk batas atas dan
Makalah apa tentang penanganan kesalahan dalam sistem terdistribusi yang Anda
Saya mencari di forum untuk melihat apakah ini telah ditanyakan sebelumnya, dan sementara teori permainan algoritmik dibahas, saya tidak dapat menemukan masalah ini ditangani. Saya mencoba mencari tahu apa algoritma yang paling dikenal adalah untuk menghitung perkiraan (strategi campuran) Nash...
a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definisi, dll. Untuk survei hebat dekomposisi dan treewidth pohon standar, lihat di sini (Terima kasih sebelumnya, JeffE!). Biarkan HHH menjadi hypergraph. Kemudian untuk H hypergraph HHHdan pemetaan γ:E(H)→[0,∞)γ:E(H)→[0,∞)\gamma : E(H) \rightarrow...
Katakanlah saya memiliki grafik berbobot sedemikian rupa sehingga adalah fungsi pembobotan - perhatikan bahwa bobot negatif diperbolehkan.w : E → [ - 1 , 1 ]G = ( V, E, w )G=(V,E,w)G = (V,E,w)w : E→ [ - 1 , 1 ]w:E→[-1,1]w:E\rightarrow [-1,1] Mengatakan bahwa mendefinisikan properti dari setiap...