Pertanyaan yang diberi tag «reference-request»

Saya terus mendengar tentang bagaimana seseorang harus belajar teori kategori untuk benar-benar memahami teori bahasa pemrograman. Sejauh ini, saya telah belajar banyak PL tanpa pernah melangkah ke bidang kategori. Namun, saya pikir sudah waktunya untuk melakukan lompatan untuk melihat apa yang telah saya lewatkan. Sayangnya, tidak ada sumber yang bisa …

13 reference-request  programming-languages  type-theory  category-theory 

Halaman masalah grafik isomorfisme Wikipedia tampaknya menunjukkan bahwa, tidak, itu belum diselesaikan. Namun, seorang teman saya menunjukkan Algoritma Waktu Polinomial untuk Grafik Isomorfisme . Saya tidak cukup canggih untuk mengikuti alasan di koran. Saya memang memiliki usaha saya sendiri yang sangat kasar pada algoritma waktu polinomial tanpa sesuatu seperti bukti, …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata automata ). (Apakah literatur tentang semiautomata ini …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Saya bertanya-tanya apakah seseorang tahu asal model server klien. Dari mana asal istilah (kertas, aplikasi perangkat lunak, buku)?

13 terminology  reference-request  distributed-systems  history 

The Pasang Correspondence Masalah (PCP) adalah diputuskan. The Versi dibatasi dari PCP adalah -Lengkap dan versi ditandai PCP (kata-kata salah satu dari dua daftar yang diperlukan untuk berbeda dalam huruf pertama) adalah di [1].N PNP\mathrm{NP}P S P A C EPSPSEBUAHCE\mathrm{PSPACE} Apakah versi terbatas ini digunakan untuk membuktikan beberapa kompleksitas hasil …

13 complexity-theory  computability  reference-request 

Ada masalah populer [1] [2] dalam ilmu komputer yang menemukan jumlah minimum garis lurus yang mencakup satu set poin dalam 2D. Meskipun saya telah memindai banyak makalah, tidak satupun dari mereka memiliki motivasi yang jelas untuk masalah ini. Apa gunanya menyelesaikan masalah ini? Apakah ada makalah yang menjelaskan ini?

12 reference-request  computational-geometry  applied-theory 

Dalam hal runtime asimptotik kasus terburuk, masalah NP-lengkap mana yang memiliki algoritma (paling tepat) paling cepat diketahui dan apa algoritma itu? Adakah yang diketahui lebih cepat dari ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Saya mencoba memecahkan 25k klausa 5k variabel masalah SAT. Karena sudah berjalan selama satu jam (precosat) dan saya ingin menyelesaikan yang lebih besar setelah itu, saya mencari SAT-Solver multi-core. Karena sepertinya ada banyak SAT-Solver, saya sangat tersesat. Adakah yang bisa menunjukkan yang terbaik untuk kasus saya? Saya juga akan senang …

12 algorithms  reference-request  parallel-computing  sat-solvers 

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 bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan kompleksitas keadaan untuk komplemen dan persimpangan mereka, tetapi tidak untuk …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Apakah ada alat untuk membuat prototipe semantik bahasa pemrograman dan sistem tipe dan itu juga memungkinkan untuk semacam pengecekan model properti standar, seperti tipe kesehatan? Saya menanyakan hal ini, karena saya membaca buku tentang Paduan dan menyediakan fungsionalitas tepat yang saya inginkan, tetapi untuk model yang diungkapkan menggunakan logika relasional. …

11 reference-request  programming-languages  semantics  model-checking 

Saya bertanya-tanya apakah ada masalah -hard yang rata-rata "polinomial" dalam kasus rata-rata. Saya pikir ada dua cara untuk menafsirkan ini?NPNPNP Jika , bisa ada sebuah algoritma pemecahan suatu N P masalah -Hard dengan diamortisasi (rata-rata kasus) waktu berjalan dari O ( n k ) untuk konstan k ?P≠ NPP≠NPP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Bisakah Anda memberi saya beberapa saran tentang buku pengantar (tapi komprehensif) yang bagus tentang Logika dan Komputasi? Beberapa topik kabur yang ada dalam pikiran saya adalah: Artihm Presburger, PA, ZF, ZFC, HOL Teori set, teori tipe Modeling Computation (Turing Machines) dalam berbagai teori Tautan dengan kompleksitas komputasi (FMT, kompleksitas deskriptif)

11 reference-request  logic  books 

Menurut artikel Wikipedia tentang skema perkiraan polinomial-waktu : Semua masalah dalam FPTAS adalah traktat parameter tetap. Hasil ini mengejutkan saya - kelas-kelas ini tampaknya sangat berbeda satu sama lain. FPTAS mengkarakterisasi masalah dengan seberapa mudah mereka memperkirakan, sementara FPT mengkarakterisasi masalah dengan kesulitan mereka relatif terhadap beberapa parameter. Sayangnya, Wikipedia …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Diberikan pekerjaan , setiap pekerjaan membutuhkan T_i> 0, T_i \ dalam N waktu untuk menyelesaikan.J 1 , J 2 , . . . , J n T i > 0 , T i ∈ NnnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Setiap pekerjaan harus pra-diproses dan pasca-proses oleh satu mesin M …

11 complexity-theory  reference-request  scheduling