Pertanyaan lunak adalah pertanyaan (mungkin subyektif) tentang bidang ilmu komputer teoretis yang bertentangan dengan pertanyaan dalam ilmu komputer teoretis.
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...
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...
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...
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...
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...
Saya hanya membaca di lambda calculus untuk "mengenalnya". Saya melihatnya sebagai bentuk komputasi alternatif sebagai lawan dari Mesin Turing. Ini adalah cara menarik untuk melakukan sesuatu dengan fungsi / reduksi (secara kasar). Beberapa pertanyaan terus mengganggu saya: Apa gunanya kalkulus...
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...
Saat ini saya seorang mahasiswa sarjana, yang akan lulus tahun ini. Setelah lulus, saya sedang mempertimbangkan untuk bekerja menuju master / PhD TCS. Saya mulai bertanya-tanya bidang matematika apa yang dianggap membantu TCS, khususnya teori kompleksitas (klasik). Bidang apa yang menurut Anda...
Pertanyaan ini mungkin tidak cocok untuk di sini, tetapi saya tidak dapat menemukan tempat yang lebih baik untuk bertanya (ditutup di SO). Saya menemukan makalah penelitian tentang ilmu komputer sulit dimengerti. Tentu saja subjeknya rumit. Tapi setelah saya mengerti makalah biasanya saya bisa...
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"...
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...
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...
Selama bertahun-tahun saya telah terbiasa melihat banyak teorema TCS terbukti menggunakan analisis Fourier diskrit. Transformasi Walsh-Fourier (Hadamard) berguna di hampir setiap subbidang TCS, termasuk pengujian properti, pseudorandomness, kompleksitas komunikasi, dan komputasi kuantum. Sementara...
Pertanyaan ini adalah sesuatu yang sudah lama saya tanyakan. Ketika orang menggambarkan masalah P vs NP, mereka sering membandingkan NP kelas dengan kreativitas. Mereka mencatat bahwa menyusun simfoni kualitas Mozart (analog dengan tugas NP) tampaknya jauh lebih sulit daripada memverifikasi bahwa...
Apa pedoman umum untuk memeriksa bukti Anda? Saya percaya ini penting bagi mahasiswa pascasarjana seperti saya. Saya sudah tahu apa yang perlu kita lakukan untuk membuktikan sesuatu, tetapi Anda harus selalu memeriksa semuanya sebelum mengirimkannya. Bahkan kepada penasihat Anda sendiri. Saya...
Saya baru di situs ini. Pada mathoverflow ini adalah wiki komunitas, tapi saya tidak melihat cara mengaturnya di sini. Bukan pertanyaan penelitian, tapi semoga menarik bagi para ilmuwan komputer teoretis profesional. Saya seorang mahasiswa tahun ke-2 dalam teori, dan saya bertanya-tanya apa saran...
Setelah mempelajari deterministic finite state automata (DFA) di tingkat sarjana, saya merasa mereka sangat dipahami. Pertanyaan saya adalah apakah ada sesuatu yang masih belum kita mengerti tentang mereka. Maksud saya bukan generalisasi DFA tetapi DFA asli yang tidak dimodifikasi yang kami...