Ciência da Computação

Eu sei que, em linguagens de programação imperativas, um loop while-do é suficiente como uma construção de fluxo de controle para tornar a linguagem Turing completa (no que diz respeito ao fluxo de controle - é claro que também precisamos de memória ilimitada e de certos operadores ...) . A …

22 programming-languages  turing-completeness  loops  imperative-programming 

No site Sorting Algorithms , é feita a seguinte reivindicação: O algoritmo de classificação ideal teria as seguintes propriedades: Estável: chaves iguais não são reordenadas. Opera no local, exigindo espaço extra.O ( 1 )O(1)O(1) No pior dos casos, comparações de teclas .O ( n ⋅ lg( N ) )O(n⋅lg⁡(n))O(n\cdot\lg(n)) Na …

22 algorithms  sorting 

Encontre o menor número de comparações necessário para classificar (ordenar) cinco elementos e invente um algoritmo que classifique esses elementos usando esse número de comparações. Solução : Existem 5! = 120 resultados possíveis. Portanto, uma árvore binária para o procedimento de classificação terá pelo menos 7 níveis. De fato, ≥ …

22 algorithms  sorting  lower-bounds 

Recentemente, deparei com o seguinte artigo interessante, que afirma compactar com eficiência conjuntos de dados aleatórios sempre em mais de 50%, independentemente do tipo e formato dos dados. Basicamente, ele usa números primos para construir exclusivamente uma representação de blocos de dados de 4 bytes que são fáceis de descompactar, …

22 information-theory  data-compression  primes 

Considere a seguinte tarefa algorítmica: Entrada: um número inteiro positivo nnn , juntamente com sua fatoração primária. Encontre: números inteiros positivos x,y,zx,y,zx,y,z que minimizam xy+yz+xzxy+yz+xzxy+yz+xz , sujeitos à restrição de que xyz=nxyz=nxyz=n Qual é a complexidade desse problema? Existe um algoritmo de tempo polinomial? É NP-difícil? Esse problema basicamente pergunta: …

22 algorithms  optimization  integers 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 5 anos . Ainda estou aprendendo programação funcional (com f #) e recentemente comecei a ler sobre expressões de computação. Ainda não entendo completamente o conceito e uma coisa que me mantém …

22 functional-programming 

Gostaria de começar a pergunta dizendo que sou programador e não tenho muita experiência em teoria da complexidade. Uma coisa que eu notei é que, embora muitos problemas sejam NP-completos, quando estendidos a problemas de otimização, alguns são muito mais difíceis de aproximar do que outros. Um bom exemplo é …

22 complexity-theory  optimization  np  approximation 

É sabido que a inferência do tipo Hindley-Milner (o -calculus de digitação simples com polimorfismo) tem uma inferência de tipo decidível: você pode reconstruir os tipos de princípio para qualquer programa sem nenhuma anotação.λλ\lambda A adição de classes de tipo no estilo Haskell parece preservar essa decisão, mas adições adicionais …

22 undecidability  type-theory  type-inference  dependent-types 

Questão: Existe procedimento ou teoria estabelecida para gerar código que aplique eficientemente uma multiplicação de vetor de matriz, quando a matriz é densa e preenchida apenas com zeros e uns? Idealmente, o código otimizado faria uso sistemático de informações previamente calculadas para reduzir o trabalho duplicado. Em outras palavras, eu …

22 linear-algebra  matrices  program-optimization 

Quando se trata do design de algoritmos, geralmente se emprega as seguintes técnicas: Programaçao dinamica A estratégia gananciosa Dividir e conquistar Enquanto para os dois primeiros métodos, existem fundamentos teóricos bem conhecidos, a saber, o Princípio de Optimalidade de Bellman e a teoria matróide (resp. Greedoide), não consegui encontrar uma …

22 algorithms  reference-request  divide-and-conquer 

O que eu quero fazer é transformar um problema de matemática que possuo em um problema de satisfação booleana (SAT) e resolvê-lo usando um SAT Solver. Gostaria de saber se alguém conhece um manual, guia ou qualquer coisa que me ajude a converter meu problema em uma instância SAT. Além …

22 algorithms  reductions  satisfiability 

Ao ler a resposta de Uday Reddy a Qual é a relação entre os functores na SML e na teoria das categorias? Uday estados A teoria das categorias ainda não sabe como lidar com funções de ordem superior. Algum dia, será. Como eu pensava que a teoria das categorias pudesse …

22 functional-programming  category-theory 

Talvez minha compreensão limitada do assunto esteja incorreta, mas é isso que eu entendo até agora: A programação funcional é baseada no Lambda Calculus, formulado pela Alonzo Church. A programação imperativa é baseada no modelo de máquina de Turing, feito por Alan Turing, aluno da Igreja. O cálculo Lambda é …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Especificar linguagens formais dando gramáticas formais é uma tarefa frequente: precisamos de gramáticas não apenas para descrever as línguas, mas também para analisá-las ou mesmo fazer a ciência apropriada . Em todos os casos, é importante que a gramática em questão esteja correta , ou seja, gere exatamente as palavras …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Estudei algo sobre a Complexidade Kolmogorov , li alguns artigos e livros de Vitanyi e Li e usei o conceito de Distância de compressão normalizada para verificar a estilometria dos autores (identifique como cada autor escreve alguns textos e agrupa documentos por sua semelhança). Nesse caso, os compressores de dados …

22 computability  approximation  data-compression  kolmogorov-complexity