Ciência da Computação

Como você verifica se dois algoritmos (por exemplo, classificação de mesclagem e classificação Naïve) retornam o mesmo resultado para qualquer entrada, quando o conjunto de todas as entradas é infinito? Atualização: Obrigado Ben por descrever como isso é impossível de ser feito algoritmicamente no caso geral. A resposta de Dave …

17 computability  formal-methods  software-engineering  software-verification 

Quais operações precisam ser executadas para realizar qualquer cálculo analógico arbitrário ? Adição, subtração, multiplicação e divisão seriam suficientes? Além disso, alguém sabe exatamente quais problemas são tratáveis ​​usando computação analógica, mas não com digital?

17 computability  computation-models  turing-completeness 

De acordo com a Wikipedia , para qualquer linguagem regular existem constantes \ lambda_1, \ ldots, \ lambda_k e polinômios p_1 (x), \ ldots, p_k (x) de modo que para cada n o número s_L (n) de palavras de comprimento n em L satisfaz a equaçãoLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Ouvi dizer que a interação do lema é mais poderosa que os algoritmos de Peter Wegner . A base da ideia é que uma Máquina de Turing (clássica) não pode lidar com interação, ou seja, comunicação (entrada / saída) com o mundo / ambiente externo. Como isso pode ser assim? …

17 computability  computation-models 

Quero saber se o seguinte problema é decidível e como descobrir. Todos os problemas que vejo podem dizer "sim" ou "não" a ele; portanto, a maioria dos problemas e algoritmos é decidível, exceto alguns (que são fornecidos aqui )? Entrada: Um gráfico direcionado e finito , com v e u …

17 algorithms  computability  graph-theory  undecidability 

Na prática, entendo que qualquer recursão pode ser escrita como um loop (e vice-versa (?)) E, se medirmos com computadores reais, verificamos que os loops são mais rápidos que a recursão para o mesmo problema. Mas existe alguma teoria que faça essa diferença ou seja principalmente emprical?

17 time-complexity  recursion  loops 

Estou aprendendo sozinho os provedores de teoremas automatizados / solucionadores de SMT / assistentes de prova e postar uma série de perguntas sobre o processo, começando aqui . Eu continuo lendo sobre o Algoritmo de Unificação . O que é e por que é tão importante para os motores de …

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

O algoritmo de classificação rápida pode ser dividido nas seguintes etapas Identifique o pivô. Particione a lista vinculada com base no pivô. Divida a lista vinculada recursivamente em 2 partes. Agora, se eu sempre escolher o último elemento como dinâmico, a identificação do elemento dinâmico (1º passo) leva tempo .O …

16 algorithms  algorithm-analysis  sorting  quicksort 

Esta é uma pergunta suave. Não sei muito sobre criptografia ou seu histórico, mas parece que um uso comum do RSA é fazer a troca de chaves criptografando uma chave simétrica para enviar uma mensagem mais longa (por exemplo, a descrição do iMessage aqui ). Não é exatamente isso que …

16 cryptography  history 

Eu fiz essa pergunta no StackOverflow , mas acho que aqui é um lugar mais apropriado. Este é um problema do curso Introdução aos algoritmos : Você tem uma matriz aaa com números inteiros positivos (a matriz não precisa ser classificada ou os elementos exclusivos). Sugira um algoritmo para encontrar …

16 algorithms  optimization  dynamic-programming  arrays 

Dadas as línguas e , digamos que sua concatenação seja inequívoca se, para todas as palavras , houver exatamente uma decomposição com e e ambígua caso contrário. (Não sei se existe um termo estabelecido para essa propriedade - coisa difícil de procurar!) Como um exemplo trivial, a concatenação de consigo …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Aparentemente, os ataques ReDos exploram características de algumas expressões regulares (de outra forma úteis) ... essencialmente causando uma explosão de caminhos possíveis através do gráfico definido pela NFA. É possível evitar esses problemas escrevendo uma regex 'não-má' equivalente? Se não (assim, a gramática não pode ser tratada no espaço / …

16 regular-expressions  parsers 

O problema de dois autômatos de pushdown reconhecerem o mesmo idioma é indecidível. O problema de decidir se um autômato de empilhamento reconhece o idioma vazio é decidível; portanto, também é decidível se ele reconhece um determinado idioma finito. É indecidível se o idioma aceito por um autômato de empilhamento …

16 computability  undecidability  pushdown-automata 

Não existe uma solução analítica geral para o problema do corpo n que possa produzir uma função analítica que possa ser usada para fornecer o estado de um sistema n corpo no tempo arbitrário t com precisão exata. No entanto, existem alguns casos especiais de sistemas com n corpos, pelos …

16 computability  turing-machines  undecidability  computation-models 

Você e um amigo se perderam na fila para um concerto, e nenhum deles tem certeza de qual deles está mais à frente. Formalmente, cada um está em alguma coordenada inteira e só pode caminhar em direção a uma coordenada mais alta ou permanecer no local. Supondo que você e …

16 algorithms  randomized-algorithms