Ilmu Komputer

Masalahnya adalah untuk membuktikan atau menyangkal keberadaan , st, ; ; d (c_i, c_j) \ geq2,1 \ leq i &lt;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&lt;j≤32d(ci,cj)≥2,1≤i&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32ddd Saya mencoba membuat kode yang memuaskan. Yang terbaik yang bisa saya dapatkan adalah membiarkan C= …

9 information-theory  coding-theory  encoding-scheme 

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(log⁡n2)O(\log n^2) , atau apakah itu secara matematis salah. Atau akankah hal yang benar untuk mengatakan bahwa adalah …

9 complexity-theory  time-complexity  optimization  big-o-notation 

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 yang efisien untuk menentukan apakah suatu grafik memiliki …

9 algorithms  graphs  graph-theory  reference-request 

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- 1⎤⎦⎥⎥⎥⎥⎥⎥[1010−1−100010110−1−1−10111000−1]\begin{bmatrix} 1 & 0 & 1 …

9 algorithms  optimization  combinatorics  matrices  permutations 

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 fungsi parsial fff jika untuk setiap xxx di mana fff didefinisikan, M(x)=f(x)M(x)=f(x)M(x) = f(x) dan …

9 computability  turing-machines  undecidability  rice-theorem 

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 perhitungan yang masuk akal tetapi tidak pada yang lain, …

9 complexity-theory  time-complexity  constant-time 

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 matriks yang diberikan. Penulis menggambarkan solusi rekursif ( O(nm)O(nm)\mathcal{O}(nm) memori). Tetapi …

9 algorithms  matrices  counting  streaming-algorithm 

Saya ingin membandingkan kinerja fungsi yang dikodekan (Gereja / Scott) vs struktur data yang dikodekan secara klasik (assembler / C). Tetapi sebelum saya melakukan itu, saya perlu tahu seberapa efisien fungsi representasi dalam memori. Fungsi ini tentu saja dapat diterapkan sebagian (alias penutupan). Saya tertarik pada kedua algoritma pengkodean saat …

9 lambda-calculus  functional-programming 

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 

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 tidak memiliki sistem tipe yang mampu mengekspresikan properti tersebut. …

9 type-theory  proof-assistants  curry-howard 

Mengapa (jika demikian) pemisah membuat perbedaan antara kedua bahasa?##\# Katakanlah: L = { w s : | w | = | s |w , s ∈ { 0 , 1 }∗, w ≠ s }L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | …

9 formal-languages  context-free  pumping-lemma 

Dalam Spanner, TrueTime &amp; 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 eksternal , dan apa bedanya dengan linierabilitas …

9 distributed-systems 

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 , jsaya,ji,j(h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i)O(n)O(n)O(n) Jelas solusi waktu adalah untuk mempertimbangkan semua pasangan, namun, adakah cara kita dapat memaksimalkan …

9 algorithms  algorithm-analysis  optimization 

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 | ≤ …

9 automata  finite-automata 

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 dan Σ ). Pertanyaan utama yang ingin saya tanyakan …

9 lambda-calculus  type-theory