Saya selalu tertarik dengan kurangnya bukti numerik dari matematika eksperimental untuk atau menentang pertanyaan P vs NP. Sementara Hipotesis Riemann memiliki beberapa bukti pendukung dari verifikasi numerik, saya tidak mengetahui bukti serupa untuk pertanyaan P vs NP. Selain itu, saya tidak...
Saya seorang mahasiswa pascasarjana dalam matematika, dan ilmu komputer teoretis adalah domain yang saya tidak pernah mengerti tentang apa itu karena saya tidak dapat menemukan bacaan yang baik tentang topik tersebut. Saya ingin tahu apa sebenarnya domain ini, topik apa yang terkait, prasyarat apa...
Pertanyaan saya adalah pertanyaan umum: Bagaimana saya mulai berpikir dalam hal Algoritma Desain dan Kompleksitas? Saya akan mengambil Program Pascasarjana dalam Desain Algoritma. Saya telah mendaftar sebelumnya tetapi kemudian membatalkannya karena saya tidak bisa mengikutinya. Saya harus...
Dari sudut pandang matematika / komputasi murni abstrak, (bagaimana) seseorang dapat menemukan atau alasan tentang masalah seperti 3-SAT, Subset Sum, Travelling Salesman dll.,? Apakah kita bahkan dapat menalarinya dengan cara yang bermakna hanya dengan sudut pandang fungsional ? Apakah itu...
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan
Larry Wasserman memiliki posting baru-baru ini di mana ia berbicara tentang "polisi p-value". Dia membuat poin yang menarik (semua penekanan pada saya) (premis miring yang saya tambahkan, dan jawabannya di bawah): Keluhan yang paling umum adalah bahwa fisikawan dan jurnalis menjelaskan arti...
Saya mahasiswa ilmu komputer sarjana dan saat ini saya sedang merencanakan proyek kelulusan saya. Saya perlu beberapa ide di bidang komputasi kuantum. ada
Saya seorang insinyur perangkat lunak yang cukup mahir, tetapi saya tidak tahu banyak teori. Saya ingin belajar lebih banyak teori. Topik khusus yang saya minati adalah: kompleksitas komputasi, bahasa formal, dan teori jenis. Tetapi saya bingung bagaimana cara mulai belajar tentang bidang-bidang...
Mempertimbangkan topik yang dibahas dalam konferensi seperti STOC, apakah ada algoritma atau kompleksitas peneliti aktif menggunakan COQ atau Isabelle? Jika demikian, bagaimana mereka menggunakannya dalam penelitian mereka? Saya berasumsi kebanyakan orang tidak akan menggunakan alat seperti itu...
Latar belakang : Saya datang ke akhir gelar master saya di Matematika dan akan memulai PhD di bidang Logika pada bulan Agustus. Semakin banyak saya belajar logika, semakin banyak ilmu komputer teoritis saya terkena, misalnya teori rekursi, kalkulus lambda, tetapi CS yang mendasarinya disikat di...
kompleksitas komputasi melibatkan sejumlah besar Combinatorics dan teori bilangan, beberapa ilmu pengetahuan dari stokastik, dan jumlah aljabar yang muncul. Namun, sebagai seorang analis, saya bertanya-tanya apakah ada aplikasi analisis dalam bidang ini, atau mungkin ide-ide yang terinspirasi oleh...
Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di
Ini terkait dengan pertanyaan umum " Bagaimana cara saya memberikan referensi pada makalah? ". Saya sedang meninjau makalah untuk konferensi, dan makalah ini harus ditolak, karena tidak cukup signifikan untuk dipublikasikan dan memiliki beberapa kelemahan dalam detail teknisnya. Makalah itu tidak...
Apa karir khas ilmuwan komputer teoretis (orang dengan gelar sarjana dalam ilmu komputer teoretis)? Industri dan institusi seperti apa yang mencari pengetahuan ilmu komputer teoretis? Karier apa yang biasanya digunakan oleh ilmuwan komputer
Saya mencari beberapa saran dan umpan balik. Latar Belakang: Saya seorang mahasiswa matematika sarjana, dengan minat dalam ilmu komputer teoretis (kompleksitas komputasi, teori grafik, kombinatorik). Saya ingin mengejar gelar PhD dalam Ilmu Komputer dan fokus pada teori. Latar belakang saya dalam...
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
Di luar dunia akademis, apa gunanya 'kekuatan' saya? Apa yang bisa saya lakukan selain mengajar dan menerbitkan makalah? Di mana semua saya bisa menerapkan kekuatan saya? Demi argumen: Harap asumsikan saya memiliki PhD dalam algoritma / TCS dan telah belajar banyak 'barang' dan dibuat telah datang...
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...
Geometri komputasi adalah bidang yang menurut saya cukup menarik, dan saya ingin mencurahkan sekitar satu atau dua bulan untuk proyek yang akan memperkenalkan saya pada hal ini dan membantu saya mempelajari konsep-konsep kunci. Apa cara yang baik untuk mendekati ini dan apa konsep-konsep kunci...