Ilmu Komputer Teoritis

Jawab: tidak dikenal Terima kasih banyak untuk semua yang membantu memperbaiki pertanyaan ini dan definisi yang terkait dengannya. Definisi wiki ini memberikan titik awal untuk wiki TCS yang lebih baru " Apakah P berisi bahasa yang keberadaannya tidak bergantung pada PA atau ZFC? (Wiki komunitas TCS) ". Wiki yang lebih …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Mengingat satu set terbatas gerbang kuantum , itu decidable (dalam perhitungan akal teoritis) apakah G adalah gerbang universal set? Di satu sisi, "hampir semua" set gerbang bersifat universal, di sisi lain, set gerbang non-universal masih belum dipahami dengan baik (khususnya, tentu saja, tidak diketahui apakah setiap set gerbang non-universal dapat …

11 quantum-computing 

Saya baru saja memulai kursus master saya. Semester terakhir saya mengambil kursus dari berbagai disiplin ilmu seperti jaringan, rekayasa perangkat lunak, arsitektur, dll. Baru-baru ini, setelah mengambil kursus lanjutan dalam algoritma dan struktur data, saya pikir saya menemukan kursus yang paling menarik minat saya (termasuk topik serupa lainnya seperti bahasa …

11 soft-question  career 

Apa perbedaan memanggil -calculus sebagai aljabar dan bukannya kalkulus? Saya mengajukan pertanyaan ini karena saya membaca suatu baris " -calculus bukan kalkulus tetapi aljabar" (iirc, dikaitkan dengan Dana Scott). Apa intinya? Terima kasih.λλλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

Mari menjadi urutan bilangan bulat di mana setiap satu j ∈ { 1 , 2 , ... , n } . Untuk i ∈ { 1 , 2 , … , n } , biarkan m i = | { j : a j = i } | . The …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Diberikan grafik tidak berarah tertimbang dengan tepi, saya ingin menghitung jarak perkiraan kurang dari 2 antara setiap pasangan simpul. Tentu saja, saya ingin menggunakan ruang subquadratic dan waktu permintaan sublinear.m=o(n2)m=o(n2)m = o(n^2) Saya mengetahui hasil Zwick yang menggunakan perkalian matriks, tetapi saya ingin tahu apakah ada algoritma kombinatorial yang dikenal …

11 ds.algorithms  graph-algorithms 

Latihan berikut telah dibagikan kepada siswa yang saya awasi: Dengan titik di pesawat, buatlah algoritma yang menemukan sepasang titik yang jaraknya minimal di antara semua pasangan titik. Algoritme harus berjalan dalam waktu .o ( n 2 )nnno ( n2)o(n2)o(n^2) Ada algoritma membagi dan menaklukkan (relatif) sederhana yang menyelesaikan tugas dalam …

11 ds.data-structures  cg.comp-geom 

Seperti yang saya mengerti, dalam ilmu komputer tipe data tidak didasarkan pada teori himpunan karena hal-hal seperti paradoks Russell, tetapi seperti dalam bahasa pemrograman dunia nyata kita tidak dapat mengekspresikan tipe data yang kompleks seperti "set yang tidak mengandung dirinya sendiri", dapatkah kita katakanlah bahwa dalam tipe praktik adalah himpunan …

11 type-theory  set-theory  type-systems 

Misalkan kita memiliki semigroup dengan elemen S = { s 1 , s 2 , ... , s n } . Tujuan kami adalah menghitung produk s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S, ∘ )(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,...,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracessaya∘ si …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Dalam sistem kontrol versi terdistribusi (seperti Mercurial dan Git ) ada kebutuhan untuk secara efisien membandingkan grafik asiklik terarah (DAG). Saya adalah pengembang Mercurial, dan kami akan sangat tertarik untuk mendengar tentang karya teoretis yang membahas kompleksitas waktu dan jaringan membandingkan dua DAG. DAGs yang dimaksud dibentuk oleh revisi yang …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Pertanyaan ini terkait dengan pertanyaan terbaru oleh Janoma . Latar Belakang Dalam pemrograman kendala, sebuah rutin global yang kendala ccc selama domain DDD adalah sepasang (s,M)(s,M)(s, M) dengan sss tupel variabel (lingkup) dan MMM DFA atas domain DDD . Tugas θθ\theta to sss memuaskan ccc jika MMM menerima string θ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

Masalah galeri seni tradisional membuat suatu daerah dan penjaga dengan beberapa pandangan tentang visibilitas, dan meminta jumlah penjaga minimum yang perlu ditempatkan untuk melihat seluruh wilayah. Adakah yang pernah melihat varian galeri seni di mana wilayah visibilitas ditentukan oleh sepasang penjaga. Misalnya, satu formulasi mungkin bahwa suatu titik tertutup jika …

11 reference-request  cg.comp-geom 

Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis inklusi atau pengecualian seperti Teorema Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Apa yang diketahui tentang transisi fase dalam masalah # P-Complete? Secara khusus, apakah ada transisi fase yang berbeda untuk # DNF-k-SAT dan # CNF-k-SAT? Pembaruan: Seperti yang kita ketahui, ada fase transisi dalam Random k-SAT di mana penyelesaian masalah berubah dari yang mudah ke sulit dan kembali ke mudah lagi. …

11 cc.complexity-theory  counting-complexity  phase-transition 

Bagaimana seseorang melihat suatu masalah dan alasan bahwa itu kemungkinan NP-Intermediate dibandingkan dengan NP-Complete? Seringkali cukup sederhana untuk melihat suatu masalah dan mengatakan apakah itu mungkin NP-Complete atau tidak, tetapi bagi saya tampaknya lebih sulit untuk mengatakan apakah suatu masalah adalah NP-Intermediate karena garis tampaknya cukup tipis antara keduanya. kelas. …

11 cc.complexity-theory  complexity-classes  np-intermediate