Ilmu Komputer

Saya mencoba memahami sistem bukti interaktif dan mencoba masalah berikut sebagai latihan. Kita tahu bahwa dan , jadi datang dengan sistem bukti interaktif (mudah dimengerti) untuk ?I P = P S P A C E P HPH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEsayaP= PSPA CEIP=PSPACEIP=PSPACEPHPHPH Sistem bukti interaktif untuk adalah sepele, tetapi saya gagal …

9 complexity-theory  interactive-proof-systems 

Dalam Type Theory jika seseorang memungkinkan Type untuk menjadi anggota dari dirinya sendiri, itu membuat teori tidak konsisten. Saya memahaminya dengan analogi dengan paradoks Russel dalam Set Theory, tetapi lebih suka melihatnya dilakukan dalam Type Theory. Apakah ada contoh singkat dari yang setara dalam Type Theory?

9 type-theory 

Untuk gelar CS saya, saya memiliki sebagian besar latar belakang matematika "standar": Kalkulus: diferensial, integral, bilangan kompleks Aljabar: cukup banyak konsep hingga bidang. Teori Angka: XGCD dan hal-hal terkait, kebanyakan untuk crypto. Aljabar Linier: hingga vektor eigen / nilai eigen Statistik: probabilitas, pengujian Logika: proposisional, predikat, modal, hibrida. Minat utama …

9 artificial-intelligence  cryptography  discrete-mathematics 

Sebuah tim telah memutuskan bahwa setiap pagi seseorang harus membawa croissant untuk semua orang. Seharusnya tidak ada orang yang sama setiap saat, jadi harus ada sistem untuk menentukan giliran siapa selanjutnya. Tujuan dari pertanyaan ini adalah untuk menentukan algoritma untuk memutuskan giliran siapa yang akan membawa croissant besok. Kendala, asumsi …

9 algorithms  scheduling 

Apa itu poligon yang mengalami degenerasi? Bagaimana seseorang memeriksa apakah sepasang poligon yang diberikan mengalami degenerasi atau tidak?

9 algorithms  computational-geometry 

Saya membuat DFA acak untuk menguji algoritma reduksi DFA. Algoritma yang saya gunakan saat ini adalah sebagai berikut: untuk setiap status , untuk setiap simbol dalam alfabet , tambahkan \ delta (q, c) ke beberapa keadaan acak. Setiap negara bagian memiliki probabilitas yang sama untuk menjadi negara bagian terakhir.qqqcccδ( q, …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Saya mencari tata bahasa yang peka konteks yang menggambarkan bahasa berikut: L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . Saya punya masalah dengan fakta bahwa tidak ada aturan seperti X→εX→εX \to \varepsilon yang diizinkan dan oleh karena itu saya tidak dapat menempatkan sembarang yang mengindikasikan "tengah" …

9 formal-languages  formal-grammars  context-sensitive 

Saya mencoba memahami mengapa quicksort menggunakan partisi Lomuto dan pivot yang tetap berkinerja tidak menentu, tetapi secara keseluruhan buruk, pada input yang dihasilkan secara acak. Saya berpikir bahwa meskipun input dihasilkan secara acak, mungkin ada banyak urutan urutan, tetapi saya tidak yakin bagaimana mengukur tingkat gangguan dalam urutan. Saya berpikir …

9 algorithms  sorting 

Apakah ada seperangkat aturan atau metode untuk mengubah tata bahasa bebas konteks apa pun menjadi automata push down? Saya sudah menemukan beberapa slide online tetapi saya tidak dapat memahaminya. Dalam slide 10 dia berbicara tentang beberapa aturan, adakah yang bisa menjelaskannya?

9 context-free  formal-grammars  pushdown-automata  simulation 

Seorang anak cerdas berusia 15 tahun yang saya kenal tertarik dengan ilmu komputer dan genetika. Saya mengatakan kepadanya bahwa bidang ini merupakan kombinasi yang sangat baik. Saya ingin memberinya buku tentang bioinformatika atau genomika komputasi. Saya mencari buku yang menyenangkan, bukan buku teks. Secara khusus, itu harus menginspirasi orang untuk …

9 education  books  bioinformatics 

Saya sedang menyelidiki pembelajaran PAC (teori pembelajaran komputasi) sebagai pemula tanpa pengetahuan sebelumnya tentang pembelajaran mesin / AI. Saya menyelidiki model ini terutama dari sudut pandang historis. Untuk ini, hal yang paling penting tentu saja hasilnya berdasarkan model. Ada cukup banyak makalah di luar sana yang mendokumentasikan hasil ini. Tetapi …

9 machine-learning 

Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer. Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan kondisi akhir (menerima) bisa berbeda. Biarkan …

9 formal-languages  reference-request  finite-automata 

Dalam Bab 1 dari Yayasan Praktis untuk Bahasa Pemrograman , penulis menyebutkan bahwa pohon sintaksis abstrak terkait dengan jenis . Secara intuitif, jenis seperti tipe, tetapi saya ingin tahu apakah mereka memiliki definisi yang tepat. Saya akan senang jika beberapa referensi disediakan juga.

9 terminology  programming-languages  semantics 

SkipList menyediakan batas untuk pencarian sebagai pohon seimbang dengan keuntungan yang tidak perlu diseimbangkan ulang. Karena SkipList dibuat menggunakan membalik koin acak, batas-batas ini hanya berlaku selama struktur SkipList cukup "seimbang". Secara khusus, dengan probabilitas untuk beberapa konstanta , struktur seimbang mungkin hilang setelah memasukkan elemen.O ( logn )HAI(catatan⁡n)O(\log n)1/ …

9 data-structures  search-trees  probabilistic-algorithms 

Saya mengalami masalah ini melibatkan memanipulasi bahasa bebas konteks. Biarkan menjadi bahasa bebas konteks. Tentukan untuk setiap . Apakah selalu bebas konteks? Dugaan saya adalah bahwa hal itu akan menjaga kelayakan konteks. Adakah yang bisa memberikan bukti dasar tentang ini?L.LLi = 0 , 1 , 2 , . . . …

9 formal-languages  context-free