Ilmu Komputer

Yo! Ini mungkin pertanyaan bodoh, namun saya belum pernah melihatnya ditulis secara eksplisit jika, misalnya, decidability dari pengecekan tipe sama dengan properti normalisasi yang kuat. Oleh karena itu saya mengajukan pertanyaan ini untuk mengklarifikasi semua kemungkinan hubungan antara pengecekan tipe, tipabilitas dan normalisasi yang kuat. Biarkan saya jelaskan motivasi saya. …

8 type-theory  type-checking  type-inference 

Saya bertanya-tanya apakah ada fungsi yang berguna asimtotik lebih besar dari fungsi polylogaritmik dan kurang dari fungsi polinom. Artinya, fungsi sedemikian rupaf( n )f(n)f(n) f( n ) = ω ( log( n)k)f(n)=ω(log⁡(n)k)f(n) = \omega(\log(n)^k) untuk beberapa konstantak > 0k>0k > 0 dan f( n ) = o (nk)f(n)=Hai(nk)f(n) = o(n^k) …

8 asymptotics 

Tata bahasa ini dibiarkan rekursif: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Jadi secara teori, keturunan rekursif tidak akan berhasil. Tetapi dengan …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Ini adalah sesuatu yang tidak dapat saya temukan - tetapi saya selalu merasa menarik bahwa lemma pemompaan hanyalah sebuah lemma (terutama karena ia memiliki nama yang sama untuk bahasa biasa, bahasa bebas konteks, dll ...) Apa itu lemma?

8 complexity-theory  regular-languages  finite-automata 

Saya sedang mempelajari sistem tipe murni, khususnya kalkulus konstruksi, dan mencoba menggunakan pengkodean untuk tipe rekursif di atasnya, yang, menurut Philip Wadler, adalah mungkin . Sebagai contoh, saya menggunakan perpustakaan Morte Haskell untuk menyandikan angka Scott seperti yang diberikan oleh Cardelli . Ringkasan pengkodean adalah seperti itu: diberi jenis rekursif …

8 lambda-calculus  type-theory 

Algoritme awal saya: Bandingkan elemen 0 dengan setiap elemen lainnya, catat berapa banyak elemen yang kurang dari itu. Ulangi untuk setiap elemen sampai elemen yang lebih besar dari elemen (k-1) ditemukan. Saya menganggap ini akan mengambil dalam kasus terburuk. Bisakah runtime lebih cepat dicapai tanpa mengurutkan daftar?O(n2)O(n2)O(n^2)

8 search-algorithms  lists 

Saya mencoba memahami bagaimana saya bisa mengurutkan array nnn elemen saat saja lognlog⁡n\log n tidak ada di tempat. Saya mendengar bahwa paling banyak menyortir array III inversi memiliki kompleksitas O(nlog(I/n))O(nlog⁡(I/n))O(n\log(I/n)). Karena adalognlog⁡n\log n elemen yang tidak disortir, dalam kasus saya paling banyak ada nlognnlog⁡nn\log n inversi. Jawaban untuk pertanyaan itu …

8 sorting 

Diberi DFA, A, misalkan L (A) menunjukkan jumlah kata yang diterima A. Saya pikir mudah untuk menghitung L (A): Terjemahkan pengkodean A ke dalam ekspresi reguler. Jika bintang Kleene muncul di mana saja dalam ekspresi - bahasanya tidak terbatas. Lain: Periksa dan hitung semua kombinasi kata yang memungkinkan untuk dibuat …

8 regular-languages  automata  regular-expressions 

Saya punya pertanyaan berikut. Apakah pemecah SAT bersifat deterministik? Maksud saya, misalnya, tentang algoritma miniSAT dan DPLL . Apakah mereka sepenuhnya deterministik? Jika algoritma ini akan mengembalikan unSAT itu berarti bahwa solusinya tidak ada?

8 algorithms  logic  satisfiability  sat-solvers 

Baru-baru ini saya belajar tentang Q-learning, sebuah teknik pembelajaran penguatan yang secara langsung memperkirakan nilai yang diharapkan dari mengambil tindakan dalam keadaan. Saya bertanya-tanya apakah ada teknik untuk melakukan "pembelajaran dinamika", untuk memperkirakan dinamika suatu sistem. Agen "pembelajaran dinamika" dapat memilih tindakan yang membantunya memperkirakan fungsi transisi negara, atau memperkirakan …

8 machine-learning  physics 

Seperti yang saya katakan, saya ingin membangun sebuah program untuk menghasilkan n titik yang sama dalam ruang euclidian. Dari yang aku tahu 1d: semua beberapa poin 2d: semua segitiga sama sisi 3d: semua tetrahedra sama sisi hingga 3d: saya kira itu disebut hipriangle sama sisi Jadi masalah saya adalah sebagai …

8 computational-geometry 

Pertanyaan saya adalah sebagai berikut. Asumsikan bahwaΠΠ\Piadalah masalah NP-hard. Diberikan contoh sewenang-wenangIII dari ΠΠ\Pi dan berasumsi bahwa musuh tahu bahwa kejadian ini mudah diselesaikan, apakah mungkin untuk menemukan algoritma waktu polinomial deterministik untuk menyelesaikan contoh khusus ini III? Misalnya: Misalkan saja ΠΠ\Piadalah GRAFIK WARNA. Musuh memberi Anda grafikGGG dengan nnn …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Saya membaca Bahasa Pemrograman Karat dan menemukan bagian berikut: Ingatlah bahwa menulis ke struct bukanlah operasi atom, dan banyak fungsi seperti vec.push()dapat merealokasi secara internal dan menyebabkan perilaku yang tidak aman, sehingga bahkan monotonitas mungkin tidak cukup untuk membenarkan UnsafeCell Itu muncul begitu saja dalam buku ini dan saya kesulitan …

8 programming-languages  synchronization 

Dengan asumsi adalah variabel boolean dalam program ILP (yang , st ) dan , dibatasi bilangan bulat variabel antara dan . Saya ingin menyandikan batasan tingkat tinggi berikut:yyyy∈Zy∈Zy \in Z0&lt;=y&lt;=10&lt;=y&lt;=10 <= y <= 1x1x1x_1x2x2x_2000MM.M y=1⟺x1≤x2y=1⟺x1≤x2y = 1 \iff x_1 \le x_2 Sejauh ini saya sudah mendapat ini: x1≤x2+(M+1)yx1≤x2+(M.+1)yx_1 \le x_2 …

8 integer-programming 

Setelah kami memperbaiki verifikasi deterministik waktu polinomial V (input, sertifikat), masalah NP yang sesuai adalah pertanyaan: Untuk input ini, apakah ada (ukuran polinomial) sertifikat yang ada sehingga V (input, sertifikat) mengembalikan Benar? Masalah penghitungan yang terkait (kelas #P) adalah: Berapa banyak sertifikat yang ada sehingga V (input, sertifikat) mengembalikan Benar? …

8 complexity-theory