Teoria dos Grafos. Edson Prestes

Documentos relacionados
Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Edson Prestes

Parte B Teoria dos Grafos

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Edson Prestes

Capítulo 1. Aula Conectividade Caminhos

Introdução à Teoria dos Grafos. Isomorfismo

GRAFOS E ALGORITMOS TEORIA DE GRAFOS

Percursos em um grafo

1.3 Isomorfismo 12 CAP. 1 CONCEITOS BÁSICOS

CONCEITOS BÁSICOS EM GRAFOS

Teoria dos Grafos. Componentes, Conj. Indep., Cliques

Percursos em um grafo

GRAFOS. Prof. André Backes. Como representar um conjunto de objetos e as suas relações?

Capítulo 1 Conceitos e Resultados Básicos

Aula 2 Definições, Conceitos Básicos e Representação Interna de Grafos. Teoria dos Grafos Prof.

Departamento de Engenharia de Produção UFPR 57

Teoria dos Grafos. Edson Prestes

GRAFOS Aula 02 Formalização: definições Max Pereira

Grafos Orientados (digrafos)

1.2 Subgrafos. 8 Conceitos Basicos

GABRIEL BUJOKAS

Teoria dos Grafos. Edson Prestes

Disciplina: Matemática Discreta Agostinho Iaqchan Ryokiti Homa

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.

Teoria dos Grafos Aula 2

CI065 CI755 Algoritmos e Teoria dos Grafos

Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 45

Conceito Básicos da Teoria de Grafos

Em vários problemas, é preciso particionar os vértices de um grafo em conjunto de vértices independentes.

AULA 11 PROJETO E ANÁLISE DE ALGORITMOS. Conceitos básicos e representação de grafos Karina Valdivia Delgado

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios

Teoria dos Grafos. Edson Prestes

O grau de saída d + (v) de um vértice v é o número de arcos que tem

Prof. Marco Antonio M. Carvalho

MATEMÁTICA DISCRETA. Patrícia Ribeiro 2018/2019. Departamento de Matemática, ESTSetúbal 1 / 47

Circuitos Hamiltorianos

Subgrafos. Se G é um grafo e F A(G) então o subgrafo de G induzido (ou gerado) por F é o

Algoritmo Aproximação. Prof. Anderson Almeida Ferreira [DPV]9.2 [ZIV]9.2.2 e 9.2.3

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos Aula 6

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada

Teoria dos Grafos. Edson Prestes

Tópicos de Matemática Finita Data: I II-1 II-2 II-3 II-4 III-1 III-2 III-3 III-4 IV-1 IV-2 IV-3 IV-4 Nota Final

ANÁLISE COMBINATÓRIA

Instituto de Computação - Universidade Federal Fluminense Teoria dos Grafos - Lista de exercícios

TGR BCC Representação Computacional de Grafos. Prof. Ricardo José Pfitscher

Algoritmos em Grafos

Fábio Protti - UFF Loana T. Nogueira - UFF Sulamita Klein UFRJ

Instituto de Computação Universidade Federal Fluminense. Notas de Aula de Teoria dos Grafos. Prof. Fábio Protti Niterói, agosto de 2015.

Introdução a Grafos Letícia Rodrigues Bueno

Folha 3.1. Grafos (não dirigidos)

Matemática discreta e Lógica Matemática

Doutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo

O estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste

Doutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo LaSiD/DCC/UFBA

Instituto de Computação - Universidade Federal Fluminense Teoria dos Grafos - Lista de exercícios

INF 1010 Estruturas de Dados Avançadas

Teoria dos Grafos Aula 3

Projeto de Algoritmos por Indução

Algoritmos em Grafos - Aula 02 Introdução à Teoria dos Grafos

CAP4. ELEMENTOS DA TEORIA DE GRAFOS. Grafo [graph]. Estrutura que consiste num par ordenado de conjuntos, G ( V, E) , sendo:

PCC173 - Otimização em Redes

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO Prova Parcial 1 Matemática Discreta para Computação

Conteúdo. Histórico. Notas. Teoria dos Grafos BCC204. Notas. Notas. 1736: Euler e as Pontes de Königsberg

Grafos - Introdução. Pedro Ribeiro 2014/2015 DCC/FCUP. Pedro Ribeiro (DCC/FCUP) Grafos - Introdução 2014/ / 32

Processamento de Imagens usando Grafos (MAC6903)

Planaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de:

Teoria dos Grafos. Aula 5 - Estruturas de Dados para Grafos. Profª. Alessandra Martins Coelho. março/2013

