Teoria dos Grafos Caminhos. Profª. Alessandra Martins Coelho

Documentos relacionados
Grafos Orientados (digrafos)

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

Cap. 2 Conceitos Básicos em Teoria dos Grafos

BCC204 - Teoria dos Grafos

Cortes (cut sets) 2010/2 Teoria dos Grafos (INF 5037/INF2781) CC/EC/UFES

Sub-grafo. Árvore Geradora Mínima

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

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

ESTRUTURAS DISCRETAS (INF 1631) GRAFOS. 1. O que é um grafo? Defina um grafo orientado. Defina um grafo não-orientado.

Definição e Conceitos Básicos

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

Departamento de Engenharia de Produção UFPR 57

Teoria dos Grafos Aula 6

INF 1010 Estruturas de Dados Avançadas

PCC173 - Otimização em Redes

Grafos Parte 1. Aleardo Manacero Jr.

Conceitos Básicos da Teoria de Grafos

Árvores Árvores Geradoras de Custo Mínimo 0/16

Árvore Geradora Mínima

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

Combinando relações. Exemplo Seja A = {1, 2, 3} e B = {1, 2, 3, 4}. As relações

Grafos: árvores geradoras mínimas. Graça Nunes

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

Algoritmo Floyd-Warshall. Problema dos caminhos mínimos entre todos os pares. Programação dinâmica

CI065 CI755 Algoritmos e Teoria dos Grafos

Teoria dos Grafos Aula 2

CI065 CI755 Algoritmos e Teoria dos Grafos

Problema da Árvore Geradora Mínima (The Minimum Spanning Tree Problem-MST)

Teorema 1 - Todo corte de arestas de um grafo conexo G contém pelo menos uma aresta em comum com qualquer árvore geradora de G. Exemplo 2 - Seja T:

Conceito Básicos da Teoria de Grafos

Teoria dos Grafos Aula 5

Estruturas de Dados Grafos

CONCEITOS BÁSICOS EM GRAFOS

Grafos: componentes fortemente conexos, árvores geradoras mínimas

Percursos em um grafo

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

Parte B Teoria dos Grafos

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

Formulação de Programação Linear Inteira para o Problema de Particionamento em Conjuntos Convexos

Teoria dos Grafos Conceitos Básicos

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

Percursos em um grafo

Processamento de Imagens usando Grafos (MAC6903)

Projeto Lógico Automatizado de Sistemas Digitais Seqüenciais 2 - Fundamentação Teórica

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos Aula 1 - Introdução

Capítulo 1. Aula Conectividade Caminhos

SCC603 Algoritmos e Estruturas de Dados II Prof.a Rosane Minghim 1o sem. 2013

INF 1010 Estruturas de Dados Avançadas

ESTRUTURAS DE DADOS. prof. Alexandre César Muniz de Oliveira. 1. Introdução 2. Pilhas 3. Filas 4. Listas 5. Árvores 6. Ordenação 7. Busca 8.

Processamento de Imagens usando Grafos (MAC6903)

Otimização em Grafos

Otimização em Grafos

Teoria dos Grafos. Edson Prestes

Prof. Marco Antonio M. Carvalho

Matemática Discreta 10

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

Introdução a Grafos Letícia Rodrigues Bueno

Árvores: Conceitos Básicos e Árvore Geradora

Introdução à Teoria dos Grafos. Isomorfismo

Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução Matemática e Divisibilidade. 5 Congruências Lineares

UNIVERSIDADE DE SÃO PAULO INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO Departamento de Ciências de Computação

TEORIA DOS GRAFOS UMA APLICAÇÃO DE LOGÍSTICA PARA O ENSINO MÉDIO. Profº M. Sc. Marcelo Mazetto Moala

Algoritmos em Grafos COM11087-Tópicos Especiais em Programação I

Teoria dos Grafos. Profa. Alessandra Martins Coelho

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Conjuntos de Corte e Conectividade

Definições Básicas para Grafos

Teoria dos Grafos. Edson Prestes

Matemática Discreta - Exercícios de Grafos

Teoria dos Grafos Aula 22

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

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

Comunicação e redes. Aula 2: Teoria dos Grafos Conceitos básicos. Professor: Guilherme Oliveira Mota.

Introdução à Teoria dos Grafos

2 Definição do Problema

01 Grafos: parte 1 SCC0503 Algoritmos e Estruturas de Dados II

SUMÁRIO. Fundamentos Árvores Binárias Árvores Binárias de Busca

Especificação do TP3

2 Relação entre soma dos graus e número de arestas

Teoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 5: Grafos Conexos. Departamento de Matemática Aplicada

Notas 1 / 14. Notas. todos os pares de pontos devem ser ligados por ao menos um percurso; usaremos um mínimo possível de ligações. 2 / 14.

