Ilmu Komputer Teoritis

60
Aplikasi TCS untuk matematika klasik?

Kami di TCS sering menggunakan hasil dan gagasan yang kuat dari matematika klasik (aljabar, topologi, analisis, geometri, dll.). Apa saja contoh ketika itu telah terjadi sebaliknya? Berikut adalah beberapa yang saya ketahui (dan juga untuk memberikan rasa dari jenis hasil yang saya...

59
Cara menembak bukti Anda

Apa pedoman umum untuk memeriksa bukti Anda? Saya percaya ini penting bagi mahasiswa pascasarjana seperti saya. Saya sudah tahu apa yang perlu kita lakukan untuk membuktikan sesuatu, tetapi Anda harus selalu memeriksa semuanya sebelum mengirimkannya. Bahkan kepada penasihat Anda sendiri. Saya...

59
Cara mendapatkan pekerjaan

Saya baru di situs ini. Pada mathoverflow ini adalah wiki komunitas, tapi saya tidak melihat cara mengaturnya di sini. Bukan pertanyaan penelitian, tapi semoga menarik bagi para ilmuwan komputer teoretis profesional. Saya seorang mahasiswa tahun ke-2 dalam teori, dan saya bertanya-tanya apa saran...

58
Buka masalah di perbatasan TCS

Di utas Masalah utama yang belum terpecahkan dalam ilmu komputer teoritis? , Iddo Tzameret membuat komentar luar biasa berikut: Saya pikir kita harus membedakan antara masalah terbuka utama yang dipandang sebagai masalah mendasar, seperti , dan masalah terbuka utama yang akan menjadi terobosan...

58
Buka jurnal akses

Dengan munculnya internet (dan akal sehat) ada semakin banyak permintaan untuk penelitian akses terbuka. Beberapa peneliti (termasuk saya) merasa frustasi karena artikel-artikel penelitian yang diterbitkan oleh rekan sejawat berada di belakang paywalls. Saya mencari jurnal dan konferensi (terkait...

56
Alasan menyeluruh mengapa masalah ada di P atau BPP

Baru-baru ini, ketika berbicara dengan seorang ahli fisika, saya menyatakan bahwa dalam pengalaman saya, ketika masalah yang secara naif sepertinya membutuhkan waktu eksponensial ternyata secara nontrivial berada di P atau BPP, "alasan menyeluruh" mengapa pengurangan terjadi biasanya dapat...