Kita sering mendengar tentang penelitian klasik dan publikasi di bidang kompleksitas komputasi (Turing, Cook, Karp, Hartmanis, Razborov dll). Saya bertanya-tanya apakah ada makalah yang diterbitkan baru-baru ini dianggap mani dan harus dibaca. Maksud saya baru-baru ini dalam 5/10 tahun...
Mark Dominus mengumpulkan beberapa contoh pengurangan polinomial-waktu dari berbagai masalah NP-hard untuk pencocokan "ekspresi reguler" . Membayangkan verifikasi polinomial-waktu bukanlah lompatan besar. Bagaimana Anda menggambarkan NP-lengkap kelas untuk sarjana atau teman-teman di bidang lain...
Sementara saya telah lulus beberapa mata kuliah tentang teori probabilitas, baik di sekolah menengah dan universitas, saya kesulitan membaca makalah TCS ketika datang ke probabilitas. Tampaknya para penulis makalah TCS sangat mengenal probabilitas. Mereka secara ajaib bekerja dengan rumus...
Dalam makalah The Random Oracle Hypothesis Is False , penulis (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan, dan Rohatgi) membahas implikasi dari hipotesis oracle acak . Mereka berpendapat bahwa kita tahu sedikit tentang pemisahan antara kelas kompleksitas, dan sebagian besar hasil melibatkan...
Pertanyaan ini adalah tentang masalah yang ada celah kompleksitas terbuka yang besar antara batas bawah yang diketahui dan batas atas, tetapi bukan karena masalah terbuka pada kelas kompleksitas itu sendiri. Untuk lebih tepatnya, katakanlah masalah memiliki kelas gap A,BA,BA,B (dengan...
Ada banyak masalah NP-selesai di sekitar dan sumber mengumpulkan mereka, misalnya lihat buku oleh Garey dan Johnson. Saya akan tertarik untuk melihat daftar masalah lengkap NEXP juga. Apakah ada satu tersedia? Karena saya anggap tidak ada, saya membuka pertanyaan ini (apakah ini seharusnya...
Beberapa paradoks matematika dan logika bisa secara otomatis diterapkan pada komputer, tetapi apakah ada paradoks yang ditemukan dalam ilmu komputer itu sendiri? Maksud saya, berlawanan dengan hasil intuitif yang terlihat seperti
Richard J. Lipton telah terpilih sebagai pemenang Hadiah Knuth 2014 "untuk Pengenalan Gagasan dan Teknik Baru". Menurut Anda, apa ide dan teknik baru utama yang dikembangkan Lipton? Catatan. Pertanyaan ini akan menjadi wiki komunitas, harap cantumkan satu ide, teknik, atau hasil per...
Baru-baru ini, seorang teman saya (bekerja di TCS) menyebutkan dalam sebuah percakapan bahwa "dia ingin melihat / mengetahui semua (atau sebanyak mungkin) hasil indah di TCS dalam hidupnya". Jenis ini membuat saya bertanya-tanya tentang hasil yang indah di bidang ini dan karenanya motivasi untuk...
Salah satu hal yang menyenangkan tentang berevolusi di alam semesta dengan tiga dimensi spasial adalah bahwa kita telah mengembangkan keterampilan pemecahan masalah yang berkaitan dengan objek di ruang angkasa. Jadi, misalnya, kita dapat menganggap triplet angka sebagai titik dalam 3-d dan...
Saya tertarik pada contoh masalah di mana teorema yang tampaknya tidak ada hubungannya dengan mekanika kuantum / informasi (misalnya menyatakan sesuatu tentang benda-benda klasik murni) tetap dapat dibuktikan menggunakan alat kuantum. Sebuah survei Bukti Kuantum untuk Teorema Klasik (A. Drucker, R....
Saya adalah seorang ilmuwan komputer yang mengambil kursus tentang Topologi (taburan topologi set-point yang penuh dengan teori kontinum). Saya menjadi tertarik pada masalah keputusan yang menguji deskripsi ruang (secara sederhana) untuk properti topologi; yang dipertahankan hingga...
Sunting: Saya memilih jawaban dengan skor tertinggi pada 06 Desember 2012. Ini pertanyaan lembut. Konsep algoritma (deterministik) kembali ke SM. Bagaimana dengan algoritma probabilistik? Dalam entri wiki ini , algoritma Rabin untuk masalah pasangan terdekat dalam geometri komputasi diberikan...
Anda mungkin sering menemukan metode cutting plane, propagasi variabel, cabang dan terikat, pembelajaran klausa, backtracking cerdas atau bahkan heuristik manusia yang dirajut tangan dalam solver SAT. Namun selama beberapa dekade solver SAT terbaik sangat bergantung pada teknik bukti resolusi dan...
Ini adalah pertanyaan pertama saya di stack cstheory, jadi jangan terlalu kasar jika saya entah bagaimana melanggar etika) Seperti yang kita ketahui, dalam matematika bahkan ahli matematika terkenal, superstar dan genius melakukan kesalahan serius dari waktu ke waktu. Sebagai contoh, teorema...
Topik TCS yang hilang di Wikipedia mana yang paling Anda sukai untuk dijadikan artikel? Mereka bisa kelalaian mencolok atau hanya topik yang menurut Anda harus memiliki artikel. Tolong, satu topik per jawaban sehingga yang paling dicari dapat dipilih. Pembaruan 5/2/2017 : Shuchi Chawla memimpin...
Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti
Saya akan menghadiri konferensi ilmu komputer pertama saya dan setelah membaca saran tentang cara meningkatkan konferensi, saya perhatikan beberapa saran tentang mahasiswa pascasarjana yang menghadiri konferensi pertama mereka. Apa nasihat yang Anda miliki untuk seorang mahasiswa pascasarjana yang...
Ada reputasi, bahwa dalam ilmu komputer, kita tidak memiliki buku-buku sains populer. Tentu saja itu tidak sepenuhnya benar! (Dalam semangat yang sama dari daftar Apa Books Haruskah Semua orang Baca? , Apa kertas yang harus semua orang membaca? , Apa video harus semua orang menonton? Dan...
Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format tanya jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengumpulkan debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa