Ilmu Komputer

Saya ingin bantuan Anda membuktikan bahasa itu L={⟨M⟩|L(M) ∈ N P ∖P}L={⟨M⟩|L(M.)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \} adalah iff decidable P = N PP=NP\mathrm{P}=\mathrm{NP}. Jika P = N PP=NP\mathrm{P}=\mathrm{NP}, Saya mengerti bahwa itu adalah bahasa mesin Turing kosong. BegituL.L.L adalah intiinti\text{co-RE} masalah - tapi bukan itu yang …

8 computability  undecidability  p-vs-np 

Menunjukkan bahwa L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} tidak teratur Hai teman-teman. Saya mengambil kelas CS dan hal ini benar-benar baru bagi saya jadi bersabarlah. Saya mencoba melihat apakah saya mendapatkan beberapa kontradiksi dengan menggunakan lemma pemompaan untuk bahasa reguler dan saya mengatasinya seperti ini: Seharusnya LLLteratur. Maka harus ada bilangan …

8 regular-languages  pumping-lemma 

Apakah ada buku atau tutorial yang mengajarkan kita cara efisien menerapkan algoritma umum (pengurutan, pencarian, dll.) Pada data besar (yaitu data yang tidak dapat sepenuhnya dimuat ke dalam memori utama) dan bagaimana cara efisien menerapkan algoritma tersebut dengan mempertimbangkan biaya memblokir transfer dari memori eksternal? Sebagai contoh, hampir semua buku …

8 algorithms  efficiency  memory-management  big-data 

Jika kita mengira bahwa kita mulai dengan turunan dari -SAT, dan mencoba mengonversi masalah menjadi turunan dari -SAT, di mana terdapat literal per klausa, dapatkah kami menjamin pengurangan dalam jumlah klausa total?kkk(k+m)(k+m)(k+m)(k+m)(k+m)(k+m) Saya menyadari setelah memposting bahwa kami tidak dapat menjamin bahwa jumlah klausa dapat dikurangi. Namun, saya bertanya-tanya apakah …

8 complexity-theory  logic  satisfiability 

Kepuasan umum (dengan beberapa pengecualian seperti Klausa Tanduk) tidak diyakini memiliki solusi algoritmik. Namun, algoritma berikut tampaknya menjadi solusi untuk kepuasan umum. Apa sebenarnya cacat dengan algoritma berikut? Membiarkan WWW menjadi set kosong yang akan berisi semua variabel yang harus benar atau salah. Membiarkan LLL menjadi seperangkat klausa. Loop melalui …

8 algorithms  logic  satisfiability  constraint-programming 

Saya mencari teks referensi tentang teori grafik terapan dan algoritma grafik. Apakah ada teks standar yang digunakan di sebagian besar program ilmu komputer? Jika tidak, teks apa yang paling dihormati di bidang ini? Saya memiliki Cormen et al.

8 algorithms  graph-theory  reference-request  education  books 

Saya tidak yakin melihatnya. Dari apa yang saya mengerti, tepi dan simpul saling melengkapi satu sama lain dan cukup mengejutkan bahwa perbedaan ini ada. Adakah cara yang baik / cepat / mudah untuk melihat bahwa sebenarnya menemukan jalur Hamilton harus jauh lebih sulit daripada menemukan jalur Euler?

8 complexity-theory  graph-theory  np-complete  intuition 

Apakah bahasanya L={a,b}∗∖{(anbn)n∣n≥1}L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} bebas konteks? Saya percaya bahwa jawabannya adalah itu bukan CFL, tapi saya tidak bisa membuktikannya dengan lemma Ogden atau Pumping lemma.

8 formal-languages  context-free  pumping-lemma 

Mark tinggal di negara kecil yang dihuni oleh orang-orang yang cenderung terlalu memikirkan banyak hal. Suatu hari, raja negara memutuskan untuk mendesain ulang mata uang negara untuk membuat perubahan memberikan lebih efisien. Raja ingin meminimalkan jumlah koin yang diperlukan untuk membayar jumlah yang tepat hingga (tetapi tidak termasuk) jumlah tagihan …

8 algorithms  optimization  combinatorics  integers 

Kami mengambil urutan bilangan bulat dari 111 untuk nnn, dan kami mendorong mereka ke tumpukan satu per satu secara berurutan. Di antara setiap dorongan, kita dapat memilih untuk mengeluarkan sejumlah item dari tumpukan (dari 0 hingga ukuran tumpukan saat ini). Setiap kali kami mengeluarkan nilai dari tumpukan, kami akan mencetaknya. …

8 algorithms  stacks 

Diberikan urutan bilangan alami, Anda dapat menambahkan bilangan alami ke bilangan apa pun dalam urutan sedemikian sehingga xornya menjadi nol. Tujuan saya adalah untuk meminimalkan jumlah angka yang ditambahkan. Perhatikan contoh-contoh berikut: Untuk 1,31,31, 3jawabannya adalah ; menambahkan ke kita mendapatkan .2222221113⊕3=03⊕3=03 \oplus 3=0 Untuk jawabannya adalah ; menambahkan ke …

8 algorithms  integers  xor 

Dalam Cormen et. al., Pengantar Algoritma (edisi ke-3), saya tidak mendapatkan garis dalam pembuktian Lemma 26.1 yang menyatakan bahwa aliran augmented adalah aliran dalam dan st(ini hlm. 717-718).f↑f′f↑f′f\uparrow f'GGG|f↑f′|=|f|+|f′||f↑f′|=|f|+|f′||f\uparrow f'| =|f|+|f'| Kebingungan saya: Ketika memperdebatkan aliran-konservasi, mereka menggunakan definisi pada baris pertama untuk mengatakan bahwa untuk setiapf↑f′f↑f′f\uparrow f'u∈V∖{s,t}u∈V∖{s,t}u\in V\setminus\{s,t\} ∑v∈V(f↑f′)(u,v)=∑v∈V(f(u,v)+f′(u,v)−f′(v,u)),∑v∈V(f↑f′)(u,v)=∑v∈V(f(u,v)+f′(u,v)−f′(v,u)), …

8 algorithms  network-flow 

Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah The Actor Model merupakan alternatif mesin Menghidupkan penuh sebagai model komputasi? …

8 terminology  computability  reference-request  programming-languages  computation-models 

Pertama-tama kita harus membaca sebuah kata, dan ukuran yang diinginkan. Maka kita perlu menemukan palindrom terpanjang yang dibuat oleh karakter dalam kata ini yang digunakan secara berurutan. Misalnya untuk ukuran = 7 dan kata = "abcababac" jawabannya adalah 7 ("abababa"). Catatan tambahan: ukuran kata lebih kecil dari 3000.

8 algorithms  strings  subsequences 

Setup saya adalah sesuatu seperti ini: Saya memiliki serangkaian set integer Ci(1≤i≤n)Ci(1≤i≤n)C_i (1\leq i\leq n), dengan |Ci||Ci||C_i| relatif kecil - pada urutan empat atau lima item untuk semua iii. Saya ingin memilih urutanxi(1≤i≤n)xi(1≤i≤n)x_i (1\leq i\leq n) dengan masing-masing xi∈Cixi∈Cix_i\in C_i sedemikian rupa sehingga total variasi (baik ℓ1ℓ1\ell_1 atau ℓ2ℓ2\ell_2yaitu ∑n−1i=1|xi−xi+1|∑i=1n−1|xi−xi+1|\sum_{i=1}^{n-1} …

8 algorithms  complexity-theory  optimization