Ilmu Komputer Teoritis

Pertanyaan ini mirip dengan pertanyaan yang lebih umum tentang apa model teoritis yang tepat dari komputer untuk merancang algoritma dan struktur data. Di sini, saya bertanya secara khusus tentang komputer berkinerja tinggi saat ini (seperti yang terdaftar sebagai Top 500 ) atau bahkan tentang superkomputer mendatang. Mengingat bahwa komputer ini …

20 reference-request  soft-question  machine-models 

Hari ini di New York dan di seluruh dunia Ulang tahun Christos Papadimitriou dirayakan. Ini adalah kesempatan yang baik untuk bertanya tentang hubungan antara PPAD kelas kompleksitas Christos (dan kelas terkait lainnya) dan komputer kuantum. Dalam makalahnya yang dirayakan tahun 1994, Papadimitriou memperkenalkan dan secara sistematis mempelajari beberapa kelas kompleksitas …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Saya seorang mahasiswa PhD yang bekerja di bidang ilmu komputer teoretis. Saya telah membaca makalah penelitian dari banyak peneliti dan saya telah melihat banyak alat dan matematika yang mereka gunakan untuk merancang suatu algoritma. Sebagai contoh, lihat makalah penelitian ini [Primality in P] . Saya tidak akan mengatakan makalah penelitian …

19 advice-request 

Pierce (2002) memperkenalkan relasi pengetikan di halaman 92 dengan menulis: Relasi pengetikan untuk ekspresi aritmatika, yang dituliskan "t: T", didefinisikan oleh seperangkat aturan inferensi yang menetapkan jenis ke istilah dan catatan kaki mengatakan Simbol sering digunakan sebagai ganti:. Pertanyaan saya adalah mengapa tipe teori lebih suka menggunakan: over ? Jika …

19 type-theory  notation 

Dalam makalahnya tahun 1995, Algoritma Polinomial-Waktu untuk Faktorisasi Utama dan Logaritma Terpisah pada Komputer Quantum , Peter W. Shor membahas peningkatan pada bagian pencarian-urutan dari algoritma faktorisasi-nya. Output algoritma standar r′r′r' , pembagi dari urutan rrr dari xxx modulo NNN . Alih-alih memeriksa jika r′=rr′=rr'=r dengan memeriksa jika , peningkatannya …

19 quantum-computing  nt.number-theory  factoring 

Biarkan menjadi fungsi bernilai integer sehingga ada di . Apakah itu berarti ada di ? Adakah alasan untuk meyakini hal ini tidak mungkin selalu berlaku? Adakah referensi yang harus saya ketahui?2 F # P F # PFFF2 F2F2F# P#P\#PFFF# P#P\#P Agak mengherankan, situasi ini muncul (dengan konstanta yang jauh lebih …

19 cc.complexity-theory  complexity-classes  counting-complexity 

Di bawah ini, MSO menunjukkan logika urutan kedua monadik dari grafik dengan kuantifikasi himpunan sudut dan himpunan tepi. Biarkan menjadi kelompok kecil grafik tertutup. Ini mengikuti dari teori minor minor Robertson dan Seymour bahwa ditandai dengan daftar berhingga dari anak di bawah umur yang terlarang. Dengan kata lain, untuk setiap …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

Saya ingin memberikan ceramah matematika tentang sistem kontrol revisi git . Sekarang ini banyak digunakan dalam matematika serta industri ilmu komputer. Sebagai contoh, komunitas HoTT (Homotopy Type Theory) menggunakannya, dan itu adalah sistem go to untuk pengeditan kolaboratif dari file teks, apakah itu kode sumber atau marka lateks. Saya tahu …

19 co.combinatorics  application-of-theory 

Saat ini, perhitungan real dalam sebagian besar bahasa populer masih dilakukan melalui operasi floating point. Di sisi lain, teori-teori seperti tipe dua efektifitas (TTE) dan teori domain telah lama menjanjikan perhitungan real yang tepat. Jelas, masalah presisi floating point tidak berkurang dalam relevansi, jadi mengapa teori-teori ini tidak menjadi lebih …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

USTCONN adalah masalah yang mengharuskan memutuskan apakah ada jalur dari titik sumber sss ke titik target ttt dalam grafik GGG , di mana semua ini diberikan sebagai bagian dari input. Omer Reingold menunjukkan bahwa USTCONN berada di L (doi: 10.1145 / 1391289.1391291 ). Buktinya membangun expander derajat konstan melalui produk …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Wikipedia terdaftar empat masalah yang berada di tapi menduga berada di luarBQPBQPBQP : Integer faktorisasi; Logaritma diskrit; Simulasi sistem kuantum; Menghitung polinomial Jones pada akar persatuan tertentu.PPP Apakah ada masalah lain seperti itu?

19 cc.complexity-theory  complexity-classes  quantum-computing 

Baru-baru ini, Dana Scott mengusulkan kalkulus lambda stokastik, sebuah upaya untuk memasukkan unsur-unsur probabilistik ke dalam kalkulus lambda (tidak diketik) berdasarkan semantik yang disebut model grafik. Anda dapat menemukan slide-slide-nya secara online misalnya di sini dan makalahnya di Journal of Applied Logic , vol. 12 (2014). Namun, dengan pencarian cepat …

19 lo.logic  pl.programming-languages  lambda-calculus 

Apa kompleksitas yang paling dikenal untuk menghitung jarak edit yang tepat antara dua string dengan panjang yang sama menggunakan ruang kerja yang sublinear dalam ukuran input? Saya berasumsi input disimpan dalam beberapa format read-only. Apakah ini masalah yang dipelajari sebelumnya? Untuk membuat pertanyaan sedikit lebih spesifik, bagaimana dengan ruang di …

19 ds.algorithms  edit-distance  space-time-tradeoff 

Pertanyaan Utama / Umum Biarkan menjadi bahasa. Tentukan bahasa dengan dan untuk . Pertimbangkan . Jadi, kami berulang kali "menyematkan" ke dalam dirinya sendiri untuk memperoleh .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L i L Li≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} Sudahkah …

19 reference-request  fl.formal-languages