Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

2
Algoritma kanonisasi grafik sederhana
Saya mencari algoritme yang menyediakan string kanonik untuk grafik berwarna yang diberikan. Yaitu. sebuah algoritma yang mengembalikan string untuk grafik, sehingga dua grafik mendapatkan string yang sama jika dan hanya jika mereka isomorfik. Secara khusus, saya mencari algoritma sederhana yang mudah diimplementasikan dengan kinerja yang masuk akal pada sebagian besar …
1
Matematika tinggi untuk teori permainan
Saya seorang Ph.D. mahasiswa dalam ilmu komputer, dan saya mencoba untuk memahami beberapa makalah teori permainan klasik, seperti yang oleh Nash, Kalai dan Smorodinsky. Tetapi saya merasa sulit untuk memahami bagian matematika. Tampaknya makalah ini ditulis oleh ahli matematika, untuk ahli matematika. Bisakah Anda merekomendasikan buku yang menjelaskan pendahuluan matematika …
1
Verifikasi kebenaran penghapusan kuantifier, menggunakan SAT
Membiarkan x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) dan y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n) menjadi nnn-vektor variabel boolean. Saya memiliki predikat booleanQ(x,y)Q(x,y)Q(x,y) di x,yx,yx,y. Saya memberi teman saya PriscillaQ(x,y)Q(x,y)Q(x,y). Sebagai tanggapan, dia memberi sayaP(x)P(x)P(x), predikat boolean pada xxx, dan dia mengklaim itu P(x)≡∃y.Q(x,y),P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), atau dengan kata lain, itu ∀x.[P(x)⇔∃y.Q(x,y)].∀x.[P(x)⇔∃y.Q(x,y)].\forall x . [P(x) \Leftrightarrow \exists y …
1
Struktur data untuk menyimpan tepi grafik
Saat ini saya sedang mengerjakan tesis master saya, dan ini tentang pengelompokan pada grafik. Saya bekerja dengan ide menggunakan semut untuk menyelesaikan masalah. Saat ini saya sedang mengerjakan implementasinya dan saya bertanya-tanya seberapa baik merepresentasikan tepi grafik. Setiap sisi ditambah dengan informasi tertentu seperti nilai feromonnya dan berapa kali semut …
3
Bagaimana cara mengembangkan algoritma memecahkan masalah 2-jumlah?
Diberikan array bilangan bulat yang diurutkan, saya ingin menemukan jumlah pasangan yang berjumlah . Misalnya, mengingat , jumlah pasangan yang dijumlahkan menjadi nol adalah .000{ - 3 , - 2 , 0 , 2 , 3 , 4 }{−3,−2,0,2,3,4}\{-3,-2,0,2,3,4\}222 Misalkan adalah jumlah elemen dalam array input. Jika saya menggunakan pencarian …
2
MST: Kompleksitas algoritma Prim, mengapa tidak ?
Menurut CLRS, algoritma Prim diimplementasikan seperti di bawah ini - MST-PRIM (G,w,r)MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) untuk setiap lakukanu ∈ V[ G ]u∈V[G]u \in V[G] kunci [u]←∞key[u]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[ u ] ← NILπ[u]←NIL\pi[u] \leftarrow \mathtt{\text{NIL}} kunci [r]←0key[r]←0\mathtt{\text{key}}[r] \leftarrow 0 Q ← V[ G ]Q←V[G]Q \leftarrow V[G] sementara lakukan // ...Q ≠ ∅Q≠∅Q \ne …
1
Kertas dengan bukti itu
Slide kuliah ini membuat sketsa bukti ituL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} tidak dapat diterima oleh Deterministic Pushdown Automaton. Sayangnya, slide tidak memberikan referensi ke mana bukti itu berasal. Saya bertanya-tanya, apakah ada yang tahu makalah akademis atau buku …
3
Mempertahankan pemesanan yang efisien di mana Anda dapat memasukkan elemen "di antara" dua elemen lainnya dalam pemesanan?
Bayangkan saya memiliki pemesanan pada banyak elemen seperti: Di mana panahX←YX←YX \leftarrow Y berarti . Ini juga transitif: .X&lt;YX&lt;YX < Y(X&lt;Y)∧(Y&lt;Z)⟹(X&lt;Z)(X&lt;Y)∧(Y&lt;Z)⟹(X&lt;Z)\left(X < Y\right) \wedge \left(Y < Z\right) \implies \left(X < Z\right) Agar dapat menjawab pertanyaan dengan efisien seperti , diperlukan semacam pelabelan atau struktur data. Misalnya, Anda bisa nomor node …
1
Temukan simpul mana yang akan dihapus dari grafik untuk mendapatkan komponen terbesar terkecil
Diberikan grafik , cari simpul , yang penghapusan akan menghasilkan grafik dengan komponen terkecil terkecil. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Saya berasumsi untuk besardan besar masalahnya sulit (NP-keras), tapi saya tertarik pada nilai kecil ( ).n=|V|n=|V|n = |V|kkkkkkk∈{1,2,3,4}k∈{1,2,3,4}k \in \{1, 2, 3, 4\} Untuk , saya pikir mungkin untuk menemukan titik …
1
Apakah masalah semesta untuk automata satu-counter dengan ukuran alfabet terbatas tidak dapat diputuskan?
Pertimbangkan masalah alam semesta berikut ini . Masalah alam semesta. Diberikan himpunan terbatas untuk kelas bahasa, dan otomat yang menerima bahasa , putuskan apakah .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dalam [1], dinyatakan dan dibuktikan bahwa masalah alam semesta tidak dapat diputuskan untuk kelas khusus one-counter automata. Hasil ini kemudian mengikuti untuk kelas semua automata …
3
Algoritma untuk mengecilkan DFA dengan memperkenalkan nondeterminisme?
Ini agak terkait dengan pertanyaan lain yang saya ajukan , tetapi saya merasa itu cukup berbeda untuk menjamin pertanyaannya sendiri. Saya sedang melakukan penelitian di mana saya mencoba untuk menemukan struktur pelengkap kelas tertentu dari bahasa yang terbatas. Sangat mudah bagi saya untuk mendapatkan DFA minimal yang menerima bahasa-bahasa ini, …
2
Karakterisasi gaya Myhill-Nerode dari CFL?
Tentukan kesetaraan Nerode di atas bahasa sebagai iff untuk setiap .L⊆Σ∗L.⊆Σ∗L \subseteq \Sigma^{*}u∼Lvkamu∼L.vu \sim_L vuw∈L⇔vw∈Lkamuw∈L.⇔vw∈L.uw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} Nerode ekivalen memiliki banyak kelas ekivalensi tepat ketika dapat dikenali oleh otomat kondisi-terbatas. Ini adalah teorema Myhill-Nerode .∼L∼L.{\sim}_LLL.L Apakah ada karakterisasi serupa dari bahasa bebas konteks? Motivasi: …
1
NEXP = Σ
Apakah diketahui apakah implikasi berlaku?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (Pertanyaan ini diinspirasi oleh .N E X P ⊆ P / p o l y ⇔ N E X P = M ANEXP⊆P/halHaily⇔NEXP=M.SEBUAH\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.