GRAFOS ORIENTADOS. PSfrag replacements. Figura 1: Exemplo de um grafo orientado.

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

GRAFOS BUSCAS E MENOR CAMINHO. Prof. André Backes

Estrutura de Dados e Algoritmos e Programação e Computadores II. Aula 10: Introdução aos Grafos

Alg l ori r t i m t os e E str t u r tu t ra r s d e D ados I I Intr t o r duçã ç o ã a a Gr G a r f a o f s P of o a. M. C r C ist s ina n a /

Algoritmos e Estruturas de Dados II Introdução a Grafos. Divisão do arquivo

2 Definição do Problema

Grafos - Motivação. Grafos - Motivação. Algoritmos e Estruturas de Dados II Introdução a Grafos

Conceitos Básicos Isomorfismo de Grafos Subgrafos Passeios em Grafos Conexidade

Grafos Direcionados. > Grafos Direcionados Representações Computacionais 1/36

Conceitos Básicos da Teoria de Grafos

O Teorema da Amizade

Teoria dos Grafos. Teoria dos Grafos. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. agosto

1 Introdução à Teoria dos Grafos

Teoria dos Grafos. Edson Prestes

Noções da Teoria dos Grafos

Árvores: Conceitos Básicos e Árvore Geradora

Teoria dos Grafos Aula 5

Processamento de Imagens usando Grafos (MAC6903)

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação

Noções da Teoria dos Grafos. André Arbex Hallack

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

INE Fundamentos de Matemática Discreta para a Computação

GBC042 - Teoria dos Grafos Prof. Dr. rer. nat. Daniel Duarte Abdala. Lista de Exercícios

Teoria dos grafos. Caminho euleriano e Hamiltoniano. Prof. Jesuliana N. Ulysses

Transcrição:

Edson Prestes

Introdução Representação Mostre que todo passeio de u até v contém um caminho de u até v. Considere um passeio de comprimento l de u até v. Se l = 0 então temos um passeio sem nenhuma aresta. Isto denota que o caminho entre u e v também tem comprimento igual a 0. Se l > 0, temos que considerar o seguinte. Se o passeio de u a v não possuir nenhum vértice que tenha sido visitado duas vezes, então ele corresponde a um caminho entre u e v.

Introdução Representação Se existe um vértice w que tenha sido visitado mais que uma vez, podemos remover as arestas e vértices entre as duas aparições de w. Se existirem mais vértices que tenham sido visitados mais que uma vez o processo é repetido. Isto produz um passeio mais curto onde cada vértice é visitado uma única vez. Logo existe nesta situação um caminho entre u e v.

Introdução Representação Mostre que todo grafo com n vértices e k arestas, onde n > k, tem no mínimo n-k componentes Um grafo com n vértices com nenhuma aresta tem n componentes. Cada aresta reduz a quantidade de componentes em 1 unidade. Então, quando k arestas tiverem sido adicionadas ao grafo, o número de componentes será no mínimo n-k.

Introdução Representação Mostre que um grafo G com n vértices e c componentes, tem uma quantidade de arestas k que satisfaz a seguinte desigualdade O limite inferior foi mostrado anteriormente. O limite superior é definido da seguinte maneira. Considere a situação extrema, onde temos (c-1) componentes correspondendo a (c-1) vértices de grau igual a 0; e n-c+1 vértices constituindo um grafo completamente conexo. Este grafo irá possuir

Introdução Representação Mostre que todo grafo simples com dois ou mais vértices tem pelo menos dois vértices de mesmo grau Considere um grafo com n vértice. Se o grafo é simples então o grau de cada vértice deve variar de 0 a n-1. Se existir um vértice de grau 0 então não existe um vértice de grau n-1, e vice versa. Logo, teremos n-1 valores de graus a associar a n vértices. Usando o principio de Dirichlet, podemos considerar n caixas rotuladas com os valores de graus de 0 a n-1. Porém sabendo que apenas n-1 caixas serão preenchidas. Distribuindo n-1 vértices em cada uma das n-1 caixas de acordo com seu respectivo grau fará com que cada uma das caixas válidas seja preenchida. O n-ésimo vértice será associado a uma caixa que já possui um elemento. Logo, a caixa escolhida terá 2 vértices, indicando que existem dois vértices com mesmo grau.

Introdução Isomorfismo Dois grafos G e G' são isomorfos, ou seja, apresentam as mesmas propriedades estruturais. se eles Definição: Dois grafos G e G' são isomorfos se existe uma função bijetora tal que 1 3 2 G G

