Pertanyaan yang diberi tag «big-picture»

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

10
Komputer nyata hanya memiliki jumlah negara terbatas, jadi apa relevansi mesin Turing dengan komputer nyata?
Komputer nyata memiliki memori yang terbatas dan hanya sejumlah negara terbatas. Jadi mereka pada dasarnya automata terbatas. Mengapa ilmuwan komputer teoretis menggunakan mesin Turing (dan model lain yang setara) untuk mempelajari komputer? Apa gunanya mempelajari model yang jauh lebih kuat ini sehubungan dengan komputer nyata? Mengapa model automata terbatas tidak …
4
Mengapa kita tidak dapat mengembangkan teori kompleksitas komputasi terdistribusi yang disatukan?
Bidang komputasi terdistribusi telah gagal dalam mengembangkan teori matematika tunggal untuk menggambarkan algoritma terdistribusi. Ada beberapa 'model' dan kerangka kerja komputasi terdistribusi yang sama sekali tidak kompatibel satu sama lain. Ledakan semata-mata dari berbagai sifat temporal (asinkron, sinkron, sinkron parsial), berbagai komunikasi primitif (passing pesan vs memori bersama, siaran vs. …
2
Program GCT Mulmuley
Kadang-kadang diklaim bahwa Teori Kompleksitas Geometri Ketan Mulmuley adalah satu-satunya program yang masuk akal untuk menyelesaikan pertanyaan terbuka teori kompleksitas seperti pertanyaan P vs NP. Ada beberapa komentar positif dari ahli teori kompleksitas terkenal tentang program ini. Menurut Mulmuley akan butuh waktu lama untuk mencapai hasil yang diinginkan. Memasuki daerah …
2
Kelas Kompleksitas Semantik vs. Sintaksis
Dalam bukunya "Kompleksitas Komputasi", Papadimitriou menulis: Dalam beberapa hal RP adalah jenis kompleksitas yang baru dan tidak biasa. Tidak ada mesin Turing nondeterministik terikat polinomi dapat menjadi dasar mendefinisikan bahasa dalam RP. Agar mesin N mendefinisikan bahasa dalam RP , ia harus memiliki properti luar biasa yang pada semua input …
5
Kekuatan ketidakseragaman yang tidak masuk akal
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 PNP\mathsf{NP}PP\mathsf{P} Di sisi lain, jika kita hanya menambahkan non-keseragaman ke , memperoleh P / …
7
Lensa algoritmik dalam ilmu sosial
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 informasi kuantum, dan teori AI dan kompleksitas tampaknya secara teratur berinteraksi …
11
Apa model komputasi kuantum?
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 tentang bagaimana komputer kuantum dibangun secara fisik, tetapi bagaimana cara melihatnya dari sudut …
7
Haruskah kita menganggap
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 menganggapnya sebagai hukum alam, seperti yang ditunjukkan dalam kutipan dari Strassen? Atau haruskah kita memperlakukannya sebagai …
17
Contoh di mana wawasan dari geometri berguna untuk menyelesaikan sesuatu yang sepenuhnya non-geometris
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 karenanya perhitungan tentang triplet angka sebagai perhitungan tentang titik …
6
Mengapa alami bukan bilangan bulat?
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 bahasa pemrograman PCF biasanya didasarkan pada Nat dan Bool. Bagi …
5
Ekologi dan evolusi melalui lensa algoritmik
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 hanya beberapa hasil serius dari TCS yang mencoba …
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.