Ilmu Komputer Teoritis

Ketika mencoba memperbaiki bug di perpustakaan, saya mencari makalah tentang menemukan subranges di pohon merah dan hitam tanpa hasil. Saya sedang mempertimbangkan solusi menggunakan ritsleting dan sesuatu yang mirip dengan operasi append yang biasa digunakan pada algoritma penghapusan untuk struktur data yang tidak dapat diubah, tetapi saya masih bertanya-tanya apakah …

14 ds.data-structures  tree 

Teorema Rice menyatakan bahwa setiap properti nontrivial dari set yang dikenali oleh beberapa mesin Turing tidak dapat diputuskan. Saya mencari teorema tipe-Beras kompleksitas-yang memberi tahu kita sifat nontrivial dari set NP mana yang tidak bisa dipraktikkan.

14 cc.complexity-theory  computability  np 

Siapa yang memperkenalkan gagasan rekursi ? Dapatkah seseorang menjelaskan dari mana asalnya dan bagaimana pengaruhnya terhadap ilmu komputer?

14 reference-request  ho.history-overview  recursion 

Robin Milner mendefinisikan bigraphs sebagai jenis struktur grafis dengan struktur seperti grafik tetapi di mana node dapat bersarang. Mereka menggeneralisasi proses kalkulus seperti CCS dan ` kalkulus, tetapi Milner tampaknya bermaksud agar mereka digunakan secara lebih umum: seminar mencatat beberapa saat sebelum kematiannya merinci perkembangan terakhir.ππ\pi Melihat ke belakang alih-alih …

14 process-algebra  ho.history-overview 

Jika Anda terbiasa dengan verifikasi program, Anda cenderung lebih suka membaca Pertanyaan sebelum Latar Belakang . Jika Anda tidak terbiasa dengan verifikasi program maka Anda mungkin masih dapat menjawab pertanyaan ini, tetapi Anda cenderung lebih suka membaca Latar Belakang terlebih dahulu. Latar Belakang Sering dinyatakan bahwa memeriksa kebenaran sebagian tidak …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Biarkan G menjadi pohon pada simpul 2n. The treewidth dari G, tw (G) = 1. Sekarang anggaplah kita menambahkan n edge ke G untuk mendapatkan grafik H. Batas atas yang mudah pada tw (H) adalah n + 1. Apakah ini pada dasarnya yang terbaik? Tampaknya entah bagaimana tw (H) harus …

14 upper-bounds  treewidth 

Baru-baru ini saya belajar tentang dugaan serakah untuk Masalah Superstring Terpendek . Dalam masalah ini, kita diberi satu set string s1, … , Sns1,...,sns_1,\dots, s_n dan kami ingin menemukan terpendek superstring sss yaitu sehingga setiap ssayassayas_i muncul sebagai substring dari sss . Masalah ini NP-hard dan setelah kertas yang panjang, …

14 reference-request  approximation-algorithms  greedy-algorithms 

Untuk teori tipe, dengan konsistensi, maksud saya bahwa ia memiliki tipe yang tidak dihuni. Dari normalisasi kuat dari kubus lambda, maka sistem yang dan sistem F ω konsisten. MLTT + tipe induktif juga memiliki bukti normalisasi. Namun, ini semua harus cukup kuat untuk membangun model PA, yang membuktikan bahwa PA …

14 type-theory  proof-theory 

Biarkan L⊆X∗L⊆X∗L \subseteq X^{\ast} menjadi bahasa tertentu, maka kita mendefinisikan kongruensi sintaksis sebagai dan hasil bagi monoid disebut monoid sintaksis dari .u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in L X∗/∼LX∗/∼LX^{\ast} / \sim_LLLL Sekarang monoids apa yang muncul sebagai monoids sintaksis bahasa? …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Berdasarkan buku Pengantar Algoritma , kebenaran dari algoritma serakah membutuhkan masalah untuk memiliki dua properti: properti pilihan serakah substruktur optimal Sangat mudah untuk menghasilkan contoh-contoh balasan yang solusi serakah gagal karena kurangnya properti pilihan serakah, misalnya masalah 0/1 ransel. Tetapi saya menemukan kemungkinan lain cukup sulit untuk dibayangkan. Adakah yang …

14 greedy-algorithms 

Saya mencari contoh hasil yang bertentangan dengan intuisi orang untuk pembicaraan khalayak umum. Hasil yang jika ditanyakan dari non-pakar "apa yang dikatakan intuisi Anda kepada Anda?", Hampir semua akan salah. Pernyataan hasil harus mudah dijelaskan kepada sarjana dalam cs / matematika. Saya terutama mencari hasil dalam ilmu komputer. Apa hasil …

14 big-list  teaching  intuition 

Satu dapat berbicara satu treewidth dari rangkaian Boolean, mendefinisikan sebagai treewidth dari "moralized" grafik pada kabel (simpul) yang diperoleh sebagai berikut: connect kabel dan setiap kali adalah output dari gerbang memiliki sebagai masukan (atau dan sebaliknya); sambungkan kabel dan setiap kali digunakan sebagai input ke gerbang yang sama. Sunting: satu …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Tampak bagi saya bahwa kebanyakan ahli teori kompleksitas umumnya percaya pada aturan filosofis berikut: Jika kita tidak tahu algoritma yang efisien untuk masalah , dan kita dapat mengurangi masalah A ke masalah B , maka ada mungkin tidak algoritma yang efisien untuk masalah B , baik.AAAAAABBBBBB Inilah sebabnya mengapa, misalnya, …

14 cc.complexity-theory  big-picture  reductions 

Sebagai seorang mahasiswa ilmu komputer, saya telah diperkenalkan dengan teori permainan, tetapi tidak melihat banyak detail pada subjek. Saya telah mencari di Google dan melihat beberapa buku tentang teori permainan dan mereka memberikan konfirmasi penggunaannya dalam ilmu komputer. Saya telah memulai studi formal teori permainan dari sudut pandang ekonom. Sekarang …

14 reference-request  gt.game-theory 

Saya bertanya-tanya bagaimana menemukan ketebalan grafik tidak berarah jarang. Maksud saya jarang . Maksud saya adalah kompleksitas waktu terendah.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Saya memikirkan beberapa modifikasi pada algoritma Tarjan untuk grafik tidak berarah, tetapi saya tidak menemukan hasil yang baik. Sebenarnya saya berpikir bahwa jika saya dapat menemukan 2 komponen yang terhubung di …

14 ds.algorithms  graph-theory  open-problem