Introdução Isomorfismo Os grafos abaixo são isomorfos? Sim!

Introdução Isomorfismo Os grafos abaixo são isomorfos? G G Não! O grafo G é bipartido e o G não é.

Introdução Isomorfismo Os grafos abaixo são isomorfos? Sim!

Introdução Isomorfismo Os grafos abaixo são isomorfos? Não!

Introdução Isomorfismo A relação de isomorfismo é uma relação de equivalência sobre o conjunto de grafos simples. Propriedade reflexiva: uma permutação da identidade dos vértices de G é um isomorfismo de G para si próprio. Propriedade simétrica: Se é uma função que define o isomorfismo entre G e G', então f -1 é a função que define o isomorfismo entre G' e G. Logo, temos que

Introdução Isomorfismo Propriedade de Transitividade: Suponha que as funções e definam a relação de isomorfismo entre os grafos G e H; e H e M, respectivamente. Sabemos que e que Como f define uma relação de isomorfismo, se existe uma aresta tal que f(u)=x e f(v)=y., então Logo,.Portanto, a composicão lof define a relação de isomorfismo entre G e M, ou seja,

Introdução Isomorfismo Uma relação de equivalência divide um conjunto de grafos em classes de equivalência, onde dois grafos pertencem ao mesmo conjunto sse eles são isomorfos. Uma classe isomórfica de grafos é uma classe de equivalência de grafos regida por uma relação de isomorfismo. Um exemplo de classe isomórfica é a classe chamada grafo de petersen.

Introdução Grafo de Petersen Um grafo de Petersen é um grafo simples não orientado gerado usando o seguinte conjunto S={1,2,3,4,5}. Seus vértices estão associados a subconjuntos de dois elementos de S. Os vértices formados a partir destes subconjuntos serão conectados por uma aresta se seus subconjuntos correspondentes forem disjuntos.

Introdução Grafo de Petersen O grafo abaixo é isomórfico ao grafo de Petersen?

Introdução Grafo de Petersen Mostre que dois vértices não adjacentes em um grafo de Petersen têm exatamente 1 vizinho em comum. Dois vértices A e B não adjacentes no grafo de Petersen são subconjuntos de 2 elementos que compartilham um único elemento. Um vértice adjacente tanto à A quanto à B tem que ser um subconjunto disjunto dos dois subconjuntos associados à A e à B. Como estes dois vértices são escolhidos a partir do conjunto {1,2,3,4,5}, a quantidade de elementos resultante da união dos subconjuntos associados a eles é igual a 3. Então existe exatamente uma única combinação de 2 elementos para o terceiro vértice de forma que ele seja adjacente tanto ao vértice A quanto ao vértice B.

Introdução Automorfismo Um automorfismo de um grafo G é um isomorfismo de G para si próprio. Os automorfismos de G são as permutações de V(G) que podem ser aplicadas a ambas as linhas e colunas da matriz de adjacência sem mudar a adjacência entre os vértices de G. Considere um grafo G representado pela matriz de adjacência abaixo

Introdução Automorfismo G possui 2 automorfismos: ele próprio e a permutação que mapeia o vértice 1 para o vértice 4 e o vértice 2 para o vértice 3. Realizando o mapeamento Re-arranjando linhas e colunas

Introdução Automorfismo Apenas trocar a identidade do vértice 1 pela identidade do 4 não é um automorfismo de G. Embora este grafo seja isomórfico ao grafo G, ele não é um automorfismo de G. Realizando o mapeamento Re-arranjando linhas e colunas

Trabalho - Definição Problema 1 Desenvolver um algoritmo que receba como entrada um grafo G e produza como saída α(g) e ω(g), assim como os conjuntos de vértices que deram origem a estas medidas. A descrição do grafo deve ser feita através de arquivo texto. Entrega 30/11

Trabalho - Definição Problema 2 Dado um mapa composto por obstáculos, uma posição inicial e uma posição final, construa uma RRT que encontre um caminho livre de obstáculos entre a posição final e a posição inicial. 1 ponto extra se a implementação funcionar no simulador do robô. Links uteis http://msl.cs.uiuc.edu/rrt/about.html http://msl.cs.uiuc.edu/~lavalle/papers/lav98c.pdf http://www.golems.org/papers/akguniros11-sampling.pdf http://planning.cs.uiuc.edu (temos o livro na biblioteca :) Informações úteis sobre o simulador http://www.inf.ufrgs.br/~prestes/courses/robotics/instrucoes.rtf Falar com o Edson ou com membros do grupo de Edson. Entrega 30/11