SlideShare uma empresa Scribd logo
1 de 28
Baixar para ler offline
Análise de algoritmos
Mais problemas NP-completos
An´alise de algoritmos – p. 1/19
Clique em grafos
Clique: Dado um grafo G e um inteiro K, G tem um
subgrafo completo (clique) de tamanho ≥ K?
An´alise de algoritmos – p. 2/19
Clique em grafos
Clique: Dado um grafo G e um inteiro K, G tem um
subgrafo completo (clique) de tamanho ≥ K?
Teorema: Clique é NP-completo.
An´alise de algoritmos – p. 2/19
Clique em grafos
Clique: Dado um grafo G e um inteiro K, G tem um
subgrafo completo (clique) de tamanho ≥ K?
Teorema: Clique é NP-completo.
Clique ∈ NP (
√
)
An´alise de algoritmos – p. 2/19
Clique em grafos
Clique: Dado um grafo G e um inteiro K, G tem um
subgrafo completo (clique) de tamanho ≥ K?
Teorema: Clique é NP-completo.
Clique ∈ NP (
√
)
SAT clique
An´alise de algoritmos – p. 2/19
Clique em grafos
Clique: Dado um grafo G e um inteiro K, G tem um
subgrafo completo (clique) de tamanho ≥ K?
Teorema: Clique é NP-completo.
Clique ∈ NP (
√
)
SAT clique
Dado uma instância S do SAT com K cláusulas,
vamos construir um grafo G tal que G tem uma
clique de tamanho K ⇔ S é satisfatível.
An´alise de algoritmos – p. 2/19
Clique em grafos
S = (x + y + z).(x + y + z).(y + z)
An´alise de algoritmos – p. 3/19
Clique em grafos
S = (x + y + z).(x + y + z).(y + z)
x
y
z
x
y
z
y
z
An´alise de algoritmos – p. 3/19
Exercícios
1. Construa um grafo G tal que G tem uma clique
de tamanho 4 se e somente se a fórmula
S = (x1+x2+x3).(x1+x2+x3).(x1+x2+x3).(x1+x2+x3)
é satisfatível.
An´alise de algoritmos – p. 4/19
Exercícios
2. Considere o seguinte algoritmo para resolver o
problema clique:
para cada S ⊆ V com k vértices, verifique se
S é uma clique.
O algoritmo acima tem complexidade O(nk
).
Logo, ele é polinomial. O que está errado?
An´alise de algoritmos – p. 5/19
Exercícios
3. Mostre que Isomorfismo de Subgrafos (Dados
dois grafos G1 e G2, G1 é subgrafo de G2?) é
NP-completo. (Sugestão: Use o clique).
An´alise de algoritmos – p. 6/19
Mais problemas NP-completos
Conjunto independente: Dado um grafo G e um
inteiro k, existe um subconjunto I com k vértices
tal que nenhuma aresta liga dois vértices de I?
An´alise de algoritmos – p. 7/19
Mais problemas NP-completos
Conjunto independente: Dado um grafo G e um
inteiro k, existe um subconjunto I com k vértices
tal que nenhuma aresta liga dois vértices de I?
Cobertura por v´ertices: Dado um grafo G e um inteiro
k, existe um subconjunto C com k vértices tal que
cada aresta de G é incidente a algum vértice de C?
An´alise de algoritmos – p. 7/19
Mais problemas NP-completos
Teorema: Dado um grafo G = (V, E) e um
subconjunto S ⊆ V , as seguintes afirmações são
equivalentes:
S é uma clique de G
S é um conjunto independente de G
V − S é uma cobertura por vértices de G
OBS: G é o grafo complementar de G.
An´alise de algoritmos – p. 8/19
Mais problemas NP-completos
Corol´ario: Os problemas do conjunto independente
e cobertura por vértices são NP-completos.
An´alise de algoritmos – p. 9/19
Exercícios
1. Mostre que o problema da cobertura por
vértices permanece NP-completo mesmo se
todos os vértices do grafo tiverem grau par.
(Sugestão : use o problema original).
2. O que acontece com o problema da cobertura
por vértices se o grafo for uma árvore?
An´alise de algoritmos – p. 10/19
Circuito hamiltoniano
Circuito hamiltoniano: Um dado grafo G é
hamiltoniano?
An´alise de algoritmos – p. 11/19
Circuito hamiltoniano
Circuito hamiltoniano: Um dado grafo G é
hamiltoniano?
Teorema: Circuito hamiltoniano é NP-completo.
An´alise de algoritmos – p. 11/19
Circuito hamiltoniano
Circuito hamiltoniano: Um dado grafo G é
hamiltoniano?
Teorema: Circuito hamiltoniano é NP-completo.
Circuito hamiltoniano ∈ NP. (
√
)
An´alise de algoritmos – p. 11/19
Circuito hamiltoniano
Circuito hamiltoniano: Um dado grafo G é
hamiltoniano?
Teorema: Circuito hamiltoniano é NP-completo.
Circuito hamiltoniano ∈ NP. (
√
)
3-SAT circuito hamiltoniano.
An´alise de algoritmos – p. 11/19
Circuito hamiltoniano
Considere os seguintes subgrafos:
A
u uu u
v
v v
v
⇔
An´alise de algoritmos – p. 12/19
Circuito hamiltoniano
B
u1
u2
u3
u4
⇔
Nenhum circuito hamiltoniano de G contém as três
arestas u1u2, u2u3 e u3u4, mas pode conter
qualquer subconjunto próprio delas.
An´alise de algoritmos – p. 13/19
Circuito hamiltoniano
S = (x1 + x2 + x3).(x1 + x2 + x3).(x1 + x2 + x3)
B
B
B
A
A
A
A
A
A
A
A
A
x1
x2
x3
S é satis-
fatível ⇔ G é
hamiltoniano.
An´alise de algoritmos – p. 14/19
Exercícios
1. Um caminho hamiltoniano é um caminho que contém
todos os vértices de um grafo. Mostre que o problema
de decidir se um dado grafo contém um caminho
hamiltoniano é NP-completo.
(Sugestão: use o circuito hamiltoniano.)
2. Mostre que os seguintes problemas são
NP-completos: Dado um grafo G = (V, E), um conjunto
L ⊆ V , e um inteiro k, existe uma árvore geradora T de
G tal que
(a) O conjunto das folhas de T é L?
(b) T tem k folhas?
(c) Os vértices de T têm grau máximo k?
(Sugestão: Use o problema do caminho hamiltoniano.)
An´alise de algoritmos – p. 15/19
Exercícios
Considere o seguinte problema:
Partição: dado um conjunto S de inteiros, os elementos de
S podem ser particionados em dois subconjuntos A e
A = S − A tal que x∈A x = x∈A x?
3. Sabendo que o problema da partição é NP-completo,
mostre que o problema abaixo também é
NP-completo:
Dados m máquinas idênticas, n tarefas com duração
t1, t2, . . . , tn (onde cada ti é um inteiro positivo) para
serem executadas pelas máquinas, e um inteiro
positivo T. Existe uma distribuição das tarefas pelas
máquinas tal que o tempo total de execução é
menor ou igual a T?
An´alise de algoritmos – p. 16/19
Exercícios
4. Sabendo que o problema da partição é NP-completo,
mostre que o problema abaixo também é
NP-completo:
Mochila 0-1: Dado um conjunto U = {u1, u2, . . . , un},
valores inteiros positivos wi e ci (respectivamente, o
peso e o custo) associados a cada elemento ui de
U, e dois inteiros positivos W e C. Deseja-se saber
se existe um subconjunto S de U tal que
ui∈S wi ≤ W e ui∈S ci ≥ C?
An´alise de algoritmos – p. 17/19
Exercícios
5. Considere a seguinte versão do problema do caminho
mínimo: dado um grafo G, possivelmente com arestas
de peso negativo, vértices s e t e um inteiro k, decidir
se existe um caminho de s a t de peso menor ou igual a
k. Mostre que este problema é NP-completo.
(Sugestão: use o circuito hamiltoniano.)
An´alise de algoritmos – p. 18/19
Exercícios
6. Mostre que o problema abaixo é NP-completo:
(Hitting set): dados um conjunto universo T e:
uma coleção {S1, S2, . . . , Sn}, onde cada Si ⊆ T e;
um inteiro positivo k ≤ |T|.
O problema é determinar se existe um subconjunto
H de T tal que |H| ≤ k e ∀i ∈ {1, 2, ..., n},
(H ∩ Si) = ∅.
7. Um grafo é chamado de caterpillar se ele possui um
caminho C tal que todas as suas folhas distam 1 de C.
Mostre que o problema de decidir se um dado grafo é
caterpillar é NP-completo.
An´alise de algoritmos – p. 19/19

Mais conteúdo relacionado

Mais procurados

Deep Learning: Recurrent Neural Network (Chapter 10)
Deep Learning: Recurrent Neural Network (Chapter 10) Deep Learning: Recurrent Neural Network (Chapter 10)
Deep Learning: Recurrent Neural Network (Chapter 10) Larry Guo
 
Directed Acyclic Graph
Directed Acyclic Graph Directed Acyclic Graph
Directed Acyclic Graph AJAL A J
 
Intro to-iterative-deepening
Intro to-iterative-deepeningIntro to-iterative-deepening
Intro to-iterative-deepeningAdel Totott
 
Variational Autoencoder
Variational AutoencoderVariational Autoencoder
Variational AutoencoderMark Chang
 
Workflowsim escience12
Workflowsim escience12Workflowsim escience12
Workflowsim escience12Weiwei Chen
 
DISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMDISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMMANISH KUMAR
 
Method Handles in Java
Method Handles in JavaMethod Handles in Java
Method Handles in Javahendersk
 
MACHINE LEARNING-LEARNING RULE
MACHINE LEARNING-LEARNING RULEMACHINE LEARNING-LEARNING RULE
MACHINE LEARNING-LEARNING RULEDrBindhuM
 
머피's 머신러닝, Mixture model and EM algorithm
머피's 머신러닝, Mixture model and EM algorithm머피's 머신러닝, Mixture model and EM algorithm
머피's 머신러닝, Mixture model and EM algorithmJungkyu Lee
 
