Saya membaca tentang Masalah Aliran Maksimum di sini . Saya tidak dapat memahami intuisi di balik Grafik Residual. Mengapa kita mempertimbangkan tepi belakang saat menghitung aliran? Adakah yang bisa membantu saya memahami konsep Grafik Sisa? Bagaimana perubahan Algoritma pada Grafik Tidak...
Sudah diketahui bahwa 2-SAT ada di P. Namun, tampaknya cukup menarik bahwa menghitung jumlah solusi untuk formula 2-SAT yang diberikan, yaitu, # 2-SAT adalah # P-hard. Yaitu, kami memiliki contoh masalah yang keputusannya mudah, tetapi berhitung itu sulit. Tetapi pertimbangkan masalah NP-complete...
Saat melakukan kata kode kedua (yang meminta Anda untuk menerapkan algoritma pencarian biner lima kali, setiap kali dengan metode yang berbeda), saya telah menghasilkan solusi yang sedikit berbeda yang berfungsi sebagai berikut: Jika saya memiliki array yang disortir dengan panjang 100 dan saya...
Saya baru saja membaca. Dapatkah algoritma ini dianggap sebagai algoritma Pencarian Biner? dan ingat bahwa beberapa tahun yang lalu saya menulis pengindeks / mencari file log untuk menemukan entri log dalam file teks biasa dengan jendela tanggal / waktu. Ketika melakukan ini, saya memutuskan untuk...
Saya akrab dengan semantik operasional (baik langkah kecil maupun besar) untuk mendefinisikan bahasa pemrograman. Saya tertarik untuk belajar semantik denotasional juga, tetapi saya tidak yakin apakah itu akan sepadan dengan usahanya. Apakah saya hanya akan mempelajari materi yang sama dari sudut...
Saya memiliki masalah algoritmik. Diberikan array (atau set) dari bilangan bulat tidak negatif. Temukan set maksimal dari sedemikian rupa sehingga untuk semua ,.TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Sebagai contoh: Jika TTT = [1, 3, 4, 1, 3, 6], maka SSS dapat menjadi [3, 3, 6] atau...
Dalam Pengantar algoritma Cormen et al. , Bagian 15.3 Elemen pemrograman dinamis menjelaskan memoisasi sebagai berikut: Algoritma rekursif memoized mempertahankan entri dalam tabel untuk solusi untuk setiap sub-masalah. Setiap entri tabel awalnya berisi nilai khusus untuk menunjukkan bahwa entri...
Apakah terbukti bahwa perhitungan kuantum tidak lebih baik dalam menyelesaikan masalah NP lengkap daripada perhitungan klasik atau hanya
Beberapa karya Conor McBride, Diff , Dissect , mengaitkan turunan tipe data dengan "tipe konteks satu lubang" mereka. Yaitu, jika Anda mengambil turunan dari tipe Anda dibiarkan dengan tipe data yang menunjukkan kepada Anda bagaimana tipe data terlihat dari dalam pada titik tertentu. Jadi,...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 2 tahun yang lalu . Umumnya...
Saya punya pertanyaan [agak lucu] di benak saya. Mengapa otomat hingga non-deterministik disebut non-deterministik sementara kami mendefinisikan transisi untuk input. Yah, meskipun ada beberapa transisi dan epsilon , mereka didefinisikan yang berarti bahwa mesin itu deterministik untuk transisi...
Saya telah membaca buku ini untuk kelas saya, Randomized Algorithms. Dalam buku khusus ini, ada seluruh bagian yang didedikasikan untuk menemukan median array menggunakan seleksi acak, yang mengarah ke algoritma yang lebih efisien. Sekarang, saya ingin tahu apakah ada aplikasi praktis dari...
Saya akrab dengan gagasan penghapusan rekursi ekor dasar , di mana fungsi yang mengembalikan hasil langsung dari panggilan untuk diri mereka sendiri dapat ditulis ulang sebagai loop berulang. foo(...): # ... return foo(...) Saya juga mengerti bahwa, sebagai kasus khusus, fungsinya masih dapat...
Apakah ada teknik untuk menyelesaikan persamaan fungsional untuk fungsi yang tidak diketahui dalam kalkulus lambda? Misalkan saya memiliki fungsi identitas yang didefinisikan secara ekstensi sebagai: Ix=xIx=xI x = x (yaitu, dengan menuliskan persamaan untuk perilaku yang diharapkan dari fungsi...
Katakanlah kita bekerja dengan sistem yang memiliki 40 bit alamat fisik. Total ruang alamat fisik (dengan asumsi byte-addressable memory) adalah byte, atau 1 TiB. Dan jika alamat virtual panjangnya 48 bit, itu berarti ada lebih banyak alamat yang tersedia untuk memori virtual daripada ada lokasi...
Jika saya memahaminya dengan benar, sebuah algoritma yang menghitung nilai fungsi nyata fff memiliki kompleksitas komputasi jika yang berikut ini berlaku: Ketika kita menghitung ke presisi memerlukan urutan langkah .O(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) Namun, bagaimana jika kita memiliki...
Saya telah membaca tentang bahasa pemrograman berbasis stack, seperti FORTH dan Cat , dan tampaknya mengingat sifatnya, mereka hanya dapat menjalankan satu tindakan pada satu waktu terlepas dari paradigma mereka (FORTH sangat penting sedangkan Cat berfungsi). Bahasa imperatif akan memodifikasi...
Bisakah saya membuktikan pernyataan berikut dengan menggunakan pembuktian teorema otomatis yang tersedia? .( a + b )2= a2+ b2+ 2 a b(Sebuah+b)2=Sebuah2+b2+2Sebuahb(a+b)^2=a^2+b^2+2ab Jika , maka 11 ∣ 7 a - 5 b .11 ∣ 2 a - 3 b11∣2Sebuah-3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣7Sebuah-5b 11 \mid 7a-5b...
Saya punya masalah: Tunjukkan bahwa ada bilangan real yang tidak ada program yang berjalan sangat lama dan menulis angka desimal angka itu. Saya kira itu bisa diselesaikan dengan menguranginya menjadi masalah Berhenti, tetapi saya tidak tahu bagaimana melakukannya. Saya juga akan menghargai...
Dalam Tes Bagian untuk Persiapan GATE ada pertanyaan: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Saya menjawab "Ini akan berakhir untuk semua bilangan bulat", karena bahkan untuk beberapa bilangan bulat negatif, itu akan berakhir sebagai Stack Overflow Error . Tetapi teman saya...