21 relações: Árvore binária, Classe de complexidade, Complexidade computacional, Computação, Exptime, Fatoração, Fatoração de inteiros, Homomorfismo de anéis, Isomorfismo de grafos, Logaritmo discreto, Minimização de circuitos, NEXPTIME, NP, NP-completo, P versus NP, Partição de grafos, Problema de isomorfismo de grafos, Problema de satisfatibilidade booliana, Se e somente se, Springer Science+Business Media, Teorema da Dicotomia de Schaefer.
Árvore binária
Uma simples árvore binária de tamanho 9 e altura 3, com um nó raiz de valor 2. A árvore acima não está balanceada (elemento 5 possui 2 filhos a direita e nenhum a esquerda), nem está ordenada - notar que não é uma árvore binária de procura. Uma árvore binária é uma estrutura de dados caracterizada por.
Novo!!: NP-Intermediário e Árvore binária · Veja mais »
Classe de complexidade
Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.
Novo!!: NP-Intermediário e Classe de complexidade · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: NP-Intermediário e Complexidade computacional · Veja mais »
Computação
A computação é qualquer atividade orientada a objetivos que exija, se beneficie ou crie máquinas de computação.
Novo!!: NP-Intermediário e Computação · Veja mais »
Exptime
Na teoria da complexidade computacional, a classe de complexidade Exptime (às vezes chamado EXP) é o conjunto de todos os problemas de decisão solúveis por uma máquina de Turing determinística em O(2p(n)) tempo, onde p (n) é uma função polinomial de n. Em termos de DTIME, Sabemos que e também, pelo time hierarchy theoremeo space hierarchy theorem, que assim pelo menos uma das três primeiras inclusões e pelo menos uma das três últimas inclusões deve ser adequada, mas não se sabe quais são.
Novo!!: NP-Intermediário e Exptime · Veja mais »
Fatoração
(AO 1945: Factorização) é o termo usado na álgebra para designar a decomposição que se faz de cada um dos elementos que integram um produto, ou seja, o resultado de uma multiplicação.
Novo!!: NP-Intermediário e Fatoração · Veja mais »
Fatoração de inteiros
Na teoria dos números, a fatoração de inteiros é a decomposição de um número composto em um produto de números inteiros menores.
Novo!!: NP-Intermediário e Fatoração de inteiros · Veja mais »
Homomorfismo de anéis
Em álgebra abstrata um homomorfismo de anéis é uma função entre dois anéis que, de certa forma, preserva as operações binárias de adição e multiplicação.
Novo!!: NP-Intermediário e Homomorfismo de anéis · Veja mais »
Isomorfismo de grafos
Em teoria dos grafos, um isomorfismo dos grafos G e H é uma bijeção entre os conjuntos de vértices de G e H de tal forma que quaisquer dois vértices u e v de G são adjacentes em G se e somente se ƒ(u) e ƒ(v) são adjacentes em H. Este tipo de bijeção é comumente chamado de "bijeção com preservação de arestas", de acordo com a noção geral de isomorfismo sendo uma bijeção de preservação-de-estrutura.
Novo!!: NP-Intermediário e Isomorfismo de grafos · Veja mais »
Logaritmo discreto
Na matemática, especialmente em álgebra abstrata e suas aplicações, logaritmos discretos são grupos análogos a logaritmos naturais.
Novo!!: NP-Intermediário e Logaritmo discreto · Veja mais »
Minimização de circuitos
Na álgebra booleana, minimização de circuitos é o problema de se obter o menor circuito lógico, que representa uma função booleana ou uma tabela verdade dada.
Novo!!: NP-Intermediário e Minimização de circuitos · Veja mais »
NEXPTIME
Em teoria da complexidade, NEXPSPACE (também chamada de NEXP) é o conjunto de todos os problemas de decisão solúveis por uma máquina de Turing não determinística em espaço O(2p(n)) para uma dada p(n) e espaço ilimitado.
Novo!!: NP-Intermediário e NEXPTIME · Veja mais »
NP
* Notícias Populares - antigo jornal paulistano.
Novo!!: NP-Intermediário e NP · Veja mais »
NP-completo
Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.
Novo!!: NP-Intermediário e NP-completo · Veja mais »
P versus NP
O problema "P versus NP" é o principal problema aberto da Ciência da Computação.
Novo!!: NP-Intermediário e P versus NP · Veja mais »
Partição de grafos
Em matemática, o problema de partição de grafos é definido com seus dados na forma de um grafo G.
Novo!!: NP-Intermediário e Partição de grafos · Veja mais »
Problema de isomorfismo de grafos
O problema de isomorfismo de grafos é um problema computacional para determinar se dois grafos finitos são isomórficos.
Novo!!: NP-Intermediário e Problema de isomorfismo de grafos · Veja mais »
Problema de satisfatibilidade booliana
Na teoria da complexidade computacional, o problema de satisfatibilidade booliana (do inglês boolean satisfiability problem, muitas vezes abreviado como SATISFIABILITY ou SAT) foi o primeiro problema identificado como pertencente à classe de complexidade NP-completo.
Novo!!: NP-Intermediário e Problema de satisfatibilidade booliana · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: NP-Intermediário e Se e somente se · Veja mais »
Springer Science+Business Media
Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.
Novo!!: NP-Intermediário e Springer Science+Business Media · Veja mais »
Teorema da Dicotomia de Schaefer
Em teoria da complexidade computacional, um ramo da Ciência da Computação, o teorema da dicotomia de Schaefer estabelece as condições necessárias e suficientes sob as quais um conjunto finito S de relações sobre o domínio Booleano produza problemas de tempo polinomial ou NP-completo quando as relações de S são usadas para restringir algumas das variáveis proposicionais.
Novo!!: NP-Intermediário e Teorema da Dicotomia de Schaefer · Veja mais »