Saya mengerti bahwa pohon segmen dapat digunakan untuk menemukan jumlah sub array . Dan ini dapat dilakukan dalam waktu O ( log n ) sesuai dengan tutorial di sini .SEBUAHAAO (logn )O(logn)\mathcal{O}(\log n) Namun saya tidak dapat membuktikan bahwa waktu query memang . Tautan ini (dan banyak...
Masalahnya adalah sebagai berikut: Kami memiliki array dua dimensi / kisi angka, masing-masing mewakili beberapa "manfaat" atau "keuntungan." Kami juga memiliki dua bilangan bulat tetap dan (untuk "lebar" dan "tinggi".) Dan bilangan bulat tetap .h nwwwhhhnnn Kami sekarang ingin melampui segi...
Misalkan menjadi fungsi yang cukup bagus (mis. Kontinu, dapat dibedakan, tidak terlalu banyak maxima lokal, mungkin cekung, dll.). Saya ingin mencari maksimum f : nilai x ∈ R d yang membuat f ( x ) sebesar mungkin.f:Rd→Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in...
Ketika mencoba untuk meningkatkan kinerja kelas deteksi tabrakan saya, saya menemukan bahwa ~ 80% dari waktu yang dihabiskan di GPU, dihabiskan untuk jika kondisi lain hanya mencoba mencari batas untuk ember yang harus dilingkari. Lebih tepatnya: setiap utas mendapat ID, dengan ID itu ia...
Bilangan asli didefinisikan secara induktif sebagai (menggunakan sintaks Coq sebagai contoh) Inductive nat: Set := | O: nat | S: nat -> nat. Apakah ada cara standar untuk mendefinisikan integer (dan mungkin set lain seperti rasional dan real) secara
Contoh umum masalah NP-hard (klik, 3-SAT, vertex cover, dll.) Adalah tipe di mana kita tidak tahu apakah jawabannya "ya" atau "tidak" sebelumnya. Misalkan kita memiliki masalah di mana kita tahu jawabannya adalah ya, lebih jauh lagi kita dapat memverifikasi saksi dalam waktu polinomial. Bisakah...
Sehubungan dengan utas Membuktikan bahwa konversi dari CNF ke DNF adalah NP-Hard (dan utas Matematika terkait ): Bagaimana dengan arah lain, dari DNF ke CNF? Apakah itu mudah atau sulit? Pada halaman 2 makalah ini , mereka tampaknya mengisyaratkan bahwa kedua arah sama-sama sulit ketika mereka...
Saya tahu bahwa masalah rumus Boolean yang dikuantifikasi untuk rumus mana ϕ tidak mengandung pembilang dan hanya variabel x 1 , ... , x n , y 1 , ... , y n adalah contoh dari masalah Π P 2 yang lengkap. Namun, saya bertanya-tanya apakah ada masalah alam yang diketahui sebagai Π...
Saya mencoba menemukan jawaban dari dua pertanyaan tentang mesin Universal Turing. Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah status yang lebih besar? Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika...
Apa arti "dalam posisi positif" dan "dalam posisi negatif" dalam konteks teori tipe? Satu-satunya hal yang saya mengerti dari posting blog Bob Harper pada topik adalah bahwa ada hubungan antara polaritas dalam pengertian ini dalam teori tipe dan polaritas dalam logika, tetapi saya tidak tahu apa...
Algoritma Brzozowski dapat diperluas ke Moore automata tetapi kompleksitas waktunya eksponensial secara umum. Apakah ada algoritma lain untuk meminimalkan Moore automata? Berapa kali menjalankan algoritma ini jika
Dalam parser LR (0), setiap negara terdiri dari koleksi item LR (0), yang merupakan produksi yang dianotasi dengan suatu posisi. Dalam parser LR (1), setiap negara terdiri dari kumpulan item LR (1), yang merupakan produksi yang dianotasi dengan posisi dan karakter lookahead. Diketahui bahwa diberi...
Ada cara untuk melakukan parsing fuzzy (menerima string bahkan dengan kesalahan pengetikan untuk jarak edit tertentu), dengan DFA dan run-time yang dibuat oleh Levenshtein Automata dari kata input. Bisakah hal serupa dilakukan dengan pengurai Earley? Saya merasa sulit untuk memahami algoritma,...
Setelah membaca pencapaian google deepmind di game Atari , saya mencoba memahami q-learning dan q-networks, tapi saya agak bingung. Kebingungan muncul dalam konsep faktor diskon. Ringkasan singkat tentang apa yang saya mengerti. Jaringan saraf convolutional yang mendalam digunakan untuk...
Saya membaca Tracy Kidder "The Soul of a New Machine" di mana tim di Data General merancang mesin baru (diberi kode "Eagle", yang kemudian dinamai MV / 8000). Ini adalah ekstensi 32-bit dari arsitektur sebelumnya (Eclipse 16-bit). Salah satu tema yang berputar tampaknya adalah, bahwa mereka tidak...
Saya membaca Sistem Operasi oleh Galvin dan menemukan garis di bawah ini, Namun, tidak semua negara bagian yang tidak aman menemui jalan buntu. Keadaan yang tidak aman dapat menyebabkan kebuntuan Bisakah seseorang tolong jelaskan bagaimana jalan buntu! = Kondisi tidak aman ? Saya juga...
Saya mencoba memahami bagaimana Alokasi Slab bekerja dan mengapa itu berbeda atau lebih baik daripada paging biasa. Saya menemukan diagram ini yang saya percaya akan sangat membantu jika memiliki penjelasan lebih lanjut. Beberapa pertanyaan: Apa yang diwakili oleh item 3KB dan 7KB? Haruskah...
Pertanyaan ini agak bertentangan dengan pertanyaan sebelumnya pada set yang dibentuk dari set operasi pada set NP-complete: Jika himpunan yang dihasilkan dari gabungan, persimpangan, atau produk Cartesian dari dua himpunan yang dapat ditentukan dan L 2 adalah NP-complete, apakah paling tidak salah...
Ini mungkin pemikiran yang konyol, tetapi misalkan kita memiliki komputer yang diprogram untuk melakukan urutan perhitungan yang tak terbatas dan anggaplah perhitungan membutuhkan detik untuk diselesaikan. Kemudian komputer ini dapat melakukan perhitungan dalam jumlah tak terbatas dalam waktu yang...
Saya telah mencoba untuk menyelesaikan latihan berikut tetapi saya macet ketika mencoba menemukan semua pasangan yang kritis . Saya punya pertanyaan berikut: Bagaimana saya tahu pasangan kritis mana yang menghasilkan aturan baru? Bagaimana saya tahu saya menemukan semua pasangan kritis?...