Pertanyaan yang diberi tag «big-list»

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 

[ 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 

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 

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 

Setelah posting Apa Buku Yang Harus Dibaca Semua Orang , saya perhatikan ada buku-buku terbaru yang draftnya tersedia online. Sebagai contoh, entri Algoritma Approximation dari posting di atas mengutip sebuah buku 2011 (belum dipublikasikan) berjudul Desain algoritma pendekatan . Saya pikir mengetahui karya terbaru sangat berguna bagi siapa pun yang …

99 reference-request  big-list  books 

Saya ingin meminta bantuan dalam menyusun daftar sebanyak mungkin konferensi dan lokakarya terkait TCS. Motivasi utama saya untuk melakukan ini adalah merencanakan kemungkinan peliputan blog dari lebih banyak tempat teori - menemukan koresponden yang menghadiri acara-acara ini yang bersedia menulis entri blog singkat atau mendalam tentang acara yang mereka hadiri. …

90 soft-question  big-list  conferences 

Apa karya terbitan terkait TCS terlucu yang Anda tahu? Harap sertakan hanya yang dimaksudkan untuk menjadi lucu. Karya-karya yang secara eksplisit dibuat untuk menjadi humor cerdas (daripada, katakanlah, kumpulan lelucon singkat tentang teori kompleksitas) lebih disukai. Karya dengan judul lucu (sebenarnya lucu, tidak hanya lucu) juga diterima. Harap hanya satu …

80 reference-request  soft-question  big-list 

Harap sebutkan contoh-contoh di mana teorema dari matematika yang biasanya tidak dianggap berlaku dalam ilmu komputer pertama kali digunakan untuk membuktikan hasil dalam ilmu komputer. Contoh terbaik adalah mereka yang hubungannya tidak jelas, tetapi begitu ditemukan, itu jelas "cara yang tepat" untuk melakukannya. Ini adalah arah yang berlawanan dari pertanyaan …

74 reference-request  soft-question  big-list  topology 

Apa saja beberapa algoritma utilitas yang sah yang terlalu rumit untuk diterapkan? Biarkan saya menjadi jelas: Saya tidak mencari algoritma seperti algoritma multiplikasi matriks optimal asimptotik saat ini (Coppersmith-Winograd), yang masuk akal untuk diimplementasikan tetapi memiliki konstanta yang membuatnya tidak berguna dalam praktiknya. Saya mencari algoritma yang mungkin memiliki nilai …

67 ds.algorithms  ds.data-structures  big-list  implementation 

Saya seorang praktisi perangkat lunak dan saya sedang menulis survei tentang struktur aljabar untuk penelitian pribadi dan saya sedang mencoba untuk menghasilkan contoh bagaimana struktur ini digunakan dalam ilmu komputer teoretis (dan pada tingkat yang lebih rendah, sub-bidang ilmu komputer lainnya) . Dalam teori grup, saya menemukan monoid sintaksis untuk …

67 reference-request  big-list  big-picture  algebra