Pertanyaan yang diberi tag «big-picture»

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 Kedua Termodinamika atau ketidakmungkinan pensinyalan superluminal." Apa yang disebut "masalah …

18 cc.complexity-theory  soft-question  big-picture 

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 mengetahui sebanyak mungkin matematika karena Anda dapat mempelajari tentang …

17 big-picture 

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 percaya bahwa tugas ini adalah P-Space keras, melakukan sesuatu dalam arah ini …

17 cc.complexity-theory  big-picture  structural-complexity 

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 menyakiti. Pertanyaanku adalah: Apa saja pengaturan ketika mengacak (dalam …

17 randomness  big-picture  randomized-algorithms 

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 saya belum mengerti banyak …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

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 mengetahui adanya konsekuensi dunia fisik langsung dari keberadaan masalah …

15 cc.complexity-theory  soft-question  big-picture  experimental 

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 yang masuk akal dari set enumerable rekursif (saya bekerja pada bagian di mana …

14 reference-request  computability  big-picture 

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 dinamis?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

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 pelajaran atau artikelnya?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

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 interaktif dikenal untuk fungsi berulang dan berulang secara berulang? Saya hanya …

14 cc.complexity-theory  big-picture  interactive-proofs 

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 , baik.AAAAAABBBBBB Inilah sebabnya mengapa, misalnya, …

14 cc.complexity-theory  big-picture  reductions 

Saya telah membaca tentang Teori Jenis Intuitionistic (ITT) dan itu masuk akal. Tetapi apa yang saya perjuangkan untuk mengerti adalah "mengapa" pertama-tama diciptakan? Intuitionistic Logic (IL) dan Simply-typed -calculus (STLC) dan teori tipe pada umumnya mendahului keberadaan Martin-Löf sendiri! Tampaknya seseorang dapat melakukan segala sesuatu di STLC yang bisa dilakukan …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

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 berasal dari TCS yang dapat dengan mudah dijelaskan. Kandidat yang baik untuk …

13 soft-question  big-list  big-picture  teaching 

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 kehidupan baru yang dapat disimulasikan pada komputer? Apa sebenarnya …

13 big-picture 

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 dengan batas terobosan pada …

13 soft-question  big-picture  career