Görüntü i̇şlemede makine öğrenme teknikleri
Görüntü i̇şlemede makine öğrenme teknikleriGörüntü i̇şlemede makine öğrenme teknikleri
Görüntü i̇şlemede makine öğrenme teknikleriTalha Kabakus
 
Dempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDigiGurukul
 
Informed search (heuristics)
Informed search (heuristics)Informed search (heuristics)
Informed search (heuristics)Bablu Shofi
 
3.1.1 Búsqueda exhaustiva.pptx
3.1.1 Búsqueda exhaustiva.pptx3.1.1 Búsqueda exhaustiva.pptx
3.1.1 Búsqueda exhaustiva.pptxFernando Solis
 
1.2. introduction to automata theory
1.2. introduction to automata theory1.2. introduction to automata theory
1.2. introduction to automata theorySampath Kumar S
 
Starting data science with kaggle.com
Starting data science with kaggle.comStarting data science with kaggle.com
Starting data science with kaggle.comNathaniel Shimoni
 
GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)
GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)
GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)Madhu Bala
 
Serving BERT Models in Production with TorchServe
Serving BERT Models in Production with TorchServeServing BERT Models in Production with TorchServe
Serving BERT Models in Production with TorchServeNidhin Pattaniyil
 
AI-06 Search Techniques - Informed.pptx
AI-06 Search Techniques - Informed.pptxAI-06 Search Techniques - Informed.pptx
AI-06 Search Techniques - Informed.pptxPankaj Debbarma
 
Lecture 14 Heuristic Search-A star algorithm
Lecture 14 Heuristic Search-A star algorithmLecture 14 Heuristic Search-A star algorithm
Lecture 14 Heuristic Search-A star algorithmHema Kashyap
 

Mais procurados (20)

Deep Learning: Recurrent Neural Network (Chapter 10)
Deep Learning: Recurrent Neural Network (Chapter 10) Deep Learning: Recurrent Neural Network (Chapter 10)
Deep Learning: Recurrent Neural Network (Chapter 10)
 
Directed Acyclic Graph
Directed Acyclic Graph Directed Acyclic Graph
Directed Acyclic Graph
 
Intro to-iterative-deepening
Intro to-iterative-deepeningIntro to-iterative-deepening
Intro to-iterative-deepening
 
Variational Autoencoder
Variational AutoencoderVariational Autoencoder
Variational Autoencoder
 
Workflowsim escience12
Workflowsim escience12Workflowsim escience12
Workflowsim escience12
 
A Star Search
A Star SearchA Star Search
A Star Search
 
DISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMDISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEM
 
Method Handles in Java
Method Handles in JavaMethod Handles in Java
Method Handles in Java
 
MACHINE LEARNING-LEARNING RULE
MACHINE LEARNING-LEARNING RULEMACHINE LEARNING-LEARNING RULE
MACHINE LEARNING-LEARNING RULE
 
머피's 머신러닝, Mixture model and EM algorithm
머피's 머신러닝, Mixture model and EM algorithm머피's 머신러닝, Mixture model and EM algorithm
머피's 머신러닝, Mixture model and EM algorithm
 
