Páginas com hiperligações para "Problema de decisão"

As seguintes páginas têm hiperligações para Problema de decisão:

Mostrando 50 itens.

• Linguagem regular (← afluentes)
• Experimento mental (← afluentes)
• NP-completo (← afluentes)
• Problema de satisfatibilidade booliana (← afluentes)
• Complexidade computacional (← afluentes)
• Problema da parada (← afluentes)
• Gramática sensível ao contexto (← afluentes)
• Linguagem recursiva (← afluentes)
• Ambiguidade (← afluentes)
• Tautologia (lógica) (← afluentes)
• Linguagem livre de contexto (← afluentes)
• Moses Schönfinkel (← afluentes)
• Forma normal (← afluentes)
• Problema do isomorfismo de subgrafos (← afluentes)
• Homomorfismo de grafos (← afluentes)
• Fatoração de inteiros (← afluentes)
• Função computável (← afluentes)
• Máquina de Turing que sempre para (← afluentes)
• Hierarquia polinomial (← afluentes)
• Cobertura de vértices (teoria dos grafos) (← afluentes)
• Classe de complexidade (← afluentes)
• Redução (complexidade) (← afluentes)
• Problema da correspondência de Post (← afluentes)
• Teorema de Cook-Levin (← afluentes)
• PSPACE-completude (← afluentes)
• NSPACE (← afluentes)
• DSPACE (← afluentes)
• Redução de Turing (← afluentes)
• EXPSPACE (← afluentes)
• NEXPTIME (← afluentes)
• NTIME (← afluentes)
• Conjunto de vértices de retroalimentação (← afluentes)
• Máquina oráculo (← afluentes)
• Aritmética de Presburger (← afluentes)
• Linguagem ômega (← afluentes)
• Número computável (← afluentes)
• Teorema da dicotomia de Schaefer (← afluentes)
• Algoritmo de aproximação (← afluentes)
• Teorema de hierarquia de espaço (← afluentes)
• Grau de Turing (← afluentes)
• Salto de Turing (← afluentes)
• Teorema de hierarquia de tempo (← afluentes)
• Problema de busca (← afluentes)
• Problema da satisfação de restrições (← afluentes)
• RE (complexidade) (← afluentes)
• Redução linear (← afluentes)
• NC (complexidade) (← afluentes)
• Problema de função (← afluentes)
• Cobertura exata (← afluentes)
• Coloração completa (← afluentes)