Ilmu Komputer

Fungsi heuristik h(n)h(n)h (n) adalah ... Konsisten jika perkiraan biaya dari node nnn ke tujuannya adalah tidak lebih besar dari langkah biaya penggantinya n′n′n' ditambah perkiraan biaya dari penerus tujuan. Diperbolehkan jika h(n)h(n)h(n) tidak pernah melebih-lebihkan biaya sebenarnya untuk status tujuan. Buku teks untuk kursus Kecerdasan Buatan saya menyatakan bahwa …

13 algorithms  shortest-path  heuristics 

Tampaknya "Ekspresi Reguler Dasar" seperti yang didefinisikan oleh POSIX.1-2008 tidak mendukung pergantian, a|b(meskipun beberapa implementasi grep mengenali versi yang lolos, \|). Karena bahasa reguler ditutup di bawah penyatuan menurut definisi, apakah ini berarti bahwa POSIX BRE memiliki daya ekspresif yang kurang dari otomat terbatas? Atau ada beberapa cara untuk mensimulasikan …

13 formal-languages  regular-expressions 

Apakah ada perubahan yang dapat dilakukan pada CPU untuk membuatnya berkinerja lebih baik untuk runtime bersamaan seperti Rust? Misalnya, apakah ada perubahan pada implementasi prediksi cabang atau ukuran cache yang akan membantu runtime bersamaan? Saya memiliki kesan bahwa desain CPU saat ini mungkin lebih dioptimalkan untuk runtime prosedural seperti C. …

13 computer-architecture  concurrency  functional-programming 

Saya pikir saya mengerti ketergantungan mengetik (DT) dengan benar, tetapi jawaban untuk pertanyaan ini: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% Teori B6f-to-create-intuitionistic-type membuat saya berpikir sebaliknya. Setelah membaca tentang DT dan mencoba untuk memahami apa itu DT, saya mencoba untuk bertanya-tanya, apa yang kita dapat dari gagasan DT ini? Mereka tampaknya lebih fleksibel dan kuat …

13 logic  type-theory  intuition 

Masalah SAT yang terkenal didefinisikan di sini untuk referensi. Masalah DOUBLE-SAT didefinisikan sebagai DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Bagaimana kita membuktikannya sebagai NP-complete? Lebih dari satu cara untuk membuktikan akan …

13 complexity-theory  np-complete  satisfiability 

Pemrograman dinamis dapat mengurangi waktu yang dibutuhkan untuk melakukan algoritma rekursif. Saya tahu bahwa pemrograman dinamis dapat membantu mengurangi kompleksitas waktu dari algoritma. Apakah kondisi umum sedemikian rupa sehingga jika puas dengan algoritma rekursif akan menyiratkan bahwa menggunakan pemrograman dinamis akan mengurangi kompleksitas waktu dari algoritma? Kapan saya harus menggunakan …

13 algorithms  dynamic-programming  efficiency  algorithm-design 

Saya seorang pemula (total pemula untuk teori kompleksitas komputasi) dan saya punya pertanyaan. Katakanlah kita memiliki 'Traveling Salesman Problem', akankah aplikasi Algoritma Dijkstra berikut ini menyelesaikannya? Dari titik awal kami menghitung jarak terpendek antara dua titik. Kami langsung ke intinya. Kami menghapus titik sumber. Kemudian kita menghitung titik jarak terpendek …

13 algorithms  graphs 

Ketika melaporkan kompleksitas algoritmik suatu algoritma, seseorang mengasumsikan perhitungan yang mendasarinya dilakukan pada beberapa mesin abstrak (misalnya RAM) yang mendekati CPU modern. Model semacam itu memungkinkan kami melaporkan kompleksitas algoritma waktu dan ruang. Sekarang, dengan penyebaran GPGPU , orang bertanya-tanya apakah ada model terkenal di mana orang dapat memperhitungkan konsumsi …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Computer Science Stack Exchange. Ditutup 2 tahun yang lalu . Jenis AFAIU dapat berupa Setelemen yang merupakan program atau propositionelemen yang merupakan Bukti. Jadi berdasarkan pemahaman ini: Inductive …

13 dependent-types  coq 

Jika saya memiliki dua matriks dan B , masing-masing berdimensi 1000 × 2 dan 2 × 1000 , dan ingin menghitung ( A B ) 5000 , lebih efisien untuk terlebih dahulu menulis ulang ekspresi sebagai A ( B A ) 4999 B dan baru kemudian mengevaluasi secara numerik, karena …

13 optimization  dynamic-programming  linear-algebra 

Saya membaca makalah, dan dikatakan dalam deskripsi kompleksitas waktunya bahwa kompleksitas waktu adalah .O~(22n)O~(22n)\tilde{O}(2^{2n}) Saya telah mencari di internet dan wikipedia, tetapi saya tidak dapat menemukan apa yang dilambangkan tilde ini dalam notasi O-Landau besar. Di koran itu sendiri saya juga tidak menemukan petunjuk tentang ini. Apa artinya?O~(⋅)O~(⋅)\tilde{O}(\cdot)

13 landau-notation 

Dari apa yang saya baca di preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Ini adalah Definisi PTAS : Skema aproksimasi waktu polinomial ( PTAS ) untuk masalah adalah skema …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Saya pikir pertanyaan ini lebih baik disajikan di bagian CS Stack Exchange. Sekarang kita memiliki GPGPU dengan bahasa seperti CUDA dan OpenCL, apakah ekstensi SIMD multimedia (SSE / AVX / NEON) masih melayani tujuan? Saya membaca sebuah artikel baru-baru ini tentang bagaimana instruksi SSE dapat digunakan untuk mempercepat penyortiran jaringan. …

13 computer-architecture  parallel-computing 

Komputer kami saat ini menggunakan bit, sehingga mereka menggunakan sistem angka biner. Tetapi saya mendengar bahwa komputer kuantum masa depan akan menggunakan qubit bukan bit sederhana. Karena dalam kata "qubit" ada kata "bi" Saya pertama kali berpikir bahwa ini berarti bahwa komputer kuantum akan menggunakan biner (basis 2). Tetapi kemudian …

13 computer-architecture  quantum-computing  numeral-representations 

Masalah Tidak ada cara mudah untuk mendapatkan permutasi dengan regex. Permutasi: Mendapatkan kata ("aabc") ke urutan lain, tanpa mengubah jumlah atau jenis huruf.w=x1…xnw=x1…xnw=x_1…x_n Regex: Ekspresi reguler. Untuk verifikasi: "Regex permutasi tanpa pengulangan" Jawabannya menciptakan kode JavaScript, bukan regex, dengan asumsi ini akan lebih sederhana. "Bagaimana menemukan semua permutasi dari kata …

13 formal-languages  regular-languages  regular-expressions