Apa jenis dugaan dan masalah terbuka utama yang paling penting dalam teori permainan algoritmik (atau teori permainan secara umum yang berkaitan dengan CS)? Sebagai contoh, resolusi NASH sebagai PPAD-lengkap akan, saya pikir, telah menjadi yang terbesar hingga diselesaikan. (Ditambahkan:...
Apakah hasil diketahui yang mengesampingkan keberadaan struktur data "terlalu-baik-untuk-menjadi-benar"? Misalnya: dapatkah seseorang menambahkan fungsi dan J o i n ke dalam struktur data pemeliharaan pesanan (lihat Dietz dan Sleator STOC '87 ) dan masih mendapatkan operasi waktu O ( 1 ) ?Sp l i...
Saya memulai PhD saya musim gugur ini dan saya berencana untuk bekerja dalam teori kompleksitas untuk tesis saya. Saya menyusun daftar makalah penting yang harus diketahui oleh setiap ahli teori kompleksitas. Makalah apa yang akan Anda sarankan untuk orang seperti saya? Dan tolong jelaskan secara...
Saya mencari di internet, tetapi saya tidak dapat menemukan 'daftar besar' varian masalah SAT. Terlepas dari (umum) DUDUK, k-SAT, MAX-kSAT, Setengah SAT, XOR-SAT, NAE-SAT varian apa lagi yang ada? (juga akan sangat berguna jika ada kelas kompleksitas diberikan (jika
Saya mencari contoh hasil yang bertentangan dengan intuisi orang untuk pembicaraan khalayak umum. Hasil yang jika ditanyakan dari non-pakar "apa yang dikatakan intuisi Anda kepada Anda?", Hampir semua akan salah. Pernyataan hasil harus mudah dijelaskan kepada sarjana dalam cs / matematika. Saya...
Setelah diskusi tentang batas bawah untuk 3SAT [ 1 ], saya bertanya-tanya apa hasil batas bawah utama yang dirumuskan sebagai pertukaran ruang-waktu. Saya mengecualikan hasil seperti, katakanlah, teorema Savitch; entri yang bagus akan fokus pada satu masalah dan batasannya. Contohnya...
Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di
Untuk merayakan ulang tahun ke-100 Alan Turing, saya ingin menonton film dokumenter tentang hidupnya. Namun, ada beberapa film dokumenter untuk dipilih. Film dokumenter apa tentang Alan Turing yang menjadi favorit Anda? Harap sertakan hanya satu film dokumenter per
Apakah ada buku terbaru tentang Algoritma Online? Saya tahu hanya dua buku tentang masalah ini. Perhitungan Online dan Analisis Kompetitif oleh Allan Borodin dan Ran El-Yaniv: Ini adalah buku klasik tapi lama, dan tidak mengandung banyak kemajuan terbaru di bidang ini. Desain Algoritma Online...
Misalkan Anda bertemu dengan programmer yang telah mengambil beberapa program pemrograman profesional (/ saya pikir sendiri) tetapi tidak belajar matematika tingkat universitas. Untuk menunjukkan kepada mereka keindahan TCS, saya ingin mengumpulkan beberapa hasil bagus / pertanyaan terbuka yang...
Algoritma apa yang bermanfaat yang ada di sana yang bekerja pada aliran data besar dan juga hasilnya cukup kecil dan satu dapat menghitung hasilnya untuk campuran dua aliran dengan entah bagaimana menggabungkan hasil mereka? Saya dapat menyebutkan beberapa: Hal-hal yang jelas seperti jumlah,...
Apa masalah dengan properti berikut: 1) mereka adalah pembatasan (mungkin diketahui) masalah yang PSPACE-complete; 2) versi terbatasnya ada di PSPACE, tetapi ini merupakan masalah terbuka jika mereka PSPACE-complete (atau bahkan jika mereka NP-hard). Empat contoh dari "puzzle &...
Saya mencari daftar tentang kompleksitas yang diketahui atau tidak diketahui dari berbagai masalah teori / aljabar. Sebagai contoh, GCD di terbuka,NC1NC1NC^1 anjak piutang dalam terbuka,PPP komputasi berkas cohomology yaitu -Hard# P#P\#P , Arora dan Barak menyatakan bahwa varian anjak piutang...
Apa saja (tidak terkenal) pernyataan bahwa jika benar, PH harus runtuh? Balasan yang berisi pernyataan tingkat tinggi pendek dengan referensi dihargai. Saya mencoba mencari balik tanpa banyak
Saya seorang siswa CS. Kami melakukan teori grafik dalam satu saja. Saya menemukan itu menarik. Apa aplikasi nyata dari teori grafik di bidang ilmu komputer? Sebagai contoh, saya menemukan bahwa beberapa konsep dalam teori grafik dapat digunakan untuk merancang jaringan. Apa aplikasi serupa...
Semua museum dan pameran yang terkait dengan komputer yang saya sadari tampaknya hanya mencakup sejarah mesin komputasi, tetapi tidak membahas topik-topik ilmu komputer. Anda terlibat dalam pembuatan Museum Komputasi baru, disewa untuk mendidik, menghibur, dan menginspirasi masyarakat umum dalam...
Algoritme pendekatan dapat memberikan output hingga beberapa faktor konstan. Ini sedikit kurang memuaskan daripada algoritma yang tepat. Namun, faktor konstan diabaikan dalam kompleksitas waktu. Jadi saya bertanya-tanya apakah trik berikut ini mungkin atau digunakan, untuk menyelesaikan beberapa...
Pada tahun 1996, masalah terbuka lama diselesaikan oleh komputer; yaitu, bahwa aljabar Robbins dan aljabar Boolean adalah sama. Buktinya ditemukan oleh teorema teorema otomatis. Selain itu, bukti teorema Four color yang diketahui mengandung komponen yang dihasilkan komputer. Tujuan dari...
Saya mencari masalah NP-hard sangat untuk pengurangan. Sejauh ini saya telah menemukan masalah berikut: Masalah 3-partisi masalah bin-packing Pencocokan numerik 3 dimensi TSP Setiap masalah NP-lengkap tanpa data numerik, misalnya, KEPUASAN, SIKLUS HAMILTONIAN, 3-KOLABURITAS. Apakah ada yang...
Saya bertanya-tanya apa daftar masalah komputasi alami saat ini yang tidak diketahui keunggulan kerumitannya dalam menggunakan komputer kuantum. Untuk memulai, saya pikir perhitungan jarak sunting adalah salah satu yang paling cepat dikenal sebagai algoritma kuantum yang paling dikenal klasik....