Ilmu Komputer Teoritis

Barry Jay dalam bukunya membuat beberapa klaim berani - pada dasarnya dengan mengatakan bahwa, pada intinya sebuah program, semuanya adalah atom atau komposisi. Maka hal-hal dapat dengan mudah diulang, disaring, diperbarui, hanya dengan menavigasi hubungan komposisi ini. Apakah ini perbatasan baru dalam Ilmu Komputer untuk bahasa komputer - atau apakah …

11 fl.formal-languages 

Lemma Johnson-Lindenstrauss mengatakan secara kasar bahwa untuk setiap koleksi SSS dari nnn poin dalam RdRd\mathbb{R}^d , terdapat peta f:Rd→Rkf:Rd→Rkf:\mathbb{R}^d \rightarrow \mathbb{R}^k mana k=O(logn/ϵ2)k=O(log⁡n/ϵ2)k = O(\log n/\epsilon^2) sedemikian rupa sehingga untuk semua x,y∈Sx,y∈Sx, y \in S : (1−ϵ)||f(x)−f(y)||2≤||x−y||2≤(1+ϵ)||f(x)−f(y)||2(1−ϵ)||f(x)−f(y)||2≤||x−y||2≤(1+ϵ)||f(x)−f(y)||2(1-\epsilon)||f(x)-f(y)||_2 \leq ||x-y||_2 \leq (1+\epsilon)||f(x)-f(y)||_2 Diketahui bahwa pernyataan serupa tidak mungkin untukmetrikℓ1ℓ1\ell_1 , tetapi …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

Saya terutama tertarik pada penggunaannya dalam aplikasi pengecekan model. Saya memiliki Jaringan Antrian Terbuka, Tertutup dan Campuran dengan Kelas Pelanggan yang Berbeda oleh Baskett et al. Ada saran lain untuk bahan bacaan? Terima kasih.

11 reference-request  markov-chains  queueing-theory  model-checking 

Dalam grafik yang diarahkan,G = ( V, E)G=(V,E)G=(V,E) , , jika G ∖ F adalah DAG (grafik asiklik terarah), F disebut set busur umpan balik. F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Jika setiap sisi dikaitkan dengan bobot , masalah set busur umpan balik biaya minimum adalah untuk menemukan F sehingga …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Berikut adalah dua variasi definisi NP. Mereka (hampir pasti) mendefinisikan kelas kompleksitas yang berbeda, tetapi pertanyaan saya adalah: adakah contoh alami masalah yang cocok dengan kelas-kelas ini? (Ambang batas saya untuk apa yang dianggap alami di sini sedikit lebih rendah dari biasanya.) Kelas 1 (superclass NP): Masalah dengan saksi ukuran …

11 cc.complexity-theory  complexity-classes  np 

Ketika saya memikirkan perangkat lunak yang tidak aman saya pikir itu "terlalu berguna" dan dapat disalahgunakan oleh penyerang. Jadi dalam arti mengamankan perangkat lunak adalah proses membuat perangkat lunak kurang bermanfaat. Dalam Ilmu Komputer Teoritis Anda tidak bekerja dengan dunia nyata. Jadi, apakah ada masalah keamanan ketika bekerja dengan teori …

11 cr.crypto-security  big-picture 

Saya baru saja mulai (independen) belajar tentang perhitungan kuantum secara umum dari buku Nielsen-Chuang. Saya ingin bertanya apakah ada yang bisa mencoba menemukan waktu untuk membantu saya dengan apa yang terjadi dengan postulat pengukuran mekanika kuantum. Maksudku, aku tidak mencoba mempertanyakan dalil itu; hanya saja saya tidak mendapatkan bagaimana nilai …

11 quantum-computing  quantum-information 

Dalam makalah Stephen Cook tentang masalah P vs NP, [1] ia menyatakan sebagai berikut: Tesis Kelayakan: Masalah alami memiliki algoritma yang layak jika memiliki algoritma waktu polinomial. Pertanyaan saya adalah, apa sebenarnya yang dia (atau secara umum sebenarnya, apa artinya) dengan " masalah alami "? Berbicara tentang masalah yang wajar …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Dua kelompok dan dikatakan isomorfik jika terdapat homomorfisme dari ke yang bersifat bijektif. Masalah isomorfisme kelompok adalah sebagai berikut: diberikan dua kelompok, periksa apakah isomorfis atau tidak. Ada berbagai cara untuk memasukkan grup, dua yang paling banyak digunakan adalah dengan tabel Cayley dan oleh genset. Di sini saya mengasumsikan kelompok …

11 ds.algorithms  gr.group-theory 

Dalam teori kompleksitas, definisi kompleksitas waktu dan ruang keduanya merujuk pada mesin Turing universal: resp. jumlah langkah sebelum berhenti, dan jumlah sel pada kaset menyentuh. Mengingat tesis Church-Turing, harus mungkin untuk mendefinisikan kompleksitas dalam hal kalkulus lambda juga. Gagasan intuitif saya adalah bahwa kompleksitas waktu dapat dinyatakan sebagai jumlah β-reduksi …

11 time-complexity  lambda-calculus 

Biarkan menjadi oracle generik dalam arti kategori Cohen / Baire. Biarkan menjadi oracle acak.GGGRRR Apakah ada kompleksitas kelas A dan B dengan atau sebaliknya, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Pertanyaan itu diilhami oleh komentar oleh Scott Aaronson .

11 cc.complexity-theory  complexity-classes 

Sudah diketahui umum bahwa untuk kelas konsep dengan VC dimensi , cukup untuk mendapatkan O \ kiri (\ frac {d} {\ varepsilon} \ log \ frac {1} {\ varepsilon} \ kanan) contoh berlabel untuk PAC learn \ mathcal {C} . Tidak jelas bagi saya apakah algoritma pembelajaran PAC (yang menggunakan …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Saya sudah pemrograman selama beberapa tahun, tetapi saya sangat tidak terbiasa dengan CS teoritis. Saya baru-baru ini mencoba mempelajari bahasa pemrograman, dan sebagai bagian dari itu, ketik pengecekan dan inferensi. Pertanyaan saya adalah, jika saya mencoba menulis inferensi jenis dan memeriksa program untuk bahasa pemrograman, dan saya ingin membuktikan bahwa …

11 coq  type-inference  proof-assistants 

Saya tertarik pada sifat kombinatorial jejaring sosial sebagai grafik. Orang-orang telah melihat hal-hal seperti distribusi derajat, koefisien pengelompokan dan kompresibilitas grafik ini. Satu pertanyaan mendasar adalah: Apakah grafik ini biasanya merupakan grafik expander yang bagus? Adakah yang sudah memeriksa, katakanlah, celah spektral grafik facebook? Atau kesenjangan spektral dari jaringan dunia …

11 graph-theory  application-of-theory  expanders 

Adalah jenis teori Martin-LOF pada dasarnya Kalkulus predikatif dari Constructions induktif tanpa impredicative ?PropProp\mathtt{Prop} Jika mereka terkait erat tetapi dengan lebih banyak perbedaan dari sekedar , apa perbedaan?PropProp\mathtt{Prop}

11 type-theory  calculus-of-constructions