Saya berpikir tentang kelas bahasa ini: adalah grafik, adalah bilangan alami dan adalah bilangan kromatis dariL = { ⟨ G , k ⟩ | GL.={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG }G}G\} Saya menganggap sebagai (1) "tidak ada pewarnaan warna k-1" dan (2) "ada pewarnaan warna k ". Sekarang, (1)...
Fungsi Ackermann terbalik sering terjadi ketika menganalisis algoritma. Presentasi hebatnya ada di sini: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗n\alpha_3(n) = \log^*...
Kebanyakan tipe teori yang saya sadari adalah predikatif yang saya maksudkan Void : Prop Void = (x : Prop) -> x tidak diketik dengan baik di sebagian besar pembuktian teorema karena tipe pi ini milik alam semesta yang sama Propdan tidak demikian halnya Prop : Prop. Ini menjadikannya...
Ketika saya melihat parsing Earley, itu terlihat sangat elegan, dan saya bertanya-tanya mengapa teknik GLR menjadi populer? Adakah yang tahu apa yang salah dengan Earley parsing yang Tomita buat GLR? Performa? Setiap publikasi pada diskusi ini sangat
Saya seorang mahasiswa pascasarjana dalam ilmu komputer teoretis, dan khususnya, algoritma perkiraan. Sekarang saya menemukan bahwa saya lebih tertarik pada matematika murni (saya dapat mengatakan ini karena saya tampaknya lebih menikmati kursus matematika daripada kursus CS). Saya ingin bertanya...
Ada teori grafik algoritmik / teori bilangan / kombinatorik / teori informasi / teori permainan. Apakah ada analisis matematis algoritmik? Menurut wiki, analisis matematis mencakup teori diferensiasi, integrasi, ukuran, batas, deret tak hingga, dan fungsi analitik. Tidak masalah untuk fokus...
Diberikan satu set pesawat terbang yang ditentukan oleh vektor normal , tipe selnya (atau tanda vektor) adalah semua vektor t ∈ { + , - } m yang terdapat vektor v ∈ R d sehingga ⟨ v , h i ⟩ ≠ 0 dan t i = tanda ( ⟨ v , h i ⟩ )h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf...
Saya bertanya-tanya apa daftar masalah komputasi alami saat ini yang tidak diketahui keunggulan kerumitannya dalam menggunakan komputer kuantum. Untuk memulai, saya pikir perhitungan jarak sunting adalah salah satu yang paling cepat dikenal sebagai algoritma kuantum yang paling dikenal klasik....
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
Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT...
Singkatnya, pertanyaannya adalah: sejauh mana, kemampuan komputasi untuk tugas-tugas sulit benar-benar membantu Anda dalam menyelesaikan tugas-tugas mudah. (Mungkin ada berbagai cara untuk membuat pertanyaan ini menarik dan tidak sepele, dan di sini ada satu upaya seperti itu.) Pertanyaan...
Perbaiki kelompok terbatas . Saya tertarik pada masalah keputusan berikut: input adalah beberapa elemen dengan urutan parsial pada mereka, dan pertanyaannya adalah apakah ada permutasi dari elemen yang memenuhi pesanan dan sedemikian rupa sehingga komposisi elemen dalam order menghasilkan elemen...
Mengingat DAG (disutradarai grafik asiklik) , dengan sumber S dan tenggelam T . Temukan DAG D ′ , dengan sumber S dan sink T , dengan jumlah tepi minimum sehingga:DDDSSSTTTD′D′D'SSSTTT Untuk semua pasangan ada jalur dari u ke v di D jika dan hanya jika ada jalur dari u ke v di D ′ .u∈S,v∈Tu∈S,v∈Tu...
Diberikan sedemikian sehingga koefisien p , q dibatasi oleh B , apakah p ≡ q tahan ?p ( x1, ... , xn) , q( x1, ... , xn) ∈ Z [ x1, ... , xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Lemma Schwartz-Zippel berlaku di sini...
Baru-baru ini saya menemukan sebuah makalah oleh Coudron dan Yuen tentang ekspansi keacakan menggunakan perangkat kuantum. Hasil utama dari pekerjaan ini adalah bahwa dimungkinkan untuk menghasilkan keacakan "tak terbatas" dari sejumlah sumber yang konstan (yaitu, jumlah bit acak yang dihasilkan...
Saya bereksperimen dengan sistem tipe murni dalam kubus lambda Barendregt, khususnya dengan yang paling kuat, Kalkulus Konstruksi. Sistem ini memiliki macam *dan BOX. Sebagai catatan, di bawah ini saya menggunakan sintaks konkret dari Mortealat https://github.com/Gabriel439/Haskell-Morte-Library...
Dalam rumus CNF berlawanan baca-dua kali setiap variabel muncul dua kali, sekali positif dan sekali negatif. Saya tertarik dengan masalah , yang terdiri dalam menghitung paritas dari jumlah penugasan yang memuaskan dari rumus CNF baca-berlawanan dua
Salah satu konsekuensi paling praktis dari korespondensi "Curry-Howard-Lambek" adalah bahwa sintaks dari banyak lambda-calucli / logika dapat digunakan untuk melakukan konstruksi dalam kategori yang cukup terstruktur. Misalnya, Synthetic Differential Geometry memiliki model dalam topoi yang berisi...
Input: Satu set poin dalam , dan integer .R 3 k ≤ nnnnR3R3\mathbb{R}^3k ≤ nk≤nk \le n Output: Kotak pembatas sumbu-rata volume terkecil yang berisi setidaknya dari poin ini.nkkknnn Saya ingin tahu apakah ada algoritma yang dikenal untuk masalah ini. Yang terbaik yang bisa saya pikirkan adalah...
Di masa lalu, jurnal adalah cara utama penemuan ilmiah / matematika disebarluaskan dan diperiksa. Di beberapa daerah, masih ada. Namun, dalam ilmu komputer (teoretis) peran itu hampir seluruhnya dilakukan oleh konferensi dan diseminasi berbasis web yang terbuka (misalnya homepage arxiv atau...