Pertanyaan yang diberi tag «big-list»

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 probabilitas dan membuktikan teorema dengan sangat mudah; sementara saya harus bekerja …

32 reference-request  big-list  pr.probability  books 

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 merupakan komunitas wiki? Saya tidak tahu tentang …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

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 jawaban.

30 big-list 

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 kontradiksi.

30 big-list 

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 pertanyaan berikut: Menurut Anda, hasil (atau …

29 soft-question  big-list 

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 karenanya perhitungan tentang triplet angka sebagai perhitungan tentang titik …

28 big-list  cg.comp-geom  big-picture 

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 sebagai algoritma acak pertama (tahun ???). Lipton memperkenalkan algoritma Rabin sebagai …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

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. Wolf) memberikan daftar masalah yang bagus, tetapi tentu saja …

27 quantum-computing  big-list  proofs 

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 homeomorfisme. Diketahui, misalnya, bahwa menentukan genus suatu simpul adalah dalam PSPACE dan NP-Hard. (Agol …

27 cc.complexity-theory  big-list  topology 

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 menggunakan kombinasi hal-hal lain hanya untuk bantuan dan untuk mengarahkan …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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 upaya untuk meningkatkan cakupan TCS di …

26 soft-question  big-list  survey 

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 4-warna dan teorema Fermat memberi kita kasus dramatis tentang …

26 soft-question  big-list 

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 menghadiri konferensi pertamanya dan apa yang seharusnya menjadi fokusnya.

25 soft-question  big-list  conferences 

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 itu?

25 cc.complexity-theory  reference-request  big-list 

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 terinspirasi dari favorit buku …

24 big-list  books