Ilmu Komputer

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, apalagi menjawab pertanyaan ini.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

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 status dalam otomat LR (1), …

10 context-free  parsers  lr-k 

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 hubungan itu.

10 type-theory 

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 ada?

10 reference-request  automata  optimization  finite-automata  transducers 

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 …

10 complexity-classes 

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 mesin yang disimulasikan memiliki jumlah karakter alfabet yang lebih besar? Adakah yang …

10 computability  turing-machines  simulation  turing-completeness 

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 \mathbb{R}^df(x)f(x)f(x) Jika saya memiliki prosedur untuk mengevaluasi tepat pada input …

10 optimization  approximation 

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 mengatakan " Kami tertarik …

10 complexity-theory  logic  satisfiability  normal-forms 

Jika , maka apakah ? Saya mengajukan pertanyaan ini karena, untuk kelas non-deterministik lainnya, sepertinya selalu menetapkan bahwa mereka sama dengan rekan deterministik mereka.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}

10 complexity-theory  p-vs-np 

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 empat dimensi pada kisi sedemikian sehingga jumlah total nilai …

10 algorithms  optimization  combinatorics  approximation 

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 kita selalu menemukan saksi di waktu …

10 complexity-theory  np-hard  search-problem 

Saya mencari di sini , dan saya melihat runtime terbaik untuk perkalian dua angka bit adalah , tetapi saya dapat dengan mudah melihat algoritma yang berjalan di .O ( n ⋅ log n ⋅ 2 O ( log ∗ n ) O ( n ⋅ log n )nnnO ( n …

10 runtime-analysis 

Saya ingin memahami teori jenis tetapi saya harus tahu dulu bagaimana saya bisa menerapkannya. Mungkinkah ada aplikasi yang lebih jelas dari teori tipe selain dari sistem tipe dalam pemrograman? Mungkinkah ada aplikasi lain, katakanlah dalam profil kepribadian dan sejenisnya?

10 type-theory  applied-theory 

Saya bertanya-tanya, apakah ada metode untuk analisis runtime otomatis yang berfungsi setidaknya pada subset algoritma yang relevan (algoritma yang dapat dianalisis)? Saya googled "Analisis algoritma otomatis" yang memberi saya ini tetapi terlalu matematika. Saya hanya ingin contoh sederhana dalam psuedocode yang bisa saya mengerti. Mungkin terlalu spesifik, tapi saya pikir …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis 

Masalah memutuskan apakah input adalah palindrom atau tidak telah terbukti membutuhkan ruang pada mesin Turing. Namun, bahkan menyimpan input membutuhkan ruang jadi bukankah itu berarti bahwa semua mesin Turing memerlukan ruang ?Ω(logn)Ω(log⁡n)\Omega(\log n)nnnΩ(n)Ω(n)\Omega(n) Tentu saja, tidak ada kontradiksi di sini, karena fungsi apa pun yang menggunakan setidaknya ruang linear juga …

10 turing-machines  space-complexity