Ciência da Computação

Heaps mescláveis ​​aleatórios possuem uma operação "meld", que usamos para definir todas as outras operações, incluindo insert. A questão é: qual é a altura esperada dessa árvore com nós?nnn O teorema 1 de Gambin e Malinkowski, Filas de prioridade aleatória fundível (Proceedings of SOFSEM 1998, Lecture Notes in Computer Science …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

Estou aprendendo árvores de pontos de vista, e eu o conheci ao ler o artigo Estruturas de dados e algoritmos para pesquisa de vizinhos mais próximos em espaços métricos gerais de Peter Yianilos ( Proceedings of SODA 1993 , SIAM, páginas 311–321; PDF ). O pseudocódigo a seguir aparece no …

9 notation 

Dada uma string , eu gostaria de encontrar a subsequência mais repetida (pelo menos duas vezes). Ou seja, eu gostaria de encontrar uma string que seja uma subsequência (não precisa ser um contíguo) de tal que . Ou seja, é uma string cujas metades aparecem duas vezes seguidas. Observe que …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

Para provar que a 3 cores é decidível, basta dizer: Cada nó no gráfico possui 3 cores possíveis Portanto, podemos enumerar todas as possibilidades de e verificar se não há duas arestas conectando nós da mesma cor3n3n3^n Isso prova que a 3 cores é decidível? Ou preciso construir uma máquina …

9 computability  turing-machines  colorings 

Quero saber até que ponto um sistema de tipos em uma linguagem de programação pode ser benéfico. Por exemplo, eu sei que em uma linguagem de programação de tipo dependente, podemos criar uma Vectorclasse incorporando o tamanho do vetor na assinatura do tipo. É como um exemplo de fato. Também …

9 type-theory  functional-programming  dependent-types 

Às vezes ouvimos "Swift não faz GC clássico (rastreamento), ele usa ARC". Mas não tenho certeza se há algo na semântica do Swift que exija contagem de referência. Parece que é possível criar o próprio compilador e tempo de execução Swift para usar o rastreamento de GC. Então, o que …

9 semantics  garbage-collection 

Disclaimer: Eu sou um biólogo, desculpe-me pela (talvez) pergunta básica formulada em termos tão grosseiros. Não tenho certeza se devo fazer essa pergunta aqui ou no DS / SC, mas o CS é o maior de três, então aqui vai. (Depois que postei, ocorreu-me que o Validado Cruzado pode ser …

9 machine-learning  probability-theory 

Podemos formar o DFA aceitando números binários divisíveis por .nnn Por exemplo, o DFA que aceita números binários divisíveis por 2 pode ser formado da seguinte maneira: Da mesma forma, o DFA que aceita números binários divisíveis por 3 pode ser formado da seguinte maneira: Podemos seguir um procedimento bem …

9 regular-languages  automata  finite-automata  regular-expressions 

Vamos supor que eu tenho duas funções FFF e GGG e estou interessado em determinar se F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Vamos supor que minhas funções sejam compostas por funções elementares (polinômios, exponenciais, logs e funções trigonométricas), mas não, digamos, séries de Taylor. Esse problema é decidível? Se não, é semidecidável? …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Deixe uma sequência de entrada ser dada como . Então, se um NFA está atualmente no estado (e leu a entrada até o alfabeto ), antes de ler o próximo símbolo de entrada, o NFA se divide em dois NFA, um no estado outro no , se houver uma transição …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Agora estou tentando medir muitas informações não redundantes (reais) do meu arquivo. Alguns chamam isso de quantidade de entropia. É claro que existe o log p (x) padrão {p (x)}, mas acho que Shannon estava considerando apenas o ponto de vista da transmissão através de um canal. Portanto, a fórmula …

9 entropy 

No algoritmo Welch-Berlekamp para decodificar códigos de Reed-Solomon, é dada uma lista de pontos representando uma mensagem com e erros na b i em locais desconhecidos (e e é dado ao algoritmo). A saída é um polinômio passando por todos os pontos fornecidos, exceto aqueles em que ocorreram erros.(ai,bi)(ai,bi)(a_i, b_i)eeebibib_ieee …

9 algorithms  error-correcting-codes 

Existe uma caracterização de gráficos cujo conjunto de arestas se decompõe em uma união disjunta de combinações perfeitas? Uma classe trivial de tais gráficos são os gráficos partidos regulares . Seu set borda irá se decompor em disjuntos perfeitos matchings. ( n , n ) dddd(n,n)(n,n)(n,n)ddd

9 graph-theory  graphs 

Boa noite! Na verdade, estou fazendo um estágio no Archives Nationales da França e encontrei uma situação que queria resolver usando gráficos ... I. A situação empoeirada Queremos otimizar a organização dos livros da minha biblioteca de acordo com a altura deles, a fim de minimizar o custo do arquivo. …

9 algorithms  graphs  optimization  packing 

Na página da Wikipedia aqui, ele descreve muito bem o algoritmo CDCL (e parece que as fotos foram tiradas de slides criados por Sharad Malik em Princeton). No entanto, ao descrever como voltar atrás, tudo o que diz é "até o ponto apropriado". O MiniSAT também usa uma variante do …

9 machine-learning  satisfiability  sat-solvers  backtracking