Pertanyaan yang diberi tag «big-picture»

Tag gambar besar adalah untuk "pandangan umum atau perspektif suatu masalah atau masalah".

13
Analisis kompleks dalam ilmu komputer teoretis
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 kuantum, di mana bilangan kompleks adalah intrinsik dalam model). Adakah yang …
3
Bisakah kita mengukur "derajat kuantum" dalam algoritma kuantum?
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 agak lemah), keterjeratan juga dapat digunakan sebagai sumber daya konkret …
2
Apa maksud awal dari pembuatan kalkulus Lambda?
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 yang efektif" dan mengabaikan karyanya yang sebelumnya tentang logika.λλ\lambda Jadi seperti yang saya …
3
Membenarkan analisis kasus terburuk asimptotik kepada para ilmuwan
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 terburuk asimptotik untuk batas bawah. Apakah ada referensi panjang artikel …
1
Pertimbangan energi pada perhitungan
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 termodinamika, menjalankan perhitungan dapat dianggap, sampai batas tertentu, analog dengan menggerakkan …
5
Implikasi dari unprovability dari
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 ada informasi lebih lanjut tentang …
5
Aplikasi Teoritis untuk Algoritma Perkiraan
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 algoritma aproksimasi - hubungan antara teorema PCP dan kekerasan aproksimasi, dugaan UGC, …
3
Batas untuk Komputasi Paralel
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 besar peneliti menduga ini salah, yang berarti bahwa mungkin ada beberapa masalah yang bisa …
4
Kompleksitas Komunikasi ... Kelas?
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, saya ingin membedakan kompleksitas komunikasi dengan kompleksitas komputasi. …
4
Mengapa masalah konsensus begitu penting dalam komputasi terdistribusi?
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 masalah konsensus begitu penting? Apa yang dapat kita capai dengan konsensus baik dalam …
1
Apakah kriptografi memiliki biaya termodinamika yang melekat?
Komputasi reversibel adalah model komputasi yang hanya memungkinkan operasi termodinamik reversibel. Menurut prinsip Landauer, yang menyatakan bahwa menghapus sedikit informasi melepaskan joule panas, ini mengesampingkan fungsi transisi yang tidak satu-ke-satu (misalnya, operator Boolean DAN dan ATAU). Telah diketahui dengan baik bahwa perhitungan kuantum secara inheren dapat dibalik karena operasi yang …
4
Bagaimana efek samping ditangani dalam semantik?
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. Karena perintah tugas menugaskan nilai ke variabel, tugas dapat memiliki efek yang tak …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.