GRAFOS Aula 04 Caminhos, Conexidade e Distância Max Pereira

Grafos. Fabio Gagliardi Cozman. PMR2300 Escola Politécnica da Universidade de São Paulo

Grafos COM11087-Tópicos Especiais em Programação II

Teoria dos Grafos AULA 3

Pesquisa Operacional II. Professor João Soares de Mello

PCC173 - Otimização em Redes

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

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

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

Demonstração. Relação invariante chave. Implementações do algoritmo de Prim. Implementação grosseira

GRAFOS E ALGORITMOS TEORIA DE GRAFOS

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

Noções da Teoria dos Grafos

UNIVERSIDADE DE SÃO PAULO INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO Departamento de Ciências de Computação

Introdução à Teoria dos Grafos

CES-11. Algoritmos e Estruturas de Dados. Carlos Alberto Alonso Sanches

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

Transcrição:

Teoria dos Grafos Caminhos Profª. Alessandra Martins Coelho junho/2014

Conexidade Em grande parte de aplicações do modelo em grafos, as relações que envolvem os vértices formam uma estrutura contínua; Os vértices são todos ligados entre si através das relações. Os percursos em grafos normalmente também são definidos sobre grafos conexos.

Conexidade Tema que antecede grande parte dos problemas em grafos, não somente os percursos ou caminhos. Aplicações: Comunicações Planejamento da produção Logística Transporte

Vértices Fortemente Conectados Dois vértices i e j estão fortemente conectados em um grafo direcionado G, se existe caminho direcionado de i para j e de j para i em G. Dois vértices i e j estão fortemente conectados em um grafo não direcionado G, se existem dois caminhos distintos em arestas de i para j em G.

Vértices Fracamente Conectados Conceitos exclusivo de grafos direcionados. Dois vértices i e j estão fracamente conectados em um grafo direcionado G, se existe apenas um caminho direcionado de i para j ou de j para i em G.

Grafo Fracamente Conexo Um grafo direcionado G conexo é dito fracamente conexo quando existe pelo menos um par de vértices i e j em G tal que o número de caminhos entre i e j é menor que 1.

k-conexidade Os grafos direcionados das figuras (1) e (2) são conexos. fortemente conexo? (1) (2)

k-conexidade Os grafos direcionados das figuras (1) e (2) são conexos. Entretanto, apenas o grafo (1) é fortemente conexo (todos os pares de vértice estão fortemente conectados). Em (2) não existe caminho direcionado do vértice 5 para qualquer vértice do grafo. Grafo fortemente conexo Grafo fracamente conexo

Se um grafo não é fortemente conexo, podemos estar interessados em saber quais são os seus subgrafos que são fortemente conexos. Cada um desses subgrafos é chamado componente fortemente conexo

Se um grafo não é fortemente conexo, podemos estar interessados em saber quais são os seus subgrafos que são fortemente conexos. Cada um desses subgrafos é chamado componente fortemente conexo

Se um grafo não é fortemente conexo, podemos estar interessados em saber quais são os seus subgrafos que são fortemente conexos. Cada um desses subgrafos é chamado componente fortemente conexo

Se um grafo não é fortemente conexo, podemos estar interessados em saber quais são os seus subgrafos que são fortemente conexos. Cada um desses subgrafos é chamado componente fortemente conexo

Se um grafo não é fortemente conexo, podemos estar interessados em saber quais são os seus subgrafos que são fortemente conexos. Cada um desses subgrafos é chamado componente fortemente conexo

Considerando cada componente conexo como um vértice, o grafo pode ser visualizado como:

Considerando cada componente conexo como um vértice, o grafo pode ser visualizado como: uma representação de como ir de um componente a outro componente

k-conexidade Generaliza o conceito de conexidade forte. Uma sequência de graus é dita k-conexa se existe um grafo k-conexo que corresponda à sequência de graus. Exemplo: {1,2,1} é 1-conexa {2,2,2} é 2-conexa

Grafo k-aresta-conexo Um grafo é dito k-aresta-conexo se é necessário remover pelo menos k arestas para desconectar G.

Grafo k-vértice-conexo Um grafo é dito k-vértice-conexo se é necessário remover pelo menos k vértices para desconectar G.

k-conexidade Um grafo é dito k-conexo quando nele existem pelo menos k caminhos disjuntos em vértices ligando cada para de vértices. Um grafo dito 2-conexo é um grafo fortemente conexo e vice-versa.

k-conexidade Um grafo é dito k-conexo quando nele existem pelo menos k caminhos disjuntos em vértices ligando cada para de vértices. Um grafo dito 2-conexo é um grafo fortemente conexo e vice-versa. grafo 3-conexo

k-conexidade Um grafo é dito k-conexo quando nele existem pelo menos k caminhos disjuntos em vértices ligando cada para de vértices. Um grafo dito 2-conexo é um grafo fortemente conexo e vice-versa. grafo 3-conexo Caminho entre os vértices 3 e 2 3-desconexão em vértices

k-conexidade Um grafo é dito k-conexo quando nele existem pelo menos k caminhos disjuntos em vértices ligando cada par de vértices. Um grafo dito 2-conexo é um grafo fortemente conexo e vice-versa. grafo 3-conexo Caminho entre os vértices 3 e 2 3-desconexão em vértices 3-desconexão em arestas

Matriz de Ciclos Dado um grafo G=(N,M) com p ciclos distintos, uma matriz de ciclos de G, B=[bij], é uma matriz cxm com elementos bij [0,1], tais que: bij=1, se a aresta j pertence ao ciclo i bij = 0, caso contrário

Matriz de Ciclos

Matriz de Ciclos Fundamentais Uma matriz de ciclos fundamentais ou de fciclos de um grafo conexo G=(N,M) com número ciclomático γ e m arestas, em relação a uma subárvore geradora T de G é uma matriz de dimensão γxm com elementos bij [0,1], tais que: Bij=1, se a aresta j participa do ciclo fundamental i de G em relação a T. bij = 0, caso contrário

Matriz de Ciclos Fundamentais Considere o subgrafo T do Grafo G dado, induzido pelo conjunto de arestas {e,f,g,h}. T é é uma árvore geradora de G. Com tais arestas é possível formar quais ciclos fundamentais?

Matriz de Ciclos Fundamentais Considere o subgrafo T do Grafo G dado, induzido pelo conjunto de arestas {e,f,g,h}. T é é uma árvore geradora de G. Com tais arestas é possível formar quais ciclos fundamentais?

Algoritmo de Warshall para fechos transitivos O algoritmo constrói umas sequências de grafos Gi, 0<=i<=n, representados por suas matrizes de adjacência, através da adição de arestas.

Algoritmo de Warshall para fechos transitivos Ler G = (N,M) //direcionado fecho A //matriz de adjacência para(k=1;k<=n;k++) para(i=1;i<=n;i++) para(j=1;j<=n;j++) fecho[i][j]=fecho[i][j] (fecho[i][k] && fecho[k][j]); fim-para; fim-para; fim-para.

Exemplo 1

Exemplo 2

Caminhos em grafos Dentre os caminhos existentes em grafo, o caminho mais curto é o mais importante. Possui diversas variantes Algumas caracterizam problemas de otimização e são NP-difíceis.

Caminho mais curto grafo não ponderado O caminho mais curto entre os vértices v e w em um grafo não ponderado é aquele que acumula o menor número de arestas entre os referidos vértices.

Caminho mais curto grafo não ponderado O caminho mais curto entre os vértices v e w e um grafo não ponderado é aquele que acumula o menor número de arestas entre os referidos vértices.

Caminho mais curto grafo ponderado O caminho mais curto entre os vértices v e w de um grafo G ponderado em arestas é aquele cuja soma dos pesos das arestas tem o menor valor possível dentre todos os caminhos existentes entre v e w.

Caminho mais longo grafo não ponderado É aquele que acumula o maior valor possível dentre todos os caminhos existentes entre v e w (grafo ponderado)

Caminho mais longo grafo ponderado É aquele percorre o maior número de arestas entre os referidos vértices (grafo não ponderado)

Caminho mais curto com custos nos vértices O caminho mais curto entre os vértices i e j de um grafo G ponderado em vértices e arestas é aquele cuja soma dos pesos das arestas e dos vértices tem o menor valor possível dentre todos os caminhos existente entre i e j.

Caminho disjuntos em arestas Dois caminhos v-w são ditos disjuntos em arestas quando não possuem aresta em comum.

Partição de G em Caminhos Disjuntos Dado um grafo G=(N,M), uma partição de G em caminhos disjuntos em vértices é um conjuntos de caminhos P1=(N1, M1),..., r=(nr, Mr) em G.

O problema dos Caminhos Disjuntos em Arestas Dados um grafo G=(N,M) não direcionado e um conjunto S de pares de vértices terminais, o problema dos caminhos disjuntos em arestas consiste em conectar através de caminhos disjuntos em arestas tantos pares do conjunto S quantos forem possíveis.

O problema de Caminhos Disjuntos em Vértices Dados um grafo G=(N,M) não direcionado e um conjunto S de pares de vértices terminais, o problema dos caminhos disjunto em vértices consiste em conectar através de caminhos disjuntos em vértices tantos pares do conjunto S quantos forem possíveis.

Algoritmo de Dijkstra Algoritmo de rotulação de vértices para encontrar os caminhos mais curtos de uma origem para todos os outros vértices em grafos com custos positivos nos arcos.