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 qualidades são difíceis de controlar, …
62 big-list examples
14
Onde e como os computadores ajudaram a provar um teorema?
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 exemplo …
55 proofs survey examples
2
Fácil de otimizar, mas difícil de avaliar
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 forma: "dado x, minimize ", onde f …
10 cc.complexity-theory optimization examples
1
Conjectura de Hartmanis-Stearns e os números transcendentais computáveis
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 …
10 cc.complexity-theory reference-request examples
5
Exemplos em que o tamanho do alfabeto (
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 mais de 1 …
9 big-list encoding examples
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.