Ciência da Computação

Encontrei várias ferramentas de programação visual de código aberto, como Blockly e amigos, e outros projetos hospedados no Github, mas não consegui encontrar nenhum que funcione diretamente com a árvore de sintaxe abstrata. Por que é que? Estou perguntando porque, uma vez que eu descobri que todo compilador por aí …

25 programming-languages  language-design  syntax-trees 

Existe uma estrutura de dados para manter uma lista ordenada que suporta as seguintes operações em tempo amortizado?O(1)O(1)O(1) GetElement (k) : retorna o ésimo elemento da lista.kkk InsertAfter (x, y) : insira o novo elemento y na lista imediatamente após x. Excluir (x) : remova x da lista. Nas duas …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

É bastante simples entender por que o problema da parada é indecidível para programas impuros (ou seja, aqueles que têm E / S e / ou estados dependentes do estado global da máquina); mas intuitivamente, parece que a interrupção de um programa puro em um computador ideal seria decidida por, …

25 halting-problem  static-analysis 

Estou tendo problemas para entender a prova da indecidibilidade do problema da parada. Se retorna se o programa interrompido ou não na entrada b , por que precisamos passar o código de P para ambos a e b ?a b P a bH( a , b )H(a,b)H(a,b)umaaabbbPPPumaaabbb Por que não …

25 computability  turing-machines 

Se o problema dos dois generais é insolúvel, como podemos concordar com os seres humanos? Quero dizer, nos comunicamos todos os dias e temos as mesmas limitações que qualquer problema de comunicação tratado pela ciência da computação. Por que isso não nos afeta?

25 computer-networks  communication-protocols 

Eu estava lendo o livro "A singularidade está próxima", escrito por Kurzweil e ele mencionou os portões reversíveis como, por exemplo, o portão de Fredkin . A vantagem de usar esses portões é que podemos nos livrar do desperdício térmico relacionado à computação, onde os bits simplesmente desaparecem no calor, …

25 computer-architecture 

O WP tem uma discussão adequada sobre paginação , que eu acho que entendo. No entanto, estou confuso com o uso repetido dos artigos do termo Quadro de Página . Eu pensei que quadros e páginas eram coisas diferentes. Alguém poderia esclarecer a diferença.

25 memory-management 

Estou interessado na questão de qual a melhor maneira de ensinar a NP-completude aos cursos de ciência da computação. Em particular, devemos ensiná-lo usando reduções de Karp ou reduções de Turing? Sinto que os conceitos de completude e redução de NP são algo que todo especialista em ciência da computação …

25 complexity-theory  np-complete  reductions  education  didactics 

Estou usando um solucionador SAT para codificar um problema e, como parte da instância SAT, tenho variáveis ​​booleanas onde se pretende que exatamente uma delas seja verdadeira e o restante seja falso . (Às vezes, isso é descrito como uma codificação "quente").x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n Desejo codificar a restrição "exatamente um de deve …

25 satisfiability  sat-solvers  applied-theory 

Existe uma referência clara, com pseudo-código, sobre como implementar um intérprete Prolog em uma linguagem puramente funcional? O que encontrei até agora parece lidar apenas com linguagens imperativas, é apenas uma demonstração do Prolog implementado por si só, ou não oferece nenhum algoritmo concreto para usar na interpretação. Eu ficaria …

25 functional-programming  prolog  logic-programming 

Um filtro Bloom permite controlar com eficiência se vários valores já foram encontrados durante o processamento. Quando existem muitos itens de dados, um filtro Bloom pode resultar em uma economia significativa de memória em uma tabela de hash. O principal recurso de um filtro Bloom, que ele compartilha com uma …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

Aqui está uma pergunta de um exame passado que estou tentando resolver: Para um gráfico não direcionado com pesos positivos , estou tentando encontrar o corte mínimo. Não conheço outras maneiras de fazer isso além de usar o teorema de min-cut de fluxo máximo. Mas o gráfico não é direcionado, …

25 algorithms  graph-theory 

Procurei na net uma resposta para essa pergunta e parece que todo mundo sabe implicitamente a resposta, exceto eu. Presumivelmente, isso ocorre porque as únicas pessoas que se importam são aquelas que tiveram educação superior sobre o assunto. Eu, por outro lado, fui jogado no fundo do poço por um …

25 formal-languages  programming-languages  regular-expressions 

Aqui está uma conjectura para expressões regulares: Para a expressão regular , deixe o comprimento | R | seja o número de símbolos nele, ignorando parênteses e operadores. Por exemplo | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR| R ||R||R|| 0∪1 | …

25 formal-languages  regular-languages  regular-expressions 

Estou procurando uma estrutura de dados que suporte pesquisas aproximadas eficientes de chaves (por exemplo, distância de Levenshtein para seqüências de caracteres), retornando a correspondência mais próxima possível da chave de entrada. A estrutura de dados mais adequada que eu encontrei até agora são as árvores Burkhard-Keller , mas eu …

25 data-structures  strings  efficiency