Dalam komputasi terdistribusi, masalah konsensus tampaknya menjadi salah satu topik sentral yang telah menarik penelitian intensif. Secara khusus, makalah "Ketidakmungkinan Konsensus Terdistribusi dengan Satu Proses Kerusakan " menerima Penghargaan Kertas Pengaruh PODC tahun 2001 . Jadi mengapa...
Dalam bagian "Pengantar Bahasa Pemrograman" Anthony Aaby tentang Semantik , ia membuat pengamatan berikut: Banyak pekerjaan dalam semantik bahasa pemrograman termotivasi oleh masalah yang dihadapi dalam mencoba membangun dan memahami program-program penting --- program dengan perintah penugasan....
Apakah saya benar dalam memahami bahwa membuktikan suatu NP lengkap adalah kesuksesan penelitian? Jika demikian
Saya telah mencari jauh untuk aplikasi semacam itu dan sebagian besar muncul pendek. Saya dapat menemukan banyak aplikasi topologi dan struktur serupa pada set yang dapat dihitung (atau tidak terhitung), tetapi jarang saya benar-benar menemukan set yang tidak terhitung sebagai objek studi oleh para...
Teori kompleksitas tampaknya menangkap sesuatu yang mendasar tentang struktur alam semesta, dalam arti ia memformalkan gagasan intuitif bahwa beberapa masalah lebih sulit daripada yang lain. Scott Aaronson meramalkan , "Asumsi Kekerasan NP pada akhirnya akan dilihat sebagai analog dengan Hukum...
Pertanyaan ini terinspirasi oleh t-shirt Georgia Tech Algorithms and Randomness Center , yang menanyakan "Acak atau tidak ?!" Ada banyak contoh di mana pengacakan membantu, terutama ketika beroperasi di lingkungan permusuhan. Ada juga beberapa pengaturan di mana pengacakan tidak membantu atau...
Penggoda Karena masalahnya gondrong di sini adalah kasus khusus yang menangkap esensinya. Masalah: Misalkan A menjadi algoritme detrministik untuk 3-SAT. Apakah masalah sepenuhnya mensimulasikan algoritma A (pada setiap contoh masalah). P-Space keras? (Lebih tepatnya, apakah ada alasan untuk...
Latar Belakang . Saya seorang mahasiswa sarjana yang tertarik dalam penelitian yang berkaitan dengan teori kategori, monad dan Haskell, dan saya ingin mencari topik untuk tesis sarjana saya di bidang itu. Saya telah melihat kertas Eugenio Moggi , " Pengertian Komputasi dan Monad ", 1991, dan...
Saat ini saya seorang siswa sekolah menengah, tertarik pada ilmu komputer teoretis dan matematika terapan. Saya telah belajar sendiri tentang aljabar linear, kalkulus, dan matematika konkret. Saya memiliki anggapan naif bahwa bagi seseorang untuk menulis algoritma yang lebih baik, seseorang harus...
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...
Menjadi dari Fisika, saya telah dilatih untuk melihat banyak masalah dari sudut pandang geometris. Misalnya geometri diferensial manifold dalam sistem dinamik dll. Ketika saya membaca dasar-dasar ilmu komputer, saya selalu berusaha menemukan interpretasi geometris. Seperti interpretasi geometris...
Saya ingat pernah melihat sebuah penelitian atau artikel beberapa waktu yang lalu mengklaim bahwa sebagian besar percepatan yang terlihat dalam program komputer selama beberapa dekade terakhir adalah dari algoritma yang lebih baik daripada perangkat keras yang lebih cepat. Adakah yang tahu...
Apa kelas kompleksitas yang terkait dengan algoritma pencarian lengkap? (jika ada) Apakah NP atau PSPACE? Apakah ada model komputasi terbatas yang menangkap kelas algoritma pencarian lengkap mirip dengan model untuk pemrograman serakah dan
Tampak bagi saya bahwa kebanyakan ahli teori kompleksitas umumnya percaya pada aturan filosofis berikut: Jika kita tidak tahu algoritma yang efisien untuk masalah , dan kita dapat mengurangi masalah A ke masalah B , maka ada mungkin tidak algoritma yang efisien untuk masalah B ,...
Pertanyaan pertama saya adalah apakah karakterisasi sistem bukti interaktif dikenal untuk semua kelas kompleksitas klasik. Saya akan memanggil P, NP, PSPACE, EXP, NEXP, EXPSPACE, fungsi rekursif dan berulang secara berulang klasik (antara lain). Secara khusus, apakah karakterisasi sistem bukti...
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...
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...
Apa sebenarnya ilmu komputer teoretis? Apakah ini mempelajari kode dalam berbagai bahasa dan membuat aplikasi di platform? Atau hanya memikirkan algoritma yang lebih cepat dan lebih cepat sehingga Anda dapat mencapai tugas lebih efisien oleh komputer? Atau pemrograman dan pemikiran situasi...
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...
Biarkan menjadi fungsi boolean dengan sensitivitas s ( f ) dan sensitivitas blok b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Konjektur Sensitivitas-Blok sensitivitas menyatakan bahwa ada sehingga ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s ( f)c∀f, bs(f)≤s(f)c\forall...