Görüntü i̇şlemede makine öğrenme teknikleri
Görüntü i̇şlemede makine öğrenme teknikleriGörüntü i̇şlemede makine öğrenme teknikleri
Görüntü i̇şlemede makine öğrenme teknikleri
 
Dempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th SemDempster Shafer Theory AI CSE 8th Sem
Dempster Shafer Theory AI CSE 8th Sem
 
Informed search (heuristics)
Informed search (heuristics)Informed search (heuristics)
Informed search (heuristics)
 
3.1.1 Búsqueda exhaustiva.pptx
3.1.1 Búsqueda exhaustiva.pptx3.1.1 Búsqueda exhaustiva.pptx
3.1.1 Búsqueda exhaustiva.pptx
 
1.2. introduction to automata theory
1.2. introduction to automata theory1.2. introduction to automata theory
1.2. introduction to automata theory
 
Starting data science with kaggle.com
Starting data science with kaggle.comStarting data science with kaggle.com
Starting data science with kaggle.com
 
GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)
GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)
GRAPH APPLICATION - MINIMUM SPANNING TREE (MST)
 
Serving BERT Models in Production with TorchServe
Serving BERT Models in Production with TorchServeServing BERT Models in Production with TorchServe
Serving BERT Models in Production with TorchServe
 
AI-06 Search Techniques - Informed.pptx
AI-06 Search Techniques - Informed.pptxAI-06 Search Techniques - Informed.pptx
AI-06 Search Techniques - Informed.pptx
 
Lecture 14 Heuristic Search-A star algorithm
Lecture 14 Heuristic Search-A star algorithmLecture 14 Heuristic Search-A star algorithm
Lecture 14 Heuristic Search-A star algorithm
 

Semelhante a Algoritmos NP-completos grafos cliques

Análise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPAnálise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPDelacyr Ferreira
 
09 problemas de grafos np-completos
09 problemas de grafos np-completos09 problemas de grafos np-completos
09 problemas de grafos np-completosYuri Passos
 
Classes de complexidades de problemas
Classes de complexidades de problemasClasses de complexidades de problemas
Classes de complexidades de problemasDavid Achahui Perez
 
Análise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosAnálise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosDelacyr Ferreira
 
Árvores Espalhadas Mínimas
Árvores Espalhadas MínimasÁrvores Espalhadas Mínimas
Árvores Espalhadas MínimasDiego Cavalca
 
Aulas 11-guloso Algoritmos
Aulas 11-guloso AlgoritmosAulas 11-guloso Algoritmos
Aulas 11-guloso AlgoritmosKevin Takano
 
Set packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set PackingSet packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set PackingHugo Santos
 
Apresentacao N P Completude Loiane
Apresentacao  N P Completude  LoianeApresentacao  N P Completude  Loiane
Apresentacao N P Completude LoianeLoiane Groner
 
Cederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrangeCederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrangeIgor Titara
 
O caixeiro viajante é np completo
O caixeiro viajante é np completoO caixeiro viajante é np completo
O caixeiro viajante é np completoMarcelo Carvalho
 
Modelagem e inversão em coordenadas esféricas na gravimetria
Modelagem e inversão em coordenadas esféricas na gravimetriaModelagem e inversão em coordenadas esféricas na gravimetria
Modelagem e inversão em coordenadas esféricas na gravimetriaLeonardo Uieda
 

Semelhante a Algoritmos NP-completos grafos cliques (20)

Análise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NPAnálise de Algoritmos - As classes P e NP
Análise de Algoritmos - As classes P e NP
 
09 problemas de grafos np-completos
09 problemas de grafos np-completos09 problemas de grafos np-completos
09 problemas de grafos np-completos
 
1o+npc
1o+npc1o+npc
1o+npc
 
1o+npc
1o+npc1o+npc
1o+npc
 
Conjunto máximo independente de vértices
Conjunto máximo independente de vérticesConjunto máximo independente de vértices
Conjunto máximo independente de vértices
 
Classes de complexidades de problemas
Classes de complexidades de problemasClasses de complexidades de problemas
Classes de complexidades de problemas
 
Análise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de GrafosAnálise de Algoritmos - Conceitos de Grafos
Análise de Algoritmos - Conceitos de Grafos
 
Árvores Espalhadas Mínimas
Árvores Espalhadas MínimasÁrvores Espalhadas Mínimas
Árvores Espalhadas Mínimas
 
Aulas 11-guloso Algoritmos
Aulas 11-guloso AlgoritmosAulas 11-guloso Algoritmos
Aulas 11-guloso Algoritmos
 
Apostila clic2
Apostila clic2Apostila clic2
Apostila clic2
 
Set packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set PackingSet packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set Packing
 
2_Funçoes.pdf
2_Funçoes.pdf2_Funçoes.pdf
2_Funçoes.pdf
 
Trigonometria
TrigonometriaTrigonometria
Trigonometria
 
Apresentacao N P Completude Loiane
Apresentacao  N P Completude  LoianeApresentacao  N P Completude  Loiane
Apresentacao N P Completude Loiane
 
Velvet assembler
Velvet assemblerVelvet assembler
Velvet assembler
 
Cederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrangeCederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrange
 
O caixeiro viajante é np completo
O caixeiro viajante é np completoO caixeiro viajante é np completo
O caixeiro viajante é np completo
 
Modelagem e inversão em coordenadas esféricas na gravimetria
Modelagem e inversão em coordenadas esféricas na gravimetriaModelagem e inversão em coordenadas esféricas na gravimetria
Modelagem e inversão em coordenadas esféricas na gravimetria
 
Paa algoritmos gulosos
Paa  algoritmos gulososPaa  algoritmos gulosos
Paa algoritmos gulosos
 
Clp aprendizagem clic2 weg
Clp aprendizagem clic2 wegClp aprendizagem clic2 weg
Clp aprendizagem clic2 weg
 

Mais de Delacyr Ferreira

Análise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaAnálise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaDelacyr Ferreira
 
Análise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoAnálise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoDelacyr Ferreira
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeDelacyr Ferreira
 
Análise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de RecorrênciasAnálise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de RecorrênciasDelacyr Ferreira
 
Análise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise AssintóticaAnálise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise AssintóticaDelacyr Ferreira
 
Análise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaAnálise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaDelacyr Ferreira
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoDelacyr Ferreira
 

Mais de Delacyr Ferreira (7)

Análise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação DinâmicaAnálise de Algoritmos - Programação Dinâmica
Análise de Algoritmos - Programação Dinâmica
 
Análise de Algoritmos - Método Guloso
Análise de Algoritmos - Método GulosoAnálise de Algoritmos - Método Guloso
Análise de Algoritmos - Método Guloso
 
Análise de Algoritmos - Recursividade
Análise de Algoritmos - RecursividadeAnálise de Algoritmos - Recursividade
Análise de Algoritmos - Recursividade
 
Análise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de RecorrênciasAnálise de Algoritmos - Solução de Recorrências
Análise de Algoritmos - Solução de Recorrências
 
Análise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise AssintóticaAnálise de Algoritmos - Análise Assintótica
Análise de Algoritmos - Análise Assintótica
 
Análise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução FinitaAnálise de Algoritmos - Indução Finita
Análise de Algoritmos - Indução Finita
 
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempoAnálise de Algoritmos - Problemas, instâncias, algoritmos e tempo
Análise de Algoritmos - Problemas, instâncias, algoritmos e tempo
 

Último

ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdfENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdfLeloIurk1
 
INTERVENÇÃO PARÁ - Formação de Professor
INTERVENÇÃO PARÁ - Formação de ProfessorINTERVENÇÃO PARÁ - Formação de Professor
INTERVENÇÃO PARÁ - Formação de ProfessorEdvanirCosta
 
BNCC Geografia.docx objeto de conhecimento
BNCC Geografia.docx objeto de conhecimentoBNCC Geografia.docx objeto de conhecimento
BNCC Geografia.docx objeto de conhecimentoGentil Eronides
 
Atividade - Letra da música Esperando na Janela.
Atividade -  Letra da música Esperando na Janela.Atividade -  Letra da música Esperando na Janela.
Atividade - Letra da música Esperando na Janela.Mary Alvarenga
 
Rota das Ribeiras Camp, Projeto Nós Propomos!
Rota das Ribeiras Camp, Projeto Nós Propomos!Rota das Ribeiras Camp, Projeto Nós Propomos!
Rota das Ribeiras Camp, Projeto Nós Propomos!Ilda Bicacro
 
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfPRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfprofesfrancleite
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdfLeloIurk1
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteVanessaCavalcante37
 
