Saya berada di tahun kedua saya di MSc yang tidak berhubungan terlalu banyak dengan TCS meskipun saya berharap itu akan terjadi. Ini pada dasarnya tentang teori kontrol, sinyal dan sistem dan saya mengambil kelas dalam sistem canggih (kuat, nonlinier, optimal, stokastik), pemrosesan sinyal canggih...
Saya seorang mahasiswa pascasarjana tahun ketiga di universitas "top-20" yang bekerja pada kompleksitas berbutir halus (banyak bermain dengan 3-SUM, OV dan dugaan kekerasan populer yang biasa). Saya telah cukup produktif selama sekitar setahun terakhir dan telah menerima 3 makalah dan dua makalah...
Mohon maaf sebelumnya untuk pertanyaan lembut yang tidak memiliki jawaban yang benar dan tertutup. Ini mungkin forum terbaik untuk menanyakan pertanyaan saya. Saya seorang mahasiswa tahun ketiga dalam kelompok teori sekolah top-15 di AS. Sejauh ini, saya telah melakukan dengan baik. Saya memiliki...
Saya bukan ilmuwan komputer teoretis. Saya seorang ahli teori homotopy yang stabil menggunakan -kategori. Saya telah melihat aplikasi teori kategori dan teori topos untuk ilmu komputer teoretis, dan saya bertanya-tanya apakah ada cara seseorang dapat menggunakan ∞ -kategori (dan lebih disukai bagi...
Saya sudah mencoba untuk membungkus kepala saya di sekitar apa, mengapa dan bagaimana -kalkulus tapi saya tidak bisa memahami "mengapa itu bekerja"?λλ\lambda "Secara Intuitif" Saya mendapatkan model komputer Turing Machines (TM). Tapi -straksi ini membuat saya bingung.λλ\lambda Mari kita...
Saya telah mengembangkan algoritma SAT untuk sementara waktu, dan telah mencapai titik di mana saya ingin membagikannya. Saya tidak tahu banyak orang di bidang ilmu komputer, dan saya tidak yakin persis ke mana harus berpaling. Saya bertanya-tanya sumber daya apa yang tersedia untuk seseorang...
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...
Saya baru saja memulai kursus master saya. Semester terakhir saya mengambil kursus dari berbagai disiplin ilmu seperti jaringan, rekayasa perangkat lunak, arsitektur, dll. Baru-baru ini, setelah mengambil kursus lanjutan dalam algoritma dan struktur data, saya pikir saya menemukan kursus yang...
Apa perbedaan memanggil -calculus sebagai aljabar dan bukannya kalkulus? Saya mengajukan pertanyaan ini karena saya membaca suatu baris " -calculus bukan kalkulus tetapi aljabar" (iirc, dikaitkan dengan Dana Scott). Apa intinya? Terima
Dalam sebuah makalah konferensi, untuk membuktikan -completeness dari masalah, saya menulis kalimat bodoh "Jelas bahwa masalahnya adalah di N P . Jadi kita akan membuktikan bahwa itu adalah N P -Hard". Bahkan, tidak jelas sama sekali. Bahkan tampaknya menjadi masalah terbuka. Untuk pemirsa yang...
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...
Pada cs.stackexchange saya bertanya tentang perpustakaan scala algebird di github, berspekulasi tentang mengapa mereka mungkin membutuhkan paket aljabar abstrak. Halaman github memiliki beberapa petunjuk: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom,...
Sementara aturan praktisnya adalah bahwa dalam makalah TCS penulis diperintahkan berdasarkan abjad, ada beberapa contoh tandingan yang muncul di benak, di mana penulis diperintahkan dengan cara yang berbeda, misalnya, Metode Aljabar untuk Sistem Bukti Interaktif [Lund, Fortnow, Karloff,...
Di masa lalu, jurnal adalah cara utama penemuan ilmiah / matematika disebarluaskan dan diperiksa. Di beberapa daerah, masih ada. Namun, dalam ilmu komputer (teoretis) peran itu hampir seluruhnya dilakukan oleh konferensi dan diseminasi berbasis web yang terbuka (misalnya homepage arxiv atau...
Saya mencoba memahami apa yang terlibat dalam penelitian ilmu komputer teoretis. Apa yang dilakukan ilmuwan komputer teoretis? Saya tahu waktu yang signifikan dihabiskan untuk mengajar, mengawasi mahasiswa pascasarjana, melamar pendanaan, dan tugas departemen. Mengesampingkan mereka bagaimana Anda...
Saya seorang mahasiswa pascasarjana dalam ilmu komputer teoretis, dan khususnya, algoritma perkiraan. Sekarang saya menemukan bahwa saya lebih tertarik pada matematika murni (saya dapat mengatakan ini karena saya tampaknya lebih menikmati kursus matematika daripada kursus CS). Saya ingin bertanya...
Ada teori grafik algoritmik / teori bilangan / kombinatorik / teori informasi / teori permainan. Apakah ada analisis matematis algoritmik? Menurut wiki, analisis matematis mencakup teori diferensiasi, integrasi, ukuran, batas, deret tak hingga, dan fungsi analitik. Tidak masalah untuk fokus...
Hai Semua, Saya saat ini mencoba untuk menemukan topik tesis master yang solid yang berkaitan dengan beberapa cabang teori automata atau terkait dengan bahasa formal. Saya mencoba untuk menghasilkan beberapa ide bagus untuk topik yang dapat diterima, sesuatu yang ambisius tetapi sesuatu yang bisa...
Saya seorang programmer profesional otodidak. Saya cukup pandai (Ruby, Unix, Clojure, Java, Objective-C), tapi sekarang saya berpikir untuk membawanya ke tingkat berikutnya dengan mungkin mendaftar untuk program master atau PhD di CS. Topik apa dalam matematika yang harus saya pelajari untuk...
Saya telah tertarik pada berbagai topik seperti Combinatory Logic, Lambda Calculus, Functional Programming untuk sementara waktu dan telah mempelajarinya. Namun, tidak seperti "Theory of Computation" yang berusaha menjawab pertanyaan "computability" yaitu, hal-hal yang dapat / tidak dapat dihitung...