Perguntas com a marcação «examples»

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 

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 

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 

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 

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