Ilmu Komputer

Saya punya masalah dengan latihan ini: Biarkan G menjadi tata bahasa ambigu berikut untuk kalkulus λ: E → v | λv.E | EE | (E) di mana E adalah simbol non-terminal tunggal, λv.E mewakili abstraksi dari variabel v di E, dan EE mewakili aplikasi. Definisikan tata bahasa LL (1) G …

13 context-free  formal-grammars  compilers  parsers 

Apa kompleksitas dari dan ? Apakah mereka dalam P? Apakah ini NP-hard?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Untuk memformalkan ini lebih tepat, biarkan Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, di mana dan setiap klausa adalah dalam bentuk atau .x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m)CiCiC_i(xi⊕xj)(xi⊕xj)(x_i \oplus x_j)(xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) Masalah adalah untuk menemukan tugas untuk yang memenuhi . Masalah ini ada di …

13 complexity-theory  optimization  np-hard  satisfiability 

Saya membaca tentang NPC dan hubungannya dengan PSPACE dan saya ingin tahu apakah masalah NPC dapat dipecahkan dengan menggunakan algoritma dengan persyaratan ruang polinomial kasus terburuk, tetapi berpotensi mengambil waktu eksponensial (2 ^ P (n) di mana P adalah polinomial). Selain itu, dapatkah itu digeneralisasi ke EXPTIME secara umum? Alasan …

12 complexity-theory  np-complete  np 

Jika suatu fungsi memiliki tipe pengembalian ⊥ ( tipe bawah ), itu artinya ia tidak pernah kembali. Misalnya dapat keluar atau melempar, keduanya situasi yang cukup biasa. Agaknya jika suatu fungsi memiliki parameter tipe ⊥ itu tidak akan pernah bisa (dengan aman) dipanggil. Apakah ada alasan untuk mendefinisikan fungsi seperti …

12 type-theory  type-checking 

Di wiki haskell ada contoh berikut penggunaan bersyarat dari IO monad (lihat di sini) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Perhatikan bahwa dalam contoh ini, definisi IO adiambil RealWorld -> (a, RealWorld)untuk membuat …

12 programming-languages  functional-programming  haskell 

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 10 bulan lalu . Python cukup terkenal menggunakan lekukan untuk secara sintaksis mendefinisikan blok kode. (Lihat pernyataan majemuk dalam Referensi Bahasa Python). Setelah …

12 programming-languages  python  syntax 

Definisi mesin Turing selalu eksplisit tentang simbol kosong yang tidak menjadi bagian dari alfabet input. Aku bertanya-tanya apa yang salah ketika Anda akan menjadikannya bagian dari alfabet input, karena secara efektif simbol kosong sudah tampaknya menjadi bagian dari input. Untuk menjelaskan bahwa 'sepertinya' di kalimat terakhir, pertimbangkan yang berikut ini. …

12 turing-machines 

Dengan asumsi bahwa kita memiliki masalah dan kami menunjukkan bahwa batas bawah untuk menyelesaikan adalah .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) dapat batas bawah menyiratkan masalah dalam ?Ω(2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity  np-complete 

Diberikan dua string S1,S2S1,S2S_1, S_2 , kami menulis S1S2S1S2S_1S_2 untuk penggabungan mereka. Mengingat string SSS dan integer k≥1k≥1k\geq 1 , kita menulis (S)k=SS⋯S(S)k=SS⋯S(S)^k = SS\cdots S untuk gabungan dari kkk salinan SSS . Sekarang diberi string, kita dapat menggunakan notasi ini untuk 'kompres' itu, yaitu AABAABAABAABAABAAB dapat ditulis sebagai ((A)2B)2((A)2B)2((A)^2 …

12 dynamic-programming  word-combinatorics 

Saya tahu bahwa penulis yang berbeda menggunakan notasi yang berbeda untuk mewakili semantik bahasa pemrograman. Sebenarnya Guy Steele mengatasi masalah ini dalam video yang menarik . Saya ingin tahu apakah ada yang tahu apakah operator pintu putar terkemuka memiliki makna yang dikenal baik. Misalnya saya tidak mengerti operator terkemuka di …

12 type-theory  denotational-semantics 

Brainfuck adalah bahasa pemrograman lengkap Turing yang hanya menggunakan 8 simbol (6 jika Anda mengabaikan I / O). Dua yang paling terkenal yang mendorongnya ke kelengkapan Turing adalah [dan ], pada dasarnya, label dan goto Brainfuck. Biasanya, program di Brainfuck menggunakan beberapa set [], tapi saya bertanya-tanya berapa banyak pasang …

12 turing-completeness 

Saya mencoba membuat daftar algoritma / masalah yang "sangat berguna", seperti dalam, memecahkan masalah yang 'tampak' sangat eksponensial di alam, tetapi memiliki beberapa algoritma yang sangat pintar yang akhirnya menyelesaikannya. Contoh yang saya maksud: Linear Programming (Algoritma simpleks adalah waktu eksponensial; butuh waktu lama untuk menemukan solusi waktu polinomial!) Lebih …

12 complexity-theory  polynomial-time  efficiency 

Itu datang dari perspektif big data. Pada dasarnya, banyak kerangka kerja (seperti Apache Spark) "mengimbangi" kurangnya operasi relasional dengan menyediakan antarmuka seperti Functor / Monad dan ada gerakan serupa menuju konversi kucing ke SQL (Slick in Scala). Misalnya, kita perlu penggabungan alami (dengan asumsi tidak ada pengulangan pada indeks) untuk …

12 relational-algebra  category-theory  curry-howard 

Saya telah diberi masalah berikut dalam sebuah wawancara (yang telah saya gagal pecahkan, tidak mencoba menipu jalan saya sebelumnya): Permainan dimulai dengan bilangan bulat positif . (Mis. A 0 = 1234. ) Angka ini dikonversi ke representasi biner, dan N adalah jumlah bit yang ditetapkan ke 1 . (Mis. A …

12 algorithms  optimization 

Saya sedang membaca pertanyaan Konsistensi dan kelengkapan menyiratkan kesehatan? dan pernyataan pertama di dalamnya mengatakan: Saya mengerti bahwa kesehatan menyiratkan konsistensi. Yang saya cukup bingung karena saya pikir kesehatan adalah pernyataan yang lebih lemah daripada konsistensi (yaitu saya pikir sistem yang konsisten harus sehat tetapi saya kira itu tidak benar). …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness