Ilmu Komputer

Baru-baru ini saya menyadari bahwa ada semacam hubungan antara teori tipe Russell dan sistem tipe, seperti yang ditemukan misalnya dalam Haskell. Sebenarnya, beberapa notasi untuk tipe di Haskell tampaknya memiliki prekursor dalam tipe teori. Tapi, IMHO, motivasi Russell pada tahun 1908 adalah untuk menghindari paradoks Russell, dan saya tidak yakin …

12 programming-languages  type-theory 

Saya tidak tahu apakah itu lelucon, tetapi begitu saya membaca apa yang disebut sebagai definisi formal dari file dalam sistem versi seperti git, hg atau svn. Itu sesuatu seperti objek matematika seperti homeomorfisme. Apakah itu lelucon atau benar-benar ada teori ilmu komputer tentang sistem versi dan matematika VCS?

12 terminology  reference-request 

Saya mencoba menyelesaikan masalah ini dan saya benar-benar berjuang. Sebuah monoton rumus boolean adalah formula dalam logika proposisional mana semua literal positif. Sebagai contoh, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) adalah fungsi boolean monoton. Di sisi lain, sesuatu seperti (x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 \lor …

12 complexity-theory  np-complete  satisfiability 

Mengapa transformasi laplace tidak populer untuk konvolusi pemrosesan gambar? Sebagian besar buku teks hanya mengonversi transformasi Fourier.

12 history  image-processing 

Saya memiliki pohon tidak berarah yang simpulnya ingin saya beri label. Node daun harus diberi label satu. Lalu, anggap daunnya sudah dibuang. Di pohon yang tersisa, daunnya harus diberi label dua. Proses ini berlanjut dengan cara yang jelas sampai semua simpul memiliki label. Alasan saya melakukan ini adalah saya ingin …

12 algorithms  trees 

Apakah kesulitan masalah NP-hard atau NP-complete (seperti misalnya didefinisikan di sini ) berubah ketika inputnya unary bukan binary encoded? Apa bedanya jika input dari masalah NP-hard sangat tidak terenkripsi? Maksud saya, jika saya mengambil contoh masalah Knapsack NP-complete yang lemah, itu adalah NP-complete ketika biner dikodekan tetapi dapat diselesaikan dalam …

12 complexity-theory  time-complexity  np-complete 

Diberikan poligon ortogonal (poligon yang sisi-sisinya sejajar dengan sumbu), saya ingin menemukan set terkecil dari kotak-kotak yang terpisah-pisah, yang persatuannya sama dengan poligon. Saya menemukan beberapa referensi untuk masalah yang sedikit berbeda, seperti: Menutupi poligon ortogonal dengan kotak - mirip dengan masalah saya, tetapi kotak yang menutupinya memungkinkan untuk tumpang …

12 algorithms  computational-geometry  tiling 

Saya mengerti bahwa tata bahasa bebas konteks dapat digunakan untuk mewakili bahasa bebas konteks. Mungkin ada ambiguitas. Kami juga memiliki bentuk normal seperti bentuk normal Chomsky dan Greibach . Saya tidak bisa mengerti kebutuhan itu. Mengapa mereka penting dalam teori bahasa? Semua buku teks yang saya maksudkan menceritakan tentang bentuk-bentuk …

12 formal-languages  context-free  formal-grammars  normal-forms 

Saya memiliki "bukti" yang sangat sederhana ini untuk NP = CoNP dan saya pikir saya melakukan sesuatu yang salah di suatu tempat, tetapi saya tidak dapat menemukan apa yang salah. Adakah yang bisa membantu saya? Biarkan A menjadi beberapa masalah dalam NP, dan biarkan M menjadi penentu untuk A. Biarkan …

12 complexity-theory  p-vs-np  check-my-proof  np 

Adakah yang bisa menjelaskan kepada saya perbedaan & persamaan antara pembelajaran mesin dan identifikasi sistem? Apakah ini hanya dua nama dari hal yang sama? Di halaman ini , mereka mengatakan: Komunitas pembelajaran mesin dan identifikasi sistem dihadapkan pada masalah yang sama di mana kita perlu membuat model dari pengamatan yang …

12 machine-learning 

Katakan, . Lalu bagaimana kita dapat membuktikan bahwa adalah teratur?L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Jika teratur, maka tentu saja juga teratur. Jika terbatas, maka ia adalah biasa dan lagi adalah teratur. Saya juga memperhatikan bahwa, untuk , tidak teratur, dan teratur.LLLL∗L∗L^*LLLL∗L∗L^*L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ …

12 formal-languages  regular-languages 

Saya pikir mengerti bagaimana deforestasi mengkonsumsi dan menghasilkan daftar pada saat yang sama (dari lipatan dan fungsi buka - lihat jawaban yang bagus ini di CodeReview di sini ), tetapi ketika saya membandingkannya dengan entri wikipedia pada teknik ini, ia berbicara tentang 'menghapus' pohon dari sebuah program. Saya mengerti bagaimana …

12 terminology  compilers  functional-programming 

Jadi, saya tahu bahwa menguji apakah bahasa reguler adalah himpunan bagian dari bahasa biasa dapat ditentukan, karena kita dapat mengonversi keduanya menjadi DFA, menghitung , dan kemudian menguji apakah bahasa ini kosong.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Namun, karena ini memerlukan konversi ke DFA, ada kemungkinan bahwa DFA, dan …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Dikatakan bahwa teori komputasi juga disebut teori rekursi. Kenapa disebut seperti itu? Mengapa rekursi memiliki kepentingan sebesar ini?

12 computability  terminology  history 

Pertama, izinkan saya menulis definisi big OOO hanya untuk membuat semuanya eksplisit. f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 sehingga0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Katakanlah kita memiliki sejumlah fungsi terbatas: f1,f2,…fnf1,f2,…fnf_1,f_2,\dots f_n memuaskan: O(f1)⊆O(f2)⋯⊆O(fn)O(f1)⊆O(f2)⋯⊆O(fn)O(f_1)\subseteq O(f_2)\dots \subseteq O(f_n) Dengan transitivitas OOO , kita memiliki itu: O(f1)⊆O(fn)O(f1)⊆O(fn)O(f_1)\subseteq O(f_n) Apakah terus ini jika …

12 asymptotics  landau-notation