Ilmu Komputer

Tempat sampah disebut penuh jika mengandung setidaknya bola. Tujuan kami adalah membuat sebanyak mungkin tempat sampah penuh.kkk Dalam skenario yang paling sederhana, kita diberi bola dan mungkin mengatur mereka sewenang-wenang. Dalam hal itu, jelas yang terbaik yang bisa kita lakukan adalah memilih bin secara sewenang-wenang dan menempatkan bola di masing-masing …

12 combinatorics  balls-and-bins 

Saya baru mengenal automata, dan saya telah diberikan pengantar singkat untuk ekspresi reguler hanya kemarin. Saya telah membaca berbagai aturan untuk mendefinisikan ekspresi reguler. Tetapi saya tidak dapat membedakan antara ekspresi reguler dan tata bahasa (saya belum diajarkan tata bahasa untuk ekspresi reguler). Saya mengerti bahwa tata bahasa membantu kita …

12 automata  formal-grammars  regular-expressions 

Jarak edit Levenshtein-Distance antara daftar adalah masalah yang dipelajari dengan baik. Tetapi saya tidak dapat menemukan banyak perbaikan yang mungkin jika diketahui bahwa tidak ada elemen yang muncul lebih dari satu kali di setiap daftar . Mari kita asumsikan juga bahwa elemen-elemennya sebanding / disortir (tetapi daftar untuk dibandingkan tidak …

12 algorithms  strings  string-metrics  edit-distance 

Saya ingin tahu apakah ada masalah lengkap di kelas kompleksitas Arthur-Merlin. Grafik Non-Isomorfisme (GNI) tampaknya menjadi contoh kanonik dari suatu masalah di AM, tapi itu mungkin bukan yang lengkap. Saya kira saya juga bertanya-tanya apakah masalah "lengkap" didefinisikan dengan baik untuk AM. Karena AM = BP.NP, tampaknya pergi ke "reduksi" …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Saya merancang objek database dalam-memori untuk kasus penggunaan yang sangat spesifik. Ini adalah penulis tunggal, tetapi harus mendukung pembacaan berbarengan yang efisien. Bacaan harus diisolasi. Tidak ada bahasa permintaan, database hanya mendukung: dapatkan objek / -s dengan atribut / set atribut (mungkin ada dukungan untuk ekspresi, misalnya x.count < 5) …

12 data-structures  concurrency  databases 

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 

Saya telah melihat bagaimana XOR-3-SAT dapat dipecahkan secara efisien (misalnya, lihat bagian "XOR-satisfiability" di entri Wikipedia untuk masalah kepuasan Boolean ). Saya bertanya-tanya pertanyaan mendasar: Apakah XOR-k-SAT efisien dipecahkan, untuk formula dengan jumlah liter yang berbeda per klausa? Saya benar-benar ingin tahu apakah kita dapat meningkatkan jumlah literal per klausa …

12 complexity-theory  satisfiability 

Ini mungkin pertanyaan bodoh, tapi saya tidak mengerti. Dalam pertanyaan lain mereka datang dengan teorema dikotomi Schaefer . Bagi saya sepertinya ini membuktikan bahwa setiap masalah CSP adalah dalam P atau NP-complete, tetapi tidak di antaranya. Karena setiap masalah NP dapat diubah dalam waktu Polinomial menjadi CSP (karena CSP adalah …

12 np-complete  satisfiability  p-vs-np 

Tujuannya adalah membuat DFA dari ekspresi reguler dan menggunakan "Exp reguler> NFA> Konversi DFA" bukan opsi. Bagaimana seharusnya orang melakukan itu? Saya mengajukan pertanyaan ini kepada profesor kami tetapi dia mengatakan kepada kami bahwa kami dapat menggunakan intuisi dan dengan baik hati menolak untuk memberikan penjelasan. Jadi saya ingin bertanya …

12 automata  finite-automata  regular-expressions  simulation 

Saya kesulitan memahami masalah berhenti Turing. Buktinya mengasumsikan bahwa ada mesin ajaib yang dapat menentukan apakah komputer akan berhenti atau berputar selamanya untuk input yang diberikan. Kemudian kami memasang mesin lain yang membalikkan output dan kami memiliki kontradiksi dan oleh karena itu H tidak bisa ada.HHHHHH Kekhawatiran saya adalah sepertinya …

12 computability  halting-problem 

Tabel hash dinamis sempurna dan tabel hash cuckoo adalah dua struktur data yang berbeda yang mendukung pencarian O (1) terburuk dan diharapkan O (1) waktu penyisipan dan penghapusan. Keduanya membutuhkan O (n) ruang tambahan dan akses ke keluarga fungsi hash untuk operasi mereka. Saya pikir kedua struktur data ini indah …

12 data-structures  hash-tables 

Pada gambar di bawah, saya mencoba mencari tahu apa sebenarnya yang diterima NFA ini. Yang membingungkan saya adalah jump at .q 0ϵϵ\epsilonq0q0q_0 Jika dimasukkan, apakah sistem pindah ke dan (status terima)?q 0 q 1000q0q0q_0 q1q1q_1 Jika dimasukkan, apakah sistem pindah ke dan ?q 1 q 2111q1q1q_1q2q2q_2 Apakah sistem hanya pindah …

12 automata  finite-automata  nondeterminism 

Dalam membaca beberapa blog tentang kompleksitas komputasi (misalnya di sini ) saya berasimilasi gagasan bahwa memutuskan apakah dua kelompok isomorfik lebih mudah daripada menguji dua grafik untuk isomorfisme. Sebagai contoh, pada halaman lain dikatakan bahwa graf isomorfisme adalah masalah yang lebih umum daripada isomorfisme kelompok. Karenanya saya mengajukan yang berikut …

12 complexity-theory  graph-isomorphism  group-theory 

Saya suka semua itu waktu kompilasi dan saya suka ide bahwa setelah Anda menyusun program banyak jaminan dibuat tentang eksekusi itu. Secara umum sistem tipe statis (Haskell, C ++, ...) tampaknya memberikan jaminan waktu kompilasi yang lebih kuat daripada sistem tipe dinamis apa pun. Dari apa yang saya pahami, Ada …

12 programming-languages  type-theory  type-checking  software-verification 

Saya punya pertanyaan yang sangat umum untuk ditanyakan. Ini terkait dengan penelitian. Saya tertarik pada teori Grafik. Saya telah melakukan kursus di dalamnya. Saya telah melakukan beberapa topik yang berkaitan dengan kedua teori grafik sebagai sudut pandang melakukannya sebagai siswa matematika dan juga mempelajari beberapa algoritma grafik. Saya akan magang …

12 graph-theory  graphs