Teoria dos Grafos. Fluxo Máximo em Redes
|
|
- Otávio Estrada Brezinski
- 6 Há anos
- Visualizações:
Transcrição
1 Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Silvio A. de Araujo Departamento de Matemática Aplicada Fluxo Máximo em Redes Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos, Notas de aula, IBILCE, Unesp,
2 Conceitos básicos e resultados principais
3 Considere uma rede D(V,E) em que a cada aresta e E está associado um número real positivo c denominado capacidade da aresta e. Suponha que a rede D possua: Um vértice s V chamado origem (fonte). Um vértice t V chamado destino (sumidouro). Definição 1. Um fluxo f de s a t em D é uma função que a cada aresta e E associa um número real não negativo f(e) satisfazendo as seguintes condições (F é o valor do fluxo na rede): i) 0 f(e) c(e), e E (capacidade) ii) v V, v s and v t: f(v j,v) = f(v,v j ) (conservação do fluxo) iii) f(s,v j ) = F e iv) v j V v j V v j V f(v j,t) = F v j V Teoria dos Grafos (Antunes Rangel&Araujo) 3
4 Exemplo 1. Na Figura 1 é exibido um fluxo em uma rede. Figura 1: Fluxo em uma rede [2] Teoria dos Grafos (Antunes Rangel&Araujo) 4
5 Note que: - Em cada aresta o termo antes do parentesis indica sua capacidade e o termo entre parentesis o fluxo na aresta. - a aresta (v 2,v 3 ) possui capacidade 2 e fluxo 1. - O valor do fluxo no vértice v 2 é 3 e no vértice s é 4 (valor do fluxo na rede). Teoria dos Grafos (Antunes Rangel&Araujo) 5
6 Exercício Verificar que o fluxo exibido na Figura 1 é um Fluxo Legal, ou seja, satisfaz as condições i) a iv). 2. Considerando esta mesma rede, definir uma atribuição de fluxos para as arestas que não satisfaça ii). 3. Qual o valor máximo de fluxo para esta rede? Definição 2. Seja F um fluxo em uma rede D(V,E). Uma aresta é dita saturada se f(e) = c(e). Um vértice v V é dito saturado quando todas as arestas convergentes a v ou divergentes de v estão saturadas. Exemplo 2. Verifique se há vértices ou arestas saturados na rede exibida na Figura 1 Teoria dos Grafos (Antunes Rangel&Araujo) 6
7 Definição 3. O problema de fluxo máximo em redes consiste em dada uma rede e um vértice origem s e um vertice destino t, determinar uma atribuição de fluxo para as arestas da rede satisfazendo as condições i) a iv) tal que fluxo na rede seja o maior possível. Definição 4. Um fluxo é dito maximal quando todo caminho de s a t em D contém pelo menos uma aresta saturada. Observação 1. Todo fluxo máximo é maximal, mas a recíproca não é verdadeira. Na Figura 2 temos um fluxo maximal que não é máximo e na Figura 3 um fluxo máximo (e maximal). Teoria dos Grafos (Antunes Rangel&Araujo) 7
8 Figura 2: Fluxo maximal em uma rede [2] Teoria dos Grafos (Antunes Rangel&Araujo) 8
9 Figura 3: Fluxo máximo em uma rede [2] Teoria dos Grafos (Antunes Rangel&Araujo) 9
10 Exercício 2. Defina um fluxo maximal que não seja máximo na rede da Figura 1. Definição 5. Seja S V um subconjunto de vértices tal que s S e t / S, e seja S = V S. Um corte (S, S) relativo a s e t em D é um subconjunto de arestas de D que possuem uma extremidade em S e outra em S. Assim todo caminho da origem s ao destino t em D contém alguma aresta de (S, S). Exemplo 3. Considere a rede da Figura 1: 1) Sejam S = {s} e S = {v 1,v 2,v 3,v 4,t}. Então: (S, S) = {(s,v 1 ),(s,v 2 ),(s,v 3 )} 2) Sejam S = {s,v 1 } e S = {v 2,v 3,v 4,t}. Então: (S, S) = {(s,v 2 ),(s,v 3 ),(v 1,v 3 ),(v 4,v 1 )} Teoria dos Grafos (Antunes Rangel&Araujo) 10
11 Notação: - (S, S) + = {(v,w) E tal que v S e w S} - (S, S) = {(v,w) E tal que w S e v S} Definição 6. A capacidade c(s, S) do corte (S, S) é igual a soma das capacidades das arestas de (S, S) +, ou seja, c(s, S) = e j (S, S) + c(e j ). Um corte mínimo é aquele que possui capacidade mínima (c min ). Exercício 3. Verificar a capacidade dos cortes do exemplo anterior. Teoria dos Grafos (Antunes Rangel&Araujo) 11
12 Definição 7. Seja F um fluxo e (S, S) um corte em D. Então, f(s, S) é o fluxo no corte (S, S) e é definido por: f(s, S) = f(e j ) f(e j ). e j (S, S) + e j (S, S) Exercício 4. Verificar o fluxo nos cortes do exemplo anterior. Observação 2. O valor do fluxo em uma rede é igual ao valor do fluxo no corte: (S, S) = (s,v s). Teoria dos Grafos (Antunes Rangel&Araujo) 12
13 Observação 3. Note que o valor do fluxo na rede não pode ultrapassar a capacidade de qualquer corte (S, S). Assim, temos que: F = f(s, S) = f(e j ) f(e j ) c(s, S), (S, S). e j (S, S) + e j (S, S) Em particular: F c min Lema 1. [2] Seja F um fluxo em uma rede D e (S, S) um corte em D. Então f(s, S) = f(d). Ou seja: o valor do fluxo numa rede é igual ao valor do fluxo num corte qualquer de D. Definição 8. Uma aresta e tal que c(e) f(e) > 0, denomina-se aresta direta. Uma aresta e, tal que f(e) > 0, denomina-se aresta contrária. Teoria dos Grafos (Antunes Rangel&Araujo) 13
14 Definição 9. Dado um fluxo F em uma rede D(V,E), define-se rede residual D(f) como sendo uma rede tal que: i) O conjunto de vértices de D(f) coincide com o conjunto de vértices de D. ii) Se (v,w) é uma aresta direta em D então (v,w) também será uma aresta direta em D(f) com capacidade c (v,w) = c(v,w) f(v,w). iii) Se (v,w) é uma aresta contrária em D, então (w,v) é uma aresta contrária em D(f) com capacidade c (w,v) = f(v,w). Teoria dos Grafos (Antunes Rangel&Araujo) 14
15 Exercício 5. Construir as redes residuais das redes exibidas nas Figuras 1 e 2. Definição 10. Um caminho de s a t na rede residual é chamado de caminho aumentante (ou caminho de aumento de fluxo). Lema 2. [2] Seja f um fluxo em uma rede D(V,E) e D(f) a rede residual associada. Suponha que exista em D(f) um caminho aumentante {v 1,v 2,...,v k } da origem v 1 = s ao destino v k = t. Então o fluxo na rede pode ser aumentado de: f = min{c (v j,v j+1 ),1 j k}. Teoria dos Grafos (Antunes Rangel&Araujo) 15
16 Teorema 1. [2] O valor do fluxo máximo em uma rede D(V,E) é igual à capacidade do corte mínimo. Corolário 1. [2] Um fluxo em uma rede D(V,E) é máximo se e somente se não existe caminho aumentante na rede residual associada. Observação 4. Estes resultados foram usados por Ford e Fulkerson para definir um algoritmo para resolver o problema de fluxo máximo em redes (e.g. [2], [1]). Teoria dos Grafos (Antunes Rangel&Araujo) 16
17 O Algoritmo de Ford e Fulkerson
18 Algoritmo de Fluxo Máximo em redes [1] (Ford e Fulkerson, 1956,1957,1962) Dados de entrada: Um digrafo G(V,E); para cada aresta e j E, um número inteiro positivo c(e j ); um vértice origem s; e um vértice destino t. 1. Início 2. F = 0 3. Para todo e j E faça f(e j ) = 0 4. Construa a rede residual D(f) Teoria dos Grafos (Antunes Rangel&Araujo) 18
19 1. enquanto existir um caminho v 1,v 2,...,v k de v 1 = s a v k = t em D(f) faça: 2. F = min{c (v j,v j +1),1 j k} 3. para j = 1,...k faça: 4. se (v j,v j+1 ) é aresta direta então f(v j,v j+1 ) = f(v j,v j+1 )+F 5. caso contrário f(v j,v j+1 ) = f(v j,v j+1 ) F 6. fim para 7. F = F +F 8. Construa a nova rede residual D(f) 9. fim enquanto 10. fim Teoria dos Grafos (Antunes Rangel&Araujo) 19
20 Exercícios Exercício 6. Aplicar o algoritmo na rede da Figura 1. Teoria dos Grafos (Antunes Rangel&Araujo) 20
21 Exercícios Exercício 7. Resolva o problema de fluxo máximo considerando a rede exibida na Figura 4. Discuta a complexidade computacional do Algoritmo de Fluxo Máximo de Ford e Fulkerson usando esta rede como exemplo. Figura 4: Pior caso - Algoritmo de Ford e Fulkerson [2] Teoria dos Grafos (Antunes Rangel&Araujo) 21
22 Exercícios Verificar que para determinar o corte mínimo na rede associado ao fluxo máximo basta fazer: Seja F o fluxo máximo na rede e f(v i,v j ) o fluxo na aresta (v i,v j ). Então o corte mínimo é dado por: i) s S ii) Se v i S e f(v i,v j ) < c(v i,v j ) então v j S. iii) Se v i S e f(v i,v j ) > 0 então v j S. Maiores detalhes ver na pagina 157 de [1] e o capítulo 6 de [2]. Teoria dos Grafos (Antunes Rangel&Araujo) 22
23 [1] Boaventura, P. O., Grafos : teoria, modelos, algoritmos, Edgard Blucher, 2003 (Pg. 157). [2] Szwarcfiter, J.L. - Grafos e Algoritmos Computacionais, Ed. Campos, 1988 (Cap. 6). [3] Mirzaian, A. - Algorithms Animation Worshop, York University, última visita maio 2015: ( aaw/; ( aaw/wang/maxflowstart.htm) Teoria dos Grafos (Antunes Rangel&Araujo) 23
Teoria dos Grafos. Coloração de Vértices
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 Coloração de
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 maisTeoria dos Grafos. Conjuntos de Corte e Conectividade
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 Conjuntos de
Leia maisTeoria dos Grafos. Árvores
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 Preparado a partir
Leia maisTeoria dos Grafos. Cobertura, Coloração de Arestas, Emparelhamento
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 Cobertura, Coloração
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 5: Grafos Conexos. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 5: Grafos Conexos Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos,
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Grafos Eulerianos Preparado a partir do texto: Rangel, Socorro.
Leia maisTeoria dos Grafos. Árvores Geradoras
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 Preparado a partir
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 14: Conjuntos de Corte e Conectividade Preparado a partir do texto: Rangel,
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Grafos direcionados (Digrafos) Preparado a partir do texto:
Leia maisTeoria dos Grafos AULA 1
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 AULA 1 Introdução,
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 maisTeoria dos Grafos AULA 2
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br AULA 2 Subgrafos, Operações com Grafos Preparado a partir
Leia maisTeoria dos Grafos. Grafos Eulerianos
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 Eulerianos
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 16: Grafos Planares. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 16: Grafos Planares Preparado a partir do texto: Rangel, Socorro. Teoria do
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
Teoria dos Grafos Valeriano A de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilceunespbr, socorro@ibilceunespbr Grafos Hamiltonianos Preparado a partir do texto: Rangel, Socorro
Leia maisTeoria dos Grafos AULA 3
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br AULA 3 Trajetos, Caminhos, Circuitos, Grafos Conexos Preparado
Leia maisTeoria dos Grafos. Caminho mínimo - Algoritmo de Dijskstra
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 Caminho mínimo
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos,
Leia mais14 Coloração de vértices Considere cada um dos grafos abaixo:
14 Coloração de vértices Considere cada um dos grafos abaixo: a) Quantas cores são necessárias para colorir os vértices de um grafo de maneira que dois vértices adjacentes não recebam a mesma cor? b) Qual
Leia maisTeoria dos Grafos AULA
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br AULA Caminho mínimo - Algoritmo de Djskstra Preparado a partir
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada.
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.
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 09: Representação de Grafos Preparado a partir do texto: Rangel, Socorro. Teoria
Leia maisO estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste
O estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste material e a resolução (por parte do aluno) de todos os
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A de Oliveira, Socorro Rangel, Silvio A de Araujo Departamento de Matemática Aplicada Capítulo 12: Grafos Hamiltonianos Preparado a partir do texto: Rangel, Socorro Teoria do
Leia maisTeoria dos Grafos AULA 1
Teoria dos Grafos Valeriano A. de Oliveira Socorro Rangel Departamento de Matemática Aplicada antunes@ibilce.unesp.br, socorro@ibilce.unesp.br AULA 1 Introdução, Conceitos Iniciais, Isomorfismo Preparado
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 10: Caminho mínimo - Algoritmo de Dijskstra Preparado a partir do texto: Rangel,
Leia maisPercursos em um grafo
Percursos em um grafo Definição Um percurso ou cadeia é uma seqüência de arestas sucessivamente adjacentes, cada uma tendo uma extremidade adjacente à anterior e a outra a subsequente (à exceção da primeira
Leia maisTeoria dos Grafos Aula 26
Teoria dos Grafos Aula 26 Aula passada Redes de fluxo Problema do fluxo máximo Problema do corte mínimo Aula de hoje Algoritmo de Ford Fulkerson Análise do algoritmo Melhorando algoritmo inicial Dualidade
Leia maisO grau de saída d + (v) de um vértice v é o número de arcos que tem
Grafos Direcionados Definição (Grau de Entrada) O grau de entrada d (v) de um vértice v é o número de arcos que tem v como cabeça. Definição (Grau de Saída) O grau de saída d + (v) de um vértice v é o
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 18: Coloração de Arestas Preparado a partir do texto: Rangel, Socorro. Teoria
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 11: Grafos Eulerianos. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 11: Grafos Eulerianos Preparado a partir do texto: Rangel, Socorro. Teoria do
Leia maisIntrodução à Teoria dos Grafos
Capítulo 1 Introdução à Teoria dos Grafos 1.1 História O primeiro problema cuja solução envolveu conceitos do que viria a ser teoria dos grafos, denominado "problema das pontes de Königsberg", foi resolvido
Leia maisPercursos em um grafo
Percursos em um grafo Definição Um percurso ou cadeia é uma seqüência de arestas sucessivamente adjacentes, cada uma tendo uma extremidade adjacente à anterior e a outra a subsequente (à exceção da primeira
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 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 maisIntrodução à Teoria dos Grafos (MAC-5770) IME-USP Depto CC Profa. Yoshiko. Capítulo 3
Introdução à Teoria dos Grafos (MAC-5770) IME-USP Depto CC Profa. Yoshiko Capítulo 3 Árvores Problema: Suponha que numa cidade haja n postos telefônicos. Para que seja sempre possível haver comunicação
Leia maisFluxo em Redes. > Fluxo em Redes Modelando com Fluxo Máximo 1/20
Fluxo em Redes > Fluxo em Redes Modelando com Fluxo Máximo 1/20 Definição (Fluxo) Fluxo s-t: fluxo f (e) para cada aresta e satisfazendo Para cada aresta e: 0 f (e) c(e) (capacidade) Para cada nó v s,
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 maisA resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.
7 - Coloração de Arestas e Emparelhamentos Considere o seguinte problema: Problema - Ao final do ano acadêmico, cada estudante deve fazer um exame oral com seus professores. Suponha que existam 4 estudantes
Leia maisPCC173 - Otimização em Redes
PCC173 - Otimização em Redes Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 10 de julho de 2017 Marco Antonio M. Carvalho
Leia mais15 - Coloração Considere cada um dos grafos abaixo:
15 - Coloração Considere cada um dos grafos abaixo: a) Quantas cores são necessárias para colorir os vértices de um grafo de maneira que dois vértices adjacentes não recebam a mesma cor? b) Qual é o número
Leia maisProblemas de Fluxo em Redes
CAPÍTULO 7 1. Conceitos fundamentais de grafos Em muitos problemas que nos surgem, a forma mais simples de o descrever, é representá-lo em forma de grafo, uma vez que um grafo oferece uma representação
Leia maisEstrutura de Dados e Algoritmos e Programação e Computadores II. Aula 11: Introdução aos Grafos
Estrutura de Dados e Algoritmos e Programação e Computadores II Aula 11: Introdução aos Grafos Indução Finita Indução Finita é uma técnica para provar teoremas também usada no projecto de algoritmos. Suponha
Leia maisFluxo em Redes. > Fluxo em Redes 1/19
Fluxo em Redes > Fluxo em Redes 1/19 Definição (Fluxo) É dado um grafo direcionado, onde cada aresta e tem capacidade c(e). Dados nós s, t, um fluxo s-t é uma atribuição de valor (fluxo) f (e) para cada
Leia maisO estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste
O estudo utilizando apenas este material não é suficiente para o entendimento do conteúdo. Recomendamos a leitura das referências no final deste material e a resolução (por parte do aluno) de todos os
Leia maisÁrvores Árvores Geradoras de Custo Mínimo 0/16
Conteúdo 1 Árvores 2 Árvores Geradoras de Custo Mínimo Árvores Árvores Geradoras de Custo Mínimo 0/16 Árvores Definição (Grafo Acíclico) Um grafo acíclico é um grafo que não contém ciclos. Árvores Árvores
Leia mais2 Definição do Problema
Definição do Problema. Formulação Matemática O problema do Fluxo Máximo entre todos os pares de nós surge no contexto de redes, estas representadas por grafos, e deriva-se do problema singular de fluxo
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 maisA resposta para este problema envolve a partição do conjunto de arestas de tal forma que arestas adjacentes não pertençam a um mesmo conjunto.
6 - oloração de restas e Emparelhamentos onsidere o seguinte problema: Problema - o final do ano acadêmico, cada estudante deve fazer um exame oral com seus professores. Suponha que existam 4 estudantes
Leia maisFluxo em Redes: Ford-Fulkerson - Fluxo Máximo
JAILSON ALVES MICAEL AGUIAR PIETRO DALMAZIO VINÍCIUS ALVES Fluxo em Redes: Ford-Fulkerson - Fluxo Máximo Trabalho apresentado ao professor doutor Leandro Colombi Resendo como requisito para aprovação na
Leia maisProblema do Caminho Mais Curto. Problema do Caminho Mais Curto
Problema do Caminho Mais Curto " Podemos afectar pesos" aos arcos de um grafo, por exemplo, para representar uma distância entre cidades numa rede ferroviária: ria: Chicago 650 600 700 Toronto 200 New
Leia maisGrafos: componentes fortemente conexos, árvores geradoras mínimas
Grafos: componentes fortemente conexos, árvores geradoras mínimas SCE-183 Algoritmos e Estruturas de Dados 2 Thiago A. S. Pardo Maria Cristina 1 Componentes fortemente conexos Um componente fortemente
Leia maisProjeto de Algoritmos por Indução
Projeto de Algoritmos por Indução Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Projeto de Algoritmos por Indução junho - 2018 1 / 40 Este material é preparado
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 maisBCC204 - 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
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 maisTeoria dos Grafos Aula 8
Teoria dos Grafos Aula 8 Aula passada Classe de funções e notação Propriedades da notação Funções usuais Aula de hoje Grafos direcionados Busca em grafos direcionados Ordenação topológica Tempo de execução
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Capítulo 13: Árvores. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 13: Árvores Preparado a partir do texto: Rangel, Socorro. Teoria do Grafos,
Leia maisPlanaridade AULA. ... META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de:
Planaridade AULA META Introduzir o problema da planaridade de grafos. OBJETIVOS Ao final da aula o aluno deverá ser capaz de: Distinguir grafo planar e plano; Determinar o dual de um grafo; Caracterizar
Leia maisTeoria 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.
Leia maisIntroduçã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
Leia maisGrafos: caminhos (matriz adjacência)
Grafos: caminhos (matriz adjacência) Algoritmos e Estruturas de Dados 2 Graça Nunes 1 O problema do menor caminho Um motorista deseja encontrar o caminho mais curto possível entre duas cidades do Brasil
Leia maisBCC204 - 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
Leia maisParte B Teoria dos Grafos
45 Parte B Teoria dos Grafos B. Grafos e Subgrafos Um grafo G é uma tripla ordenada (V(G), E(G), ), constituindo de um conjunto não vazio V(G) de vértices, um conjunto disjunto E(G) das arestas e uma função
Leia mais4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn
4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.
Leia maisAula 19: Lifting e matrizes ideais
Aula 19: Lifting e matrizes ideais Otimização Linear e Inteira Túlio A. M. Toffolo http://www.toffolo.com.br BCC464/PCC174 2018/2 Departamento de Computação UFOP Previously... Branch-and-bound Formulações
Leia maisGrafos: árvores geradoras mínimas. Graça Nunes
Grafos: árvores geradoras mínimas Graça Nunes 1 Motivação Suponha que queremos construir estradas para interligar n cidades Cada estrada direta entre as cidades i e j tem um custo associado Nem todas as
Leia maisGRAFOS: UMA INTRODUÇÃO
GRAFOS: UMA INTRODUÇÃO Vilmar Trevisan -Instituto de Matemática - UFRGS Junho de 2006 Grafos: uma introdução Informalmente, um grafo é um conjunto de pontos no plano ligados entre por flechas ou por segmentos
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 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 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 maisCONCEITOS BÁSICOS EM GRAFOS
Um grafo (simples) G é formado por um conjunto de vértices, denotado por V(G), e um conjunto de arestas, denotado por E(G). Cada aresta é um par (não ordenado) de vértices distintos. Se xy é uma aresta,
Leia maisTeoria dos Grafos Aula 1 - Introdução
Teoria dos Grafos Aula 1 - Introdução Profa. Sheila Morais de Almeida Mayara Omai Universidade Tecnológica Federal do Paraná - Ponta Grossa 2018 Sheila Almeida e Mayara Omai (UTFPR-PG) Teoria dos Grafos
Leia maisAlgoritmos e Estruturas de Dados II Grafos conceitos gerais. Thiago A. S. Pardo Profa. M. Cristina Material de aula da Profa. Josiane M.
Algoritmos e Estruturas de Dados II Grafos conceitos gerais Thiago A. S. Pardo Profa. M. Cristina Material de aula da Profa. Josiane M. Bueno - Motivação Grafos: conceito introduzido por Euler, em 1736
Leia maisElementos de Matemática Discreta
Duração: 55m Instituto Superior Técnico - Departamento de Matemática Licenciatura em Engenharia de Telecomunicações e Informática Elementos de Matemática Discreta - 2015-2016 Teste 3 - teste tipo Cotação
Leia maisRedutibilidade. Mário S. Alvim Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02)
Redutibilidade Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Redutibilidade DCC-UFMG (2018/02) 1 / 46 Redutibilidade:
Leia maisAnálise e Síntese de Algoritmos. Fluxos Máximos em Grafos CLRS, Cap. 26
Análise e Síntese de Algoritmos Fluxos Máximos em Grafos CLRS, Cap. 26 Contexto Revisões [CLRS, Cap. 1-10] Algoritmos em Grafos [CLRS, Cap. 22-26] Algoritmos elementares Árvores abrangentes Caminhos mais
Leia maisTeorema 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:
12 - Conjuntos de Corte o estudarmos árvores geradoras, nós estávamos interessados em um tipo especial de subgrafo de um grafo conexo: um subgrafo que mantivesse todos os vértices do grafo interligados.
Leia maisTEORIA COMPUTACIONAL DE GRAFOS
Jayme Luiz Szwarcfiter TEORIA COMPUTACIONAL DE GRAFOS Os algoritmos Com programas Python por Fabiano S. Oliveira e Paulo E. D. Pinto TEORIA COMPUTACIONAL DE GRAFOS Os algoritmos página em branco Jayme
Leia maisIndução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Indução Matemática Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Indução Matemática junho - 2018 1 / 69 Este material é preparado usando como referências os
Leia maisIntrodução à Teoria dos Grafos
Introdução à Teoria dos Grafos Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Introdução à Teoria dos Grafos junho - 2018 1 / 38 Este material é preparado usando
Leia mais1.2 Grau de um vértice
1.2 Grau de um vértice Seja G um grafo. Para um vértice v de V G, sua vizinhança N G (v) (ou N(v)) é definida por N(v) = {u V G vu E G }.. p.1/19 1.2 Grau de um vértice Seja G um grafo. Para um vértice
Leia maisTeoria dos Grafos. Teoria dos Grafos. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. agosto
Teoria dos Grafos Introdução Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2017 O que é Grafo? Definição formal Um grafo G = (V (G), E(G)) é uma estrutura matemática que consiste de dois conjuntos:
Leia maisTeoria dos Grafos Aula 27
Teoria dos Grafos Aula 27 Aula passada Aula de hoje Algoritmo de Ford Aplicações do fluxo Fulkerson máximo Análise do algoritmo Emparelhamento perfeito Melhorando algoritmo inicial Caminhos distintos Corte
Leia maisR.J. Wilson and J.J. Watkins, Graphs An Introductory approach, J. Wiley, 1990.
Departamento de Matemática Aplicada - UNESP/IBILCE Teoria dos Grafos Profs. Valeriano Oliveira, Sílvio Araújo, Socorro Rangel Lista de Exercícios N o. 6 Lista baseada na referência R.J. Wilson and J.J.
Leia maisConceitos Básicos Isomorfismo de Grafos Subgrafos Passeios em Grafos Conexidade
Conteúdo 1 Teoria de Grafos Conceitos Básicos Isomorfismo de Grafos Subgrafos Passeios em Grafos Conexidade > Teoria de Grafos 0/22 Conceitos Básicos Inicialmente, estudaremos os grafos não direcionados.
Leia maisANÁLISE DE ALGORITMOS (INF 1721)
PUC-Rio Departamento de Informática Prof. Marcus Vinicius S. Poggi de Aragão (3WA) Horário: 2as. e 4as. 9-11hs (3WA) 3 de dezembro de 2016 Período: 2016.2 ANÁLISE DE ALGORITMOS (INF 1721) 3 a Lista de
Leia maisTeoria dos Grafos Aula 22
Teoria dos Grafos Aula 22 Aula passada Aula de hoje Algoritmo de Ford- Aplicações do Fulkerson fluxo máximo Análise do Emparelhamento algoritmo Caminhos Melhorando distintos algoritmo inicial Corte mínimo
Leia maisProblema do Caminho Mínimo
Departamento de Engenharia de Produção UFPR 63 Problema do Caminho Mínimo O problema do caminho mínimo ou caminho mais curto, shortest path problem, consiste em encontrar o melhor caminho entre dois nós.
Leia maisDepartamento de Matemática da Universidade de Aveiro Matemática Discreta. A prova consta de 4 questões cada uma cotada com 5 valores.
Departamento de Matemática da Universidade de Aveiro Matemática Discreta Exame Final ( 2 a Chamada: 22/0/2007 Licenciatura em Matemática (8220 Mest. Int. Eng. Computadores e Telemática (8240 Informações
Leia maisESTRUTURAS DISCRETAS (INF 1631) GRAFOS. 1. O que é um grafo? Defina um grafo orientado. Defina um grafo não-orientado.
PUC-Rio Departamento de Informática Profs. Marcus Vinicius S. Poggi de Aragão Período: 0. Horário: as-feiras e as-feiras de - horas de maio de 0 ESTRUTURAS DISCRETAS (INF 6) a Lista de Exercícios Procure
Leia maisTeoria dos Grafos. Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo. Departamento de Matemática Aplicada
Teoria dos Grafos Valeriano A. de Oliveira, Socorro Rangel, Silvio A. de Araujo Departamento de Matemática Aplicada Capítulo 17: Coloração de Vértices Preparado a partir do texto: Rangel, Socorro. Teoria
Leia maisPrimeiro Exercício programa: Como o Google ordena páginas. MAP-2121 para EPUSP
Primeiro Exercício programa: Como o Google ordena páginas MAP-2121 para EPUSP 1 Instruções gerais Os exercícios computacionais pedidos na disciplina Cálculo Numérico têm por objetivo fundamental familiarizar
Leia maisGeradores e relações
Geradores e relações Recordamos a tabela de Cayley de D 4 (simetrias do quadrado): ρ 0 ρ 90 ρ 180 ρ 270 h v d 1 d 2 ρ 0 ρ 0 ρ 90 ρ 180 ρ 270 h v d 1 d 2 ρ 90 ρ 90 ρ 180 ρ 270 ρ 0 d 2 d 1 h v ρ 180 ρ 180
Leia maisAula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
Leia maisComplexidade de Tempo e Espaço
Complexidade de Tempo e Espaço Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Complexidade de Tempo e Espaço junho - 2018 1 / 43 Este material é preparado usando
Leia maisSCC Modelagem Computacional em Grafos Introdução a Grafos
SCC0216 - Modelagem Computacional em Grafos Introdução a Grafos Prof. Alneu (alneu@icmc.usp.br ) / Profa. Rosane (rminghim@icmc.usp.br) PAE: Alan (alan@icmc.usp.br) / Henry (henry@icmc.usp.br) Baseado
Leia maisGrafos Direcionados. > Grafos Direcionados Representações Computacionais 1/36
Grafos Direcionados > Grafos Direcionados Representações Computacionais 1/36 Grafos Direcionados Em muitas aplicações, é importante ter direção nas arestas: Ruas de mão única Grafos modelando páginas da
Leia mais