Projeto e Análise de Algoritmos Prof. Ruy Luiz Milidiú
|
|
- Lavínia Ribas
- 4 Há anos
- Visualizações:
Transcrição
1 Projeto e Análise de Algoritmos Prof. Ruy Luiz Milidiú 5/5/2014 Ruy Luiz Milidiú 1
2 A Classe NPC 5/5/2014 Ruy Luiz Milidiú 2
3 Resumo Objetivo Apresentar Classe de Problemas NPC Sumário P, NP, NP-difícil, e NP-completo De 3-SAT para clique De clique para cobertura de vértices clique e cobertura de vértices estão em NPC 5/5/2014 Ruy Luiz Milidiú 3
4 NP-Difícil MAXC NP SAT 3SAT 3DM Teorema de Cook PLI 3C CLIQUE 3XC 3CP IND MPS ST XC 3SC VC SC 5/5/2014 Ruy Luiz Milidiú 4
5 Problemas de decisão P NP resolvidos em tempo polinomial verificáveis em tempo polinomial NP-Difícil NP-Hard qualquer problema em NP pode ser reduzido a ele NPC é NP é NP-Difícil NP-Completos verificador redutor 5/5/2014 Ruy Luiz Milidiú 5
6 NPC SAT NPC SAT NP Teorema de Cook 3-SAT NPC 3-SAT NP SAT 3-SAT PLI NPC PLI NP SAT PLI NP SAT 3SAT PLI 5/5/2014 Ruy Luiz Milidiú 6
7 CLIQUE Grupo Exclusivo de G=(V,E) H V u,v H então {u,v} E. Problema de decisão H = {u,v,x,y} grupo exclusivo de G tamanho 4 grupo exclusivo de tamanho k em G? 5/5/2014 Ruy Luiz Milidiú 7
8 CLIQUE NP //Verificador for all v V do na_clique[v] := 0 for all v H do na_clique[v] := 1 for all v V do if (na_clique[v] = 1) then total_na_clique := 0 for all w Adjacent[v] do total_na_clique := total_na_clique + na_clique[w] if (total_na_clique k-1) then return(não) return(sim) 5/5/2014 Ruy Luiz Milidiú 8
9 3-SAT CLIQUE C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) x1 x2 x3 x1 x2 x3 x1 x2 x3 5/5/2014 Ruy Luiz Milidiú 9
10 3-SAT CLIQUE C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) x1 x2 x3 x1 x1 x x PROIBIDO x2 x3 x2 x3 5/5/2014 Ruy Luiz Milidiú 10
11 3-SAT CLIQUE C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) 5/5/2014 Ruy Luiz Milidiú 11
12 3-SAT CLIQUE //Redutor input C = C 1 C 2 C k for r=1,...,k do criar três vértices em V, rotulados pelas variáveis de C r for all pairs u,v V de triplas diferentes if (rótulo(u) rótulo(v)) then criar a aresta {u,v} em E 5/5/2014 Ruy Luiz Milidiú 12
13 3-SAT CLIQUE C é capaz de satisfação existe um grupo exclusivo de tamanho k em G 5/5/2014 Ruy Luiz Milidiú 13
14 3-SAT CLIQUE C é capaz de satisfação cada C r possui ao menos um literal com atribuição 1 escolha esse literal e seu vértice correspondente em V H são os k vértices escolhidos todos os vértices de H estão ligados entre si pois a atribuição é consistente H é CLIQUE de tamanho k 5/5/2014 Ruy Luiz Milidiú 14
15 3-SAT CLIQUE existe um grupo exclusivo de tamanho k em G Atribua 1 ao literal associado a cada vértice de H Nenhuma aresta em E conecta vértices da mesma tripla ou complementares H possui exatamente um vértice por tripla (tamanho k) H não contém pares {x, x} (consistência) Cada cláusula C r é satisfeita C é satisfeita 5/5/2014 Ruy Luiz Milidiú 15
16 CLIQUE NPC NP SAT 3SAT PLI CLIQUE 5/5/2014 Ruy Luiz Milidiú 16
17 VERTEX-COVER Cobertura de Vértices de G=(V,E) V V tq se {u,v} E, então u V ou v V V = {z,w} cobertura de vértices de G tamanho 2 Problema de decisão uma cobertura de vértices de tamanho k em G? 5/5/2014 Ruy Luiz Milidiú 17
18 VERTEX-COVER NP //Verificador for all v V do na_cobertura[v] := 0 for all v V do na_cobertura [v] := 1 for all v V do if (na_cobertura[v] = 0) then for all w Adjacent[v] do if (na_cobertura[w] = 0) then return(não) return(sim) 5/5/2014 Ruy Luiz Milidiú 18
19 CLIQUE VERTEX-COVER Redução {v,w} E {v,w} E G=(V,E) G =(V,E ) 5/5/2014 Ruy Luiz Milidiú 19
20 CLIQUE VERTEX-COVER X é CLIQUE de G V-X é cobertura de vértices de G 5/5/2014 Ruy Luiz Milidiú 20
21 CLIQUE VERTEX-COVER X é CLIQUE de G {u,v} E u X ou v X, pois se u,v X então {u,v} E u (V-X) ou v V-X {u,v} é coberta por V-X em G V-X é cobertura de vértices de G Obs.: V-X = n - k 5/5/2014 Ruy Luiz Milidiú 21
22 CLIQUE VERTEX-COVER V-X é cobertura de vértices de G u,v X (p/absurdo) {u,v} E {u,v} E u V-X ou v V-X X (V-X) {u,v} E X é clique de G 5/5/2014 Ruy Luiz Milidiú 22
23 CLIQUE NPC NP SAT 3SAT PLI CLIQUE VC 5/5/2014 Ruy Luiz Milidiú 23
24 3-COLOR 3-COLOR de G=(V,E) f: V {1,2,3} {u,v} E então f(u) f(v) Problema de decisão uma 3-COLOR de G? 5/5/2014 Ruy Luiz Milidiú 24
25 3-COLOR NP //Verificador for all u V do if f(u) {1,2,3} then return(não) for all {u,v} E do if (f(u) = f(v)) then return(não) return(sim) 5/5/2014 Ruy Luiz Milidiú 25
26 3-SAT 3-COLOR ( X X) = T (X Y) = T X X X Y G T F T 5/5/2014 Ruy Luiz Milidiú 26
27 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 1 X 2 X 2 X 3 X 3 G T F 5/5/2014 Ruy Luiz Milidiú 27
28 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 1 X 2 X 2 X 3 X 3 G T F 5/5/2014 Ruy Luiz Milidiú 28
29 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 29
30 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 30
31 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 31
32 3-SAT 3-COLOR C é capaz de satisfação existe f que é uma 3-COLOR de G 5/5/2014 Ruy Luiz Milidiú 32
33 3-SAT 3-COLOR C é capaz de satisfação atribuição de cores se u=t então f(u) = VERDE se u=f então f(u) = VERMELHO cada tripla tem pelo menos um nó VERMELHO Podemos atribuir cores para os nós auxiliares f é uma 3-COLOR de G 5/5/2014 Ruy Luiz Milidiú 33
34 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 34
35 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 35
36 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 36
37 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 37
38 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 38
39 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 39
40 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 40
41 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 41
42 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 42
43 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 43
44 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 44
45 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 45
46 3-SAT 3-COLOR existe f que é uma 3-COLOR de G atribuição de valores verdade se f(u) = VERDE então u=t se f(u) = VERMELHO então u=f f(u) = VERDE f( u) = VERMELHO f tem pelo menos um nó VERDE por tripla C é capaz de satisfação 5/5/2014 Ruy Luiz Milidiú 46
47 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 47
48 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T 5/5/2014 Ruy Luiz Milidiú 48
49 3-SAT 3-COLOR C = (x 1 x 2 x 3 ) ( x 1 x 2 x 3 ) (x 1 x 2 x 3 ) X 1 X 2 X 3 T Absurd! 5/5/2014 Ruy Luiz Milidiú 49
50 3-COLOR NPC NP SAT 3SAT PLI CLIQUE 3-COLOR 5/5/2014 Ruy Luiz Milidiú 50
51 3-COLOR PLANAR 3-COLOR de G=(V,E) f: V {1,2,3} {u,v} E então f(u) f(v) G é planar Problema de decisão uma 3-COLOR de G? 5/5/2014 Ruy Luiz Milidiú 51
52 3-COLOR PLANAR NP //Verificador if (not verificador_de_planaridade (G)) return(não) for all {u,v} E do if (f(u) = f(v)) then return(não) return(sim) 5/5/2014 Ruy Luiz Milidiú 52
53 3-COLOR 3-COLOR PLANAR cantos opostos tem mesma cor 5/5/2014 Ruy Luiz Milidiú 53
54 3-COLOR 3-COLOR PLANAR? W é 3-COLOR então cantos opostos tem mesma cor? 5/5/2014 Ruy Luiz Milidiú 54
55 3-COLOR 3-COLOR PLANAR u v 5/5/2014 Ruy Luiz Milidiú 55 G
56 3-COLOR 3-COLOR PLANAR u v G 5/5/2014 Ruy Luiz Milidiú 56
57 3-COLOR 3-COLOR PLANAR u v G 5/5/2014 Ruy Luiz Milidiú 57
58 3-COLOR 3-COLOR PLANAR G é 3-COLOR G é 3-COLOR 5/5/2014 Ruy Luiz Milidiú 58
59 3-COLOR 3-COLOR PLANAR G é 3-COLOR G é 3-COLOR u u v u 5/5/2014 Ruy Luiz Milidiú 59
60 3-COLOR 3-COLOR PLANAR G é 3-COLOR G é 3-COLOR u u u v u u 5/5/2014 Ruy Luiz Milidiú 60
61 3-COLOR 3-COLOR PLANAR G é 3-COLOR G é 3-COLOR u u u v u u 5/5/2014 Ruy Luiz Milidiú 61
62 3-COLOR 3-COLOR PLANAR G é 3-COLOR G é 3-COLOR u u u v u u 5/5/2014 Ruy Luiz Milidiú 62
63 3-COLOR 3-COLOR PLANAR G é 3-COLOR G é 3-COLOR u u u v u u 5/5/2014 Ruy Luiz Milidiú 63
64 3-COLOR NPC NP SAT 3SAT CLIQUE 3-COLOR PLI 3-COLOR P 5/5/2014 Ruy Luiz Milidiú 64
Projeto e Análise de Algoritmos Prof. Ruy Luiz Milidiú
Projeto e Análise de Algoritmos Prof. Ruy Luiz Milidiú 5/5/2014 Ruy Luiz Milidiú 1 O Teorema de Cook 5/5/2014 Ruy Luiz Milidiú 2 Resumo Objetivo Apresentar os conceitos básicos necessários ao enunciado
Leia maisProjeto e Análise de Algoritmos Prof. Ruy Luiz Milidiú
Projeto e Análise de Algoritmos Prof. Ruy Luiz Milidiú 5/5/2014 Ruy Luiz Milidiú 1 Redução 5/5/2014 Ruy Luiz Milidiú 2 Resumo Objetivo Apresentar o príncipio da redução de um problema a outro Sumário O
Leia maisAnálise e Projeto de Algoritmos
Análise e Projeto de Algoritmos 2018.2 Classes P e NP P São os problemas que podem ser resolvidos em tempo polinomial por uma Máquina de Turing Determinística. NP São os problemas que podem ser decididos
Leia maisAnálise e Síntese de Algoritmos
Análise e Síntese de Algoritmos Problemas NP-Completos CLRS, Cap. 34 Contexto Algoritmos em Grafos Estruturas de Dados para Conjuntos Disjuntos Programação Linear Programação Dinâmica Algoritmos Greedy
Leia maisAnálise e Síntese de Algoritmos. Problemas NP-Completos CLRS, Cap. 34
Análise e Síntese de Algoritmos Problemas NP-Completos CLRS, Cap. 34 Contexto Revisões [CLRS, Cap. 1-10] Algoritmos em Grafos [CLRS, Cap. 22-26] Algoritmos elementares Árvores abrangentes Caminhos mais
Leia maisReduções de Problemas Difíceis
Reduções de Problemas Difíceis André Vignatti DINF- UFPR Reduções de Problemas Difíceis Na figura abaixo, esquema das reduções que vamos (tentar) ver. Todos problemas NP CIRCUIT SAT SAT 3SAT INDEPENDENT
Leia maisProblemas NP-completos
Problemas NP-completos Marina Andretta ICMC-USP 15 de setembro de 2015 Marina Andretta (ICMC-USP) sme0216 e 5826 15 de setembro de 2015 1 / 26 Sat é NP-completo Já vimos que o primeiro problema que se
Leia maisAnálise e Projeto de Algoritmos
Análise e Projeto de Algoritmos 2018.2 Classes P e NP P São os problemas que podem ser resolvidos em tempo polinomial por uma Máquina de Turing Determinística. NP São os problemas que podem ser decididos
Leia maisRedução polinomial. Permite comparar o grau de complexidade de problemas diferentes.
Redução polinomial Permite comparar o grau de complexidade de problemas diferentes. Uma redução de um problema Π a um problema Π é um algoritmo ALG que resolve Π usando uma subrotina hipotética ALG que
Leia maisComplexidade de Algoritmos
Complexidade de Algoritmos Classes de Complexidades de Problemas Prof. Osvaldo Luiz de Oliveira Estas anotações devem ser complementadas por apontamentos em aula. Tempo polinomial Um algoritmo A, com entrada
Leia maisAnálise de Algoritmos. Slides de Paulo Feofiloff
Análise de Algoritmos Slides de Paulo Feofiloff [com erros do coelho e agora também da cris] Algoritmos p. 1 Redução polinomial Permite comparar o grau de complexidade de problemas diferentes. Uma redução
Leia maisAlgoritmos de aproximação
Algoritmos de aproximação prof Marcio Delamaro ICC II Um pouco de teoria Existem algoritmos que podem ser executados em tempo polinomial Dado problema de tamanho n, temo O(n k ) A maioria dos algoritmos
Leia maisAlgoritmos de Aproximação Segundo Semestre de 2012
Algoritmos de Aproximação Segundo Semestre de 2012 Aproximação p. 1 Problema de decisão Problema de decisão: conjunto I de instâncias e função f : I {SIM, NÃO} Aproximação p. 2 Problema de decisão Problema
Leia maisRedução de Cook-Levin e Considerações Finais
Redução de Cook-Levin e Considerações Finais André Vignatti DINF- UFPR Fechando o Ciclo de Reduções Nós reduzimos o SAT para diversos problemas de busca, como mostra a figura: Todos problemas NP CIRCUIT
Leia maisColoração. Carolina Moraes e Lucas Glir
Coloração Carolina Moraes e Lucas Glir Introdução Os primeiros questionamentos sobre o assunto surgiram por volta de 1800, com o problema das 4 cores. Os primeiros resultados sobre coloração de grafos
Leia maisPor que não encontramos algoritmos polinomiais para muitos problemas?
Por que não encontramos algoritmos polinomiais para muitos problemas? Talvez não tenhamos AINDA encontrado ou talvez eles sejam MESMO intrinsicamente difíceis 1 Objetivos: Introdução Apresentar o conceito
Leia maisBusca e Decisão. Problemas de Otimização. Kakuro. P e NP. Pode-se resolver o Kakuro somente resolvendo problemas de decisão?
Busca e Decisão Universidade Federal de Ouro Preto Departamento de Computação P e NP Decisão: Respostas SIM ou NÃO Eiste uma clique de tamanho k no grafo? Eiste um preenchimento da mochila com lucro z?
Leia maisPor que não encontramos algoritmos polinomiais para muitos problemas?
Por que não encontramos algoritmos polinomiais para muitos problemas? Talvez não tenhamos AINDA encontrado ou talvez eles sejam MESMO intrinsicamente difíceis 1 Objetivos: Introdução Apresentar o conceito
Leia maisJorge Figueiredo, DSC/UFCG. Análise e Técnicas de Algoritmos 2005.1. Jorge Figueiredo, DSC/UFCG. Análise e Técnicas de Algoritmos 2005.
Agenda Análise e Técnicas de Algoritmos Jorge Figueiredo Conceitos básicos Classes de de Complexidade P NP Redução Problemas NPC NP-Completude Introdução Existem alguns problemas computacionais que são
Leia maisTeoria e Algoritmos em Grafos
Teoria e Algoritmos em Grafos 2018.2 Conjunto Independente Conjuntos Independentes são subconjuntos de vértices de um grafo no qual nenhum vértice é adjacente entre si. Conjunto Independente Conjuntos
Leia maisAnálise e Síntese de Algoritmos
Análise e Síntese de Algoritmos Algoritmos de Aproximação CLRS, Cap. 35 Resumo Algoritmos de aproximação Algoritmos, com complexidade polinomial, que calculam soluções aproximadas para problemas de optimização
Leia maisMelhores momentos AULA 24. Algoritmos p.906/953
Melhores momentos AULA 24 Algoritmos p.906/953 Problemas polinomiais Analise de um algoritmo em um determinado modelo de computação estima o seu consumo de tempo e quantidade de espaço como uma função
Leia maisComplexidade Parametrizada - Intratabilidade Uéverton S. Souza - UFF
Uéverton S. Souza - UFF ueverton@ic.uff.br 1 o Workshop Paulista em Otimização, Combinatória e Algoritmos Junho 2017 Intratabilidade - Comlexidade Computacional Teoria da NP-completude Classe P Solucionáveis
Leia maisComplexidade de Algoritmos
Compleidade de Algoritmos Prof. Diego Buchinger diego.buchinger@outlook.com diego.buchinger@udesc.br Prof. Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Reduções de Problemas X NP-Completo
Leia maisProblemas Intratáveis ou computação eficiente X computação ineficiente
Problemas Intratáveis ou computação eficiente X computação ineficiente Problemas Tratáveis Os problemas que podem ser resolvidos em tempo polinomial em um computador típico são exatamente os mesmos problemas
Leia maisClasses de Complexidade e NP-Completude
Classes de Complexidade e NP-Completude E. C. Xavier e F. K. Miyazawa Instituto de Computação/Unicamp 8 de outubro de 2009 E. C. Xavier e F. K. Miyazawa (IC/Unicamp) Classes de Complexidade e NP-Completude
Leia maisComplexidade de Algoritmos
Complexidade de Algoritmos Prof. Diego Buchinger diego.buchinger@outlook.com diego.buchinger@udesc.br Prof. Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Estudo da Tratabilidade de Problemas
Leia maisAlgoritmos de aproximação - Problema de cobertura por conjuntos
Algoritmos de aproximação - Problema de cobertura por conjuntos Marina Andretta ICMC-USP 22 de setembro de 205 Baseado no livro Uma introdução sucinta a Algoritmos de Aproximação, de M. H. Carvalho, M.
Leia maisCOMPLEXIDADE PARAMETRIZADA PARTE 1. Rafael Coelho.
UMA BREVE INTRODUÇÃO À TEORIA DE COMPLEXIDADE PARAMETRIZADA PARTE 1 Rafael Coelho rcoelho@ime.usp.br Instituto de Matemática e Estatística Universidade de São Paulo Seminários de Teoria da Computação,
Leia maisAnálise de Algoritmos
Análise de Algoritmos Estes slides são adaptações de slides do Prof. Paulo Feofiloff e do Prof. José Coelho de Pina. Algoritmos p. 1 Matroides e o método guloso U: conjunto finito arbitrário. C: família
Leia maisProjeto e Análise de Algoritmos
Projeto e Análise de Algoritmos Tempo polinomial Verificação de tempo polinomial Diane Castonguay diane@inf.ufg.br Instituto de Informática Universidade Federal de Goiás Tempo polinomial Um algoritmo é
Leia maisJogos de Anti-Coordenação e Colorações Estáveis em Grafos. Renato Lui Geh NUSP:
Jogos de Anti-Coordenação e Colorações Estáveis em Grafos Renato Lui Geh NUSP:8536030 Introdução Jogos de coordenação: Classe de jogos em que jogadores jogam cooperativamente. Jogador i fazer a mesma ação
Leia maisALGUNS GRAFOS BEM-COBERTOS LIVRES DE K 1,3
ALGUNS GRAFOS BEM-COBERTOS LIVRES DE K 1,3 Márcia R. Cappelle Santana UEG Universidade Estadual de Goiás Campus BR 153, Km 98 Caixa Postal: 459 CEP: 75001-970 Anápolis-GO mcappelle@ueg.br Rommel Melgaço
Leia maisGrafo planar: Definição
Grafo planar Considere o problema de conectar três casas a cada uma de três infraestruturas (gás, água, energia) como mostrado na figura abaixo. É possível fazer essas ligações sem que elas se cruzem?
Leia maisComo saber se um problema está em NP e não está em P?
? P = NP Uma das principais questões em aberto é se P = NP, isto é, se de fato tudo o que pode ser feito em tempo polinomial por uma MTND poderia ser feito por uma MTD em tempo polinomial, talvez com um
Leia maisIntrodução à classe de problemas NP- Completos
Introdução à classe de problemas NP- Completos R. Rossetti, A.P. Rocha, A. Pereira, P.B. Silva, T. Fernandes FEUP, MIEIC, CAL, 2010/2011 1 Introdução Considerações Práticas Em alguns casos práticos, alguns
Leia maisO Problema da 3- Coloração de Grafos
Otimização Combinatória O Problema da - Coloração de Grafos Guilherme Zanardo Borduchi Hugo Armando Gualdron Colmenares Tiago Moreira Trocoli da Cunha Prof.ª Marina Andretta Introdução ao Problema Problema
Leia maisTeoria da Complexidade Computacional
Teoria da Complexidade Computacional 25 de novembro de 2011 Enquanto a teoria de análise de algoritmos estuda a análise de complexidade de algoritmos, a teoria da complexidade estuda a classificação de
Leia maisGRAFOS Aula 02 Formalização: definições Max Pereira
Ciência da Computação GRAFOS Aula 02 : definições Max Pereira Um grafo G é um par ordenado G = (V, E) onde V é um conjunto finito e não vazio de elementos e E é um conjunto de subconjuntos de dois elementos
Leia maisProjeto e Análise de Algoritmos NP Completude. Prof. Humberto Brandão
Projeto e Análise de Algoritmos NP Completude Prof. Humberto Brandão humberto@bcc.unifal-mg.edu.br Universidade Federal de Alfenas versão da aula: 0.4 Introdução Problemas intratáveis ou difíceis são comuns
Leia maisAnálise e Complexidade de Algoritmos
Análise e Complexidade de Algoritmos Uma visão de Intratabilidade, Classes P e NP - redução polinomial - NP-completos e NP-difíceis Prof. Rodrigo Rocha prof.rodrigorocha@yahoo.com http://www.bolinhabolinha.com
Leia mais5COP096 TeoriadaComputação
Sylvio 1 Barbon Jr barbon@uel.br 5COP096 TeoriadaComputação Aula 13 Prof. Dr. Sylvio Barbon Junior Sumário - Problemas NP-Completo Algoritmos Não-deterministas; Classes NP-Completo e NP-Dificil; Teorema
Leia maisComplexidade de Algoritmos. Edson Prestes
Edson Prestes A classe P consiste nos problemas que podem ser resolvidos em tempo Polinomial (Problemas tratáveis) A classe NP consiste nos problemas que podem ser verificados em tempo polinomial (Problemas
Leia maisTeoria da Complexidade Computacional
Teoria da Complexidade Computacional Letícia Rodrigues Bueno UFABC Motivação Motivação I can t find an efficient algorithm, I guess I m just too dumb. Fonte: GAREY, M. R. e JOHNSON, D. S. Computers and
Leia maisTeoria dos problemas completos em NP algumas notas
Teoria dos problemas completos em NP algumas notas 2006/07 Armando B. Matos Índice Conceitos fundamentais (a estudar)......................................................... 2 Problemas de decisão e linguagens
Leia maisProblemas de Busca (a.k.a NP) - parte 2
Problemas de Busca (a.k.a NP) - parte 2 André Vignatti DINF- UFPR Euler e Rudrata No verão de 1735 Leonhard Euler, o famoso matemático suíço, estava andando nas pontes da cidade de Königsberg, na Prússia
Leia maisGRAFOS E ALGORITMOS TEORIA DE GRAFOS
GRAFOS E ALGORITMOS TEORIA DE GRAFOS 1a. PARTE Prof. Ronaldo R. Goldschmidt rribeiro@univercidade.br ronaldo_goldschmidt@yahoo.com.br ROTEIRO 1. INTRODUÇÃO E MOTIVAÇÃO 2. FUNDAMENTOS 3. CONECTIVIDADE 4.
Leia maisAlgoritmos Combinatórios: Backtracking
lucia@site.uottawa.ca UFSC, Fevereiro, 2010 Problema da Mochila Problema da Mochila Problema da Mochila (Otimização) Instância: Lucros p 0, p 1,..., p n 1 Pesos w 0, w 1,..., w n 1 Capacidade da mochila
Leia maisAlgoritmos Combinatórios: Introdução
lucia@site.uottawa.ca UFSC, Fevereiro, 2010 Estruturas e Problemas Combinatórios Introdução a Algoritmos Combinatórios O que são: Estruturas Combinatórias? Algoritmos Combinatórios? Problemas Combinatórios?
Leia maisComplexidade computacional
Complexidade computacional O Teorema de Nash garante a existência de um equilíbrio em qualquer jogo finito. Mas como encontrar um tal equilíbrio? Teoria dos Jogos p. 1 Complexidade computacional O Teorema
Leia maisTEORIA DE COMPLEXIDADE
UFMG/ICEX/DCC PROJETO E ANÁLISE DE ALGORITMOS TEORIA DE COMPLEXIDADE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO 1 O SEMESTRE DE 2008 Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro
Leia maisAula 2 Definições, Conceitos Básicos e Representação Interna de Grafos. Teoria dos Grafos Prof.
Teoria dos Grafos Aula 2 Definições, Conceitos Básicos e Representação Interna de Grafos Jorge Figueiredo Aula 2-1 Definições Dois tipos de elementos: Vértices ou nós. Arestas. v3 v1 v2 v4 v5 v6 Jorge
Leia maisPolinomial: função de complexidade é O(p(n)), onde p(n) é um polinômio.
UFMG/ICEX/DCC PROJETO E ANÁLISE DE ALGORITMOS Introdução TEORIA DE COMPLEXIDADE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO 1 O SEMESTRE DE 2008 Problemas intratáveis ou difíceis são comuns na natureza e nas
Leia maisAnálise e Síntese de Algoritmos
Análise e Síntese de Algoritmos Algoritmos Elementares em Grafos [CLRS, Cap. 22] 24/25 Contexto Revisão [CLRS, Cap.-3] Fundamentos; notação; exemplos Algoritmos em Grafos [CLRS, Cap.2-26] Algoritmos elementares
Leia maisINSTITUTO SUPERIOR TÉCNICO Análise e Síntese de Algoritmos. RESOLUÇÃO DO 2 o TESTE
INSTITUTO SUPERIOR TÉCNICO Análise e Síntese de Algoritmos Ano Lectivo de 2006/2007 2 o Semestre RESOLUÇÃO DO 2 o TESTE I. (2,0+2,0+2,0 = 6,0 val.) 1) Calcule o valor óptimo da função objectivo e o respectivo
Leia maisPCC104 - Projeto e Análise de Algoritmos
PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 1 de novembro de 2018 Marco Antonio
Leia maisAlgoritmo Floyd-Warshall. Problema dos caminhos mínimos entre todos os pares. Programação dinâmica
Algoritmo Floyd-Warshall S. Problema dos caminhos mínimos entre todos os pares Problema: Dado um digrafo com custo nos arcos, determinar, para cada par de vértices s, t o custo de um caminho mínimo de
Leia maisAnálise e Síntese de Algoritmos. Algoritmos em Grafos CLRS, Cap. 22
Análise e Síntese de Algoritmos Algoritmos em Grafos CLRS, Cap. 22 Mudança no Horário Aulas Teóricas de 4ª feira 10:30 12:00 Sala: FA1 12:00 13:30 Sala: FA1 Deixa de haver aula teórica às 9:00 por troca
Leia maisGrafos e Algoritmos de Busca
Grafos e Algoritmos de Busca /65 Grafos e Algoritmos de Busca Eduardo Camponogara Departamento de Automação e Sistemas Universidade Federal de Santa Catarina DAS-93: Introdução a Algoritmos Grafos e Algoritmos
Leia maisTeoria e Algoritmos em Grafos
Teoria e Algoritmos em Grafos 2018.2 Percursos Caminhos que percorrem todos os vértices ou todas as arestas de um grafo são chamados percursos. Ciclo Hamiltoniano Ciclos Hamiltonianos são ciclos que percorrem
Leia maisFábio Protti - UFF Loana T. Nogueira - UFF Sulamita Klein UFRJ
Fábio Protti - UFF Loana T. Nogueira - UFF Sulamita Klein UFRJ Suponha que temos um grupo de pessoas (funcionário de uma empresa) que serão submetidos a um treinamento. Queremos identificar os grupos de
Leia maisAlgoritmos Combinatórios: Sudoku via Backtracking e o Problema da Cobertura Exata
Algoritmos Combinatórios: Sudoku via Backtracking e o Problema da lucia@site.uottawa.ca UFSC, Fevereiro, 2010 Solução Sudoku O jogo/puzzle Sudoku consiste de uma matriz 9 9, dividida em 9 regiões, que
Leia maisComplexidade computacional
Complexidade computacional Marina Andretta ICMC-USP 15 de setembro de 2015 Baseado no livro Uma introdução sucinta a Algoritmos de Aproximação, de M. H. Carvalho, M. R. Cerioli, R. Dahab, P. Feofiloff,
Leia maisProblema da Árvore Geradora Mínima (The Minimum Spanning Tree Problem-MST)
Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 45 Problema da Árvore Geradora Mínima (The Minimum Spanning Tree Problem-MST) Alguns problemas de otimização combinatória podem ser formulados
Leia maisGrafos e Algoritmos Raimundo Macêdo. Teorema de Hall (Prova por Indução)
Grafos e Algoritmos Raimundo Macêdo Teorema de Hall (Prova por Indução) Teorema de Hall (teorema do casamento, 1935) Seja G uma grafo bipartide V = X U Y, então G contém um emparelhamento que satura todos
Leia maisINTRATABILIDADE e NP-COMPLETUDE
INTRATABILIDADE e NP-COMPLETUDE Sandro Santos Andrade Doutorado Multiinstitucional em Ciência da Computação UFBA/UNIFACS/UEFS Junho/2008 Grafos e Análise de Algoritmos Introdução Para alguns problemas
Leia maisProblema da Árvore Geradora Mínima
Instituto Federal do Espírito Santo Campus Serra Problema da Árvore Geradora Mínima Diego Pasti Jefferson Rios Sumário Apresentação do Problema da AGM...3 Raízes do Problema Definindo o Problema O Problema
Leia mais03 Grafos: percurso, ponderação e caminhos SCC0503 Algoritmos e Estruturas de Dados II
03 Grafos: percurso, ponderação e caminhos SCC0503 Algoritmos e Estruturas de Dados II Prof. Moacir Ponti Jr. www.icmc.usp.br/~moacir Instituto de Ciências Matemáticas e de Computação USP 2011/1 Moacir
Leia maisCap. 2 Conceitos Básicos em Teoria dos Grafos
Teoria dos Grafos e Aplicações 8 Cap. 2 Conceitos Básicos em Teoria dos Grafos 2.1 Grafo É uma noção simples, abstrata e intuitiva, usada para representar a idéia de alguma espécie de relação entre os
Leia maisIntrodução a Teoria dos Grafos Raimundo Macêdo
Doutorado em Ciência da Computação lgoritmos e Grafos Raimundo Macêdo LaSiD/DCC/UF Introdução a Teoria dos Grafos Raimundo Macêdo Definição Estrutura que consiste em dois conjuntos: um conjunto de vértices
Leia maisIntrodução à Teoria da Computação Exercícios
Introdução à Teoria da Computação Exercícios Livro: Michel Sipser, Introdução à Teoria da Computação 2ª Ed. Capítulo 07 Obs: Exercícios 7.7 e 7.20 estão apresentados em versões simplificadas. NP Dicas
Leia maisAnálise de Algoritmos
Análise de Algoritmos Estes slides são adaptações de slides do Prof. Paulo Feofiloff e do Prof. José Coelho de Pina. Algoritmos p. 1 Cortes em grafos G: grafo (não orientado) sem laços, possivelmente com
Leia maisTeoria dos Grafos. Fluxo Máximo em Redes
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Fluxo Máximo
Leia maisTrabalho final de Teoria dos Grafos: O problema de coloração de vértices de grafos. Alessander Botti Benevides.
Trabalho final de Teoria dos Grafos: O problema de coloração de vértices de grafos Alessander Botti Benevides abbenevides@inf.ufes.br 4 de julho de 2011 Sumário 1 2 Coloração de mapas Problemas de agendamento
Leia maisLógica para Computação Segundo Semestre, Aula 10: SAT. Prof. Ricardo Dutra da Silva. ( p (q ( q r))) ( p r) ( p q) ( p q r) p r.
Lógica para Computação Segundo Semestre, 2014 Aula 10: SAT DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. SAT é o problema de decidir se existe uma valoração que satisfaça uma fórmula proposicional.
Leia maisGRAFOS Aula 10 Fluxo em Redes Max Pereira
Ciência da Computação GRAFOS Aula 10 Max Pereira É a transferência de algum tipo de recurso quantificável e sujeito a restrições de equilíbrio, de um local (origem) para outro (destino) através de uma
Leia maisAlgoritmos de Fluxo Máximo
UNIVERSIDADE CATÓLICA DE PELOTAS Escola de Informática Programa de Pós-Graduação em Informática Mestrado em Ciência da Computação Algoritmos de Fluxo Máximo Rodrigo Santos de Souza 1 Fluxo em Redes É a
Leia maisUma Introdução Sucinta à Teoria dos Grafos
Uma Introdução Sucinta à Teoria dos Grafos Paulo Feofiloff Yoshiharu Kohayakawa Yoshiko Wakabayashi IME USP www.ime.usp.br/ pf/teoriadosgrafos/ 25/10/2004 11:00 1 Prefácio 2 Grafos são bons modelos para
Leia maisProjeto e Análise de Algoritmos NP Completude Parte 2. Prof. Humberto Brandão
Projeto e Análise de Algoritmos NP Completude Parte 2 Prof. Humberto Brandão humberto@bcc.unifal-mg.edu.br Universidade Federal de Alfenas Departamento de Ciências Exatas versão da aula: 0.2 Última aula
Leia maisPCC104 - Projeto e Análise de Algoritmos
PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 17 de fevereiro de 2017 Marco
Leia maisEm vários problemas, é preciso particionar os vértices de um grafo em conjunto de vértices independentes.
Thiago Jabur Bittar Em vários problemas, é preciso particionar os vértices de um grafo em conjunto de vértices independentes. Problema: Queremos dividir um grupo em subgrupos que contêm somente elementos
Leia maisPaulo Guilherme Inça. 7 de dezembro de 2016
Coloração de grafos é NP-Difícil Paulo Guilherme Inça 7 de dezembro de 2016 Sumário 1 Introdução 1 2 O Problema da Coloração de Grafos 2 3 3-Coloração é NP-Completo 3 4 Generalizações e Restrições 6 5
Leia maisPROGRAMAÇÃO E ALGORITMOS (LEII) Universidade da Beira Interior, Departamento de Informática Hugo Pedro Proença, 2016/2017
PROGRAMAÇÃO E ALGORITMOS (LEII) Universidade da Beira Interior, Departamento de Informática Hugo Pedro Proença, 2016/2017 Resumo Complexidade Computacional Problemas Instâncias Algoritmos n Número de Passos
Leia maisAlgoritmos em redes de fluxo e aplicações
Algoritmos em redes de fluxo e aplicações Marcos Massayuki Kawakami Orientador: José Coelho de Pina Instituto de Matemática e Estatística - Universidade de São Paulo Introdução Motivação Problemas envolvendo
Leia maisProblemas de rotulação graciosa e colorações: algoritmos, complexidade e aplicações
Vitória, ES, 7 a 0 de setembro de 06. Problemas de rotulação graciosa e colorações: algoritmos, complexidade e aplicações Victória Aires Instituto de Computação Universidade Federal do Amazonas (UFAM)
Leia maisComplexidade de Algoritmos. Edson Prestes
Edson Prestes O limite superior de complexidade de um problema refere-se ao melhor algoritmo que o resolve. nlog 2 n é um limite superior para o problema de classificação. O limite inferior de um problema
Leia maisProjeto e Análise de Algoritmos
Projeto e Análise de Algoritmos Fluxo máximo Aula 23 Diane Castonguay diane@inf.ufg.br Instituto de Informática Universidade Federal de Goiás Fluxo em rede Um fluxo em rede G = (V, E) é um grafo orientado
Leia maisAgenda. Complexidade Não Determinista A classe NP. A classe Co-NP Reduções de tempo polinomial. Definida por. Exemplos em:
A Classe NP Agenda Complexidade Não Determinista A classe NP Definida por aceitação em tempo polinomial por NTM s instâncias positivas com provas de tamanho polinomial aceitação por verificadores em tempo
Leia mais1.2 Subgrafos. 8 Conceitos Basicos
8 Conceitos Basicos Exerccio 8. Considere o caso geral do exerccio : Um qumico deseja embarcar os produtos p,p,...,p n usando o menor numero de caixas. Alguns produtos n~ao podem ser colocados numa mesma
Leia maisAula 20: Revisão Otimização Linear e Inteira Túlio A. M. Toffolo
Aula 20: Revisão Otimização Linear e Inteira Túlio A. M. Toffolo http://www.toffolo.com.br BCC464 / PCC174 Departamento de Computação - UFOP Breve Revisão Programação Linear vs Programação Inteira Modelagem
Leia maisTeorema da Galeria de Arte
Teorema da Galeria de Arte Quantos guardas são necessários? Geometria Computacional p.1/23 Teorema da Galeria de Arte Quantos guardas são necessários? Quatro? Geometria Computacional p.2/23 Teorema de
Leia maisSatisfação de Restrições. Capítulo 5 (disponível online)
Satisfação de Restrições Capítulo 5 (disponível online) Sumário Problemas de Satisfação de Restrições (CSPs) Procura com Retrocesso para CSPs Procura Local para CSPs Estrutura dos CSPs Problemas de Satisfação
Leia maisTeoria dos Grafos Coloração. Profª. Alessandra Martins Coelho
Teoria dos Grafos Coloração Profª. Alessandra Martins Coelho junho/2014 Quantas cores para colorir o mapa do Brasil, sem que estados adjacentes possuam a mesma cor? Coloração de Grafos Colorir vértices
Leia maisColóquio Brasileiro de Matemática - Exercícios de Algoritmos Randomizados
olóquio Brasileiro de Matemática - Exercícios de Algoritmos Randomizados apítulo 1 Exercício 2. onsidere os seguintes eventos associados a uma execução do algoritmo que consiste na aplicação do exame de
Leia maisLógica Computacional Aula 4
Lógica Computacional Aula 4 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 1.1 Fórmulas de Horn.......................................... 1 1.2 Satisfazibilidade............................................
Leia maisx y Grafo Euleriano Figura 1
Grafo Euleriano Um caminho simples ou um circuito simples é dito euleriano se ele contém todas as arestas de um grafo. Um grafo que contém um circuito euleriano é um grafo euleriano. Um grafo que não contém
Leia maisGrafos Hamiltonianos e o Problema do Caixeiro Viajante. Prof. Ademir Constantino Departamento de Informática Universidade Estadual de Maringá
Grafos Hamiltonianos e o Problema do Caixeiro Viajante Prof. Ademir Constantino Departamento de Informática Universidade Estadual de Maringá Grafo Hamiltoniano Definição: Um circuito hamiltoniano em um
Leia maisNa última aula... Procurando um caminho. Certificados. Procurando um caminho
Procurando um caminho Problema: dados um digrafo G e dois vértices s e t decidir se existe um caminho de s a t Na última aula... Exemplo: para s = e t = a resposta é SIM Algoritmos em Grafos º sem / Procurando
Leia maisTeoria dos Grafos. Grafos Planares
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br, saraujo@ibilce.unesp.br Grafos Planares
Leia maisAlgoritimos e Estruturas de Dados III CIC210
Algoritimos e Estruturas de Dados III CIC210 Algoritmos em Grafos - Haroldo Gambini Santos Universidade Federal de Ouro Preto - UFOP 28 de setembro de 2009 Haroldo Gambini Santos Algoritmos em Grafos 1/22
Leia mais