Pertanyaan yang diberi tag «reference-request»

Dalam Girard's Proofs and Types kita dapat membaca: Dari sudut pandang algoritmik, kalkulus sekuensial tidak memiliki isomorfisma Curry-Howard, karena banyaknya cara penulisan bukti yang sama. Ini mencegah kita untuk menggunakannya sebagai -calculus yang diketik , walaupun kita melihat sekilas struktur yang dalam dari jenis ini, mungkin terkait dengan paralelisme.λλ\lambda Bukti …

9 reference-request  logic  parallel-computing 

Saya memposting ini di MathUnderflow tetapi tidak mendapat jawaban, jadi saya pikir saya akan mencobanya di sini, Saya membaca kertas tua Rabin dan Fischer [akan memposting tautan bila memungkinkan] di mana antara lain, kompleksitas eksponensial ganda dari aritmatika Presburger terbukti. Buktinya bergantung pada keberadaan formula secara informal menyatakan " x …

9 complexity-theory  reference-request  logic 

Diberikan triangulasi (tanpa titik Steiner) dari poligon P sederhana PPP, orang dapat mempertimbangkan ganda triangulasi ini, yang didefinisikan sebagai berikut. Kami membuat simpul untuk setiap segitiga dalam triangulasi kami, dan kami menghubungkan dua simpul jika segitiga yang sesuai memiliki keunggulan. Grafik ganda dikenal sebagai pohon dengan derajat tiga maksimum. Untuk …

9 reference-request  computational-geometry 

Saya mendengar beberapa penjelasan yang mungkin, jadi saya ingin referensi yang dapat dipercaya. Pembaruan 05.19: Saya tertarik dengan pertanyaan itu karena salah seorang siswa saya menulis dalam tesisnya bahwa nama tersebut berasal dari penjelasan di bawah ini (1). Sampai sekarang saya berpikir / mendengar bahwa itu berasal dari penjelasan (2). …

9 terminology  reference-request  history 

@ Babou menjawab pertanyaan terakhir mengingatkan saya bahwa pada suatu waktu saya pikir saya membaca makalah tentang kesetaraan (dalam hal kedua fakta yang dapat disimpulkan atau dibuktikan dan kompleksitas waktu menjalankan algoritma inferensi) dari analisis aliran data , interpretasi abstrak , dan tipe inferensi . Dalam beberapa sub-kasus (seperti antara …

9 reference-request  compilers  type-inference  program-optimization 

Pertanyaan ini adalah tentang persimpangan teori probabilitas dan kompleksitas komputasi. Satu pengamatan utama adalah bahwa beberapa distribusi lebih mudah dihasilkan daripada yang lain. Misalnya masalah Dengan diberi nomor nnn , kembalikan nomor terdistribusi secara seragam dengan .0 ≤ i &lt; niii0≤i&lt;n0≤i&lt;n0 \leq i < n mudah dipecahkan. Di sisi lain, …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Saya melihat masalah berikut: Dengan -vektor dimensi bilangan asli dan beberapa vektor input , apakah kombinasi linear dari dengan koefisien bilangan alami?nnnv1, ... ,vmv1,...,vmv_1, \ldots, v_mkamukamuukamukamuuvsayavsayav_i yaitu apakah ada beberapa mana ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N}u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m Jelas versi bilangan real dari masalah …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Sebuah bahasa formal LLL lebih alfabet ΣΣ\Sigma adalah himpunan bagian dari Σ∗Σ∗\Sigma^* , yaitu, satu set kata-kata di atas alfabet itu. Dua bahasa resmi LLL dan L′L′L' adalah sama, jika sesuai set extensionally sama sebagai subset dari L∪L′L∪L′L\cup L' . Seseorang dapat menggunakan bahasa dalam teori kompleksitas untuk memformalkan konsep …

9 complexity-theory  formal-languages  reference-request 

Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer. Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan kondisi akhir (menerima) bisa berbeda. Biarkan …

9 formal-languages  reference-request  finite-automata 

Apakah varian masalah jumlah subset ini mudah / diketahui? Dengan bilangan bulat , dan satu set bilangan bulat positif sedemikian rupa sehingga setiap x_i memiliki paling banyak k = 2 bit diatur ke 1 ( x_i = 2 ^ {b_ {i_1} } + 2 ^ {b_ {i_2}}, \; \; b_ …

9 complexity-theory  reference-request  decision-problem 

Saya mencoba mengajari diri saya berbagai pendekatan untuk verifikasi perangkat lunak. Saya sudah membaca beberapa artikel. Sejauh yang saya pelajari, logika proposisional dengan temporal umumnya menggunakan pengecekan model dengan pemecah SAT (dalam sistem yang sedang berlangsung - reaktif), tetapi bagaimana dengan Logika orde pertama dengan temporal? Apakah ini menggunakan pembuktian …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Adakah sumber belajar web Diskrit matematika yang bagus dengan set masalah?

9 reference-request  education  discrete-mathematics 

Algoritma pembelajaran mesin mana (selain SVM) yang menggunakan prinsip minimalisasi risiko struktural ?

9 reference-request  machine-learning 

Ini adalah latihan sepele dalam automata terbatas untuk menunjukkan bahwa tidak ada algoritma yang dapat mendeteksi semua virus, namun ada banyak perusahaan perangkat lunak yang menjual Perangkat Lunak Anti Virus. Apakah ada bagian CS yang berhubungan dengan Virus dan Anti Virus? PS: Saya tidak bertanya tentang pembenaran non-CS terkait untuk …

9 reference-request  security 

Saya mencari makalah yang mudah dan pengantar tentang bukti Teorema Courcelle . Saya juga tertarik dengan hubungannya dengan kompleksitas parameter tentang treewidth . Saya hanya pemula di bidang ini. Ada saran?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity