P - problemas que podem ser resolvidos em tempo polinomial numa maq.determin.

NP - problemas de deciso resolvidos numa maq. no deterministica

Determinstico ou no-determinstico - algoritmos determinsticos resolvem o problema
com uma deciso exata a cada passo enquanto algoritmos no-determinsticos resolvem o
problema ao deduzir os melhores passos atravs de estimativas sob forma de heurstic
as.
Cook procurou um problema em NP tal que se existir algoritmo polinomial determinst
ico
para resolv^e-lo, ento todos os problemas em NP poderiam ser resolvidos em tempo
polinomial: Problema da Satisfabilidade. Satisfabilidade tem 2 elevado a N atrib
uies possveis.
Teorema de Cook: SAT 2 P se e somente se P = NP.
Reduo polinomial transformar os dados de entrada de um problema A nos dados de out
ro problema B solucionvel,
depois aplica-se um algoritmo X que resolva-o, em seguida converte a sada de B pa
ra uma sada de A. Num grafo ligar os pts q n esto ligados
A Classe NP-Completo contem problemas de decis~ao, onde a resposta e do tipo sim o
u n~ao, que
podem ser reduzveis polinomialmente a outros problemas pertencentes a Classe NP-Com
pleto. Ex: PCV
A Classe NP-Difcil contm problemas pelo menos to difceis quanto os mais difceis em NP
.Tais problemas no precisam estar em NP, na verdade, eles no podem sequer ser prob
lemas de deciso.
P est contido em NP. Ex: Problema da Parada
Ciclo de Hamilton - passa por todos os vertices uma unica vez, no repetindo nenhu
m, caso seja possvel descrever um ciclo
ser chamado de ciclo hamiltoniano.
Caminho Euleriano um caminho em um grafo que visita cada aresta apenas uma vez.
Um grafo Euleriano um grafo conectado no qual todo vrtice tem grau par.
Backtracking - um algoritmo de refinamento de busca por fora bruta, usando busca
em profundidade a arvore percorrida,
quando encontrado uma pesquisa falha ou um nodo terminal o mecanismo ativado, fa
z com que o sistema retorne pelo mesmo
caminho percorrido para procurar solues alternativas.
Clique - se dentro de um grafo G houver um sugrafo em que todos os vrtices esto co
nectados por todas as arestas possveis isso indica um clique.
A ordem do clique indicada pelo nmero de vrtices que ele contm. Otimizao.
Resultado timo do PCV > Caminho mnimo, pois tem uma aresta a mais
Um algoritmo aproximado para um problema A um algoritmo polinomial que produz um
a soluo S(I) para uma instncia de I de A.
Desigualdade triangular - a distncia de i at j somada com a distncia de j at k deve
ser maior ou igual que a distncia de i at k.
Complexidades - encontrar a AGM = O(n); Busca em profundidade na AGM = O(n)
Limite inferior para o PCV = AGM
Problemas exponenciais - problemas com ordem de tempo de 2 elevado a n
Tentativa e erro: obtm todas as possibilidades atravs de um algoritmo apropriado p
ara isso verificando se o objetivo alcanado
Poda - reduz o nmero de chamadas ao algoritmo utilizado mediante a definio de algum
parmetro para isso
Branch and Bound - a idia cortar a pesquisa to logo se saiba que no levar a uma soluo
ou seja, para o metdo
Visita (no caso do ciclo de Hamilton) sempre que se chegue a um custo para qualq
uer caminho maior que algum j obtido
Heurstica: algoritmo que pode produzir um bom resultado (ou at a soluo tima), mas pod
e tambm no obter soluo ou obter uma distante da tima
Uma heuristica pode ser deterministica ou probabilistica. A principal diferena en
tre uma heurist. probabilist. e um algoritmo de Monte Carlo
que o segundo tem que encontrar uma soluo correta com uma certa possibilidade p/ q
lq instncia do problema.
Exemplos: Conjunto independ. de vrtices (Abertura de franquias), colorao de grafos

(horrio), clique em grafos (facebook),

problema da mochila (investimento na bolsa de valores), PCV (transportadora)
Metdo Simplex - solues numricas p/ problemas de programao linear
x1 =1;x2=1;x3=0;x4=1;x5=1
Reduo polinomial (importncia) - Se encontrada uma soluo polinomial para um problema N
P completo numa mquina deterministica
achar para todos os demais e portando P ser igual a NP.
Diagrama de Venn - desenho dos circulos
O algoritmo aproximado para o PCV no pior do que duas vezes a soluo tima porque
este j considera que um caminho pode ser obtido dobrando os arcos da AGM, o que l
eva a
um pior caso de razo de aproximao igual a 2.
Limite inferior - um valor de parmetro para avaliar se uma soluo boa ou no
Limite superior - um valor mximo onde a soluo ainda aceitvel
Dr. SabeTudo - P = NP