Ilmu Komputer

Bagaimana Anda memeriksa jika dua algoritma (katakanlah, Urutkan gabungan dan Urutkan naif) mengembalikan hasil yang sama untuk input apa pun, ketika set semua input tidak terbatas? Pembaruan: Terima kasih, Ben, karena telah menjelaskan bagaimana ini tidak mungkin dilakukan secara algoritmik dalam kasus umum. Jawaban Dave adalah ringkasan yang bagus dari …

17 computability  formal-methods  software-engineering  software-verification 

Operasi apa yang perlu dilakukan untuk melakukan perhitungan analog sewenang-wenang ? Apakah penambahan, pengurangan, penggandaan, dan pembagian cukup? Juga, apakah ada yang tahu persis masalah apa yang dapat ditelusuri menggunakan perhitungan analog, tetapi tidak dengan digital?

17 computability  computation-models  turing-completeness 

Menurut Wikipedia , untuk bahasa reguler ada konstanta dan polinomial sedemikian rupa sehingga untuk setiap angka kata-kata panjang n dalam L memenuhi persamaanLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Bahasa L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} adalah reguler ( (00)∗(00)∗(00)^* cocok dengan itu). sL(n)=1sL(n)=1s_L(n) = 1 iff n genap, dan sL(n)=0sL(n)=0s_L(n) …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Aku pernah mendengar motto interaksi lebih kuat daripada algoritma dari Peter Wegner . Dasar dari ide ini adalah bahwa (klasik) Turing Machine tidak dapat menangani interaksi, yaitu, komunikasi (input / output) dengan dunia luar / lingkungan. Bagaimana ini bisa begitu? Bagaimana bisa sesuatu yang lebih kuat daripada Turing Machine? Apa …

17 computability  computation-models 

Aku ingin tahu apakah masalah berikut adalah decidable dan bagaimana untuk mencari tahu. Setiap masalah yang saya lihat saya dapat mengatakan "ya" atau "tidak" untuk itu, jadi apakah sebagian besar masalah dan algoritma dapat dipilih kecuali beberapa (yang disediakan di sini )? Input: Grafik berarah dan berhingga , dengan dan …

17 algorithms  computability  graph-theory  undecidability 

Saya memberi Anda daftar bitvektor dengan lebar . Tujuan Anda adalah mengembalikan dua vektor bit dari daftar yang tidak memiliki 1s sama, atau melaporkan bahwa tidak ada pasangan semacam itu.knnnkkk Misalnya, jika saya memberi Anda maka satu-satunya solusi adalah . Atau, input tidak memiliki solusi. Dan daftar apa pun yang …

17 algorithms  search-algorithms 

Dalam praktiknya saya memahami bahwa setiap rekursi dapat ditulis sebagai loop (dan sebaliknya (?)) Dan jika kita mengukur dengan komputer aktual kita menemukan bahwa loop lebih cepat daripada rekursi untuk masalah yang sama. Tetapi apakah ada teori yang membuat perbedaan ini atau apakah itu terutama bersifat empiris?

17 time-complexity  recursion  loops 

Pemecah SAT semakin efisien dalam memecahkan kasus besar dan sedang digunakan sebagai ujung-belakang dalam berbagai konteks. Setiap kali seseorang ingin menggunakannya untuk memecahkan masalah dalam domain tertentu, ia harus membuat encoding ad-hoc yang tidak hanya memiliki set solusi yang tepat tetapi juga menempatkan kendala (bahkan berlebihan) dalam bentuk yang membantu …

17 reference-request  satisfiability  sat-solvers 

Saya belajar Pembuktian Teorema Otomatis / Pemecah SMT / Asisten Bukti sendiri dan memposting serangkaian pertanyaan tentang prosesnya, mulai dari sini . Saya terus membaca tentang Algoritma Unifikasi . Apa itu dan mengapa begitu penting untuk Inference Engine ? Mengapa begitu penting bagi Ilmu Komputer?

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorgate, sekarang saya perlu membuat gate ini hanya menggunakan 4 nandgate a b out 0 0 0 0 1 1 1 0 1 1 1 0 yang xor = (a and not b) or (not a and b), yang merupakan A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Saya tahu jawabannya tetapi bagaimana cara mendapatkan diagram gerbang …

17 logic  boolean-algebra 

Algoritma pengurutan cepat dapat dibagi menjadi langkah-langkah berikut Identifikasi inden. Partisi daftar tertaut berdasarkan pivot. Bagi daftar yang ditautkan secara rekursif menjadi 2 bagian. Sekarang, jika saya selalu memilih elemen terakhir sebagai pivot, maka mengidentifikasi elemen pivot (langkah 1) membutuhkan waktu .O ( n )HAI(n)\mathcal O(n) Setelah mengidentifikasi elemen pivot, …

16 algorithms  algorithm-analysis  sorting  quicksort 

Ini pertanyaan lembut. Saya tidak tahu banyak tentang kriptografi atau sejarahnya, tetapi sepertinya RSA biasa digunakan untuk melakukan pertukaran kunci dengan mengenkripsi kunci simetris untuk mengirim pesan yang lebih panjang (misalnya, deskripsi iMessage di sini ). Bukankah ini hal yang tepat untuk pertukaran kunci Diffie-Hellman, yang lebih tua (dan bagi …

16 cryptography  history 

Saya menanyakan pertanyaan ini pada StackOverflow , tapi saya pikir di sini adalah tempat yang lebih tepat. Ini adalah masalah dari kursus Pengantar algoritma : Anda memiliki array dengan bilangan bulat positif (array tidak perlu diurutkan atau elemen unik). Sarankan algoritma untuk menemukan jumlah elemen terbesar yang dapat dibagi oleh …

16 algorithms  optimization  dynamic-programming  arrays 

Diberikan bahasa dan , katakanlah bahwa gabungan tidak ambigu jika untuk semua kata , ada tepat satu dekomposisi dengan dan , dan ambigu sebaliknya. (Saya tidak tahu apakah ada istilah yang mapan untuk properti ini — hal yang sulit untuk dicari!) Sebagai contoh sepele, gabungan dari dengan dirinya sendiri adalah …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Rupanya, serangan ReDos mengeksploitasi karakteristik dari beberapa ekspresi reguler (yang berguna) ... pada dasarnya menyebabkan ledakan jalur yang mungkin melalui grafik yang ditentukan oleh NFA. Apakah mungkin untuk menghindari masalah seperti itu dengan menulis regex 'non-evil' yang setara? Jika tidak (dengan demikian, tata bahasa tidak dapat ditangani di ruang / …

16 regular-expressions  parsers