Ciência da Computação

O problema é provar ou refutar a existência de CCC , st, | c | =6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C ; | C| =32|C|=32|C| = 32 ; d( cEu, cj) ≥ 2 , 1 ≤ i &lt; j ≤ 32d(ci,cj)≥2,1≤i&lt;j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32 . ( ddd significa distância de hamming) Eu tentei …

9 information-theory  coding-theory  encoding-scheme 

Uma declaração do teorema de Rice é apresentada na página 35 de "Complexidade computacional: uma abordagem moderna" (Arora-Barak): Uma função parcial a partir de { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* a { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* é uma função que não está necessariamente definido em todas as …

9 computability  turing-machines  undecidability  rice-theorem 

Eu vejo muitos problemas algorítmicos que sempre reduzem a algo longo as linhas de: Você tem uma matriz inteira h[1..n]≥0h[1..n]≥0h[1..n]\geq 0 , precisa encontrar i,ji,ji,j tal que maximize (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) em O(n)O(n)O(n) tempo. Obviamente, a solução do tempo de O(n2)O(n2)O(n^2) é considerar todos os pares; no entanto, existe alguma maneira de …

9 algorithms  algorithm-analysis  optimization 

Estou trabalhando em um problema relacionado aos quadrados latinos e quero um método para o que se resume basicamente ao problema de decisão: Entrada : Um gráfico finito e simples G. Saída : YESse G tiver um automorfismo não trivial, NOcaso contrário. Conseqüentemente... Pergunta : Existe um algoritmo eficiente para …

9 algorithms  graphs  graph-theory  reference-request 

Existem várias anotações , como ou e assim por diante. Fiquei me perguntando, se existem variações daquelas na realidade, como ou , ou se são matematicamente incorretas.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(log⁡n2)O(\log n^2) Ou seria correto dizer que é possível melhorar um para um O (3n ^ 2) ? Ainda não posso e não preciso …

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

Me deparei com esse problema e estou lutando para encontrar uma maneira de abordá-lo. Qualquer pensamento seria muito apreciado! Suponha que recebamos uma matriz , por exemplo,{−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 & 0 & -1 \\ -1 & 0 & …

9 algorithms  optimization  combinatorics  matrices  permutations 

Eu gostaria de comparar o desempenho das estruturas de dados codificadas por função (Church / Scott) versus classificadas (assembler / C). Mas antes de fazer isso, preciso saber quão eficiente é / pode ser a representação de funções na memória. É claro que a função pode ser parcialmente aplicada (também …

9 lambda-calculus  functional-programming 

Nas provas e tipos de Girard , podemos ler: Do ponto de vista algorítmico, o cálculo seqüencial não possui isomorfismo de Curry-Howard, devido à multiplicidade de maneiras de escrever a mesma prova. Isso nos impede de usá-lo como um cálcio digitado , embora vislumbremos alguma estrutura profunda desse tipo, provavelmente …

9 reference-request  logic  parallel-computing 

Dado que: Uma linguagem com sistemas do tipo muito expressivo (por exemplo, Idris ) também pode ter mecanismos de escape como interfaces de função estrangeira / unsafePerformIO. Existem assistentes de prova que podem ser usados ​​para provar algumas propriedades de um programa escrito em um idioma que não possui um …

9 type-theory  proof-assistants  curry-howard 

Muitas classes de complexidade têm problemas "completos". Existem problemas completos para a classe de complexidade dos problemas que podem ser resolvidos no tempo ?O(1)O(1)O(1) Uma complicação é que essa classe depende do modelo de computação; um problema pode ser solucionado no tempo em um modelo razoável de computação, mas não …

9 complexity-theory  time-complexity  constant-time 

Por que (se houver) o separador está fazendo a diferença entre os dois idiomas?##\# Deixe dizer: L={ws:|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:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Aqui está uma prova e uma gramática representando como uma CFLLLLCFLCFLCFL Abaixo, estou adicionando uma prova …

9 formal-languages  context-free  pumping-lemma 

Dada uma matriz booleana X , deixe entradas representam o mar e entradas representam terra. Defina uma ilha como vertical ou horizontalmente (mas não na diagonal) entradas adjacentes .n×mn×mn \times mXX\mathrm X1 1000111111 A questão original era contar o número de ilhas em uma determinada matriz. O autor descreveu uma …

9 algorithms  matrices  counting  streaming-algorithm 

Em Spanner, TrueTime e The The Theemem CAP , Eric Brewer escreve: Uma coisa sutil sobre o Spanner é que ele obtém serialização dos bloqueios, mas obtém consistência externa (semelhante à linearizabilidade ) do TrueTime [ ênfase adicionada ]. Qual é a definição de consistência externa e como ela difere …

9 distributed-systems 

Estou lendo este artigo bem conhecido sobre Universos na teoria dos tipos . No começo, eu esperava algo semelhante ao Setωda Agda, mas acontece que é algo ainda mais geral. Parece generalizar a construção do universo de um tipo indutivo-recursivo simples para um aglutinante (semelhante a e ). A principal …

9 lambda-calculus  type-theory 

Estou procurando uma definição formal de arquivo que não inclua apenas armazenamento, mas também abstrações como procfs ou / dev / null (ou qualquer arquivo baseado em fusível) que não estejam relacionadas ao armazenamento. Até agora eu sei que todos os arquivos são abstrações que pode ser identificado pode ter …

9 operating-systems  os-kernel  filesystems