Saya mencari buku tentang struktur data tingkat lanjut yang melampaui apa yang dicakup dalam buku teks standar seperti Cormen, Leiserson, Rivest, dan "Pengantar Algoritma" Stein. Sebuah buku yang dapat digunakan untuk mengajar kursus tingkat pascasarjana tentang struktur data tingkat lanjut...
Ada banyak aplikasi analisis nyata dalam ilmu komputer teoretis, yang mencakup pengujian properti, kompleksitas komunikasi, pembelajaran PAC, dan banyak bidang penelitian lainnya. Namun, saya tidak dapat memikirkan hasil apa pun dalam TCS yang mengandalkan analisis kompleks (di luar komputasi...
Dari apa yang saya mengerti (yang sangat sedikit, jadi tolong perbaiki saya di mana saya salah!), Teori bahasa pemrograman sering berkaitan dengan bukti "intuitionistic". Dalam interpretasi saya sendiri, pendekatan itu menuntut kita untuk menganggap serius konsekuensi perhitungan logika dan...
Mari kita lihat masa depan sekitar 30 tahun dari sekarang. Mari kita optimis dan berasumsi bahwa bidang yang terkait dengan pembelajaran mesin terus berkembang secepat apa yang telah kita lihat dalam 10 tahun terakhir. Itu akan bagus, tetapi kemudian apa yang akan menjadi peran algoritma...
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
Saya bertanya-tanya alat apa yang digunakan orang di bidang ini (ilmu komputer teoretis) untuk membuat presentasi. Karena banyak ilmu komputer tidak hanya menulis makalah tetapi juga memberikan presentasi saya pikir ini akan menjadi pertanyaan lunak yang penting. Ini terinspirasi oleh pertanyaan...
Saya baru-baru ini mendapatkan makalah saya ditolak dari jurnal (yaitu, TALG) atas dasar tidak memiliki perbedaan yang signifikan antara versi jurnal dan prosiding (yaitu, SODA). Alasan utama saya mengirimkan jurnal adalah proses peninjauannya yang menyeluruh. Selain itu, batas 20 halaman SODA...
Saya mengalami kesulitan mengajarkan konsep fungsi yang dapat dihitung. Saya mencoba mengembangkan ide mengapa para peneliti seperti Hilbert / Ackermann / Godel / Turing / Church / ... menciptakan gagasan 'kemampuan komputasi'. Para siswa segera bertanya: "apa artinya komputasi?" dan saya tidak...
Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational...
Ini tentang seberapa efektif kita dapat mengekspresikan suatu algoritma. Saya membutuhkan ini untuk pengajaran sarjana saya. Saya mengerti tidak ada yang namanya cara standar untuk menulis kode semu. Penulis yang berbeda mengikuti konvensi yang berbeda. Akan sangat membantu jika orang-orang di...
Saya akan mengajar kelas sarjana standar tentang bahasa dan automata semester depan, dan lebih suka menggunakan teks gratis atau berbiaya rendah yang sah. Ada saran? Saya suka teks Sipser tetapi edisi terbaru harganya $ 196, yang sulit dikatakan dengan wajah lurus di zaman kursus...
Ketika menyusun hasil, sering diinginkan untuk memiliki beberapa diagram yang terlihat profesional, daripada diagram yang disatukan dalam MS Paint. Apa standar untuk menggambar struktur
Saya menulis makalah dalam ilmu komputer teoritis kadang-kadang menjadi penulis tunggal nonanonim. Sebelumnya, saya menggunakan orang pertama jamak dalam makalah tersebut, misalnya: Kami akan menunjukkan bahwa kompleksitas kelas X dan Y bersamaan. Saya bukan penutur bahasa Inggris asli atau...
Saya seorang sarjana, dan baru-baru ini menerima kenyataan bahwa saya mungkin tidak memiliki kecerdasan untuk melakukan penelitian dalam ilmu komputer teoretis, atau dapat diterima dan menyelesaikan program PhD. Namun, saya masih ingin terlibat dengan ilmu komputer teoretis karena menurut saya ini...
Sebagian besar makalah sekarang ditulis secara kolaboratif, dan kolaborator sering berada di tempat yang berbeda. Saya selalu menggunakan sistem kontrol versi untuk dokumen dan kode saya, dan juga menemukan kontrol versi penting untuk proyek perangkat lunak kolaboratif, tetapi tampaknya banyak...
Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di...
Pertanyaan ini mirip dengan pertanyaan yang lebih umum tentang apa model teoritis yang tepat dari komputer untuk merancang algoritma dan struktur data. Di sini, saya bertanya secara khusus tentang komputer berkinerja tinggi saat ini (seperti yang terdaftar sebagai Top 500 ) atau bahkan tentang...
Pertanyaan teori permainan baru-baru ini membuat saya berpikir (ini bersinggungan, tentu saja): Apakah mungkin untuk secara efisien mengoptimalkan strategi pribadi untuk memilih pertanyaan penelitian untuk dikerjakan menggunakan teori permainan? Untuk menuju formalisasi pertanyaan, saya akan...
Saya memiliki pendidikan matematika tingkat sarjana yang masuk akal, tetapi tidak pernah 100% nyaman dengan aljabar abstrak (matematika kelompok, cincin, bidang, dll.). Saya pikir ini sebagian karena saya perlu melihat aplikasi dan semua yang saya temukan adalah dalam fisika, bukan CS. Karena minat...
Apa sumber daya terbaik untuk menemukan posting pekerjaan untuk posisi fakultas dalam teori CS? Apakah ada satu situs web atau milis yang cukup komprehensif? Saat ini saya memiliki kesan bahwa seseorang harus menggunakan berbagai sumber daya untuk mendapatkan daftar pekerjaan yang komprehensif di...