Ilmu Komputer Teoritis

Adakah cara yang bisa dilakukan oleh seorang pepatah untuk meyakinkan verifier bahwa beberapa ekspresi HORN-SAT memuaskan? Tentu saja ini mungkin tampak konyol, karena ada algoritma waktu linear untuk HORN-SAT. Di sisi lain, HORN-SAT adalah P-complete, yang berarti tidak memiliki algoritma ruang-log kecuali P = L. Dengan demikian, batasi kemampuan komputasi …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

MCTS / UCT adalah metode pencarian tree game yang menggunakan algoritma bandit untuk memilih node yang menjanjikan untuk dijelajahi. Permainan dimainkan sampai selesai secara acak dan simpul yang mengarah ke lebih banyak kemenangan dieksplorasi lebih berat. Algoritme bandit menjaga keseimbangan antara penjelajahan simpul dengan tingkat kemenangan tinggi dan penjelajahan simpul …

10 optimization  ai.artificial-intel  board-games 

Saya sedang membaca makalah seminal Les Valiant dan saya mengalami kesulitan dengan Proposisi 4.3 di halaman 10 makalah ini. Aku tidak bisa melihat mengapa kasus bahwa jika ada generator dengan nilai-nilai tertentu untuk dengan dasar { ( a 1 , b 1 ) ... ( a r , b r …

10 ds.algorithms  counting-complexity  survey 

Diberikan sirkuit boolean pada n variabel (yang menggunakan gerbang NOT, AND dan OR), apa cara paling efisien untuk mengekstrak rumus boolean yang diwakili oleh sirkuit? Apakah ada algoritma polytime untuk masalah ini?CCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Klasifikasi pembelajaran mesin apa yang paling bisa diparalelkan? Jika Anda memiliki masalah klasifikasi yang sulit, waktu yang terbatas, tetapi LAN komputer yang layak untuk digunakan, klasifikasi apa yang akan Anda coba? Secara tidak langsung kelihatannya bagi saya seperti beberapa pengklasifikasi standar yang saya tahu menumpuk sebagai berikut tetapi saya bisa …

10 lg.learning  machine-learning  dc.parallel-comp 

Diberi bidang terbatas, saya memiliki tessellation heksagonal dari pesawat itu dengan hexagon reguler ukuran tetap. Saya kemudian menghitung grafik Delaunay G untuk tessellation. Diberikan grafik G seperti itu, saya menghapus set node tertentu dalam grafik itu untuk menghasilkan banyak subgraf G. Saya perlu menentukan apakah subgraf ini isomorfik (satu sama …

10 ds.algorithms  graph-algorithms  graph-isomorphism 

David Rodríguez - dribea menulis dalam komentar di StackOverflow bahwa "Tidak semua koleksi dapat diimplementasikan tanpa kunci". Saya tidak yakin apakah ini benar, dan saya juga tidak dapat menemukan bukti. Pernyataan ini tidak terlalu tepat, tetapi izinkan saya mencoba untuk mengulanginya dengan cara yang sedikit lebih formal: Untuk setiap jenis …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Norma pemotongan | | A | |C||A||C||A||_C dari matriks nyata A = ( asaya , j) ∈ Rn × nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} adalah maksimum dari semua saya⊆ [ n ] , J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n] dari kuantitas ∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right|. Tentukan jarak …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

Pertanyaan ini sama dengan pembicaraan inspirasional untuk siswa sekolah menengah akhir . Ph.D. saya penasihat meminta saya untuk memberikan ceramah inspirasional untuk M.Sc. baru siswa. Subjeknya adalah dasar-dasar kriptografi , yang paling baik diilustrasikan oleh buku Goldreich . Pembicaraan akan memakan waktu sekitar satu jam, dan saya ingin membiasakan para …

10 reference-request  soft-question  cr.crypto-security  teaching 

Saya memiliki teori yang diketik berikut |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) dengan persamaan untuk semua istilah: f : A -> B, …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

Saya telah membaca sedikit tentang struktur data berikut: Ideal Hash Tries dari Bagwell Tabel hash Dinamis Larson Pohon merah-hitam Pohon Patricia ... dan saya yakin ada banyak orang lain di luar sana. Saya telah melihat sangat sedikit di mana masing-masing lebih cocok untuk, atau mengapa saya akan memilih satu dari …

10 ds.data-structures  functional-programming  tree  hash-function 

Dalam pertanyaan ini , disebutkan bahwa ada versi kompleksitas deskriptif teorema Rice. Saya menemukan bukti teorema berikut: Diberikan kompleksitas kelas C , properti nontrivial dari bahasa dalam C tidak dapat dihitung dalam C Saya sebelumnya telah memposting bukti yang saya temukan, tetapi karena begitu lama dan karena ditunjukkan dalam komentar …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Biarkan menjadi pohon biner yang di-root. Setiap jalur dari akar ke daun memiliki panjang . Setiap simpul selalu memiliki simpul anak kiri dan kanan tetapi ada kemungkinan bahwa keduanya sama (Jadi selalu ada jalur yang mungkin). Ukuran dibatasi oleh . Sebuah simpul dengan simpul anak yang berbeda disebut simpul percabangan …

10 graph-theory  tree 

Dalam pertanyaan sebelumnya tentang hierarki waktu, saya telah belajar bahwa kesetaraan antara dua kelas dapat disebarkan ke kelas yang lebih kompleks dan ketidaksetaraan dapat disebarkan ke kelas yang lebih kompleks, dengan argumen menggunakan padding. Karena itu, sebuah pertanyaan muncul di benak saya. Mengapa kita mempelajari pertanyaan tentang berbagai jenis perhitungan …

10 cc.complexity-theory  big-picture 

Bab Smyth dalam buku pegangan logika dalam ilmu komputer dan referensi lain menjelaskan bagaimana ruang metrik dapat digunakan sebagai domain. Saya mengerti bahwa ruang metrik lengkap memberikan titik tetap yang unik, tetapi saya tidak mengerti mengapa ruang metrik penting. Saya sangat menghargai pemikiran tentang pertanyaan-pertanyaan berikut. Apa contoh bagus penggunaan …

10 semantics  topology  denotational-semantics  domain-theory  metrics