Ilmu Komputer Teoritis

Terinspirasi oleh hierarki luas yang hadir dalam teori kompleksitas, saya bertanya-tanya apakah hierarki tersebut juga hadir untuk sistem tipe. Namun, dua contoh yang saya temukan sejauh ini lebih mirip checklist (dengan fitur ortogonal) daripada hierarki (dengan sistem tipe yang lebih banyak dan lebih ekspresif). Dua contoh yang saya temukan adalah …

23 pl.programming-languages  type-theory 

Dalam komputasi kuantum kita sering tertarik pada kasus-kasus di mana sekelompok operator kesatuan kesatuan, G, untuk beberapa sistem d-dimensi memberikan seluruh kelompok SU (d) dengan tepat atau bahkan hanya perkiraan yang disediakan oleh penutup padat SU (d). Sekelompok tatanan terbatas, seperti grup Clifford untuk sistem d-dimensi C (d), tidak akan …

23 quantum-computing 

Seperti yang ada saat ini, pertanyaan ini tidak cocok untuk format tanya jawab kami. Kami berharap jawaban didukung oleh fakta, referensi, atau keahlian, tetapi pertanyaan ini kemungkinan akan mengumpulkan debat, argumen, polling, atau diskusi panjang. Jika Anda merasa bahwa pertanyaan ini dapat diperbaiki dan mungkin dibuka kembali, kunjungi pusat bantuan …

23 soft-question  big-list  paper-review 

Adakah yang bisa menyarankan survei yang baik dan baru-baru ini tentang penghitungan masalah dan / atau masalah yang # P.

23 cc.complexity-theory  reference-request  counting-complexity 

Misalkan kita melemparkan bola ke dalam bin, di mana . Biarkan menjadi jumlah bola yang berakhir di nampan , menjadi nampan terberat, X_ \ min menjadi nampan teringan, dan X _ {\ mathrm {sec-max}} menjadi nampan terberat kedua. Secara kasar, X_i - X_j \ sim N (0,2m / n) , …

23 reference-request  pr.probability 

Pertanyaan ini dimigrasikan dari Cross Validated karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 8 tahun yang lalu . Saya memiliki masalah yang cukup unik untuk dipecahkan dan saya berharap seseorang di sini dapat memberi saya wawasan tentang cara terbaik untuk mengatasinya. Masalah: Misalkan daftar nomor N dibagikan …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Secara praktis, untuk bahasa yang pada akhirnya dapat dikompilasi / diubah menjadi instruksi tingkat sistem, apakah perlu bahwa itu adalah tata bahasa bebas konteks? mis: Apakah semua bahasa pemrograman / scripting konteks tata bahasa gratis? Java didasarkan pada CFG, tetapi apakah sebenarnya semua bahasa pemrograman didasarkan pada CFG? Tampaknya tidak …

23 pl.programming-languages  context-free 

Pertimbangkan benda cembung K yangKK berpusat pada titik asal dan simetris (yaitu jika x ∈ Kx∈Kx\in K maka ). Saya ingin menemukan tubuh cembung berbeda sehingga dan ukuran berikut diminimalkan:−x∈K−x∈K-x\in KLLLK ⊆ LK⊆LK\subseteq L f ( L ) = E ( √x T ⋅ x )f(L)=E(xT⋅x−−−−−√)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}) , di …

23 cg.comp-geom  approximation  convex-geometry 

Komputer kuantum sangat baik untuk distribusi sampel yang kita tidak tahu bagaimana sampel menggunakan komputer klasik. Sebagai contoh jika f adalah fungsi Boolean (dari hingga ) yang dapat dihitung dalam waktu polinomial maka dengan komputer kuantum kita dapat secara efisien sampel sesuai dengan distribusi yang dijelaskan oleh Perluasan Fourier f. …

23 quantum-computing  cg.comp-geom  optimization 

Mungkin aplikasi yang paling umum dari tipe linear dalam PL adalah menggunakannya untuk memberikan bahasa yang mengontrol aliasing (yaitu, nilai linier memiliki satu pointer ke sana, lebih atau kurang). Tetapi ada sedikit ketidakcocokan antara penggunaan ini dan model denotasional khas dari logika linier. IIRC, Benton menunjukkan bahwa jika kategori tertutup …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Di mana saya dapat menemukan grafik yang relevan dengan masalah kehidupan nyata? Dua repositori yang saya tahu adalah: Koleksi Matriks Universitas Florida TreewidthLib dari Bodlaender

23 graph-theory  big-list  co.combinatorics  data-sets 

Saya bertanya-tanya alat apa yang digunakan orang di bidang ini (ilmu komputer teoretis) untuk membuat presentasi. Karena banyak ilmu komputer tidak hanya menulis makalah tetapi juga memberikan presentasi saya pikir ini akan menjadi pertanyaan lunak yang penting. Ini terinspirasi oleh pertanyaan sebelumnya alat apa yang Anda gunakan untuk menulis makalah …

23 soft-question  research-practice  writing 

Apa yang diketahui tentang kompleksitas menemukan rangkaian minimal yang menghitung SAT hingga panjang ? nnn Secara lebih formal: apa kerumitan fungsi yang, diberi sebagai input, menghasilkan rangkaian minimal C sedemikian rupa sehingga untuk setiap rumus φ dengan | φ | ≤ n , C1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq n ?C(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Saya …

23 cc.complexity-theory  sat 

Pertanyaan ini terkait dengan jawaban yang saya posting sebagai tanggapan terhadap pertanyaan lain. Masalah 3-partisi adalah masalah berikut: Instance : Positif bilangan bulat a 1 , ..., sebuah n , di mana n = 3m dan jumlah dari n bilangan bulat sama dengan mB, sehingga masing-masing i memenuhi B / …

23 cc.complexity-theory  np-hardness 

Saya tertarik pada masalah pengemasan salinan identik persegi panjang (2 dimensi) menjadi cembung (2 dimensi) poligon tanpa tumpang tindih. Dalam masalah saya, Anda tidak diperbolehkan memutar persegi panjang dan dapat mengasumsikan bahwa mereka berorientasi paralel dengan sumbu. Anda hanya diberi dimensi persegi panjang dan simpul poligon dan ditanya berapa banyak …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing