Ilmu Komputer Teoritis

Ketidaksamaan tipe Chernoff digunakan untuk menunjukkan bahwa probabilitas bahwa jumlah variabel acak independen menyimpang secara signifikan dari nilai yang diharapkan secara eksponensial kecil dalam nilai yang diharapkan dan deviasi. Apakah ada ketimpangan tipe Chernoff untuk jumlah variabel acak independen berpasangan ? Dengan kata lain, adakah hasil yang menunjukkan hal berikut: …

13 derandomization  pr.probability  chernoff-bound 

Ini adalah pertanyaan yang terinspirasi oleh masalah pemotongan bebas-H . Diberikan grafik, partisi dari simpulnya mengatur menjadi r bagian V 1 , V 2 , ... , V r adalah H -gratis jika G [ V i ] tidak menginduksi salinan H untuk semua i , 1 ≤ i ≤ …

13 graph-theory  np-hardness  co.combinatorics 

Sangat mudah untuk memverifikasi bahwa dengan grid d dimensi dari titik integer , dengan kedekatan reguler, orang dapat menemukan pemisah ukuran n d - 1 (cukup pilih sembarang hyperplane tengah, dan hapus semua simpulnya). Juga tidak terlalu sulit (tapi jelas tidak langsung) untuk memverifikasi bahwa setiap pemisah harus berukuran Ω …

13 reference-request  cg.comp-geom  lower-bounds 

Sederhananya: apa korespondensi antara mesin Turing dengan oracle, dan keluarga sirkuit seragam dengan oracle? Bagaimana yang terakhir didefinisikan untuk mendapatkan model komputasi yang sama, untuk mesin Turing oracle yang diberikan? Ini mungkin pertanyaan mendasar, tetapi tidak jelas ke mana harus mencari, dan saya adalah tipe orang yang suka memastikan bahwa …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Rumus Monotone-2CNF adalah formula CNF di mana setiap klausa tersusun oleh tepat 2 literal positif. Sekarang, saya memiliki Monoton-2CNF rumus . Misalkan S adalah himpunan tugas F yang memuaskan. Saya juga memiliki oracle O yang dapat memberikan informasi berikut:FFFSSSFFFOOO Kardinalitas himpunan (yaitu jumlah solusi F ).SSSFFF Diberikan variabel : xxx …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki bolak-balik logspace runtuh, ini berarti bahwa (definisi mesin turing bolak terbatas dan apa yang ada hierarki dapat …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

The Paley grafik P q adalah mereka yang simpul-set diberikan oleh bidang yang terbatas GF (q), untuk kekuatan utama q≡1 (mod 4), dan di mana dua simpul yang berdekatan jika dan hanya jika mereka berbeda oleh 2 untuk beberapa a ∈ GF (q). Dalam kasus q adalah prima, bidang hingga …

13 ds.algorithms  graph-theory 

Apa saja masalah dunia nyata yang telah dipecahkan menggunakan algoritma genetika? Apa masalahnya? Apa tes kebugaran yang digunakan untuk mengatasi masalah ini?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

Saya memiliki dataset yang merupakan sejumlah objek yang disusun dalam kotak 2-D. Saya tahu saya memiliki urutan ketat, meningkat saat Anda bergerak dari kiri ke kanan di setiap baris, dan meningkat dari atas ke bawah dalam setiap kolom. Sebagai contoh, 1 2 3 4 6 7 5 8 9 Bisakah …

13 ds.algorithms  total-ordering  sorting 

Katakanlah kita menginginkan bahasa pemrograman fungsional yang murni, seperti Haskell atau Idris, yang ditujukan untuk pemrograman sistem tanpa pengumpulan sampah dan tidak memiliki runtime (atau setidaknya tidak lebih dari "runtimes" C dan Rust). Sesuatu yang bisa berjalan, lebih atau kurang, pada bare metal. Apa sajakah pilihan untuk keamanan memori statis …

13 pl.programming-languages  language-design 

Dalam bukunya Computational Complexity , Papadimitriou mendefinisikan FNP sebagai berikut: Misalkan adalah bahasa dalam NP . Dengan Proposisi 9.1, ada polinomial-waktu decidable, polynomially seimbang hubungan sehingga untuk semua string : Ada string dengan jika dan hanya jika . Masalah fungsi yang terkait dengan , dinotasikan , adalah masalah komputasi berikut:LLL …

13 complexity 

Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka harus ada yang lain. Tetapi biasanya kelas secara formal didefinisikan …

13 cc.complexity-theory  reductions  search-problem  ppad 

Sejujurnya, saya tidak tahu banyak tentang bagaimana angka acak dihasilkan (komentar dipersilahkan!) Tapi mari kita asumsikan model teoritis berikut: Kita bisa mendapatkan bilangan bulat acak acak dari dan tujuan kami adalah untuk mengeluarkan bilangan bulat secara acak acak dari [1,3].[1,2n][1,2n][1,2^n] Solusi sederhana yang diharapkan waktu berjalan polinomial adalah sebagai berikut. …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus . Memang, tampaknya ia menjelaskan Kalkulus Lambda Cukup Ketik untuk mengurangi kesalahpahaman tentang Kalkulus Lambda. Sekarang ketika John McCarthy menciptakan Lisp - ia mendasarkannya pada Kalkulus Lambda . Ini dengan pengakuannya sendiri ketika ia menerbitkan "Fungsi rekursif …

13 lambda-calculus  term-rewriting-systems  lisp 

Treewidth dan pathwidth adalah parameter populer, yang mengukur kedekatan grafik ke pohon atau jalur. Memang, tampaknya treewidth sangat populer sehingga ditampilkan di banyak makalah, buku, dan catatan kuliah yang memberikan (bahkan sangat lembut) pengantar aspek algoritmik treewidth (lihat misalnya buku Downey & Fellows). Biasanya, sumber daya ini menjelaskan bagaimana beberapa …

13 reference-request  graph-algorithms  parameterized-complexity