EDITAR EM 10/12/08: Tentarei modificar a pergunta para que mais pessoas possam compartilhar suas opiniões. PRECISAMOS de suas contribuições! Este post é inspirado no do MO: Exemplos de falsas crenças comuns em matemática . Às vezes, grandes listas geram um grande número de respostas cujas...
O objetivo desta pergunta é coletar exemplos da ciência da computação teórica em que o uso sistemático de computadores foi útil na construção de uma conjectura que leva a um teorema, falsificar uma abordagem de conjectura ou prova, construir / verificar (partes de) uma prova. Se você tem um...
No artigo de 1965 " Sobre a complexidade computacional dos algoritmos ", de Hartmanis e Stearns, os autores conjeturam que se uma Máquina de Turing em tempo real computa o número real , por exemplo, na base 10, então é um número racional ou um número transcendental.rrrrrr Existe um número...
Existem exemplos naturais conhecidos de problemas de otimização para os quais é muito mais fácil produzir uma solução ideal do que avaliar a qualidade de uma determinada solução candidata? Por questões de concretude, podemos considerar problemas de otimização solucionáveis em tempo polinomial da...
Vamos ser um alfabeto, ou seja, um não-vazio finito set. Uma string é qualquer sequência finita de elementos (caracteres) de Σ . Como exemplo, { 0 , 1 } é o alfabeto binário e 0110 é uma sequência para esse alfabeto.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Normalmente, contanto que contenha...