Ilmu Komputer Teoritis

Sejak buku Chris Okasaki tahun 1998 "Struktur data murni fungsional", saya belum melihat terlalu banyak struktur data fungsional murni yang menarik muncul; Saya dapat menyebutkan beberapa saja: IntMap (juga ditemukan oleh Okasaki pada tahun 1998, tetapi tidak ada dalam buku itu) Pohon jari (dan generalisasi mereka atas monoids) Ada juga …

563 reference-request  big-list  ds.data-structures  functional-programming 

Pertanyaan ini (terinspirasi oleh) / (dicuri secara memalukan dari) pertanyaan serupa di MathOverflow , tapi saya berharap jawabannya di sini akan sangat berbeda. Kita semua memiliki makalah favorit dalam bidang teori masing-masing. Sekali-sekali, seseorang menemukan kertas yang sangat mencengangkan (mis. Penting, meyakinkan, sederhana, dan lain-lain) sehingga seseorang ingin membaginya dengan …

454 big-list  soft-question 

Paul Erdos berbicara tentang "Buku" di mana Tuhan menyimpan bukti paling elegan dari setiap teorema matematika. Ini bahkan mengilhami buku (yang saya percaya sekarang dalam edisi ke-4): Bukti dari Buku . Jika Tuhan memiliki buku yang serupa untuk algoritma, menurut Anda algoritma apa yang akan dijadikan kandidat? Jika memungkinkan, berikan …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

Untuk menunjukkan pentingnya algoritma (misalnya untuk mahasiswa dan profesor yang tidak melakukan teori atau bahkan dari bidang yang sama sekali berbeda) kadang-kadang berguna untuk siap memberikan daftar contoh di mana algoritma inti telah digunakan dalam komersial, pemerintahan, atau perangkat lunak / perangkat keras yang banyak digunakan. Saya mencari contoh seperti …

307 ds.algorithms  big-picture  application-of-theory 

Saya telah merevisi Teori Komputasi untuk bersenang-senang dan pertanyaan ini telah mengganggu saya untuk sementara waktu (lucu tidak pernah memikirkannya ketika saya belajar Teori Automata di sarjana saya). Jadi "mengapa" tepatnya kita mempelajari automata terbatas deterministik dan non-deterministik (DFA / NFA)? Jadi, inilah beberapa jawaban yang saya dapatkan setelah soliloquing …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Norbert Blum baru-baru ini diposting 38-halaman bukti bahwa P≠NPP≠NPP \ne NP . Apakah itu benar? Juga pada topik: di mana lagi (di internet) kebenarannya sedang dibahas? Catatan: fokus teks pertanyaan ini telah berubah seiring waktu. Lihat komentar pertanyaan untuk detailnya.

232 cc.complexity-theory  np-hardness  complexity-classes 

[ Garis Waktu ] Pertanyaan ini memiliki semangat yang sama tentang makalah apa yang harus dibaca semua orang dan video apa yang harus ditonton semua orang . Ia meminta buku-buku luar biasa di berbagai bidang ilmu komputer teoretis. Buku-buku itu bisa berorientasi matematika, tetapi Anda mungkin merasa hebat untuk seorang …

229 reference-request  soft-question  big-list  books 

Wikipedia hanya mencantumkan dua masalah di bawah "masalah yang tidak terpecahkan dalam ilmu komputer" : P = NP? Adanya fungsi satu arah Apa masalah besar lainnya yang harus ditambahkan ke daftar ini? Aturan: Hanya satu masalah per jawaban Berikan deskripsi singkat dan tautan apa pun yang relevan

218 big-list  open-problem 

Misalkan Mario sedang berjalan di permukaan sebuah planet. Jika dia mulai berjalan dari lokasi yang diketahui, ke arah yang tetap, untuk jarak yang telah ditentukan, seberapa cepat kita dapat menentukan di mana dia akan berhenti? PPPsssPPPvvvpppℓℓ\ellPPPPPP PPPsssvvvℓℓ\ell PPPO(1)O(1)O(1)ℓℓ\ellPPP (Dalam praktiknya, panjang jalur sebenarnya tidak terikat; ada batas atas global dalam …

140 ds.algorithms  cg.comp-geom 

Stanford University sekarang memiliki saluran Youtube , dengan akses gratis ke video HD kursus lengkap tentang apa saja, mulai dari sistem dinamis hingga keterikatan kuantum. Lebih banyak konferensi dan lokakarya merekam pembicaraan mereka. Apa video online yang menurut Anda harus diketahui semua orang? Saya akan menabur ini dengan beberapa jawaban …

140 soft-question  big-list 

Anjak dan grafik isomorfisme adalah masalah dalam NP yang tidak diketahui dalam P atau NP-Complete. Apa saja masalah alam lain (yang cukup berbeda) yang berbagi properti ini? Contoh buatan yang datang langsung dari bukti teorema Ladner tidak masuk hitungan. Apakah ada di antara contoh ini yang terbukti sebagai perantara-NP, dengan …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Setelah membaca pertanyaan Daniel Apon , saya mulai berpikir bahwa mungkin berguna (terutama bagi peneliti junior dan mahasiswa pascasarjana seperti saya) untuk mengajukan pertanyaan yang lebih luas dan lebih umum sehingga kita dapat belajar dari pengalaman peneliti yang lebih senior. Jadi inilah pertanyaannya: Praktik apa yang menurut Anda paling berguna …

118 soft-question  research-practice  advice-request 

Acak dua string dibentuk dengan memotong karakter ke string baru, menjaga karakter masing-masing string dalam urutan. Misalnya, MISSISSIPPIadalah shuffle dari MISIPPdan SSISI. Biarkan saya memanggil string kuadrat jika itu adalah shuffle dari dua string yang identik. Sebagai contoh, ABCABDCDadalah kuadrat, karena itu adalah shuffle dari ABCDdan ABCD, tetapi string ABCDDCBAtidak …

117 ds.algorithms  open-problem 

Ada beberapa pertanyaan dengan skema yang sama seperti ini: Makalah apa yang harus dibaca semua orang Buku apa yang harus dibaca semua orang Apa buku TCS terbaru yang konsepnya tersedia online video apa yang harus ditonton semua orang Saya enggan mengirim satu lagi, tetapi catatan kuliah tentang algoritma Jeff Erickson …

113 reference-request  soft-question  big-list 

Ilmu komputer teoretis telah memberikan beberapa contoh "harga abstraksi." Dua yang paling menonjol adalah untuk eliminasi Gaussian dan sortasi. Yaitu: Diketahui bahwa eliminasi Gaussian optimal untuk, katakanlah, menghitung determinan jika Anda membatasi operasi pada baris dan kolom secara keseluruhan [1]. Algoritma Strassen jelas tidak mematuhi batasan itu, dan secara asimptotik …

112 ds.algorithms  reference-request  big-list  lower-bounds