SLIDE DE Revolução Mexicana 1910 da disciplina cultura espanhola
SLIDE DE Revolução Mexicana 1910 da disciplina cultura espanholaSLIDE DE Revolução Mexicana 1910 da disciplina cultura espanhola
SLIDE DE Revolução Mexicana 1910 da disciplina cultura espanholacleanelima11
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfFrancisco Márcio Bezerra Oliveira
 
Introdução a Caminhada do Interior......
Introdução a Caminhada do Interior......Introdução a Caminhada do Interior......
Introdução a Caminhada do Interior......suporte24hcamin
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Ilda Bicacro
 
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfReta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfWagnerCamposCEA
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfTutor de matemática Ícaro
 
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...azulassessoria9
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdfAna Lemos
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...azulassessoria9
 
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2Maria Teresa Thomaz
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelGilber Rubim Rangel
 
o ciclo do contato Jorge Ponciano Ribeiro.pdf
o ciclo do contato Jorge Ponciano Ribeiro.pdfo ciclo do contato Jorge Ponciano Ribeiro.pdf
o ciclo do contato Jorge Ponciano Ribeiro.pdfCamillaBrito19
 

Último (20)

ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdfENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
ENSINO RELIGIOSO 7º ANO INOVE NA ESCOLA.pdf
 
INTERVENÇÃO PARÁ - Formação de Professor
INTERVENÇÃO PARÁ - Formação de ProfessorINTERVENÇÃO PARÁ - Formação de Professor
INTERVENÇÃO PARÁ - Formação de Professor
 
BNCC Geografia.docx objeto de conhecimento
BNCC Geografia.docx objeto de conhecimentoBNCC Geografia.docx objeto de conhecimento
BNCC Geografia.docx objeto de conhecimento
 
Atividade - Letra da música Esperando na Janela.
Atividade -  Letra da música Esperando na Janela.Atividade -  Letra da música Esperando na Janela.
Atividade - Letra da música Esperando na Janela.
 
Rota das Ribeiras Camp, Projeto Nós Propomos!
Rota das Ribeiras Camp, Projeto Nós Propomos!Rota das Ribeiras Camp, Projeto Nós Propomos!
Rota das Ribeiras Camp, Projeto Nós Propomos!
 
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdfPRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
PRÉDIOS HISTÓRICOS DE ASSARÉ Prof. Francisco Leite.pdf
 
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
5 bloco 7 ano - Ensino Relogioso- Lideres Religiosos _ Passei Direto.pdf
 
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcanteCOMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
COMPETÊNCIA 2 da redação do enem prodção textual professora vanessa cavalcante
 
SLIDE DE Revolução Mexicana 1910 da disciplina cultura espanhola
SLIDE DE Revolução Mexicana 1910 da disciplina cultura espanholaSLIDE DE Revolução Mexicana 1910 da disciplina cultura espanhola
SLIDE DE Revolução Mexicana 1910 da disciplina cultura espanhola
 
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdfRecomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
Recomposiçao em matematica 1 ano 2024 - ESTUDANTE 1ª série.pdf
 
Introdução a Caminhada do Interior......
Introdução a Caminhada do Interior......Introdução a Caminhada do Interior......
Introdução a Caminhada do Interior......
 
Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"Nós Propomos! " Pinhais limpos, mundo saudável"
Nós Propomos! " Pinhais limpos, mundo saudável"
 
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdfReta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
Reta Final - CNU - Gestão Governamental - Prof. Stefan Fantini.pdf
 
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdfCurrículo - Ícaro Kleisson - Tutor acadêmico.pdf
Currículo - Ícaro Kleisson - Tutor acadêmico.pdf
 
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...Considere a seguinte situação fictícia:  Durante uma reunião de equipe em uma...
Considere a seguinte situação fictícia: Durante uma reunião de equipe em uma...
 
A QUATRO MÃOS - MARILDA CASTANHA . pdf
A QUATRO MÃOS  -  MARILDA CASTANHA . pdfA QUATRO MÃOS  -  MARILDA CASTANHA . pdf
A QUATRO MÃOS - MARILDA CASTANHA . pdf
 
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
PROVA - ESTUDO CONTEMPORÂNEO E TRANSVERSAL: COMUNICAÇÃO ASSERTIVA E INTERPESS...
 
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2Estudar, para quê?  Ciência, para quê? Parte 1 e Parte 2
Estudar, para quê? Ciência, para quê? Parte 1 e Parte 2
 
Dicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim RangelDicionário de Genealogia, autor Gilber Rubim Rangel
Dicionário de Genealogia, autor Gilber Rubim Rangel
 
