Pertanyaan yang jawabannya adalah daftar besar item (buku, teorema, perangkat lunak, ...)
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...
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...
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...
[ 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...
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...
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...
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...
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...
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...
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...
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...
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...
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"...
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...
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...
Berasal dari latar belakang yang lebih matematis, saya tidak pernah benar-benar belajar cara membuat kode. Saya memulai PhD di TCS dan banyak orang terkejut dengan betapa sedikit yang saya ketahui tentang pemrograman (dan tentang komputer pada umumnya). Saya dapat menulis algoritma dalam...
EDIT AT 10/12/08: Saya akan mencoba mengubah pertanyaan sehingga menarik minat lebih banyak orang untuk berbagi pendapat. Kami MEMBUTUHKAN kontribusi Anda! Posting ini terinspirasi oleh yang ada di MO: Contoh keyakinan salah yang umum dalam matematika . Daftar besar kadang-kadang menghasilkan...
Diperbarui di bawah Kita semua tahu betapa pentingnya peer-review. Ini adalah bentuk utama dari kontrol kualitas dan umpan balik pada penelitian. Namun, bagi peneliti tahap awal (seperti saya), kadang-kadang bisa menjadi sistem / proses yang membingungkan. Oleh karena itu, ada beberapa risalah...
Seringkali, ketika kita mengambil bagian dalam konferensi TCS, kita melihat beberapa detail kecil yang kita harapkan dari penyelenggara konferensi. Dan ketika kita menyelenggarakan konferensi, kita sudah melupakannya. Karena itu pertanyaannya: Langkah kecil apa yang bisa kita ambil dengan mudah...
Saya mencari contoh masalah dengan parametrized oleh angka k∈Nk∈Nk \in \mathbb{N} , di mana kekerasan masalahnya non-monotonik dalam kkk . Sebagian besar masalah (dalam pengalaman saya) memiliki transisi fase tunggal, misalnya kkk -SAT memiliki transisi fase tunggal dari k∈{1,2}k∈{1,2}k \in \{1,2\}...