Ilmu Komputer

Apakah secara teori dimungkinkan untuk menentukan bahasa pemrograman yang tidak dapat diterapkan? Bahasa pemrograman adalah cara mendefinisikan fungsi. Implementasi berarti metode untuk menjalankan program yang diberikan dalam bahasa itu pada input yang diberikan ke output fungsi yang sesuai dengan program pada input tersebut. Apa persyaratan minimal dari bahasa seperti itu?

11 formal-languages  computability  programming-languages 

Mempertimbangkan pseudo-code dari bubblesort ini: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Apa ide dasar yang harus …

11 algorithms  time-complexity  sorting  average-case 

Diberikan simetris nyata matriks , adakah algoritma yang menghitung jumlah atas semua 1 \ leq i &lt;j &lt;k \ leq n dengan kompleksitas waktu yang lebih baik daripada O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

Dalam pertanyaan ini, saya bertanya apa perbedaan antara set dan tipe . Jawaban ini benar-benar mengklarifikasi (misalnya @AndrejBauer), jadi dalam kehausan saya akan pengetahuan, saya tunduk pada godaan untuk menanyakan hal yang sama tentang kategori: Setiap kali saya membaca tentang teori kategori (yang diakui agak informal), saya tidak dapat benar-benar …

11 sets  category-theory 

Pemahaman saya adalah bahwa implementasi mutex yang paling populer (misalnya std :: mutex dalam C ++) tidak menjamin keadilan - yaitu, mereka tidak menjamin bahwa dalam kasus pertengkaran, kunci akan diperoleh oleh utas dalam urutan yang mereka inginkan. disebut kunci (). Bahkan, mungkin saja (walaupun mudah-mudahan tidak umum) bahwa dalam …

11 concurrency  synchronization  threads 

Apa itu induksi-induksi ? Sumber daya yang saya temukan adalah: buku HoTT , di akhir bab 5.7. Artikel nLab sebuah makalah yang disebut definisi induktif-induktif posting blog ini juga menyebutkan tipe induktif-induktif Dua referensi pertama terlalu singkat untuk saya, dan dua yang terakhir terlalu teknis. Adakah yang bisa menjelaskannya dalam …

11 type-theory  induction  inductive-datatypes 

Semua orang tahu "Garey &amp; Johnson", yang merupakan referensi masuk ke saya setiap kali saya membutuhkan masalah untuk mengubah dari bukti NP-hardness. Namun saya baru-baru ini menemukan diri saya membutuhkan bukti kekerasan APX, dan saya bertanya-tanya apakah ada kumpulan masalah yang serupa (dan lebih terkini ..?) Yang telah terbukti keras-APX. …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Saya berjuang untuk memahami tujuan dari kuantifikasi tipe yang universal dan eksistensial. Saya bermain-main dengan menulis bahasa mainan berdasarkan kalkulus konstruksi . Saya telah membaca tentang Morte dan Henk untuk membantu saya mendapatkan pemahaman yang lebih baik. Saya tidak mengerti mengapa CoC memiliki abstraksi lambda dan forall. ( ∀ x …

11 lambda-calculus  type-theory  calculus-of-constructions 

Saya ingin mengungkapkan batasan berikut, dalam program linear integer: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Saya sudah memiliki variabel integer dan saya berjanji bahwa . Bagaimana saya bisa mengekspresikan kendala di atas, dalam bentuk yang cocok untuk digunakan dengan …

11 linear-programming  integer-programming 

Dalam mencoba memahami hubungan antara Huffman Coding, Arithmetic Coding, dan Range Coding, saya mulai berpikir tentang kekurangan pengkodean Huffman terkait dengan masalah fraksional pengemasan bit . Artinya, misalkan Anda memiliki 240 nilai yang mungkin untuk simbol, dan diperlukan untuk menyandikan ini menjadi bit, Anda akan terjebak dengan 8 bit per …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

Pada dasarnya, masalahnya adalah: Untuk himpunan dari angka positif, cari angka minimal yang bukan merupakan pembagi elemen , yaitu .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Nyatakan n=|S|n=|S|n = |S|dan C=max(S)C=max(S)C = \max(S) . Pertimbangkan fungsi F(x)=F(x)=F(x) = bilangan prima terkecil yang tidak membagi xxx . Sangat mudah …

11 algorithms  number-theory 

Kompleksitas Zoo mendefinisikan L INL.sayaNLIN sebagai kelas masalah keputusan yang dipecahkan oleh mesin Turing deterministik dalam waktu linier. L IN⊆ P.L.sayaN⊆PLIN \subseteq P Karena HORN-SAT dapat dipecahkan dalam (seperti yang ditunjukkan dalam algoritma Linear-time untuk menguji kepuasan formula tanduk proposisional (1984) )O ( n )HAI(n)O(n) Algoritma baru untuk memutuskan apakah …

11 complexity-theory  time-complexity  reductions 

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Saya seorang pengisap untuk keanggunan dan ketelitian matematika, dan sekarang saya sedang mencari …

11 algorithms  algorithm-analysis  reference-request  books 

Apakah ada algoritma yang dikenal yang secara benar menampilkan "ya" ke masalah NP-complete tanpa secara implisit menghasilkan sertifikat? Saya mengerti bahwa sangat mudah untuk mengubah oracle kepuasan menjadi pencari penugasan memuaskan: hanya beralih pada variabel, setiap kali meminta oracle kepuasan untuk memecahkan hubungannya dengan variabel itu dengan masalah asli. Tapi …

11 algorithms  complexity-theory  np-complete 

Mari kita katakan misalnya saya sedang melakukan pemrosesan string yang memerlukan analisis dua string. Saya tidak punya informasi tentang panjang badan mereka, jadi mereka berasal dari dua keluarga berbeda. Apakah dapat diterima untuk memanggil kompleksitas suatu algoritma atau O ( n + m ) (tergantung pada apakah kita menggunakan algoritma …

11 time-complexity  asymptotics  landau-notation  notation