Untuk mengatasi masalah ini saya pertama kali mengamati itu ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Di mana adalah jumlah pembagi (tidak harus prima) dari . Jika adalah...
Saya membaca makalah terkenal ini On Universes in Type Theory . Awalnya saya mengharapkan sesuatu yang mirip Setωdi Agda, tetapi ternyata itu bahkan sesuatu yang lebih umum. Tampaknya untuk menggeneralisasi konstruksi alam semesta dari jenis induktif-rekursif polos menjadi pengikat (mirip dengan...
Ada teorema yang mengatakan bahwa: Diberi otomat keadaan terbatas yang memiliki keadaan, jika ada string yang panjangnya memenuhi n \ leq | w | \ leq 2n-1 maka bahasa yang diterima oleh automaton tidak terbatas.w n ≤ | w | ≤ 2 n - 1nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Saya...
Berikut bebas konteks tata bahasa hadiah sebuah "menggantung lain" jenis ambiguitas (membayangkan bahwa singkatan dan singkatan dan adalah singkatan dari beberapa jenis lain dari instruksi atau blok): \ begin {selaras} S & \ Rightarrow aSbS \; | \; aS \; | \; c \\ \ end {aligned} Misalnya,...
Dalam Spanner, TrueTime & The CAP Theorem , Eric Brewer menulis: Satu hal yang halus tentang Spanner adalah bahwa hal itu akan serializability dari kunci, tapi itu akan konsistensi eksternal (mirip dengan linearizability ) dari TrueTime [ penekanan ditambahkan ]. Apa definisi konsistensi...
Mengingat bahwa: Bahasa dengan sistem tipe yang sangat ekspresif (misalnya Idris ) juga dapat memiliki mekanisme melarikan diri seperti antarmuka fungsi asing / unsafePerformIO. Ada asisten bukti yang dapat digunakan untuk membuktikan beberapa properti dari program yang ditulis dalam bahasa yang...
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...
Diberi Boolean matrix , misalkan 0 entri mewakili laut dan 1 entri mewakili tanah. Mendefinisikan sebuah pulau sebagai vertikal atau horizontal (tetapi tidak diagonal) yang berdekatan 1 entri.n×mn×mn \times mXX\mathrm X0001111111 Pertanyaan aslinya adalah untuk menghitung jumlah pulau dalam...
Banyak kelas kompleksitas memiliki masalah "lengkap". Apakah ada masalah lengkap untuk kelas kompleksitas masalah yang dapat diselesaikan dalam waktu ?O ( 1 )O(1)O(1) Suatu komplikasi adalah bahwa kelas ini tergantung pada model perhitungan; masalah dapat dipecahkan dalam waktu dalam satu model...
Di mana saya dapat menemukan beberapa kode untuk menghasilkan jalan acak yang menghindar dari diri sendiri pada kisi 2 dan 3 dimensi yang panjang sisinya adalah kekuatan dua? Jalan kaki harus melewati setiap titik pada kisi. Lebih khusus, bagaimana saya bisa menemukan jalur hamiltonian acak di...
Saya sudah mencoba untuk memisahkan definisi dari tipe keselamatan dan tipe kesehatan dan saya mengalami masa-masa itu. Saya bertanya kepada seorang profesor baru-baru ini dan setelah sedikit berpikir dia berkata bahwa tidak ada perbedaan. Namun setelah membaca ini sepertinya: Jenis Keamanan...
Dengan asumsi ujung-ujungnya tidak diarahkan, memiliki bobot yang unik, dan tidak ada jalur negatif, apakah algoritma ini menghasilkan Pohon Pembentang Minimum yang
Satu pernyataan teorema Rice diberikan pada halaman 35 dari "Kompleksitas Komputasi: Pendekatan Modern" (Arora-Barak): Fungsi parsial dari {0,1}∗{0,1}∗\{0,1\}^* hingga {0,1}∗{0,1}∗\{0,1\}^* adalah fungsi yang tidak harus didefinisikan pada semua inputnya. Kita mengatakan bahwa TM MMM menghitung...
Saya sedang mengerjakan masalah yang terkait dengan kotak Latin, dan saya ingin metode untuk apa yang intinya bermuara pada masalah keputusan: Input : Grafis terbatas, sederhana G. Output : YESjika G memiliki automorfisme non-sepele, NOjika tidak. Karenanya... Pertanyaan : Apakah ada algoritma...
Saya melihat banyak masalah algoritmik yang selalu mengecil menjadi sesuatu seperti: Anda memiliki array integer , Anda harus menemukan sedemikian sehingga memaksimalkan dalam waktu .h [ 1 .. n ] ≥ 0h[1 ..n]≥0h[1..n]\geq 0saya ,
Saya baru saja mengetahui tentang KRR (Representasi Pengetahuan dan Penalaran) dan ASP, tidak mendengar apa pun tentang mereka sebelumnya (kecuali sedikit tentang prolog). Saya sudah membaca sedikit tentang mereka dan salah satu penggunaan utama mereka tampaknya AI. Pertanyaan saya adalah seberapa...
Masalahnya adalah untuk membuktikan atau menyangkal keberadaan , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i <j \ leq32 . ( d singkatan jarak hamming)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i<j≤32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq...
Saya menemukan masalah ini dan berusaha menemukan cara untuk mendekatinya. Pikiran apa pun akan sangat dihargai! Misalkan kita diberi matriks , misalnya,{ - 1 , 0 , 1 }n × k {−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k} ⎡⎣⎢⎢⎢⎢⎢⎢1- 10- 11001- 101010000010- 11- 11-...
Ada beberapa HAIOO -Notasi, seperti O ( n )O(n)O(n) atau O ( n2)O(n2)O(n^2) dan seterusnya. Saya bertanya-tanya, apakah ada variasi dari mereka dalam kenyataan seperti O ( 2 n2)O(2n2)O(2n^2) atau O ( logn2)O(logn2)O(\log n^2) , atau apakah itu secara matematis salah. Atau akankah hal yang benar...
Saya sedang mengerjakan Buku Sipser (edisi ke-2) dan menemukan contoh ini, yang saya tidak mengerti. Dalam buku itu menyatakan bahwa NFA ini menerima string kosong, .ϵϵ\epsilon Bisakah seseorang menuntun saya mengapa hal ini terjadi? Pemahaman saya adalah bahwa akan pindah ke yang bukan merupakan...