Saya sedang menulis modelchecker mainan , dan saya pada titik di mana saatnya untuk mengimplementasikan terjemahan LTL ke Buchi automata. Untuk berbagai alasan yang jelas, saya ingin algoritme menjadi sederhana :) misalnya saya ingin kode tetap sangat jelas dan singkat selama mungkin. Saya telah...
tolong dapatkah Anda memberikan referensi, atau memberikan contoh-contoh khusus dari masalah PSPACE-lengkap yang dapat dipecahkan dalam waktu semu-polinomial? Catatan tambahan: Definisi waktu polinom pseudo: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Sebagai balasan atas beberapa...
Pertanyaannya adalah apakah mungkin untuk memodelkan dalam logika linear dua mode akses ke sumber daya. Saya tahu bahwa dua mode sumber daya dimungkinkan, yaitu: r ⊢!r⊢!r⊢!r \vdash r tersedia tanpa batas r hanya sekali tersedia r⊢r⊢r \vdash \quad Tetapi bagaimana jika saya tidak ingin memutuskan...
Kami diberi tumpukan yang menampung "item" dengan warna berbeda dan sebuah mesin yang dapat memproses banyak item dengan warna yang sama sekaligus. Pada setiap langkah, kita dapat menghapus satu item dari bagian atas setiap tumpukan dan memasukkannya ke dalam mesin kami (sehingga secara efektif...
Seperti yang kita ketahui, Graph Isomorphism ada dalam NP tetapi tidak diketahui sebagai NP-Complete atau P-Complete. Saya bertanya-tanya apakah ada masalah yang diketahui berada di PSPACE tetapi tidak dikenal sebagai PSPACE-Lengkap dan tidak terletak pada
Sebuah -net untuk ruang rentang adalah bagian dari sehingga tidak kosong untuk semua sehingga.( X , R ) N X N ∩ R R ∈ R | X ∩ R | ≥ ε | X |εε\varepsilon(X,R)(X,R)(X,\mathcal{R})NNNXXXN∩RN∩RN\cap RR∈RR∈RR\in \mathcal{R}|X∩R|≥ε|X||X∩R|≥ε|X||X\cap R| \ge \varepsilon |X| Diberi jarak ruang dari...
Ide dasar induksi mundur adalah memulai dengan semua posisi akhir yang mungkin dari sebuah permainan di mana pemain X menang. Jadi untuk catur, lihat semua cara Putih dapat skakmat Hitam. Sekarang bekerjalah mundur ke semua kemungkinan pergerakan / posisi yang memungkinkan Putih pindah ke salah...
Pada langkah reduksi derajat dari bukti Dinur, grafik input ditransformasikan menjadi grafik G ′ dengan mengganti setiap simpul v ∈ V ( G ) dengan seperangkat simpul, c l o u d ( v ) , sedemikian rupa sehingga | c l o u d ( v ) | = d e g r e e G ( v ) , dan memaksakan derajat d grafik expander pada...
Saya berencana menjalankan "percobaan" ketika mengajar kelas algoritme saya musim gugur ini, dengan satu komputer yang sangat tua dan terbatas (faktor pembatas utama mungkin memori — mungkin serendah 16KB) dan satu modern / standar. Idenya adalah untuk memecahkan masalah dengan polinomial, berjalan...
Saya memiliki DAG dependensi yang berisi banyak tepi yang berlebihan (lihat contoh di bawah). Saya ingin algoritma "cepat" (mis. Dapat menangani grafik dengan beberapa ribu node / tepi) yang menemukan sub grafik minimal. Sebagai contoh: A -> B -> C A -> C dalam kata-kata A adalah...
Saya sedang mempertimbangkan masalah mengenali bahasa (lebih dari alfabet 0-9 dan spasi) yang mengandung string seperti "1 2 3 4 5 6" dan "14 15 16 17" tetapi tidak "1 3". Ini muncul saat mengerjakan tugas parsing umum di mana elemen harus ada dalam daftar yang diurutkan. Saya tersadar bahwa...
Saya pindah entah bagaimana dari biofisika ke tim campuran tempat kami biasanya menerbitkan dalam jurnal / konferensi TCS. Untuk mendapatkan dana, di negara Eropa tempat saya tinggal, disarankan untuk menunjukkan di CV Anda bahwa saya telah menulis makalah atau konferensi di bidang ini. Saya...
[Sunting 21 Juli 2011: Saya mengedit pertanyaan untuk meminta lebih banyak contoh] Pertanyaan ini meminta diskusi terdokumentasi atau lebih banyak contoh pengamatan heuristik. Beberapa masalah matematika yang mengakui algoritma yang efisien tampaknya cembung di alam. Saya sedang memikirkan...
Apakah ada perangkap-pintu-seperti fungsi yang kompleksitas encoding adalah waktu polinomial nk1nk1n^{k_{1}} dan pembalik kompleksitas (tanpa kunci rahasia) juga merupakan fungsi polinom panjang masukan nk2nk2n^{k_{2}} dengan k1< < K2k1<<k2k_{1}
Pertimbangkan bahasa regex dengan quantifier greedy , quantifier nongreedy, pergantian kelas, dan kelas karakter. (Ini pada dasarnya adalah sebuah subbahasa dari PCRE tanpa referensi balik, pernyataan sekilas, atau beberapa bit lain yang lebih menarik.)∗∗*∗ ?∗?{*}? Sebuah pertandingan untuk untuk...
Struktur data apa yang akan Anda rekomendasikan yang mewakili koleksi subset dan mendukung operasi berikut?{1,…,n}{1,…,n}\{1, \dots, n\} : menyisipkan S dalam koleksi.insert(S)insert(S)insert(S)SSS : mengembalikan true jika ada S ′ dalam koleksi sehingga S ′ ⊂ S , false jika...
Konteks: Seperti yang saya pahami, dalam teori kompleksitas geometris, keberadaan penghalang berfungsi sebagai sertifikat bukti, sehingga dapat dikatakan, untuk tidak adanya sirkuit komputasi yang efisien untuk fungsi keras eksplisit dalam masalah batas bawah yang sedang dipertimbangkan. Sekarang...
Meskipun L.Berman membuktikan bahwa masalah memverifikasi atau memalsukan pernyataan urutan pertama tentang bilangan real yang menggunakan penambahan dan perbandingan tetapi tidak multiplikasi ada di EXPSPACE. Apakah sudah diperlihatkan berapa banyak waktu atau ruang yang akan Anda perlukan untuk...
Diberikan grafik , masalah pencocokan maksimum klasik adalah memilih subset maksimum tepi st, untuk setiap tepi , .M ( u , v ) ∈ M d ( u ) = d ( v ) = 1G ( V, E)G(V,E)G(V,E)M.MM( u , v ) ∈ M(u,v)∈M(u,v) \in Md( u ) = d( v ) = 1d(u)=d(v)=1d(u)=d(v)=1 Adakah yang mempelajari varian berikut? Untuk...
Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu. Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti