Acesso mais rápido do que o navegador!
22 relações: Algoritmo, Ciência da computação, Complexidade computacional, Dedução natural, Fatoração, Grande-O, Língua inglesa, Lógica proposicional, Máquina de Turing, Número aleatório, Número composto, NP-completo, Pesquisa binária, Primo, Problema de isomorfismo de grafos, Problema de roteamento de veículos, Problema de satisfatibilidade booliana, Problema do caixeiro-viajante, Problema do caminho mínimo, Sistema de prova interativa, Teoria dos grafos, Teste de primalidade AKS.
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: NP (complexidade) e Algoritmo · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: NP (complexidade) e Ciência da computação · 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 (complexidade) e Complexidade computacional · Veja mais »
Dedução natural
Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica.
Novo!!: NP (complexidade) e Dedução natural · 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 (complexidade) e Fatoração · Veja mais »
Grande-O
''g''(''x'') sempre que ''x'' ≥ ''x''0. Na matemática, a notação O-grande descreve o comportamento limitante de uma função quando o argumento tende a um valor específico ou para o infinito, normalmente, em termos de funções mais simples.
Novo!!: NP (complexidade) e Grande-O · Veja mais »
Língua inglesa
Inglês (English) é uma língua indo-europeia germânica ocidental que surgiu nos reinos anglo-saxônicos da Inglaterra e se espalhou para o que viria a tornar-se o sudeste da Escócia, sob a influência do reino anglo medieval da Nortúmbria.
Novo!!: NP (complexidade) e Língua inglesa · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: NP (complexidade) e Lógica proposicional · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: NP (complexidade) e Máquina de Turing · Veja mais »
Número aleatório
Em estatística, um número aleatório é um número que pertence a uma série numérica e não pode ser previsto a partir dos membros anteriores da série.
Novo!!: NP (complexidade) e Número aleatório · Veja mais »
Número composto
Um número composto é um número natural que pode ser formado pela multiplicação de outros dois naturais menores.
Novo!!: NP (complexidade) e Número composto · 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 (complexidade) e NP-completo · Veja mais »
Pesquisa binária
A pesquisa ou busca binária (em inglês binary search algorithm ou binary chop) é um algoritmo de busca em vetores que segue o paradigma de divisão e conquista.
Novo!!: NP (complexidade) e Pesquisa binária · Veja mais »
Primo
*Parentesco — dentre as relações de parentesco, os primos.
Novo!!: NP (complexidade) e Primo · 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 (complexidade) e Problema de isomorfismo de grafos · Veja mais »
Problema de roteamento de veículos
Esquema gráfico de solução de um Problema de Roteamento de Veículos (PRV), com um só depósito. O problema de roteamento de veículos (PRV) é um dos mais estudados problemas na área da otimização combinatória.
Novo!!: NP (complexidade) e Problema de roteamento de veículos · 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 (complexidade) e Problema de satisfatibilidade booliana · Veja mais »
Problema do caixeiro-viajante
O problema do caixeiro-viajante (PCV) é um problema que tenta determinar a menor rota para percorrer uma série de cidades (visitando uma única vez cada uma delas), retornando à cidade de origem.
Novo!!: NP (complexidade) e Problema do caixeiro-viajante · Veja mais »
Problema do caminho mínimo
O caminho mínimo entre ''D'' e ''E'' não é D-E, mas sim D-F-E, com uma distância de 14. Na teoria de grafos, o problema do caminho mínimo consiste na minimização do custo de travessia de um grafo entre dois nós (ou vértices); custo este dado pela soma dos pesos de cada aresta percorrida.
Novo!!: NP (complexidade) e Problema do caminho mínimo · Veja mais »
Sistema de prova interativa
Na teoria da complexidade, um sistema de prova interativa é uma máquina abstrata que formula computação como a troca de mensagens entre duas partes.
Novo!!: NP (complexidade) e Sistema de prova interativa · Veja mais »
Teoria dos grafos
Grafo com quatro vértices e 6 arestas. É um grafo completo, conexo e planar. A teoria dos grafos ou de grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto.
Novo!!: NP (complexidade) e Teoria dos grafos · Veja mais »
Teste de primalidade AKS
O teste da primalidade AKS (também conhecido como teste da primalidade Agrawal-Kayal-Saxena) é um algoritmo de teste de primalidade determinístico criado e publicado por cientistas Indianos chamados Manindra Agrawal, Neeraj Kayal e Nitin Saxena em 6 de agosto de 2002 em um trabalho intitulado "PRIMES is in P".
Novo!!: NP (complexidade) e Teste de primalidade AKS · Veja mais »
