Literatur cukup jelas bahwa RAM unit-biaya dengan perkalian primitif tidak masuk akal, dalam hal itu mereka tidak dapat disimulasikan oleh mesin Turing dalam waktu polinomial dapat menyelesaikan masalah PSPACE-complete dalam waktu polinomial Namun, semua referensi yang dapat saya temukan pada...
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...
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...
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...
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...
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...
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...
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...
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
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...
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...
Semua orang tahu "Garey & 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...
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,...
Ingin memperbaiki pos ini? Berikan jawaban terinci untuk pertanyaan ini, termasuk kutipan dan penjelasan mengapa jawaban Anda benar. Jawaban tanpa detail yang cukup dapat diedit atau dihapus. Saya ditugaskan membangun perpustakaan buku tentang algoritma untuk perusahaan...
Saya membutuhkan definisi singkat dari "keadaan suatu objek" dalam pemrograman berorientasi objek (untuk makalah). Sekitar setengah hari saya mencari makalah yang bisa saya kutip tentang topik ini, tetapi saya tidak dapat menemukannya. Semua makalah yang saya temukan sebagian besar makalah umum...
Saya diberitahu bahwa komputer kuantum tidak lebih kuat secara komputasi daripada mesin Turing. Bisakah seseorang dengan ramah membantu memberikan beberapa referensi literatur yang menjelaskan fakta
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
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...
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...
Pertanyaan saya ditujukan kepada mereka yang peduli dengan algoritma biologi komputasi. Saya akan mengambil kursus bioinformatika musim gugur ini; Masalahnya, bagaimanapun, adalah bahwa saya memiliki terlalu sedikit latar belakang dalam biologi dan kimia untuk merasa siap untuk siklus lection (saya...