Ilmu Komputer

Teori domain memberikan teori komputabilitas yang menakjubkan dengan adanya tipe-tipe sederhana. Tetapi ketika polimorfisme parametrik ditambahkan, tampaknya tidak ada teori yang bagus yang menjelaskan apa yang terjadi dengan sebaik teori domain menjelaskan perhitungan dari tipe sederhana. Tentu saja saya tidak akan mengharapkan hal seperti itu ada untuk System-F karena tidak …

8 computability  type-theory  dependent-types 

Masalah sebenarnya yang saya hadapi adalah sebagai berikut. INSTAN : Saya telah menetapkan dan dan matrix untuk semua dan .N:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\}K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\}aij>0aij>0a_{ij}>0i∈Ki∈Ki\in Kj∈Nj∈Nj\in N PERTANYAAN : Saya harus mencari subset dari ukuran sekecil mungkin dan partisi set dalam menetapkan yang persatuannya sama dengan sehingga untuk semua , saya memiliki untuk semua i …

8 algorithms  optimization 

Saya pikir kedua kelas ini harus sama, tetapi saya tidak dapat menemukan literatur tentang hal ini dan memiliki latar belakang yang terbatas pada topik tersebut. Ini adalah alasan saya, dan saya ingin tahu apakah (1) ini sudah diketahui atau (2) saya salah mengerti sesuatu atau (3) saya baru menemukan sesuatu …

8 complexity-theory  complexity-classes  quantum-computing 

Saya tidak yakin apakah itu tempat yang tepat untuk pertanyaan ini. Maaf jika sedikit di luar topik. Memilih Bahasa yang cocok untuk kursus pemrograman pertama adalah salah satu hal terpenting yang harus diingat oleh setiap guru / dosen terkait; terutama jika siswa masih muda atau memiliki pengetahuan matematika yang terbatas. …

8 algorithms  programming-languages  education 

Pertimbangkan istilah yang dibangun dari elemen QQ\mathbb Q dan operasi +,×,−,/+,×,−,/+,\times,-,/, dan ⋅−−√n⋅n\sqrt[n]{\,\cdot\,} untuk setiap bilangan alami nnn. Mengingat janji bahwa dua istilah terbentuk dengan baik - yaitu, tidak ada pembagian dengan nol, dan bahkan tidak ada akar angka negatif - apakah ada algoritma yang memutuskan kapan kedua istilah itu …

8 computability  undecidability  number-theory  equality 

Diberikan sekumpulan titik data X= {x1,x2, ... ,xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\} mana xsaya∈Rdxsaya∈Rdx_i \in \mathbb{R}^d kita menjalankan K-means pada XXX dan mendapatkan klaster c1,c2, ...,ckc1,c2,...,ckc_1, c_2, \ldots, c_k . Sekarang, jika kita membuat dataset baru Y= {y1,y2, ... ,ym}Y={y1,y2,...,ym}Y = \{y_1, y_2, \ldots, y_m\} mana ysaya= Axsaya+ bysaya=SEBUAHxsaya+by_i …

8 algorithms  clustering 

Di kelas profesor kami menunjukkan kepada kami 3 metode untuk membuktikan ketidakteraturan: Teorema Myhill – Nerode Memompa Lemma untuk bahasa reguler Bukti ketidakteraturan, berdasarkan kompleksitas Kolmogorov Sekarang dua yang pertama, teorema Myhill-Nerode dan Pumping lemma, saya mengerti dengan baik dan saya juga bisa melakukan latihan dengan dua metode pertama. Tapi …

8 formal-languages  regular-languages  proof-techniques  kolmogorov-complexity 

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 3 tahun yang lalu . Komputer dan bahasa pemrograman cenderung bersifat deterministik dan dapat diprediksi. Namun progress bar tampaknya bertolak belakang, terutama jika …

8 computation-models 

Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi tertentu akan mengarah pada redundansi eksponensial. Saya pada dasarnya tidak …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Ketika saya melihat bukti untuk memompa lemma , saya merasa bahwa saya sering kehilangan intuisi di balik kondisi | xy | ≤ p. Apa sebenarnya alasan di balik kondisi ini? Semua literatur yang saya lihat adalah diam (tidak ada bukti, tidak ada diskusi, hanya pernyataan) tentang hal ini, atau menyatakan …

8 formal-languages  regular-languages  pumping-lemma 

Baru-baru ini saya memulai studi saya dalam teori tipe / sistem tipe dan Lambda Calculus. Saya sudah membaca tentang Kalkulus Ketik Sederhana Diketik dalam gaya Gereja dan Kari. Yang terakhir juga dikenal sebagai Type Assignment system (TA). Saya berpikir tentang hubungan antara TA dan Hindley-Milner (HM), sistem dalam bahasa seperti …

8 type-theory  type-checking  type-inference 

Kode koreksi kesalahan Reed-Solomon yang terdiri dari simbol N dijamin untuk mendeteksi hingga penggantian N simbol tunggal dalam input panjang yang sewenang-wenang ditambah ECC itu sendiri, dan juga dijamin untuk memperbaiki simbol tunggal hingga lantai (N / 2) simbol tunggal penggantian yang sama. Saya tidak dapat mengklaim untuk memahami matematika …

8 error-correcting-codes 

Saya membaca makalah NJ Larsson, A. Moffat: Offline Dictionary-Based Compression , yang menjelaskan algoritma kompresi yang, jika saya memahaminya dengan benar, sangat mirip dengan pengkodean pasangan byte . Diberikan string dengan panjang , saya mencoba memahami bagaimana seseorang dapat memampatkannya dalam linear, , waktu dengan metode kompresi ini. Bagaimana tepatnya …

8 algorithms  algorithm-analysis  runtime-analysis  data-compression  encoding-scheme 

Properti "memompa" (kata-kata dengan panjang tertentu menyiratkan keberadaan loop dalam mekanisme pendefinisian bahasa) diketahui ada untuk bahasa reguler dan bebas konteks dan beberapa lainnya (biasanya digunakan untuk menyangkal keanggotaan bahasa ke kelas tertentu) ). Dalam diskusi seputar pertanyaan ini , jawaban Daisy menunjukkan bahwa tidak ada lemma yang memompa untuk …

8 formal-languages  pumping-lemma  context-sensitive 

Buku teks saya memberikan definisi kunci primer berikut dalam basis data relasional, yang saya tidak sepenuhnya mengerti. Bantuan akan sangat dihargai. Biarkan menjadi relasi. Kemudian kunci utama untuk adalah himpunan bagian dari set atribut , katakan , memenuhi dua sifat berikut:RRRRRRRRRKKK Keunikan Properti: Tidak ada dua tupel yang berbeda dari …

8 database-theory