Ilmu Komputer Teoritis

Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Theoretical Computer Science Stack Exchange. Ditutup 3 tahun yang lalu . Apakah ada konstruksi eksplisit singkat dari fungsi rekursif universal ? Semua definisi yang saya lihat melibatkan penomoran …

9 lo.logic  computability  pl.programming-languages 

Secara khusus saya maksudkan keluarga bahasa yang menerima string panjang yang sewenang-wenang - bukan konjungsi atas n bit atau daftar keputusan atau bahasa "sederhana" lainnya yang terkandung dalam {0,1} ^ n. Saya bertanya tentang bahasa reguler "automata-theoretic" sebagai lawan dari bahasa "logic-theoretic": sesuatu seperti bahasa yang dapat diuji secara terpisah, …

9 automata-theory  machine-learning  lg.learning 

Biarkan menjadi alfabet, yaitu himpunan terbatas yang tidak kosong. String adalah setiap urutan elemen (karakter) hingga dari Σ . Sebagai contoh, { 0 , 1 } adalah alfabet biner dan 0110 adalah string untuk alfabet ini.ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Biasanya, selama mengandung lebih dari 1 elemen, jumlah …

9 big-list  encoding  examples 

IP (2pfa) dan AM (2pfa) adalah kelas bahasa yang dikenali dengan kesalahan terbatas oleh versi koin pribadi dan publik, masing-masing, dari sistem bukti interaktif dengan verifier yang probabilistic automata terbatas dengan kepala input dua arah. Apakah ada properti penutup dari kelas-kelas ini yang diketahui?

9 cc.complexity-theory  interactive-proofs 

Misalkan kita memiliki variabel acak yang mengambil nilai non-numerik a, b, c dan ingin menghitung bagaimana distribusi empiris dari sampel variabel ini menyimpang dari distribusi yang sebenarnya. Ketidaksetaraan berikut (dari Cover & Thomas ) berlaku dalam kasus ini.nnn Teorema 12.4.1 (Teorema Sanov): Misalkan menjadi iid ∼ Q ( x ) …

9 pr.probability  chernoff-bound 

Pertanyaannya adalah sebagai berikut. Secara umum ketika seseorang memiliki istilah seperti , kita dapat menghilangkan forall dengan menerapkan istilah ini pada suatu tipe, sebagai contoh .ΛX.tΛX.t\Lambda X.t(ΛX.t)[T]→t[X:=T](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T] Sekarang, anggap ini adalah panah dan kami ingin memberikan argumen, maka kita perlu menerapkan istilah ini ke jenis yang tepat sehingga …

9 type-theory  polymorphism  type-inference 

Saya (perlahan-lahan) menulis ulasan tentang Buku Pegangan Algoritma Chemoinformatika untuk SIGACT News. Satu bab membahas implementasi perangkat lunak saat ini, dan pencarian basis data (dan aplikasi lain) tampaknya tidak memanfaatkan sebanyak mungkin informasi tentang grafik. Di sisi lain, mungkin lebih banyak algoritma teoretis akan terlalu sulit untuk diterapkan. Sepertinya ini …

9 reference-request 

Kami tahu dan menyukai banyak konsep konsep solusi: PN: Keseimbangan Nash Murni MN: Keseimbangan Campuran Nash CE: Ekuilibrium berkorelasi CCE: Tentu saja berkorelasi keseimbangan. Hubungan antara set ini adalah: Kita dapat mempertimbangkan harga anarki atas salah satu dari konsep solusi ini: kasus kesejahteraan sosial terburuk untuk setiap profil dalam set, …

9 gt.game-theory 

Jadi saya punya masalah yang saya hadapi sehubungan dengan pengelompokan data langsung yang terus mengalir. Karena saya memiliki kumpulan data yang terus bertambah, saya tidak yakin apa cara terbaik untuk menjalankan pengelompokan yang efisien dan efektif. Saya telah menemukan beberapa solusi yang mungkin termasuk: Menetapkan batas pada berapa banyak titik …

9 ds.algorithms  clustering  online-algorithms  data-streams 

Adakah hasil yang diketahui yang menunjukkan bahwa keberadaan (atau tidak adanya) grafik berhingga dengan sifat komputabel spesifik menyiratkan hasil kompleksitas tertentu (seperti P = NP)? Inilah satu hasil yang sepenuhnya hipotetis : Jika grafik berhingga ada dengan tepi terdistribusi A, B, C dan D sehingga semua pencocokan maksimum mengandung semua …

9 cc.complexity-theory 

Saya bertanya-tanya apakah tugas mencari planar 3-warna diketahui sebagai kompleksitas atau lebih rendah? Ini terasa seperti itu akan menjadi konsekuensi intuitif berdasarkan hasil pemisah planar, namun di wikipedia , itu hanya menyebutkan set independen, pohon Steiner, siklus Hamilton, dan TSP. Di bawah ini saya sertakan beberapa alasan yang menurut saya …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

Hasil ini oleh Tavenas, Koiran dan lain-lain menunjukkan bahwa setiap polinomial yang dihitung oleh sirkuit ukuran sss dihitung oleh kedalaman-4 sirkuit homogen ukuran sd√sds^{\sqrt{d}} . Apakah ada hasil yang serupa untuk sirkuit Boolean atau kita tahu mengapa hal seperti itu tidak mungkin?

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

Konteks : Ada beberapa makalah yang mempelajari implikasi dari kurva timelike tertutup (CTL) terhadap kompleksitas kuantum. Pada tahun 2008, Aaronson dan Watrous menerbitkan makalah terkenal mereka tentang topik ini yang menunjukkan bahwa bentuk perjalanan waktu tertentu dapat membuat komputasi klasik dan kuantum setara, yaitu komputer kuantum tidak memberikan keuntungan komputasi …

9 cc.complexity-theory  quantum-computing  big-picture 

Saya mencari untuk menulis survei tentang metode yang mewakili dinamika perhitungan berbasis negara dalam kerangka kerja coalgebras. Sejauh ini saya sudah berhasil menemukan makalah tentang representasi coalgebra DFA, NFA, mesin Mealy, mesin Moore, tata bahasa bebas konteks, dan bahkan sistem kuantum sederhana. Saya belum menemukan sumber yang bagus untuk merepresentasikan …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Apakah kita mampu membuktikan teorema parametricity gratis tentang fungsi seperti ? Seharusnya menyatakan bahwa f mengambil daftar dan selalu mengembalikan permutasi itu.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Contoh lain: membuktikan bahwa fungsi akan selalu mengembalikan daftar permutasi dengan tepat satu elemen disalin.f:∀A.(A⊸(A,A))⊸[A]⊸[A]f:∀A.(A⊸(A,A))⊸[A]⊸[A]f : \forall A . (A ⊸ …

9 linear-logic  parametricity