Teorema Master adalah alat yang indah untuk memecahkan beberapa jenis perulangan . Namun, kami sering mengabaikan bagian integral ketika menerapkannya. Misalnya, selama analisis Mergesort kami dengan senang hati pergi dari T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) =...
Apakah ada metode umum untuk menyelesaikan pengulangan formulir: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) untuk , atau lebih umumc<1c<1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) di mana adalah beberapa...
Dengan bahasa teratur LLL, maka mudah untuk membuktikan bahwa ada konstanta sedemikian rupa sehingga , dengan terdapat string , dan sedemikian rupa sehingga dan , dan untuk semua itu adalahσ ∈ L | σ | ≥ N a ß gamma | α β | ≤ N | β | ≠ ϵ k α β k γ ∈ LNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma...
Teori Keberadaan Real ada di PSPACE , tapi saya tidak tahu apakah itu PSPACE-Complete . Jika saya percaya bukan itu masalahnya, bagaimana saya bisa membuktikannya? Lebih umum, diberikan masalah dalam beberapa kompleksitas kelas X , bagaimana saya bisa menunjukkan bahwa itu bukan X-Lengkap ?...
Apakah ada teknik umum untuk membuktikan masalah BUKAN NP-Lengkap? Saya mendapat pertanyaan ini pada ujian yang meminta saya untuk menunjukkan apakah beberapa masalah (lihat di bawah) adalah NP-Complete. Saya tidak bisa memikirkan solusi yang nyata, dan hanya membuktikannya dalam P. Jelas ini...
Saya mencoba untuk membuktikan bahwa pohon biner dengan node memiliki paling banyak ⌈ nnnndaun. Bagaimana cara saya melakukan ini dengan induksi?⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Untuk orang-orang yang mengikuti pertanyaan awal tentang tumpukan, sudah dipindahkan ke sini...
Asumsikan kita memiliki bahasa sederhana yang terdiri dari istilah: truetrue\mathtt{true} falsefalse\mathtt{false} jika adalah suku maka demikian juga saya ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Sekarang...
Lemma pemompaan untuk bahasa biasa dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak teratur, dan lemma pemompaan untuk bahasa bebas konteks (bersama dengan lemma Ogden) dapat digunakan untuk membuktikan bahwa bahasa tertentu tidak bebas konteks. Apakah ada lemma yang memompa untuk...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Diberikan persamaan rekursif berikut kita ingin menerapkan teorema Master dan perhatikan ituT(n)=2T(n2)+nlognT(n)=2T(n2)+nlogn T(n) = 2T\left(\frac{n}{2}\right)+n\log n nlog2(2)=n.nlog2(2)=n. n^{\log_2(2)} = n. Sekarang kita periksa dua case pertama untuk , yaitu apakahε>0ε>0\varepsilon...
Salah satu definisi himpunan enumerable komputabel (ce, setara dengan enumerable rekursif, setara dengan semidecidable) adalah sebagai berikut: V ⊆ Σ ∗ x ∈ Σ ∗A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* adalah ce iff ada bahasa yang dapat (disebut verifier) st untuk semua ,V⊆Σ∗V⊆Σ∗V\subseteq...
Dalam diskusi seputar pertanyaan ini , Gilles menyebutkan dengan benar bahwa bukti kebenaran suatu algoritma yang menggunakan array harus membuktikan bahwa tidak ada akses array di luar batas; tergantung pada model runtime, ini akan menyebabkan kesalahan runtime atau akses ke elemen...
Saya belajar cara mengonversi NFA ke DFA dan saya ingin memastikan saya melakukannya dengan benar. Jelas, kembali ke arah lain bukanlah sesuatu. Adakah yang tahu algoritma untuk memeriksa apakah DFA setara dengan
Saya ingin memberikan bukti untuk bagian dari program Haskell yang saya tulis sebagai bagian dari tesis saya. Namun sejauh ini, saya gagal menemukan referensi yang bagus. Buku pengantar Graham Hutton, Programming in Haskell ( Google Books ) —yang saya baca sambil mempelajari Haskell — menyentuh...
Diberikan program yang terdiri dari variabel dan instruksi yang memodifikasi variabel-variabel ini, dan primitif sinkronisasi (monitor, mutex, kunci java disinkronkan atau kunci C #), apakah mungkin untuk membuktikan bahwa program seperti itu aman untuk digunakan? Apakah ada model formal untuk...
Jadi saya sudah menggaruk-garuk kepala karena masalah ini selama beberapa hari sekarang. Diberi beberapa bahasaAAAdan yang teratur, menunjukkan bahwa bahasa yang terdiri dari semua string dalam yang panjangnya sama dengan beberapa string dalam adalah bahasa biasa.BBBLLLAAABBB Dalam bentuk...
Katakanlah saya menemukan algoritma 2-aproksimasi untuk masalah tertentu dan saya ingin menunjukkan bahwa analisisnya ketat. Apakah saya sekarang perlu untuk datang dengan sebuah contoh ukuran generik atau tidak cukup untuk menunjukkan bahwa saya memiliki contoh ukuran yang algoritma menghasilkan...
Saya diminta untuk menemukan argumen musuh yang diperlukan untuk menemukan batas bawah untuk seleksi dan jenis penyisipan. Saya tidak dapat menemukan referensi di mana pun. Saya ragu tentang ini. Saya mengerti bahwa argumen musuh biasanya digunakan untuk menemukan batas bawah untuk "masalah"...
Di kelas profesor kami menunjukkan kepada kami 3 metode untuk membuktikan ketidakteraturan: Teorema Myhill – Nerode Memompa Lemma untuk bahasa reguler Bukti ketidakteraturan, berdasarkan kompleksitas Kolmogorov Sekarang dua yang pertama, teorema Myhill-Nerode dan Pumping lemma, saya mengerti...
Saya melihat ini pembacaan MIT pada kompleksitas komputasi dan sebentar 15:00 embarks Erik Demaine pada demonstrasi untuk menunjukkan apa yang dinyatakan dalam judul pertanyaan ini. Namun saya tidak dapat mengikuti alasannya, dalam praktiknya apa yang dia katakan adalah ini: kita dapat menyatakan...