Ilmu Komputer Teoritis

Dua puluh tahun yang lalu, saya membangun paket ekspresi reguler yang mencakup konversi dari ekspresi reguler ke mesin keadaan terbatas (DFA) dan mendukung sejumlah operasi ekspresi reguler tertutup (bintang Kleene, penggabungan, pembalikan, set operasi, dll). Saya tidak yakin tentang kinerja terburuk dari paket saya. DFA memiliki kekuatan ekspresif yang sama …

16 dfa  regular-expressions  bounds 

Masalah berikut muncul dalam daftar Aaronson, Sepuluh Tantangan Semi-Grand untuk Teori Komputasi Quantum . ApakahBQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompresi menjadi kedalaman, asalkan kita ' Apakah Anda bersedia melakukan postprocessing klasik polinomial-waktu? (Ini diketahui benar untuk algoritma Shor.) Jika demikian, membangun komputer kuantum …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

Bahasa apa pun yang tidak lengkap Turing tidak dapat menulis penerjemah untuk itu sendiri. Saya tidak tahu di mana saya membaca itu tetapi saya telah melihatnya digunakan beberapa kali. Sepertinya ini memunculkan semacam bahasa "Turing" non-Turing lengkap; satu-satunya yang hanya bisaditafsirkan oleh mesin Turing. Bahasa-bahasa ini tidak harus mampu menghitung …

16 computability  turing-machines 

Apakah ada aplikasi praktis untuk model pemrograman non-von Neumann? Apa bahasa pemrograman non-von Neumann yang paling banyak diadopsi?

16 universal-computation  logic-programming 

Normalisasi yang lemah untuk kalkulus lambda yang diketik sederhana dapat dibuktikan (Turing) dengan induksi pada . Kalkulus lambda diperpanjang dengan rekursi pada bilangan asli (Gentzen) memiliki strategi normalisasi yang lemah dengan induksi pada .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Bagaimana dengan Sistem F (atau lebih lemah)? Apakah ada bukti normalisasi yang lemah dalam gaya ini? …

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

Apakah kasus grafik sangat teratur yang paling sulit untuk pengujian GI? di mana "paling sulit" digunakan dalam beberapa arti "akal sehat", atau "rata-rata", untuk berbicara. Wolfram MathWorld menyebutkan beberapa "grafik yang sulit secara patologis". Apakah mereka? Kumpulan sampel saya yang terdiri dari 25 pasang grafik: http://funkybee.narod.ru/graphs.htm Saya menguji banyak yang …

16 ds.algorithms  graph-isomorphism 

LogCFL adalah himpunan semua bahasa yang logspace direduksi menjadi bahasa bebas konteks. Demikian pula, LogDCFL adalah himpunan semua bahasa yang logspace direduksi menjadi bahasa bebas konteks deterministik. Lihat artikel wikipedia ini untuk beberapa masalah lengkap LogCFL. Ada beberapa masalah lengkap lengkap yang menarik dari LogCFL. Saya tidak dapat menemukan masalah …

16 cc.complexity-theory  complexity-classes 

Apa yang harus saya baca untuk memahami masalah ini? Kekuatan sirkuit kuantum kecil-kedalaman. Apakah ? Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompres ke kedalaman polylog (n), asalkan kami bersedia melakukan postprocessing klasik waktu polinomial? (Ini diketahui benar untuk algoritma Shor.) Jika demikian, membangun komputer kuantum …

16 cc.complexity-theory  reference-request  quantum-computing 

Adakah contoh algoritma yang menarik yang telah dipublikasikan dengan batasan yang telah terbukti, dan di mana batasan yang lebih baik kemudian telah diterbitkan? Algoritme yang tidak lebih baik dengan batasan yang lebih baik - jelas itu terjadi! Tetapi analisis yang lebih baik mengarah pada ikatan yang lebih baik pada algoritma …

16 ho.history-overview  analysis-of-algorithms 

Dalam "Quantum Computation and Quantum Information" Mike dan Ike, algoritma Grover dijelaskan dengan sangat terperinci. Namun, dalam buku ini, dan dalam semua penjelasan yang saya temukan online untuk algoritma Grover, tampaknya tidak disebutkan tentang bagaimana Oracle dibangun, kecuali kita sudah tahu negara bagian mana yang sedang kita cari, mengalahkan tujuan …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Kita semua tahu menunjukkan bahwa memiliki penghalang. Kita semua telah mempelajari hambatan ini karena kami percaya P ≠ N P .P≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Namun anggap dan ada orang bijak yang percaya bahwa kemungkinan ada . Jika ini memang benar maka fakta bahwa kita belum melihat algoritma yang baik …

15 p-vs-np  barriers 

Saya berharap jawabannya adalah tidak, tetapi saya tidak bisa benar-benar membuat contoh tandingan. Perbedaannya adalah pada , kita mungkin tidak dapat memilih algoritma secara seragam dalam .∩ ε > 0 D T I M E ( O ( n 2 + ε ) ) O ( n 2 + ε …

15 cc.complexity-theory  time-complexity 

Saya menemukan beberapa buku tentang komputer, tetapi semuanya tentang teknologi. Saya ingin sesuatu yang lebih terkait dengan teori.

15 reference-request  soft-question  philosophy 

Atau dengan kata lain, apakah kita memiliki itu untuk setiap bahasa dan , atau ?SEBUAHSEBUAHABBBA ≤halBSEBUAH≤halBA \leq_p BB ≤halSEBUAHB≤halSEBUAHB \leq_p A

15 reductions  complexity 

Saya menanyakan pertanyaan ini 10 hari yang lalu di cs.stackexchange di sini tapi saya tidak punya jawaban. Dalam makalah yang sangat terkenal (di komunitas jaringan), Wang & Crowcroft menyajikan beberapa hasil perhitungan jalur di bawah beberapa kendala aditif / multiplikasi. Masalah pertama adalah sebagai berikut:NPNP\mathsf{NP} Diberikan grafik terarah dan dua …

15 np-hardness  reductions