Dari sudut akal sehat pandang, mudah untuk percaya bahwa menambahkan non-determinisme ke secara signifikan memperluas kekuasaannya, yaitu, N P jauh lebih besar dari P . Bagaimanapun juga, non-determinisme memungkinkan paralelisme eksponensial, yang nampaknya sangat kuat. PP\mathsf{P}N...
Melihat pertanyaan melalui lensa algoritmik (yaitu dari sudut pandang algoritmik atau kompleksitas) telah menjadi berguna dalam disiplin ilmu di luar 'domain standar' ilmu komputer. Secara khusus CS telah membuat dampak pada biologi melalui biologi komputasi, pada fisika melalui pemrosesan...
Saya kadang-kadang mendengar orang berbicara tentang algoritma kuantum dan tentang status dan kemampuan untuk mempertimbangkan berbagai kemungkinan sekaligus, tetapi saya tidak pernah berhasil membuat seseorang menjelaskan model komputasi di balik ini. Untuk lebih jelasnya, saya tidak bertanya...
Banyak ahli percaya bahwa benar dan menggunakannya dalam hasil mereka. Kekhawatiran saya adalah bahwa kompleksitasnya sangat tergantung pada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Jadi pertanyaan saya adalah: Selama tidak terbukti, bisakah / haruskah seseorang...
Salah satu hal yang menyenangkan tentang berevolusi di alam semesta dengan tiga dimensi spasial adalah bahwa kita telah mengembangkan keterampilan pemecahan masalah yang berkaitan dengan objek di ruang angkasa. Jadi, misalnya, kita dapat menganggap triplet angka sebagai titik dalam 3-d dan...
Saya tertarik pada mengapa bilangan asli sangat disukai oleh penulis buku tentang teori bahasa pemrograman dan teori tipe (misalnya J. Mitchell, Yayasan untuk bahasa pemrograman dan B. Pierce, Jenis dan Bahasa Pemrograman). Deskripsi tentang lambda-calculus yang diketik sederhana dan khususnya...
Studi ekologi dan evolusi menjadi semakin matematis, tetapi sebagian besar alat teoretis tampaknya berasal dari fisika. Namun, dalam banyak kasus masalah memiliki sifat yang sangat berbeda (lihat misalnya SLBS00 ) dan dapat mengambil manfaat dari perspektif ilmu komputer . Namun, saya menyadari...
Grothendieck telah meninggal dunia . Dia memiliki dampak besar pada matematika abad ke-20 yang berlanjut ke abad ke-21. Pertanyaan ini ditanyakan dalam gaya / semangat, misalnya, dari Kontribusi Alan Turing untuk Ilmu Komputer . Apa pengaruh utama Grothendieck pada ilmu komputer...
Saya telah membaca di beberapa makalah bahwa keberadaan fungsi satu arah diyakini secara luas. Adakah yang bisa menjelaskan mengapa ini terjadi? Argumen apa yang kita miliki untuk mendukung keberadaan fungsi satu
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...
Apa implikasi yang akan menjadi bukti dugaan abc untuk
Keterjeratan sering dianggap sebagai unsur utama yang membuat algoritma kuantum dengan baik ... kuantum, dan ini dapat ditelusuri kembali ke status Bell yang menghancurkan gagasan fisika kuantum sebagai model probabilistik keadaan tersembunyi. Dalam teori informasi kuantum (dari pemahaman saya yang...
Untuk memeriksa pemahaman saya, saya ingin berbagi beberapa pemikiran tentang kebutuhan energi perhitungan. Ini adalah tindak lanjut dari pertanyaan saya sebelumnya dan mungkin terkait dengan pertanyaan Vinay tentang hukum konservasi . Terlintas dalam pikiran saya bahwa, dari sudut pandang...
Saya membaca " Apakah P Versus NP Secara Independen? " Tetapi saya bingung. Dipercaya secara luas dalam teori kompleksitas bahwa . Pertanyaan saya adalah bagaimana jika ini tidak dapat dibuktikan (katakanlah di ). (Mari kita asumsikan bahwa kita hanya mengetahui bahwa independen dari tetapi tidak...
Saya pernah membaca bahwa pada awalnya Gereja mengusulkan -calculus sebagai bagian dari postulat makalah Logic-nya (yang merupakan bacaan padat). Tetapi Kleene membuktikan "sistem" -nya tidak konsisten setelah itu, Gereja mengekstraksi hal-hal yang relevan untuk karyanya tentang "komputabilitas...
Saya telah berupaya memperkenalkan beberapa hasil dari kompleksitas komputasi ke dalam biologi teoretis, terutama evolusi & ekologi , dengan tujuan menjadi menarik / berguna bagi para ahli biologi. Salah satu kesulitan terbesar yang saya hadapi adalah membenarkan kegunaan analisis kasus...
Akhir-akhir ini saya mulai mencari algoritma perkiraan untuk masalah NP-hard dan saya bertanya-tanya tentang alasan teoritis untuk mempelajarinya. (Pertanyaannya tidak dimaksudkan sebagai peradangan - saya hanya ingin tahu). Beberapa teori yang benar-benar indah telah keluar dari studi tentang...
Saya ingin tahu dalam arti luas tentang apa yang diketahui tentang memparalelkan algoritma dalam P. Saya menemukan artikel wikipedia berikut tentang subjek: http://en.wikipedia.org/wiki/NC_%28complexity%29 Artikel tersebut berisi kalimat berikut: Tidak diketahui apakah NC = P, tetapi sebagian...
Diskusi : Saya telah menghabiskan waktu pribadi akhir-akhir ini mempelajari berbagai hal dalam kompleksitas komunikasi. Sebagai contoh, saya telah membiasakan diri dengan bab yang relevan di Arora / Barak, mulai membaca beberapa makalah, dan memesan buku oleh Kushilevitz / Nisan. Secara intuitif,...
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...