Ilmu Komputer Teoritis

Kelas kompleksitas didefinisikan sebagai berikut (dari Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Bahasa adalah dalam S P 2 jika ada predikat polinomial-waktu P sedemikian rupaL.L.LSP2S2PS_2^PPPP Jika , maka ada y sedemikian rupa sehingga untuk semua z , P ( x , y , z ) = 1x ∈ Lx∈L.x \in LyyyzzzP( x , y, …

10 cc.complexity-theory  complexity-classes 

Mari kita mendefinisikan kelas fungsi lebih dari satu set bit. Perbaiki dua distribusi yang "cukup" berbeda satu sama lain (jika Anda suka, jarak variasional mereka setidaknya , atau yang serupa).p , q ϵnnnhal,qp,qp, qϵϵ\epsilon Sekarang setiap fungsi dalam kelas ini didefinisikan oleh kumpulan indeks , dan dievaluasi sebagai berikut: Jika …

10 lg.learning 

Saya menulis tesis master saya di CS dan saya bekerja dengan analisis alias. Hal yang saya tertarik adalah intraprocedural, analisis aliran must-and-alias yang sensitif untuk bahasa mirip Java. Saya mencari teks yang menggambarkan dasar-dasar dari subjek ini secara terperinci tetapi tidak dapat menemukan sesuatu yang benar-benar cocok. Saya selamat dari …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Biarkan kelas BPNC (kombinasi dan ) menjadi algoritma paralel kedalaman log dengan probabilitas kesalahan terbatas dan akses ke sumber acak (saya tidak yakin apakah ini memiliki nama yang berbeda). Tentukan kelas DBPNC dengan cara yang sama, kecuali bahwa semua proses memiliki akses acak ke aliran acak bit yang diperbaiki pada …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Pertanyaan berikut ini terkait dengan optimalitas dari Bellman-Ford - t terpendek algoritma pemrograman jalan dinamis (lihat posting ini untuk sambungan). Juga, jawaban positif akan menyiratkan bahwa ukuran minimal dari program percabangan monoton nondeterministik untuk masalah STCONN adalah Θ ( n 3 ) . ssstttΘ ( n3)Θ(n3)\Theta(n^3) Misalkan menjadi DAG (grafik …

10 graph-theory  circuit-complexity  lower-bounds 

Konteks : Kavvadias dan Sideri telah menunjukkan bahwa masalah Inverse 3-SAT adalah coNP Lengkap: Diberikan satu set model pada n variabel, apakah ada rumus 3-CNF sehingga ϕ adalah set model yang tepat? Formula kandidat langsung muncul yang merupakan gabungan dari semua 3-klausa yang dipenuhi oleh semua model dalam ϕ .ϕϕ\phinnnϕϕ\phiϕϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

BPPBPP\mathsf{BPP} danZPPZPP\mathsf{ZPP} adalah dua kelas kompleksitas probabilistik dasar. BPPBPP\mathsf{BPP} adalah kelas bahasa yang diputuskan oleh algoritma Turing polinomial-waktu probabilistik di mana probabilitas algoritma mengembalikan jawaban yang salah dibatasi, yaitu probabilitas kesalahan paling banyak1313\frac{1}{3} (untuk instance YA dan TIDAK). Di sisi lain, ZPPZPP\mathsf{ZPP} algoritma dapat dilihat sebagai orang algoritma probabilistik yang …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Saya tahu Gaussian Elimination membutuhkan operasi aritmatika , tetapi saya tidak yakin apakah ada algoritma yang lebih baik yang diketahui.O(n3)O(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Diberikan keluarga paling banyak himpunan bagian dari . Penutupan serikat adalah himpunan keluarga lain berisi setiap set yang dapat dibangun dengan mengambil serikat dari 1 atau lebih set di . Olehkami menunjukkan jumlah set di .FF\mathcal Fnnn{1,2,…,n}{1,2,…,n}\{ 1, 2, \dots, n \}FF\mathcal FCC\mathcal CFF\mathcal F|C||C||\mathcal C|CC\mathcal C Apa cara tercepat …

10 co.combinatorics  graph-algorithms  clique  independence 

Dalam kebanyakan sistem bukti probabilistik (teorema PCP, misalnya), probabilitas kesalahan biasanya didefinisikan pada sisi false-positive, yaitu definisi tipikal dapat terlihat seperti: jika maka verifier selalu menerima, tetapi dalam kasus lain kemungkinan penolakan setidaknya 1/2.x ∈ Lx∈Lx \in L Apakah ada masalah dalam membiarkan kesalahan terjadi di sisi lain? Itu berarti …

10 cc.complexity-theory  pcp  interactive-proofs 

Pertanyaan saya adalah mengapa batas bawah untuk kedalaman 3 sirkuit Boolean dengan gerbang "dan" dan "xor" untuk determinan tidak menyiratkan batas bawah yang sama untuk sirkuit aritmatika di atas ZZ\mathbb{Z} ? Apa yang salah dengan argumen berikut: Misalkan CCC menjadi rangkaian penentu penghitungan aritmatika maka dengan mengambil semua variabel mod …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya, Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?AC0AC0\mathsf{AC^0} Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?AC0AC0\mathsf{AC^0} Maksud "sederhana" yang saya maksud adalah bukti yang lebih sederhana daripada yang saya sebutkan di bawah ini, khususnya saya …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Dalam semantik bahasa pemrograman, sering terdengar bahwa orang berbicara tentang makna dan denotasi . Mereka tampaknya tidak sama. Apa bedanya? Apakah yang pertama dikaitkan dengan semantik operasional sementara yang kedua dengan semantik denotasional? Terima kasih.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

Baru-baru ini saya telah membaca sejumlah makalah CoLT yang layak. Meskipun saya tidak bergumul dengan makalah individual (setidaknya tidak lebih dari biasanya saya bergumul dengan makalah teori lainnya), saya tidak merasa memiliki pemahaman yang luas tentang bidang ini secara keseluruhan. Apakah ada teks standar, survei, atau catatan kuliah untuk memperkenalkan …

10 reference-request  machine-learning  lg.learning  survey  books 

Jenis kepemilikan dan Logika Pemisahan tampaknya memiliki tujuan yang sama, kendali atas kepemilikan dan alias. Mungkin, saya juga harus menambahkan: kemampuan untuk menulis spesifikasi modular. Apa yang diketahui tentang hubungan antara tipe kepemilikan dan Logika Pemisahan?

10 pl.programming-languages  type-systems  object-oriented  program-logic