Ilmu Komputer Teoritis

Apa kompleksitas dari masalah berikut ini? Masukan : HHH a jalur Hamilton diKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 subset pasangan simpul bilangan bulat positifkkk Pertanyaan : apakah ada cocok sehingga untuk setiap , ? (di mana )( v , u ) ∈ RMMM(v,u)∈R(v,u)∈R(v,u) \in RdG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq kG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) Saya …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Apakah ada pekerjaan pada menemukan jumlah minimum operasi aritmatika dasar yang diperlukan untuk menghitung determinan dari suatu oleh matriks untuk kecil dan tetap ? Misalnya, .nnnnnnnnnnn=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

Apakah ada masalah menarik yang ada di tetapi tidak diketahui berada di N C 2 ? Dalam tulisan 'A Taksonomi Masalah Dengan Cepat Paralel Algoritma', Masak menyebutkan bahwa MIS dikenal hanya berada di N C 5 tapi ini sejak itu telah dibawa ke N C 2 . Saya bertanya-tanya apakah …

14 complexity-classes  dc.parallel-comp 

Apa yang menghentikan ghc dari menerjemahkan Haskell ke dalam bahasa pemrograman concatenative seperti logika kombinasi dan kemudian hanya menggunakan alokasi stack untuk semuanya? Menurut Wikipedia, terjemahan dari lambda kalkulus ke logika kombinasi adalah sepele, dan juga, bahasa pemrograman concatenative hanya dapat mengandalkan tumpukan untuk alokasi memori. Apakah layak untuk melakukan …

14 functional-programming  haskell 

Biarkan menjadi keluarga semua bahasa di atas memenuhi properti pemompaan bahasa biasa. Yaitu: untuk setiap , ada st setiap kata , dapat ditulis dalam bentuk mana: 1. , 2. , 3. untuk semua .L.L.\mathcal{L}ΣΣ\SigmaL ∈ LL.∈L.L\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ Lw∈L.w\in L| w | >N|w|>N|w|> Nw = x yzw=xyz w=xyz| y| >0|y|>0|y|>0| …

14 reference-request  fl.formal-languages  automata-theory 

Apakah ada hierarki "baik" yang diketahui (mungkin terbatas) di dalam kelas bahasa reguler ? Dengan baik di sini, kelas-kelas di setiap hierarki menangkap ekspresifitas / kekuatan / kompleksitas yang berbeda. Juga, keanggotaan masing-masing kelas "baik" ditunjukkan oleh beberapa elemen (tidak seperti masalah ketinggian bintang yang mungkin bermasalah).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq …

14 automata-theory  regular-language  regular-expressions 

Bisakah nondeterminisme mempercepat perhitungan deterministik? Jika ya, berapa banyak? Dengan mempercepat perhitungan deterministik dengan nondeterminisme yang saya maksud adalah hasil dari bentuk: D T i m e (f( n ) ) ⊆ N T i m e ( n )DTsayame(f(n))⊆NTsayame(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Misalnya sesuatu D T i m e ( …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Polinomial simetris dasar - k S n k ( x 1 , … , x n ) adalah jumlah dari semua produk dari variabel yang berbeda. Saya tertarik pada kompleksitas rangkaian aritmatika monoton dari polinomial ini. Algoritma pemrograman dinamis sederhana (serta Gambar 1 di bawah) memberikan sirkuit dengan gerbang O …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Menurut Kompleksitas Kebun Binatang , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} dan kita tahu bahwa RegReg\mathsf{Reg} tidak dapat dihitung sehingga TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg} . Namun tidak disebutkan apakah Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0} atau tidak. Karena kita tidak tahu NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} kita juga tidak tahu Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} . Apakah ada kandidat untuk masalah dalam yang …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Hubungan logis untuk bahasa Impredikatif seperti Sistem F tampaknya bergantung secara kritis pada impredicativitas dari logika ambient. Secara khusus, interpretasi untuk tipe forall akan didefinisikan dalam istilah semua hubungan yang diketik. Dalam sistem impredikatif (seperti CiC / Coq) itu baik, tetapi tampaknya tidak mungkin dalam sistem predikatif (seperti Agda). Bagaimana …

14 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

Saya seorang insinyur perangkat lunak yang cukup mahir, tetapi saya tidak tahu banyak teori. Saya ingin belajar lebih banyak teori. Topik khusus yang saya minati adalah: kompleksitas komputasi, bahasa formal, dan teori jenis. Tetapi saya bingung bagaimana cara mulai belajar tentang bidang-bidang ini. Sumber daya apa yang akan Anda rekomendasikan …

14 soft-question  teaching  books 

Untuk setiap bahasa lengkap NP yang sewenang-wenang, adakah selalu superset polytime yang komplemennya juga tidak terbatas? Versi sepele yang tidak menetapkan superset memiliki pelengkap tak terbatas telah diminta di /cs//q/50123/42961 Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan bahwa . Seperti yang dijelaskan Vor, jika maka jawabannya adalah "Tidak". (Jika , …

14 cc.complexity-theory  np-complete  structural-complexity 

Masalah: Diberikan diwakili oleh sirkuit boolean, menghasilkan secara acak yang seragam sedemikian rupa sehingga (atau output jika ada). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) = 1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx Jelas masalah ini …

14 np-hardness  counting-complexity  reductions 

Saya telah memikirkan pertanyaan-pertanyaan ini: Apakah ada kalkulus lambda yang diketik yang konsisten dan Turing lengkap? /cs/65003/if-%CE%BBxxx-has-a-type-then-is-the-type-system-inconsistent dan sudah ada beberapa pertanyaan yang sulit dijawab terkait dalam pengaturan yang tidak diketik ! Lebih khusus lagi, saya ingin tahu apakah kami dapat memulihkan Turing-kelengkapan dari non-pemutusan dengan cara berikut: Pertanyaan: Mengingat …

14 lambda-calculus  combinatory-logic 

Waktu konstan adalah kompleksitas akhir waktu mutlak yang rendah. Orang mungkin bertanya-tanya: adakah sesuatu yang nontrivial yang dapat dihitung dalam waktu yang konstan? Jika kita berpegang pada model mesin Turing, maka tidak banyak yang dapat dilakukan, karena jawabannya hanya dapat bergantung pada panjang segmen awal input, karena bagian input yang …

14 cc.complexity-theory  ds.algorithms  time-complexity