o ciclo do contato Jorge Ponciano Ribeiro.pdf
o ciclo do contato Jorge Ponciano Ribeiro.pdfo ciclo do contato Jorge Ponciano Ribeiro.pdf
o ciclo do contato Jorge Ponciano Ribeiro.pdf
 

Algoritmos NP-completos grafos cliques

  • 1. Análise de algoritmos Mais problemas NP-completos An´alise de algoritmos – p. 1/19
  • 2. Clique em grafos Clique: Dado um grafo G e um inteiro K, G tem um subgrafo completo (clique) de tamanho ≥ K? An´alise de algoritmos – p. 2/19
  • 3. Clique em grafos Clique: Dado um grafo G e um inteiro K, G tem um subgrafo completo (clique) de tamanho ≥ K? Teorema: Clique é NP-completo. An´alise de algoritmos – p. 2/19
  • 4. Clique em grafos Clique: Dado um grafo G e um inteiro K, G tem um subgrafo completo (clique) de tamanho ≥ K? Teorema: Clique é NP-completo. Clique ∈ NP ( √ ) An´alise de algoritmos – p. 2/19
  • 5. Clique em grafos Clique: Dado um grafo G e um inteiro K, G tem um subgrafo completo (clique) de tamanho ≥ K? Teorema: Clique é NP-completo. Clique ∈ NP ( √ ) SAT clique An´alise de algoritmos – p. 2/19
  • 6. Clique em grafos Clique: Dado um grafo G e um inteiro K, G tem um subgrafo completo (clique) de tamanho ≥ K? Teorema: Clique é NP-completo. Clique ∈ NP ( √ ) SAT clique Dado uma instância S do SAT com K cláusulas, vamos construir um grafo G tal que G tem uma clique de tamanho K ⇔ S é satisfatível. An´alise de algoritmos – p. 2/19
  • 7. Clique em grafos S = (x + y + z).(x + y + z).(y + z) An´alise de algoritmos – p. 3/19
  • 8. Clique em grafos S = (x + y + z).(x + y + z).(y + z) x y z x y z y z An´alise de algoritmos – p. 3/19
  • 9. Exercícios 1. Construa um grafo G tal que G tem uma clique de tamanho 4 se e somente se a fórmula S = (x1+x2+x3).(x1+x2+x3).(x1+x2+x3).(x1+x2+x3) é satisfatível. An´alise de algoritmos – p. 4/19
  • 10. Exercícios 2. Considere o seguinte algoritmo para resolver o problema clique: para cada S ⊆ V com k vértices, verifique se S é uma clique. O algoritmo acima tem complexidade O(nk ). Logo, ele é polinomial. O que está errado? An´alise de algoritmos – p. 5/19
  • 11. Exercícios 3. Mostre que Isomorfismo de Subgrafos (Dados dois grafos G1 e G2, G1 é subgrafo de G2?) é NP-completo. (Sugestão: Use o clique). An´alise de algoritmos – p. 6/19
  • 12. Mais problemas NP-completos Conjunto independente: Dado um grafo G e um inteiro k, existe um subconjunto I com k vértices tal que nenhuma aresta liga dois vértices de I? An´alise de algoritmos – p. 7/19
  • 13. Mais problemas NP-completos Conjunto independente: Dado um grafo G e um inteiro k, existe um subconjunto I com k vértices tal que nenhuma aresta liga dois vértices de I? Cobertura por v´ertices: Dado um grafo G e um inteiro k, existe um subconjunto C com k vértices tal que cada aresta de G é incidente a algum vértice de C? An´alise de algoritmos – p. 7/19
  • 14. Mais problemas NP-completos Teorema: Dado um grafo G = (V, E) e um subconjunto S ⊆ V , as seguintes afirmações são equivalentes: S é uma clique de G S é um conjunto independente de G V − S é uma cobertura por vértices de G OBS: G é o grafo complementar de G. An´alise de algoritmos – p. 8/19
  • 15. Mais problemas NP-completos Corol´ario: Os problemas do conjunto independente e cobertura por vértices são NP-completos. An´alise de algoritmos – p. 9/19
  • 16. Exercícios 1. Mostre que o problema da cobertura por vértices permanece NP-completo mesmo se todos os vértices do grafo tiverem grau par. (Sugestão : use o problema original). 2. O que acontece com o problema da cobertura por vértices se o grafo for uma árvore? An´alise de algoritmos – p. 10/19
  • 17. Circuito hamiltoniano Circuito hamiltoniano: Um dado grafo G é hamiltoniano? An´alise de algoritmos – p. 11/19
  • 18. Circuito hamiltoniano Circuito hamiltoniano: Um dado grafo G é hamiltoniano? Teorema: Circuito hamiltoniano é NP-completo. An´alise de algoritmos – p. 11/19
  • 19. Circuito hamiltoniano Circuito hamiltoniano: Um dado grafo G é hamiltoniano? Teorema: Circuito hamiltoniano é NP-completo. Circuito hamiltoniano ∈ NP. ( √ ) An´alise de algoritmos – p. 11/19
  • 20. Circuito hamiltoniano Circuito hamiltoniano: Um dado grafo G é hamiltoniano? Teorema: Circuito hamiltoniano é NP-completo. Circuito hamiltoniano ∈ NP. ( √ ) 3-SAT circuito hamiltoniano. An´alise de algoritmos – p. 11/19
  • 21. Circuito hamiltoniano Considere os seguintes subgrafos: A u uu u v v v v ⇔ An´alise de algoritmos – p. 12/19
  • 22. Circuito hamiltoniano B u1 u2 u3 u4 ⇔ Nenhum circuito hamiltoniano de G contém as três arestas u1u2, u2u3 e u3u4, mas pode conter qualquer subconjunto próprio delas. An´alise de algoritmos – p. 13/19
  • 23. Circuito hamiltoniano S = (x1 + x2 + x3).(x1 + x2 + x3).(x1 + x2 + x3) B B B A A A A A A A A A x1 x2 x3 S é satis- fatível ⇔ G é hamiltoniano. An´alise de algoritmos – p. 14/19
  • 24. Exercícios 1. Um caminho hamiltoniano é um caminho que contém todos os vértices de um grafo. Mostre que o problema de decidir se um dado grafo contém um caminho hamiltoniano é NP-completo. (Sugestão: use o circuito hamiltoniano.) 2. Mostre que os seguintes problemas são NP-completos: Dado um grafo G = (V, E), um conjunto L ⊆ V , e um inteiro k, existe uma árvore geradora T de G tal que (a) O conjunto das folhas de T é L? (b) T tem k folhas? (c) Os vértices de T têm grau máximo k? (Sugestão: Use o problema do caminho hamiltoniano.) An´alise de algoritmos – p. 15/19
  • 25. Exercícios Considere o seguinte problema: Partição: dado um conjunto S de inteiros, os elementos de S podem ser particionados em dois subconjuntos A e A = S − A tal que x∈A x = x∈A x? 3. Sabendo que o problema da partição é NP-completo, mostre que o problema abaixo também é NP-completo: Dados m máquinas idênticas, n tarefas com duração t1, t2, . . . , tn (onde cada ti é um inteiro positivo) para serem executadas pelas máquinas, e um inteiro positivo T. Existe uma distribuição das tarefas pelas máquinas tal que o tempo total de execução é menor ou igual a T? An´alise de algoritmos – p. 16/19
  • 26. Exercícios 4. Sabendo que o problema da partição é NP-completo, mostre que o problema abaixo também é NP-completo: Mochila 0-1: Dado um conjunto U = {u1, u2, . . . , un}, valores inteiros positivos wi e ci (respectivamente, o peso e o custo) associados a cada elemento ui de U, e dois inteiros positivos W e C. Deseja-se saber se existe um subconjunto S de U tal que ui∈S wi ≤ W e ui∈S ci ≥ C? An´alise de algoritmos – p. 17/19
  • 27. Exercícios 5. Considere a seguinte versão do problema do caminho mínimo: dado um grafo G, possivelmente com arestas de peso negativo, vértices s e t e um inteiro k, decidir se existe um caminho de s a t de peso menor ou igual a k. Mostre que este problema é NP-completo. (Sugestão: use o circuito hamiltoniano.) An´alise de algoritmos – p. 18/19
  • 28. Exercícios 6. Mostre que o problema abaixo é NP-completo: (Hitting set): dados um conjunto universo T e: uma coleção {S1, S2, . . . , Sn}, onde cada Si ⊆ T e; um inteiro positivo k ≤ |T|. O problema é determinar se existe um subconjunto H de T tal que |H| ≤ k e ∀i ∈ {1, 2, ..., n}, (H ∩ Si) = ∅. 7. Um grafo é chamado de caterpillar se ele possui um caminho C tal que todas as suas folhas distam 1 de C. Mostre que o problema de decidir se um dado grafo é caterpillar é NP-completo. An´alise de algoritmos – p. 19/19