OProblemadoMilêniosobre Intratabilidade Computacional. Celina Miraglia Herrera de Figueiredo
|
|
- Ágatha Fátima Ventura Raminhos
- 6 Há anos
- Visualizações:
Transcrição
1 OProblemadoMilêniosobre Intratabilidade Computacional Celina Miraglia Herrera de Figueiredo Colóquio do IMECC UNICAMP 17 de agosto de 2017
2 Teoria da Computação Ciência fundamental, assim como Biologia e Física Por que alguns problemas são fáceis e outros difíceis? Não estuda quão rápido os computadores são Astronomia não é o estudo dos telescópios Estuda a estrutura matemática dos problemas como a estrutura ajuda a resolver ou impede a tentativa de resolver
3 O Problema do Milênio Problema central em Teoria da Computação: P versus NP Existe pergunta cuja resposta pode ser verificada rapidamente, mas cuja resposta requer muito tempo para ser encontrada? setembro 2009
4
5 O problema P versus NP: Resolver ou Verificar? Em 1903, o matemático americano Frank Cole provou que o número = não é primo exibindo a fatoração É simples (embora tedioso se feito manualmente) calcular , calcular o produto e verificar que dão o mesmo número. Já encontrar essa fatoração é difícil. Cole disse que ele levou três anos trabalhando aos domingos. Resolver ou Verificar? é uma pergunta que vale um milhão de dólares Clay Mathematics Institute Millennium problems
6 Clay Mathematics Institute Dedicated to increasing and disseminating mathematical knowledge HOME ABOUT CMI PROGRAMS NEWS & EVENTS AWARDS SCHOLARS The Millennium Prize Problems In order to celebrate mathematics in the new millennium, The Clay Mathematics Institute of Cambridge, Massachusetts (CMI) established seven Prize Problems. The Prizes were conceived to record some of the most difficult problems with which mathematicians were grappling at the turn of the second millennium; to elevate in the consciousness of the general public the fact that in mathematics, the frontier is still open and abounds in important unsolved problems; to emphasize the importance of working towards a solution of the deepest, most difficult problems; and to recognize achievement in mathematics of historical magnitude. P vs NP Problem If it is easy to check that a solution to a problem is correct, is it also easy to solve the problem? This is the essence of the P vs NP question. Typical of the NP problems is that of the Hamiltonian Path Problem: given N cities to visit (by car), how can one do this without visiting a city twice? If you give me a solution, I can easily check that it is correct. But I cannot so easily (given the methods I know) find a solution.
7 Grafo rodoviário do Rio de Janeiro É impraticável resolver o problema por meio de um algoritmo de força bruta que testa cada uma das permutações candidatas. De fato, se pudéssemos testar uma permutação a cada bi- VINÍCIUS GUSMÃO P. DE SÁ
8 Teoria dos Grafos A matemática da conectividade, um dos ramos da matemática discreta O artigo de Euler de 1736 é o nascimento da Teoria dos Grafos O circuito de Euler corresponde ao percurso do Pavimentador O ciclo de Hamilton corresponde ao percurso do Vacinador Euler em seu artigo sobre as pontes de Konigsberg estuda como a dificuldade do problema cresce ou escala em função do número de pontes Euler apresenta uma caracterização prova de que a cidade admite o circuito de Euler prova de que a cidade não admite o circuito de Euler
9 Complexidade computacional A maioria dos problemas computacionais pertence à classe NP, admitem um certificado polinomial Em várias e diferentes áreas, procuramos objetos matemáticos: percurso de um caixeiro viajante, atribuição de verdade, emparelhamento máximo, coloração mínima de um grafo O objeto matemático procurado é o certificado, a prova de que o problema está em NP O estudo da complexidade computacional de problemas considera principalmente problemas em NP e tenta distinguir os solúveis em tempo polinomial dos não através da classe dos problemas NP-completos C. Papadimitriou Computational Complexity 1994
10
11 Kenneth Appel
12
13
14
15
16
17
18 O Teorema das Quatro Cores Appel e Haken (1977): Sim! (prova usando computador) conjunto inevitável de 1476 configurações redutíveis algoritmo colore grafo planar com quatro cores em tempo O(n 4 )
19 Origem e desenvolvimento da área de pesquisa Teoria dos Grafos coloração de grafos planares isomorfismo de grafos caminho mínimo grafos perfeitos escalonamento de tripulações programação linear hierarquia das classes de complexidade Complexidade Computacional Otimização Combinatória
20 Guia de NP-completude Identificação de problema interessante, de classe de grafos interessante Classificação da complexidade de um problema: P ou NP-completo Problema que separa classes de grafos Classe de grafos que separa problemas D. Johnson J. Algorithms 1985, ACM Trans. Algorithms 2005 M. Golumbic, H. Kaplan, R. Shamir J. Algorithms 1995 J. Spinrad Efficient Graph Representations 2003
21 Problemas separadores e Classes de grafos separadoras VERTEXCOL EDGECOL MAXCUT perfect P N N chordal P O N split P O N strongly chordal P O O comparability P N O bipartite P P P permutation P O O cographs P O P indifference P O O split-indifference P P P N: NP-completo P: polinomial O: aberto D. Johnson J. Algorithms 1985 J. Spinrad Efficient Graph Representations 2003
22 Dicotomias cheias Classificar todo membro de uma família de problemas como Polinomial (fácil) ou NP-completo (difícil) Quais grafos tornam o problema fácil ou difícil? Teoremas de dicotomia fornecem bons projetos de pesquisa: simples de formular, mas trabalhoso para concluir Requerem domínio de técnicas para desenvolvimento de algoritmos e para provas de dificuldade computacional
23 Grafos sem corda única VERTEXCOL EDGECOL TOTALCOL unichord-free P N N {4-hole,unichord}-free, 4 P P P {4-hole,unichord}-free, = 3 P N P Dicotomia cheia para EDGECOL: 4 é polinomial mas = 3 é NP-completo Classe de grafos separadora: EDGECOL é NP-completo mas TOTALCOL é polinomial Complexity of colouring problems restricted to unichord-free and {square,unichord}-free graphs, Discrete Appl. Math (with Raphael Machado and Nicolas Trotignon)
24 Classes de grafos separadoras Teoremas de dicotomia podem revelar resultados algorítmicos surpreendentes
25 Imersão em grades Teoria dos grafos: Reconhecimento das grades parciais é problema aberto Desenho de grafos: Decidir se um grafo admite um VLSI layout com arestas unitárias é NP-completo a grade G 3,5 imersão para {1, 2, 4}-árvore A. Brandstädt, V.B. Le, et al. Information system on graph class inclusions , atualizado 2010 S. N. Bhatt, S. S. Cosmadakis Inform. Process. Lett. 1987
26 P vs. N dicotomia para grades parciais restritas por graus D D-grafos D-árvores {1} P P {2} P {3} P {4} P {1,2} P P {1,3} N N {1,4} P P {2,3} N D D-grafos D-árvores {2,4} N {3,4} P {1,2,3} N [G89] N [G89] {1,2,4} N [BC87] N [BC87] {1,3,4} N N {2,3,4} N {1,2,3,4} N [BC87] N [BC87] Não há conjunto D que defina problema separador S. N. Bhatt, S. S. Cosmadakis Inform. Process. Lett A. Gregori Inform. Process. Lett Complexity dichotomy on partial grid recognition Theoret. Comput. Sci (com Vinícius Sá, Guilherme Fonseca, Raphael Machado)
27 Conclusão Todo grafo é fácil ou difícil O problema do milênio sobre intratabilidade investiga limitações computacionais fundamentais Apresentamos dicotomias onde dizemos precisamente quais grafos tornam o problema fácil ou difícil Exploramos a fronteira de complexidade através da classificação em polinomial ou NP-completo
28 Bibliografia Graph Coloring Problems Tommy R. Jensen, Bjarne Toft. Wiley, Four Colors Suffice. How the map problem was solved Robin Wilson. Princeton University Press, 2002 Coloração em Grafos Celina M. Herrera de Figueiredo, João Meidanis, Célia Picinin de Mello. XVI JAI, SBC, celina/ftp/jai97.pdf The P vs. NP-complete dichotomy of some challenging problems in graph theory, Discrete Applied Mathematics (2012)
OProblemadoMilêniosobre Intratabilidade Computacional. Celina Miraglia Herrera de Figueiredo
OProblemadoMilêniosobre Intratabilidade Computacional Celina Miraglia Herrera de Figueiredo Semana PESC 2017 Teoria da Computação Ciência fundamental, assim como Biologia e Física Por que alguns problemas
A dicotomia polinomial versus NP-completo de problemas desafiadores em teoria dos grafos
A dicotomia polinomial versus NP-completo de problemas desafiadores em teoria dos grafos Celina Miraglia Herrera de Figueiredo Programa de Engenharia de Sistemas e Computação COPPE, Universidade Federal
Teoria da Computação:
Teoria da Computação: Introdução à Complexidade e à Lógica Computacional Celina M. H. de Figueiredo, UFRJ Luís C. Lamb, UFRGS Jornada de Atualização de Informática, XXXV Congresso da SBC, Recife, Julho
Teoria 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
OBSTRUÇÕES DE COGRAFOS-(K, L)
OBSTRUÇÕES DE COGRAFOS-(K, L) Raquel de Souza Francisco COPPE/Sistemas, Universidade Federal do Rio de Janeiro, RJ, 21945-970, Brasil raquelbr@cos.ufrj.br Sulamita Klein IM e COPPE/Sistemas, Universidade
Uma forma de classificação
Uma forma de classificação L. Não-RE ou f. nãocomputáveis LRE ou MT ou f. comput. L. Indecidíveis ou Procedimentos L. Recursivas ou Decidíveis ou Algoritmos Outra forma de classificação Problemas Indecidíveis
Bastam Quatro Cores. Celina Miraglia Herrera de Figueiredo. Programa de Engenharia de Sistemas e Computação
Bastam Quatro Cores Celina Miraglia Herrera de Figueiredo Programa de Engenharia de Sistemas e Computação Kenneth Appel 1932 2013 História: O Problema das Quatro Cores Francis Guthrie (1852): Todo
04 Grafos: caminhos e coloração SCC0503 Algoritmos e Estruturas de Dados II
04 Grafos: caminhos e coloração 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 Ponti Jr.
Problemas 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
Complexidade e algoritmos para algumas
Complexidade e algoritmos para algumas variações do problema de coloração Flavia Bonomo Guillermo Durán Javier Marenco Departamento de Matemática, FCEyN, Universidad de Buenos Aires, Argentina Departamento
MAC5722 Complexidade Computacional
MAC5722 Complexidade Computacional Complexidade Computacional p. 1 MAC5722 Complexidade Computacional Qual é o seu problema? http://qwiki.stanford.edu/wiki/complexity_zoo Complexidade Computacional p.
P, NP e NP-Completo. André Vignatti DINF- UFPR
P, NP e NP-Completo André Vignatti DINF- UFPR Problemas Difíceis, Problemas Fáceis O mundo está cheio de problemas de busca. Alguns podem ser resolvidos eficientemente, outros parecem ser muito difíceis.
Teoria da Computação. Complexidade computacional classes de problemas
Teoria da Computação Complexidade computacional classes de problemas 1 Universo de problemas Problemas indecidíveis ou não-computáveis Não admitem algoritmos Problemas intratáveis Não admitem algoritmos
Complexidade 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
Partição dos grafos P 4 -laden em conjuntos independentes e cliques
Partição dos grafos P 4 -laden em conjuntos independentes e cliques Raquel Bravo 1, Sulamita Klein 1, Samuel Nascimento 2, Loana Nogueira 3, Fábio Protti 3, Rudini Sampaio 2 1 Universidade Federal do Rio
Coloraçã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
5COP096 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
Como 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
Uma introdução à complexidade parametrizada
Vinicius Fernandes dos Santos - CEFET-MG Uéverton dos Santos Souza - UFF/CEFET-RJ 34 o JAI - Jornadas de Atualização em Informática XXXV Congresso da Sociedade Brasileira de Computação Recife, Julho 20
NOTAS DE AULA 1 METAHEURÍSTICA 13/10/2016
NOTAS DE AULA 1 METAHEURÍSTICA 13/10/2016 Metaheurística: São técnicas de soluções que gerenciam uma interação entre técnicas de busca local e as estratégias de nível superior para criar um processo de
Intratabilidade e Otimização
Intratabilidade e Otimização Luciana Buriol Eduardo Uchoa Celina Figueiredo Instituto de Informática, UFRGS Departamento de Engenharia de Produção, UFF Engenharia de Sistemas e Computação, UFRJ encontro
Teoria 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
Abordagens para Problemas Intratáveis
Abordagens para Problemas Intratáveis Letícia Rodrigues Bueno UFABC Motivação Se você se depara com um problema intratável... Motivação Se você se depara com um problema intratável... I can t find an efficient
TEORIA DE COMPLEXIDADE
TEORIA DE COMPLEXIDADE Fundamentos: classes P e N P Mauricio Ayala-Rincón Grupo de Teoria da Computaç~ao http://ayala.mat.unb.br/tcgroup Instituto de Ciências Exatas Universidade de Brasília, Brasília
Introduçã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
Teoria da Computação. Computabilidade
Cristiano Lehrer Introdução O objetivo do estudo da solucionabilidade de problemas é investigar a existência ou não de algoritmos que solucionem determinada classe de problemas. Ou seja, investigar os
Projeto de doutorado Recoloração Convexa de Árvores
Projeto de doutorado Recoloração Convexa de Árvores Orientadora: Yoshiko Wakabayashi Área de Concentração: Otimização Combinatória Resumo Dada uma árvore T = (V, E), uma coloração de T é uma função f :
Paulo 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
Melhores 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
Projeto 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
Conexão de terminais com limitação de roteadores: complexidade e relação com fluxos e caminhos disjuntos
Conexão de terminais com limitação de roteadores: complexidade e relação com fluxos e caminhos disjuntos Alexsander Andrade de Melo 1 Orientadores: Celina Miraglia Herrera de Figueiredo 1, Uéverton dos
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios
UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO MATEMÁTICA COMBINATÓRIA 5 a Lista de Exercícios 1. O grafo de intersecção de uma coleção de conjuntos A 1,..., A n é o grafo
Caminhos de Amizades pelo Facebook: Dualidade Computacional entre Curto e Longo
Caminhos de Amizades pelo Facebook: Dualidade Computacional entre Curto e Longo ieci 2019 Daniel Ratton Figueiredo PESC/COPPE/UFRJ Problemas da Computação Objetivo: como resolver problemas ᴏ calcular zeros
Complexidade 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,
Complexidade computacional
Complexidade computacional CLRS sec 34.1 e 34.2 Algoritmos p. 1 Algumas questões Por que alguns problemas parecem ser (computacionalmente) mais difíceis do que outros? Algoritmos p. 2 Algumas questões
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 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
Introduçã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
Teoria dos Grafos Aula 17
Teoria dos Grafos Aula 17 Aula passada Ciclo de Euler Ciclo de Hamilton Quem foi Turing Aula de hoje Coloração Algoritmo guloso Número cromático Colorindo um Mapa Mapa de regiões (estados) Colorir o mapa
Noções da Teoria dos Grafos
Noções da Teoria dos Grafos André Arbex Hallack Índice 1 Introdução e definições básicas. Passeios eulerianos 1 2 Ciclos hamiltonianos 7 3 Árvores 11 4 Emparelhamento em grafos 15 5 Grafos planares: Colorindo
P vs. NP: Uma introdução. Prof. Marco Antonio M. Carvalho
P vs. NP: Uma introdução Prof. Marco Antonio M. Carvalho Quem Sou Eu?! Bacharel em Ciência da Computação (2005) Faculdades Integradas de Caratinga! Mestre em Engenharia Eletrônica e Computação (2008) ITA!
Complexidade 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
Complexidade 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
Introdução à Teoria do Grafos Notas de aula. Socorro Rangel últimas atualizações: (2009), (2012)
Campus de São José do Rio Preto Introdução à Teoria do Grafos Notas de aula Socorro Rangel (socorro@ibilce.unesp.br) últimas atualizações: (2009), (2012) Instituto de Biociências Letras e Ciências Exatas
Euler e as Origens da Teoria dos Grafos
Euler e as Origens da Teoria dos Grafos Yoshiko Wakabayashi Universidade de São Paulo - USP Instituto de Matemática e Estatística Departamento de Ciência da Computação 5 de dezembro de 2007 Euler 2007
Teoria dos Grafos. Maria Claudia Silva Boeres. UFES. Teoria dos Grafos
Maria Claudia Silva Boeres boeres@inf.ufes.br Motivação Por que estudar grafos? Importante ferramenta matemática com aplicação em diversas áreas do conhecimento Utilizados na definição e/ou resolução de
English version at the end of this document
English version at the end of this document Ano Letivo 2018-19 Unidade Curricular MATEMÁTICA DISCRETA Cursos ENGENHARIA INFORMÁTICA (1.º ciclo) Unidade Orgânica Faculdade de Ciências e Tecnologia Código
Busca 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?
Caminhos de Amizades pelo Facebook:
Caminhos de Amizades pelo Facebook: Dualidade Computacional entre Curto e Longo Introdução a ECI Aula 2 Daniel R. Figueiredo LAND PESC/COPPE/UFRJ Problemas da Computação Objetivo: como resolver problemas
Prática 00. Total 04. Pré-requisitos. No. De Créditos 04
Disciplina Otimização Combinatória Departamento Carga Horária Semanal MINISTÉRIO DA EDUCAÇÃO E CULTURA PRÓ-REITORIA DE GRADUAÇÃO 1 PROGRAMA DE DISCIPLINA Departamento de Computação Teórica Pré-requisitos
Ciência da Computação Engenharia de Computação Mestrado em Informática. Teoria dos Grafos. Maria Claudia Silva Boeres.
Ciência da Computação Engenharia de Computação Mestrado em Informática Maria Claudia Silva Boeres boeres@inf.ufes.br Programa 1.Conceitos Básicos 2.Grafos Eulerianos e Hamiltonianos 3.Caminhos, Ciclos
Grafos planares. Algoritmos em Grafos. Marco A L Barbosa
Grafos planares Algoritmos em Grafos Marco A L Barbosa cba Este trabalho está licenciado com uma Licença Creative Commons - Atribuição-CompartilhaIgual 4.0 Internacional. Conteúdo Introdução Propriedades
Toward an Architecture-Independent Analysis of Parallel Algorithms
1/22 Introdução O algoritmo de aproximação Aplicações em Problemas Concretos Problemas Abertos Referências Toward an Architecture-Independent Analysis of Parallel Algorithms Mijail Gamarra Holguin 18 de
Algoritmos 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?
Problemas 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
PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA
PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA LEONARDO NAGAMI COREGLIANO E YOSHIHARU KOHAYAKAWA Resumo. Este é o projeto de pesquisa para o Ciclo Avançado de Leonardo Nagami Coregliano,
GRAFOS Aula 01 Introdução Max Pereira
Ciência da Computação GRAFOS Aula 01 Introdução Max Pereira Todos os dias nos vemos cercados por incontáveis conexões e redes: rodovias e ferrovias, linhas telefônicas e a Internet, circuitos eletrônicos
Noções da Teoria dos Grafos. André Arbex Hallack
Noções da Teoria dos Grafos André Arbex Hallack Junho/2015 Índice 1 Introdução e definições básicas. Passeios eulerianos 1 2 Ciclos hamiltonianos 5 3 Árvores 7 4 Emparelhamento em grafos 11 5 Grafos planares:
PERCURSOS. André Falcão, Carlos Augusto, Rafael Broédel e Lucas Dipré
PERCURSOS André Falcão, Carlos Augusto, Rafael Broédel e Lucas Dipré Serra 2011 Índice 1...O que é caminho e circuito 1.1...Caminho 1.2...Circuito 1.3...Classificação 2...Caminhos Eulerianos 2.1...Definição
A complexidade do problema sanduíche para grafos fortemente cordais-(2,1)
A complexidade do problema sanduíche para grafos fortemente cordais-(2,1) Fernanda Couto 1, Luerbio Faria 2, Sulamita Klein 1 1 Programa de Engenharia de Sistemas e Computação, Universidade Federal do
Geração de Obstruções Minimais de Grafos-(2, 1)
Geração de Obstruções Minimais de Grafos-(2, 1) Matheus Souza D Andrea Alves Universidade Federal Fluminense - UFF Niterói - RJ mad@id.uff.br Raquel Bravo Universidade Federal Fluminense - UFF Niterói
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
PLANO DE ENSINO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br
BCC204 - Teoria dos Grafos
BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 14 de março de 2018 Marco Antonio M. Carvalho
Análise de Algoritmos
Análise de Algoritmos Parte destes slides são adaptações de slides do Prof. Paulo Feofiloff e do Prof. José Coelho de Pina. Algoritmos p. 1/36 Complexidade computacional Classifica os problemas em relação
Projeto 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 é
Camile Frazão Bordini
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ DEPARTAMENTO ACADÊMICO DE INFORMÁTICA CURSO DE BACHARELADO EM SISTEMAS DE INFORMAÇÃO Camile Frazão Bordini Isomorfismo em Grafos Curitiba-PR 2013 ii CAMILE FRAZÃO
L(2, 1)-coloração de k-árvores e grafos com treewidth limitado
Proceeding Series of the Brazilian Society of Applied and Computational Mathematics, Vol. 3, N. 1, 015. Trabalho apresentado no XXXV CNMAC, Natal-RN, 014. L(, 1)-coloração de k-árvores e grafos com treewidth
Complexidade computacional
Complexidade computacional Classifica os problemas em relação à dificuldade de resolvê-los algoritmicamente. CLR 36 ou CLRS 34 Algoritmos p. 1 Palavras Para resolver um problema usando um computador é
n Professor n Duas Avaliações prático-teóricas: n Componente Teórico: 20 pontos n Componente Prático: 15 pontos
Projeto e Análise de Algoritmos Problemas e Algoritmos Altigran Soares da Silva Universidade Federal do Amazonas Instituto de Computação Sobre o Curso Professor Altigran Soares da Silva Professor Associado
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO. Aula 25
ACH2043 INTRODUÇÃO À TEORIA DA COMPUTAÇÃO Aula 25 Cap 7.2 A classe P Profa. Ariane Machado Lima ariane.machado@usp.br 1 Cap 7.2 A classe P 2 Tempo polinomial e exponencial Ex: Máquina de tempo n 3 (tempo
Keep coloring, even it s hard. Part 1
Keep coloring, even it s hard Part 1 Cláudia Linhares Sales Departamento de Computação Universidade Federal do Ceará Novembro, 2018 C. Linhares Sales (DC-UFC) Keep coloring, even it s hard Part 1 Novembro,
Aula 10: Tratabilidade
Teoria da Computação DAINF-UTFPR Aula 10: Tratabilidade Prof. Ricardo Dutra da Silva Na aula anterior discutimos problemas que podem e que não podem ser computados. Nesta aula vamos considerar apenas problemas
Teoria dos Grafos Aula 15
Teoria dos Grafos Aula 15 Aula passada Técnicas para constriução de algoritmos Paradigma guloso Escalonamento de tarefas Aula de hoje Coloração Algoritmo guloso Número cromático Teorema das 4 cores Colorindo
Instituto Tecnológico de Aeronáutica
Instituto Tecnológico de Aeronáutica Programa de Pós-Graduação em Engenharia de Infraestrutura Aeronáutica Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica Prova de Seleção o semestre de
PCC104 - 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 5 de dezembro de 2017 Marco Antonio
Uma introdução à indecilibidade a forma máxima de complexidade!
Uma introdução à indecilibidade a forma máxima de complexidade! Como qualquer outra ferramenta, computadores tem capacidades e limitações que devem ser entendidas para seu bom uso. 1 Um problema indecidível:
Teoria 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
Trabalho 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
Algoritmos de aproximação - Problema do caixeiro viajante
Algoritmos de aproximação - Problema do caixeiro viajante Marina Andretta ICMC-USP 30 de setembro de 2015 Baseado no livro Uma introdução sucinta a Algoritmos de Aproximação, de M. H. Carvalho, M. R. Cerioli,
MÉTODO DE FATORAÇÃO LU PARA SOLUÇÃO DE SISTEMAS LINEARES
MÉTODO DE FATORAÇÃO LU PARA SOLUÇÃO DE SISTEMAS LINEARES LU FACTORIZATION METHOD FOR SOLVING LINEAR SYSTEMS Natalia Rodrigues da Silva Fernando Pereira de Souza Edivaldo Romanini Universidade Federal de
COMPLEXIDADE 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,
Mecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas
Arquitetura de Computadores, Arquitetura de Computadores Organização de Computadores, Conjunto de Instruções, Sistemas Operacionais, Sistemas Operacionais, Sistemas Mecanismos de Interrupção e de Exceção,
25 de julho de (2) Desenvolvimento do projeto de pesquisa 2
FUNDAMENTOS DA CIÊNCIA DA COMPUTAÇÃO: ALGORITMOS COMBINATÓRIOS E ESTRUTURAS Y. KOHAYAKAWA Resumo. Apresentamos neste relatório as atividades científicas realizadas dentro do projeto Fundamentos da Ciência
Ciclos hamiltonianos e o problema do caixeiro viajante
Ciclos hamiltonianos e o problema do caixeiro viajante Algoritmos em Grafos Marco A L Barbosa cba Este trabalho está licenciado com uma Licença Creative Commons - Atribuição-CompartilhaIgual 4.0 Internacional.
Um passeio por convexidade em grafos e outros temas
Um passeio por convexidade em grafos e outros temas Vinícius Fernandes dos Santos CEFET-MG e UFMG 27 de novembro de 2015 Apresentação Formação na UFRJ Apresentação Formação na UFRJ Graduação Apresentação
O Número de Helly Geodético em Convexidades
Matemática Contemporânea, Vol. 44, 1 10 c 2015, Sociedade Brasileira de Matemática O Número de Helly Geodético em Convexidades Moisés Teles Carvalho Junior Mitre Costa Dourado Jayme Luiz Szwarcfiter Resumo
Teoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada. antunes@ibilce.unesp.br, socorro@ibilce.unesp.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Grafos e Algoritmos Preparado a partir do texto: Rangel, Socorro.
Algoritmos de Aproximação para o Problema do Caixeiro Viajante
TSP p.1/19 Algoritmos de Aproximação para o Problema do Caixeiro Viajante 24 de agosto de 2004 TSP p.2/19 Problema do Caixeiro Viajante Dados grafo comprimento da aresta ( ) TSP p.2/19 Problema do Caixeiro
Conteúdo. Conceitos e Resultados Gerais. 11 Combinatória. Introdução
Introdução ix I Conceitos e Resultados Gerais 1 1 Linguagem Matemática e Lógica Informal 1.1 Sistemas matemáticos.. 1.2 Noção de conjunto... 1.3 Linguagem proposicional.. 1.4 Operações sobre conjuntos.
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/10 ÁREAS DA COMPUTAÇÃO 2005: estudo de ACM e IEEE a
Para muitos problemas computacionais, algoritmos razoáveis não existem!
Para muitos problemas computacionais, algoritmos razoáveis não existem! Os melhores algoritmos requerem quantidades de tempo ou espaço enormes tornando-os praticamente inúteis. 1 Introdução Objetivos:
PROBLEMAS DE (QUASE)
PROBLEMAS DE (QUASE) UM MILHÃO DE DÓLARES LÚCIO T. SANTOS DMA IMECC UNICAMP LÚCIO SANTOS (UNICAMP) SEMINÁRIOS DE COISAS LEGAIS JUNHO/2015 1 / 29 PARIS 1900 Segundo Congresso Internacional de Matemáticos
Planificação Anual 11º Ano Matemática Aplicada às Ciências Sociais
ESCOLA SECUNDÁRIA/3 RAINHA SANTA ISABEL 402643 ESTREMOZ Planificação Anual 11º Ano Matemática Aplicada às Ciências Sociais Ano letivo 2018 / 2019 PERÍODO Nº de PREVISTAS 1º 72 2º 72 3º 36 Total: 180 1º
Caminhos em Grafos. Grafos - Caminho Simples (1) (Cliente para M. de Adj.) static int visited[maxv];
Caminhos em rafos Caminho simples Dados dois vértices num grafo, saber se estão ligados por um caminho; Determinar se o caminho existe ou calculá-lo explicitamente; Caminho de Hamilton Dados dois vértices
Aná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
TEORIA 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
BCC204 - Teoria dos Grafos
BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal
Uma introdução à indecilibidade a forma máxima de complexidade!
Uma introdução à indecilibidade a forma máxima de complexidade! Como qualquer outra ferramenta, computadores tem capacidades e limitações que devem ser entendidas para seu bom uso. 1 Introdução Objetivos:
Polinomial: 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
INTRATABILIDADE 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