Formulações Multifluxo de Problemas de Otimização Combinatória

Tamanho: px
Começar a partir da página:

Download "Formulações Multifluxo de Problemas de Otimização Combinatória"

Transcrição

1 Formulações Multifluxo de Problemas de Otimização Combinatória Henrique Pacca L. Luna Sociedade Brasileira de Pesquisa Operacional Escuela Latino Americana de Verano de Investigacion Operativa - XII ELAVIO Petrópolis

2 Geradora Dirigida de Mínima Distância Supõe-se dado um grafo dirigido e conexo G(V,A), com um nó origem o e parâmetros d ij distância entre os nós i e j O problema consiste em encontrar uma árvore dirigida de menor comprimento total que ligue o nó origem a todos os nós do grafo.

3 Geradora Dirigida de Mínima Distância Variáveis Binárias x ij variável booleana que vale 1 se o arco (i,j) é escolhido para compor a árvore geradora e vale 0 em caso contrário Variáveis de Fluxo f ijk fluxo através do arco (i,j) do produto destinado ao nó k

4 Geradora Dirigida de Mínima Distância Modelo de Programação Linear Inteira Mista Função Objetivo Minimizar (1) (i,j) ε A sujeito a d ij x ij

5 Geradora Dirigida de Mínima Distância f ojk = 1 para o nó o e para todo k ε V - {o} (2) (o,j) ε A f ikk = 1 para todo nó k ε V - {o} (3) (i,k) ε A

6 Geradora Dirigida de Mínima Distância f ijk - f jlk = 0 para todo j e k ε V- {o} (i,j) ε A (j,l) ε A com j k (4) 0 f ijk x ij para todo (i, j) ε A, k ε V- {o} (5) x ij ε {0,1}, para todo (i, j) ε A (6)

7 Geradora Dirigida de Mínima Distância Referência Maculan, Nelson., A New Linear Programming Formulation for the Shortest s-directed Spanning Tree Problem, Journal of Combinatorics, Information & System Sciences, Vol. 11, Nos. 2-4, (1986)

8 Geradora Dirigida de Mínimo Custo Fixo Supõe-se dado um grafo dirigido e conexo G(V,A), com um nó origem o e o parâmetro b ij custo fixo da ligação entre os nós i e j O problema consiste em encontrar uma árvore dirigida de menor custo fixo de instalação que ligue o nó origem a todos os nós do grafo

9 Geradora Dirigida de Mínimo Custo Fixo Variáveis Binárias x ij variável booleana que vale 1 se o arco (i,j) é escolhido para compor a árvore geradora e vale 0 em caso contrário Variáveis de Fluxo f ijk fluxo através do arco (i,j) do produto destinado ao nó k

10 Geradora Dirigida de Mínimo Custo Fixo Modelo de Programação Linear Inteira Mista Função Objetivo b ij x ij Minimizar (7) (i,j) ε A sujeito a (2), (3), (4), (5) e (6).

11 Vencer Distâncias é Custoso Custo fixo em função da distância no arco (i,j) b ij b ij = + d b ij = + ij d ij d ij

12 Geradora Dirigida de Mínimo Custo Fixo Sendo a relação entre o custo fixo e a distância no arco (i, j) dada por b ij = α + β d ij Observa-se que, quando α = 0, o problema se reduz ao problema da árvore geradora de mínima distância. Quandoα= 1 e β = 0 o problema se reduz, trivialmente, ao problema da árvore geradora.

13 Geradora Dirigida de Mínimo Custo Variável Supõe-se dado um grafo dirigido e conexo G(V,A), com um nó origem o e os parâmetros c ijk custo de uma unidade de fluxo do produto k através do arco (i,j) q k quantidade requisitada de produto k no nó de demanda k ε V {o} O problema consiste em encontrar uma árvore dirigida de menor custo total de transporte dos produtos que ligue o nó origem a todos os nós de demanda da rede.

14 Geradora Dirigida de Mínimo Custo Variável Modelo de Programação Linear Inteira Mista Função Objetivo Minimizar (8) sujeito a c ijk f ijk k ε V {o} (i,j) ε A

15 O Problema da Árvore Geradora Dirigida de Mínimo Custo Variável f ojk = q k para o nó o e para todo k ε V - {o} (2 ) (o,j) ε A f ikk = q k para todo nó k ε V - {o} (3 ) (i,j) ε A

16 O Problema da Árvore Geradora Dirigida de Mínimo Custo Variável f ijk - f jlk = 0 para todo j e k ε V- {o} (i,j) ε A (j,l) ε A com j k (4) 0 f ijk q k x ij para todo (i, j) ε A, k ε V- {o} (5 ) x ij ε {0,1}, para todo (i, j) ε A (6)

17 Levar Carga Longe é Custoso c ijk Custo de uma unidade de fluxo do produto k em função da distância no arco (i,j) A c ijk = k d ij k d ij

18 Custo de Transporte Proporcional à Carga de cada Produto Custo do fluxo de k Custo variável do fluxo do produto k no arco (i,j) A c ijk f ijk

19 de Steiner em Grafo Dirigido Supõe-se dado um grafo dirigido e conexo G(V,A), com um nó origem o que precisa ser ligado a um sub-conjunto K de nós de demanda e parâmetros d ij distância entre os nós i e j O problema consiste em encontrar uma árvore Steiner de menor comprimento total que ligue o nó origem a todos os nós do conjunto K contido em V

20 de Steiner em Grafo Dirigido Variáveis Binárias x ij variável booleana que vale 1 se o arco (i,j) é escolhido para compor a árvore geradora e vale 0 em caso contrário Variáveis de Fluxo f ijk fluxo através do arco (i,j) do produto destinado ao nó k ε K

21 de Steiner em Grafo Dirigido Modelo de Programação Linear Inteira Mista Função Objetivo Minimizar (11) (i,j) ε A sujeito a d ij x ij

22 de Steiner em Grafo Dirigido f ojk = 1 para o nó o e para todo k ε K (12) (o,j) ε A f ikk = 1 para todo nó k ε K (13) (i,k) ε A

23 de Steiner em Grafo Dirigido f ijk - f jlk = 0 para pares j V- {o}, (i,j) ε A (j,l) ε A k ε K com j k (14) 0 f ijk x ij para todo (i, j) ε A, k ε K (15) x ij ε {0,1}, para todo (i, j) ε A (16)

24 Tempo é Dinheiro Atrazo Custo do tempo de espera para o fluxo total do arco (i,j) A C - capacidade b ij = + d ij C g ij

25 Geradora Congestionada de Mínimo Custo Supõe-se dado um grafo dirigido e conexo G(V,A), com um nó origem o e os parâmetros c ijk custo de uma unidade de fluxo do produto k através do arco (i,j) q k quantidade requisitada de produto k no nó de demanda k ε V {o} O problema consiste em encontrar uma árvore dirigida de menor custo total de transporte dos produtos que ligue o nó origem a todos os nós de demanda da rede.

26 Geradora Congestionada de Mínimo Custo Variáveis Binárias x ij variável booleana que vale 1 se o arco (i,j) é escolhido para compor a árvore geradora e vale 0 em caso contrário Variáveis de Fluxo f ijk fluxo através do arco (i,j) do produto destinado ao nó k g ij fluxo total de todos os produtos que passam pelo arco (i,j)

27 Geradora Congestionada de Mínimo Custo Modelo de Programação Linear Inteira Mista Função Objetivo Minimizar [(b ij x ij +τ ij (g ij ) + c ijk f ijk ] (18) (i,j) ε A k ε V {o} sujeito a

28 O Problema da Árvore Geradora Congestionada de Mínimo Custo f ijk - f jlk = 0 para todo j e k ε V- {o} (i,j) ε A (j,l) ε A com j k (4) 0 f ijk q k x ij para todo (i, j) ε A, k ε V- {o} (5 ) x ij ε {0,1}, para todo (i, j) ε A (6)

29 O Problema da Árvore Geradora Congestionada de Mínimo Custo f ijk - g ij 0, para todo (i,j) e A (19) k ε V {o} g ij 0 para todo (i, j) ε A (20)

Departamento de Engenharia de Produção UFPR 22

Departamento de Engenharia de Produção UFPR 22 Departamento de Engenharia de Produção UFPR 22 Geralmente, temos três objetivos i. Redução de custos (custos variáveis) Redução de capital (investimento, custos fixos) i Melhoria do serviço (pode conflitar

Leia mais

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

Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 21 Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 21 Três objetivos i. Redução de custos (custos variáveis) ii. iii. Redução de capital (investimento, custos fixos) Melhoria do serviço

Leia mais

Algoritmos de Caminho Mínimo Parte 1

Algoritmos de Caminho Mínimo Parte 1 Algoritmos de Caminho Mínimo Parte 1 A journey of a thousand miles starts with a single step and if that step is the right step, it becomes the last step. Index 1. Introduction 2. Applications 3. Tree

Leia mais

Cap. 2 Conceitos Básicos em Teoria dos Grafos

Cap. 2 Conceitos Básicos em Teoria dos Grafos Teoria dos Grafos e Aplicações 8 Cap. 2 Conceitos Básicos em Teoria dos Grafos 2.1 Grafo É uma noção simples, abstrata e intuitiva, usada para representar a idéia de alguma espécie de relação entre os

Leia mais

COMPARAÇÃO ENTRE FROTA HOMOGÊNEA E HETEROGÊNEA EM PROBLEMAS DE ROTEAMENTO DE VEÍCULOS CAPACITADOS

COMPARAÇÃO ENTRE FROTA HOMOGÊNEA E HETEROGÊNEA EM PROBLEMAS DE ROTEAMENTO DE VEÍCULOS CAPACITADOS COMPARAÇÃO ENTRE FROTA HOMOGÊNEA E HETEROGÊNEA EM PROBLEMAS DE ROTEAMENTO DE VEÍCULOS CAPACITADOS Rosiana da Silva Lopes Danilo César Rodrigues Azevedo rosianalopes16@gmail.com danilo.azevedo@ufpi.edu.br.com

Leia mais

Aula 12: Programação Inteira

Aula 12: Programação Inteira Aula 12: Programação Inteira Otimização Linear e Inteira Túlio A. M. Toffolo http://www.toffolo.com.br BCC464/PCC174 2018/2 Departamento de Computação UFOP Aula de Hoje 1 Programação Inteira: A Formulação

Leia mais

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

Problema da Árvore Geradora Mínima (The Minimum Spanning Tree Problem-MST) Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 45 Problema da Árvore Geradora Mínima (The Minimum Spanning Tree Problem-MST) Alguns problemas de otimização combinatória podem ser formulados

Leia mais

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

Formulação de Programação Linear Inteira para o Problema de Particionamento em Conjuntos Convexos Formulação de Programação Linear Inteira para o Problema de Particionamento em Conjuntos Convexos Teobaldo L. Bulhões Júnior a a Instituto de Computação, Universidade Federal Fluminense, Niterói, RJ, Brazil

Leia mais

Abordagens para Resolução de Problemas

Abordagens para Resolução de Problemas Abordagens para Resolução de Problemas UDESC - Universidade do Estado de Santa Catarina Departamento de Ciência da Computação CAL - Complexidade de Algoritmos Teodoro Alberto Borges Junior Abordagens para

Leia mais

Problemas de Fluxo em Redes

Problemas 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 mais

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Edson Prestes Edson Prestes Grafos Enumeração de Passeios/Caminhos O processo associado à enumeração de caminhos de um grafo/dígrafo é semelhante ao processo de contagem com a diferença de que usaremos uma matriz de

Leia mais

Otimização discreta Modelagem com variáveis binárias: problemas clássicos

Otimização discreta Modelagem com variáveis binárias: problemas clássicos Otimização discreta Modelagem com variáveis binárias: problemas clássicos Importância histórica...... e prática. Usados para modelar problemas reais e como subproblemas em problemas maiores (e mais freqüentes

Leia mais

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.

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. Teoria dos Grafos - BCC 204 roblemas de Haroldo Gambini Santos Universidade Federal de Ouro reto - UFO 31 de maio de 2011 Teoria dos Grafos - BCC 204, roblemas de 1 / 14 Imagine que desejemos interligar

Leia mais

Introduçã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 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 mais

Pesquisa Operacional / Programação Matemática

Pesquisa Operacional / Programação Matemática Pesquisa Operacional / Programação Matemática Otimização discreta Modelagem com variáveis binárias: problemas clássicos Breve Comentários (aula anterior) Em geral, não faz sentido resolver a relaxação

Leia mais

Aula 13: Branch-and-bound

Aula 13: Branch-and-bound Aula 13: Branch-and-bound 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... Modelagem em PI / Problemas Combinatórios

Leia mais

PCC173 - Otimização em Redes

PCC173 - 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 31 de maio de 2017 Marco Antonio M. Carvalho

Leia mais

Teoria dos Grafos AULA

Teoria 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 mais

2.3 Formulação de um Problema de Pooling

2.3 Formulação de um Problema de Pooling 8 Formulações Matemáticas para Problemas de Blending/Pooling min cost(x 1,x 2 ) = θ 1 x 1 + θ 2 x 2 (2.5) Com θ 1 e θ 2 também eles escalares representam o custo dos produtos x 1 e x 2. Este é o exemplo

Leia mais

Árvore Geradora Mínima

Árvore Geradora Mínima GRAFOS ÁRVORE GERADORA MÍNIMA Prof. André Backes Árvore Geradora Mínima Definição Uma árvore geradora (do inglês, spanning tree) é um subgrafo que contenha todos os vértices do grafo original e um conjunto

Leia mais

Aula 19: Lifting e matrizes ideais

Aula 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 mais

O Teorema da Amizade

O Teorema da Amizade O Teorema da Amizade Seminário Diagonal David Mesquita Faculdade de Ciências da Universidade do Porto 13 de Maio de 2009 Teorema da Amizade,TA Formulação Original Suponha-se que numa sociedade, cada par

Leia mais

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

Grafos: á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 mais

GRAFOS Aula 08 Árvore Geradora Mínima: Algoritmos de Kruskal e Prim-Jarnik Max Pereira

GRAFOS Aula 08 Árvore Geradora Mínima: Algoritmos de Kruskal e Prim-Jarnik Max Pereira Ciência da Computação GRAFOS Aula 08 Árvore Geradora Mínima: Algoritmos de Kruskal e Prim-Jarnik Max Pereira Árvore Geradora (spanning tree) É um subconjunto de um grafo G que possui todos os vértices

Leia mais

Otimização Combinatória - Parte 3

Otimização Combinatória - Parte 3 Graduação em Matemática Industrial Otimização Combinatória - Parte 3 Prof. Thiago Alves de Queiroz Unidade de Matemática e Tecnologia - CAC/UFG 2/2016 Thiago Queiroz (DM) Parte 3 2/2016 1 / 23 Problemas

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Representação de Relações Definição: Uma relação binária de um conjunto A num conjunto

Leia mais

Oalgoritmo de Dijkstra

Oalgoritmo de Dijkstra Dijkstra Oalgoritmo de Dijkstra O algoritmo de Dijkstra, concebido pelo cientista da computação holandês Edsger Dijkstra em 1956 e publicado em 1959, soluciona o problema do caminho mais curto num grafo

Leia mais

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

Grafos: 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 mais

Teoria dos Grafos. Árvores Geradoras

Teoria 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 mais

Problema do Caixeiro Viajante

Problema do Caixeiro Viajante Problema do Caixeiro Viajante 1 Introdução Minimizar o custo de um ciclo hamiltoniano em um grafo completo (William R. Hamilton,1857,Around The World); Solução por enumeração: R( n ) = ( n - 1 )! Um computador

Leia mais

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

Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 45 Volmir Eugênio Wilhelm Departamento de Engenharia de Produção UFPR 45 Introdução a Grafos Muitos problemas de otimização podem ser analisados utilizando-se uma estrutura denominada grafo ou rede. Problemas

Leia mais

3 Decisões de Localização de Instalações

3 Decisões de Localização de Instalações 3 Decisões de Localização de Instalações Historicamente, o estudo contemporâneo dos problemas de localização foi iniciado por Alfred Weber, que estudou a localização de uma fábrica com o objetivo de minimizar

Leia mais

Marina Andretta. 9 de agosto de Baseado em problemas presentes em

Marina Andretta. 9 de agosto de Baseado em problemas presentes em Aplicações Marina Andretta ICMC-USP 9 de agosto de 2018 Baseado em problemas presentes em http://www.ime.usp.br/~egbirgin/tango/ Marina Andretta (ICMC-USP) sme5720 - Otimização não-linear 9 de agosto de

Leia mais

LOCALIZAÇÃO DE SERVIDORES E DESENHO DE REDES LOCAIS INTEGRADAS

LOCALIZAÇÃO DE SERVIDORES E DESENHO DE REDES LOCAIS INTEGRADAS LOCALIZAÇÃO DE SERVIDORES E DESENHO DE REDES LOCAIS INTEGRADAS Pollyanna G. Faria Dias Depto. de Ciências Exatas e Tecnologia, Centro Universitário de Belo Horizonte, pollyannagdias@yahoo.com Gilberto

Leia mais

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

Algoritmo Floyd-Warshall. Problema dos caminhos mínimos entre todos os pares. Programação dinâmica Algoritmo Floyd-Warshall S. Problema dos caminhos mínimos entre todos os pares Problema: Dado um digrafo com custo nos arcos, determinar, para cada par de vértices s, t o custo de um caminho mínimo de

Leia mais

Códigos perfeitos e sistemas de Steiner

Códigos perfeitos e sistemas de Steiner CAPÍTULO 7 Códigos perfeitos e sistemas de Steiner Sistemas de Steiner são um caso particular de configurações (ou designs. Neste capítulo pretende-se apenas fazer uma breve introdução aos sistemas de

Leia mais

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

01 Grafos: parte 1 SCC0503 Algoritmos e Estruturas de Dados II 01 Grafos: parte 1 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. (ICMCUSP) 01

Leia mais

Sistemas de Distribuição Localização de Bases Definição da Rede

Sistemas de Distribuição Localização de Bases Definição da Rede Sistemas de Distribuição Localização de Bases Definição da Rede Otimização Matemática Problema de Transporte Problema de Transbordo Problema de Transbordo com Custo Fio Problema de Fluo Máimo Problema

Leia mais

Árvore de Suporte de Comprimento Mínimo Minimal Spanning Tree

Árvore de Suporte de Comprimento Mínimo Minimal Spanning Tree Investigação Operacional Árvore de Suporte de Comprimento Mínimo Minimal Spanning Tree Slide Transparências de apoio à leccionação de aulas teóricas Maria Antónia Carravilla José Fernando Oliveira Árvore

Leia mais

Programação Inteira Resolução por Branch and Bound

Programação Inteira Resolução por Branch and Bound Programação Inteira Resolução por Branch and Bound Transparências de apoio à lecionação de aulas teóricas Versão 2.3 c 2012, 2010, 2009, 2001 Maria Antónia Carravilla José Fernando Oliveira FEUP Técnicas

Leia mais

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.

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. 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. Grafos Sugestão bibliográfica: ESTRUTURAS DE DADOS USANDO C Aaron

Leia mais

Teoria dos Grafos Aula 5

Teoria dos Grafos Aula 5 Teoria dos Grafos Aula Aula passada Explorando grafos Mecanismos genéricos Ideias sobre BFS, DFS Aula de hoje Busca em grafos Busca em largura (BFS Breadth First Search) Propriedades Busca em Grafos Problema

Leia mais

POLLYANNA GRAZIELLE FARIA DIAS PROJETO DE REDE COM CUSTOS CONVEXOS E BALANCEAMENTO DE FLUXOS

POLLYANNA GRAZIELLE FARIA DIAS PROJETO DE REDE COM CUSTOS CONVEXOS E BALANCEAMENTO DE FLUXOS POLLYANNA GRAZIELLE FARIA DIAS PROJETO DE REDE COM CUSTOS CONVEXOS E BALANCEAMENTO DE FLUXOS Belo Horizonte 11 de março de 2011 Universidade Federal de Minas Gerais Escola de Engenharia Programa de Pós-Graduação

Leia mais

Um método ótimo para um problema de projeto de redes em anel com custos de congestionamento

Um método ótimo para um problema de projeto de redes em anel com custos de congestionamento Um método ótimo para um problema de projeto de redes em anel com custos de congestionamento João Fernando Machry Sarubbi 1, Henrique Pacca Loureiro Luna 2, Philippe Mahey 3 1 Departamento de Ciência da

Leia mais

Implementação de Otimização Colônia de Formigas

Implementação de Otimização Colônia de Formigas Implementação de Otimização Colônia de Formigas Estéfane G. M. de Lacerda Departamento de Engenharia da Computação e Automação UFRN Introdução Apresentaremos o Pseudo-Código do Ant System. O código pode

Leia mais

Marina Andretta. 18 de outubro de 2010

Marina Andretta. 18 de outubro de 2010 Aplicações Marina Andretta ICMC-USP 18 de outubro de 2010 Marina Andretta (ICMC-USP) sme0212 - Otimização não-linear 18 de outubro de 2010 1 / 34 Problema Kissing number O kissing number é dado pelo número

Leia mais

AULA 13 PROJETO E ANÁLISE DE ALGORITMOS. Problema do caminho mais curto de uma única origem em grafos Karina Valdivia Delgado

AULA 13 PROJETO E ANÁLISE DE ALGORITMOS. Problema do caminho mais curto de uma única origem em grafos Karina Valdivia Delgado AULA 13 PROJETO E ANÁLISE DE ALGORITMOS Problema do caminho mais curto de uma única origem em grafos Karina Valdivia Delgado Roteiro Motivação Relaxamento Algoritmo de Dijkstra Motivação Suponha que você

Leia mais

Fundamentos de Inteligência Artificial [5COP099]

Fundamentos de Inteligência Artificial [5COP099] Fundamentos de Inteligência Artificial [5COP099] Dr. Sylvio Barbon Junior Departamento de Computação - UEL Disciplina Anual Assunto Aula 19 ACO - Ant Colony Optimization 2 de 15 Sumário Problema do Caixeiro

Leia mais

semana 03/05/2014 a 09/05/2014 semana 10/05/2014 a 16/05/2014 semana 17/05/2014 a 23/05/ e 25/05/2014

semana 03/05/2014 a 09/05/2014 semana 10/05/2014 a 16/05/2014 semana 17/05/2014 a 23/05/ e 25/05/2014 semana 03/05/2014 a 09/05/2014 semana 10/05/2014 a 16/05/2014 semana 17/05/2014 a 23/05/2014 24 e 25/05/2014 PROGRAMAÇÃO DE 03/05/2014 a 09/05/2014 PROGRAMAÇÃO DE 03/05/2014 a 09/05/2014 PROGRAMAÇÃO DE

Leia mais

INSTITUTO SUPERIOR TÉCNICO Análise e Síntese de Algoritmos. RESOLUÇÃO DO 2 o TESTE

INSTITUTO SUPERIOR TÉCNICO Análise e Síntese de Algoritmos. RESOLUÇÃO DO 2 o TESTE INSTITUTO SUPERIOR TÉCNICO Análise e Síntese de Algoritmos Ano Lectivo de 2006/2007 2 o Semestre RESOLUÇÃO DO 2 o TESTE I. (2,0+2,0+2,0 = 6,0 val.) 1) Calcule o valor óptimo da função objectivo e o respectivo

Leia mais

Redes Complexas. Renato Vicente. Complex Systems EACH USP

Redes Complexas. Renato Vicente. Complex Systems EACH USP Redes Complexas Renato Vicente Complex Systems EACH USP Grafos Grafos são definidos por seus vértices e arestas G=(V,E). Para o grafo G acima: V={u,v,w,x,y} e E={a,b,c,d,e,f,g,h}. As arestas conectam dois

Leia mais

Teoria 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 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 mais

= comprimento (distância, valor) da aresta orientada do vértice i ao vértice j,, e:

= comprimento (distância, valor) da aresta orientada do vértice i ao vértice j,, e: 8 - Problema do Caminho Mínimo Considere a rede: Dado dois vértices nesta rede, queremos determinar o menor caminho ente eles. Uma primeira questão é como representar os valores associados às arestas neste

Leia mais

Modelo para alocação de instrumentos com previsão de redundância de medição em sistemas com medições escassas.

Modelo para alocação de instrumentos com previsão de redundância de medição em sistemas com medições escassas. Modelo para alocação de instrumentos com previsão de redundância de medição em sistemas com medições escassas. M. V. A. NARCISO 1, E. C. DO VALLE 1 e R. A. KALID 1 1 Universidade Federal da Bahia, Departamento

Leia mais

Otimização. Otimização em Redes. Paulo Henrique Ribeiro Gabriel Faculdade de Computação Universidade Federal de Uberlândia 2016/2

Otimização. Otimização em Redes. Paulo Henrique Ribeiro Gabriel Faculdade de Computação Universidade Federal de Uberlândia 2016/2 Otimização Otimização em Redes Paulo Henrique Ribeiro Gabriel phrg@ufu.br Faculdade de Computação Universidade Federal de Uberlândia 2016/2 Paulo H. R. Gabriel (FACOM/UFU) GSI027 2016/2 1 / 51 Conteúdo

Leia mais

Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur

Lógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo

Leia mais

Árvores: Conceitos Básicos e Árvore Geradora

Árvores: Conceitos Básicos e Árvore Geradora Árvores: Conceitos Básicos e Árvore Geradora Grafos e Algoritmos Computacionais Prof. Flávio Humberto Cabral Nunes fhcnunes@yahoo.com.br 1 Introdução No dia a dia aparecem muitos problemas envolvendo árvores:

Leia mais

CAP 254 CAP 254. Otimização Combinatória. Professor: Dr. L.A.N. Lorena. Assunto: Metaheurísticas Antonio Augusto Chaves

CAP 254 CAP 254. Otimização Combinatória. Professor: Dr. L.A.N. Lorena. Assunto: Metaheurísticas Antonio Augusto Chaves CAP 254 CAP 254 Otimização Combinatória Professor: Dr. L.A.N. Lorena Assunto: Metaheurísticas Antonio Augusto Chaves Conteúdo C01 Simulated Annealing (20/11/07). C02 Busca Tabu (22/11/07). C03 Colônia

Leia mais

Redes. ADSA António Câmara

Redes. ADSA António Câmara Redes ADSA António Câmara Redes Método do caminho mais curto Localização de equipamentos Minimum spanning tree Carteiro chinês Caixeiro viajante Links Redes Redes são sistemas de linhas (arcos) ligando

Leia mais

Otimização em Grafos

Otimização em Grafos Otimização em Grafos Luidi G. Simonetti PESC/COPPE 2017 Luidi Simonetti (PESC) EEL857 2017 1 / 35 Teoria dos Grafos - Relembrando Árvore Um grafo G é uma árvore se é conexo e não possui ciclos (acíclico).

Leia mais

Kidney Exchange Programmes

Kidney Exchange Programmes Kidney Exchange Programmes Seminário de Modelação Sílvia Cunha 18 de Janeiro 2012 Sílvia Cunha (FCUP) Kidney Exchange Programmes 18 de Janeiro 2012 1 / 28 Sumário Apresentação do tema da tese Ideia geral

Leia mais

O Problema do Fluxo de Custos Mínimos Terça-feira 2 de abril. O Problema do Caminho mais Curto. Fórmula. Outra Fórmula

O Problema do Fluxo de Custos Mínimos Terça-feira 2 de abril. O Problema do Caminho mais Curto. Fórmula. Outra Fórmula 15.053 Terça-feira 2 de abril O Problema do Caminho mais Curto Algoritmo de Dijkstra para solucionar o Problema do Caminho mais Curto Distribuir: Observações de Aula 1 O Problema do Fluxo de Custos Mínimos

Leia mais

UM MODELO DE PROGRAMAÇÃO LINEAR INTEIRA PARA O PROBLEMA DE SEQUENCIAMENTO EM PROJETOS COM RESTRIÇÃO DE RECURSOS

UM MODELO DE PROGRAMAÇÃO LINEAR INTEIRA PARA O PROBLEMA DE SEQUENCIAMENTO EM PROJETOS COM RESTRIÇÃO DE RECURSOS UM MODELO DE PROGRAMAÇÃO LINEAR INTEIRA PARA O PROBLEMA DE SEQUENCIAMENTO EM PROJETOS COM RESTRIÇÃO DE RECURSOS Clarisse da Silva Vieira CEAD - Universidade Federal de Ouro Preto Campus Morro do Cruzeiro,

Leia mais

Caminhos Mais Curtos Fluxo Máximo Árvores Geradoras Mínimas

Caminhos Mais Curtos Fluxo Máximo Árvores Geradoras Mínimas Caminhos Mais Curtos Fluxo Máximo Árvores Geradoras Mínimas Túlio Toffolo www.toffolo.com.br Marco Antônio Carvalho marco.opt@gmail.com BCC0 Aula 1 Algoritmos e Programação Avançada Plano da Aula Caminhos

Leia mais

2º Trabalho Prático - Algoritmos em grafos

2º Trabalho Prático - Algoritmos em grafos Page of LEIC - AEDII - 00/003 - º Semestre º Trabalho Prático - Algoritmos em grafos Introdução Conteúdo do trabalho O segundo trabalho consiste no desenvolvimento de um programa em Java de aplicação de

Leia mais

Estruturas de Dados Grafos

Estruturas de Dados Grafos Estruturas de Dados Grafos Prof. Eduardo Alchieri (introdução) Grafo é um conjunto de pontos e linhas que conectam vários pontos Formalmente, um grafo G(V,A) é definido pelo par de conjuntos V e A, onde:

Leia mais

Aula 20: Revisão Otimização Linear e Inteira Túlio A. M. Toffolo

Aula 20: Revisão Otimização Linear e Inteira Túlio A. M. Toffolo Aula 20: Revisão Otimização Linear e Inteira Túlio A. M. Toffolo http://www.toffolo.com.br BCC464 / PCC174 Departamento de Computação - UFOP Breve Revisão Programação Linear vs Programação Inteira Modelagem

Leia mais

Problema do Caminho Mais Curto. Problema do Caminho Mais Curto

Problema 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 mais

Teoria dos Grafos. Edson Prestes

Teoria dos Grafos. Edson Prestes Edson Prestes Grafos Cliques Maximais Para determinar os cliques maximais de um grafo G podemos usar o método de Maghout em Dado o grafo abaixo, calcule Determine os conjuntos independentes maximais em

Leia mais

Teoria 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. 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 mais

Sub-grafo. Árvore Geradora Mínima

Sub-grafo. Árvore Geradora Mínima Comentários da aula anterior Componentes Fortemente Conectados (algoritmo) 1. Chama BuscaEmProfundidade (G) para obter os tempos de término (t[u], ou f[u]) para todos os vértices de G, isto é, enquanto

Leia mais

Introdução. Introdução. Introdução. Distância euclidiana. Superfícies de custo

Introdução. Introdução. Introdução. Distância euclidiana. Superfícies de custo aos Sistemas de Informação Geográfica ula Superfícies de custo Superfícies de custo... Usando distância euclidiana ou célulaacélula Com custos uniformes ou variáveis Superfícies de custo lexandre Gonçalves

Leia mais

Módulo 2 OTIMIZAÇÃO DE REDES

Módulo 2 OTIMIZAÇÃO DE REDES Módulo 2 OTIMIZAÇÃO DE REDES Grafos e Redes Está contida na área de Pesquisa Operacional. Pode ser considerada como uma teoria baseada na interligação de pontos e linhas, utilizada principalmente na solução

Leia mais

Lista de Exercícios Programação Inteira. x 2 0 e inteiros.

Lista de Exercícios Programação Inteira. x 2 0 e inteiros. Lista de Exercícios Programação Inteira ) Resolva os problemas a seguir usando o método B&B a) Max z = 5 x + y s.a x + y x + y 5 b) Max z = x + y s.a x + y 0 x + y 5 c) Max z = x + y s.a x + 9y 6 8 x +

Leia mais

UM ALGORITMO BASEADO NO MÉTODO SIMPLEX PARA REDES APLICADO NO PROBLEMA DE FLUXO DE CUSTO MÍNIMO COM INCERTEZAS

UM ALGORITMO BASEADO NO MÉTODO SIMPLEX PARA REDES APLICADO NO PROBLEMA DE FLUXO DE CUSTO MÍNIMO COM INCERTEZAS UM ALGORITMO BASEADO NO MÉTODO SIMPLEX PARA REDES APLICADO NO PROBLEMA DE FLUXO DE CUSTO MÍNIMO COM INCERTEZAS Felipe Ribas Forbeck, João Paulo M. K. Katayama, Fábio Hernandes Departamento de Ciência da

Leia mais

Disciplina: Matemática Discreta Agostinho Iaqchan Ryokiti Homa

Disciplina: Matemática Discreta Agostinho Iaqchan Ryokiti Homa Disciplina: Matemática Discreta Agostinho Iaqchan Ryokiti Homa Aula -Grafos Uma figura vale por mil palavras A representação de dados e ou informações utilizando de recursos visuais é, em muitos casos,

Leia mais

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO

MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO MATEMÁTICA DISCRETA PARA ENGENHARIA DE COMPUTAÇÃO Profa. Kathya Collazos Linares *As aulas baseiam-se no material do Professor Antonio Alfredo Ferreira Loureiro; Jorge Figueiredo e Judith Gersting Árvore

Leia mais

4 Relaxação lagrangeana para AGMD

4 Relaxação lagrangeana para AGMD 4 Relaxação lagrangeana para AGMD A utilização de relaxação lagrangeana, para a resolução de problemas de otimização combinatória NP-difíceis, foi iniciada com a contribuição fundamental de Held e Karp

Leia mais

Complexidade computacional

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,

Leia mais

Margarida Alexandra Fidalgo Nunes Lavrador Cunha Costa. Localização de monitores em redes de telecomunicações. Universidade de Aveiro 2013

Margarida Alexandra Fidalgo Nunes Lavrador Cunha Costa. Localização de monitores em redes de telecomunicações. Universidade de Aveiro 2013 Universidade de Aveiro 213 Departamento de Matemática Margarida Alexandra Fidalgo Nunes Lavrador Cunha Costa Localização de monitores em redes de telecomunicações Universidade de Aveiro 213 Departamento

Leia mais

Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação GUROBI

Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação GUROBI Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação GUROBI Alfredo Rogério Jorge Gustavo Marsiglia Doricci Pâmella Sátiko de Paula Miyazaki Roberta Nunes Alfredo, Gustavo, Pâmella,

Leia mais

Universidade de Aveiro Departamento de Matemática. Natália da Fonseca Nogueira. Modelos para localização e conexão de facilidades baseados em fluxos

Universidade de Aveiro Departamento de Matemática. Natália da Fonseca Nogueira. Modelos para localização e conexão de facilidades baseados em fluxos Universidade de Aveiro Departamento de Matemática 2012 Natália da Fonseca Nogueira Modelos para localização e conexão de facilidades baseados em fluxos Universidade de Aveiro Departamento de Matemática

Leia mais

Programação Inteira. Prof. Ricardo Santos

Programação Inteira. Prof. Ricardo Santos Programação Inteira Prof. Ricardo Santos Introdução Um problema com variáveis inteiras e reais é denominado problema de Programação Inteira Mista (PIM) quando tem a seguinte forma: PIM z=max cx+dy Ax+Dy

Leia mais

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

SUMÁRIO. Fundamentos Árvores Binárias Árvores Binárias de Busca ÁRVORES SUMÁRIO Fundamentos Árvores Binárias Árvores Binárias de Busca 2 ÁRVORES Utilizadas em muitas aplicações Modelam uma hierarquia entre elementos árvore genealógica Diagrama hierárquico de uma organização

Leia mais

Optimização em Redes e Não Linear

Optimização em Redes e Não Linear Departamento de Matemática da Universidade de Aveiro Optimização em Redes e Não Linear Ano Lectivo 005/006, o semestre Folha - Optimização em Redes - Árvores de Suporte. Suponha que uma dada companhia

Leia mais

C 3 C 3. De acordo com o teorema de Euler, um grafo não orientado admite um ciclo de Euler se e só for conexo e não tiver vértices de grau ímpar.

C 3 C 3. De acordo com o teorema de Euler, um grafo não orientado admite um ciclo de Euler se e só for conexo e não tiver vértices de grau ímpar. rafos ircuito e iclo de uler X. ircuito e iclo de uler Um grafo orientado diz-se euleriano se há um circuito que contenha todos os seus arcos uma e só uma vez (circuito euleriano ).O grafo da figura é

Leia mais

OTIMIZAÇÃO DE CIRCUITOS DE INSPEÇÃO DE PAVIMENTOS: APLICAÇÃO À REDE RODOVIÁRIA NACIONAL

OTIMIZAÇÃO DE CIRCUITOS DE INSPEÇÃO DE PAVIMENTOS: APLICAÇÃO À REDE RODOVIÁRIA NACIONAL OTIMIZAÇÃO DE CIRCUITOS DE INSPEÇÃO DE PAVIMENTOS: APLICAÇÃO À REDE RODOVIÁRIA NACIONAL Caso de Estudo: Infraestruturas de Portugal S.A. Alexandre B. Gonçalves, CERIS-ICIST Marta Castilho Gomes, CERIS-CESUR

Leia mais

A Cidade Enlameada Árvores Geradoras Mínimas

A Cidade Enlameada Árvores Geradoras Mínimas Atividade 9 A Cidade Enlameada Árvores Geradoras Mínimas Sumário Nossa sociedade é conectada por muitas redes: redes telefônicas, redes de abastecimento, redes de computadores e redes rodoviárias. Para

Leia mais

Departamento de Engenharia de Produção UFPR 57

Departamento de Engenharia de Produção UFPR 57 Departamento de Engenharia de Produção UFPR 57 Introdução a Grafos Muitos problemas de otimização podem ser analisados utilizando-se uma estrutura denominada grafo ou rede. Problemas em redes aparecem

Leia mais

Teoria dos Grafos Aula 22

Teoria dos Grafos Aula 22 Teoria dos Grafos Aula 22 Aula passada Caminho mais curto entre todos os pares Algoritmo de Floyd Warshall Programação dinâmica Aula de hoje Caminho mais curto Algoritmo de Bellman Ford Melhorias Caminho

Leia mais

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

Doutorado em Ciência da Computação. Algoritmos e Grafos. Raimundo Macêdo LaSiD/DCC/UFBA Doutorado em Ciência da Computação Algoritmos e Grafos Raimundo Macêdo LaSiD/DCC/UFBA Grafo Completo Grafo simples cujos vértices são dois a dois adjacentes. Usa-se a notação K n para um grafo completo

Leia mais

Programação Linear/Inteira

Programação Linear/Inteira Unidade de Matemática e Tecnologia - RC/UFG Programação Linear/Inteira Prof. Thiago Alves de Queiroz Aula 7 Thiago Queiroz (IMTec) Aula 7 Aula 7 1 / 25 Problemas de Caixeiro Viajante Envolvem um conjunto

Leia mais

SIMONETTI, LUIDI GELABERT Otimização combinatória: problemas de árvores em grafos [Rio de Janeiro]

SIMONETTI, LUIDI GELABERT Otimização combinatória: problemas de árvores em grafos [Rio de Janeiro] SIMONETTI, LUIDI GELABERT Otimização combinatória: problemas de árvores em grafos [Rio de Janeiro] 2008 X, 86 p. 29,7 cm (COPPE/UFRJ, D.Sc., Engenharia de Sistemas e Computação, 2008) Tese - Universidade

Leia mais

UM ESTUDO SOBRE O PROBLEMA DA ÁRVORE GERADORA MÍNIMA COM ESTRUTURA DO GRAFO FUZZY

UM ESTUDO SOBRE O PROBLEMA DA ÁRVORE GERADORA MÍNIMA COM ESTRUTURA DO GRAFO FUZZY UM ESTUDO SOBE O POBLEMA DA ÁVOE GEADOA MÍNIMA COM ESTUTUA DO GAFO FUZZY Márcia Tomie Taahashi Universidade Federal de Uberlândia FAMAT/UFU Av. João Naves de Ávila, 22, Campus Sta. Mônica Bloco F, sala8,

Leia mais

Lista de Exercícios Programação Inteira. x 2 0 e inteiros.

Lista de Exercícios Programação Inteira. x 2 0 e inteiros. Lista de Exercícios Programação Inteira ) Resolva os problemas a seguir usando o método B&B a) Max z = 5 x + 2 y s.a x + y 2 x + y 5 x, y 0, x e y inteiros b) Max z = 2 x + y s.a x + 2y 0 x + y 25 x, y

Leia mais

Complexidade de Algoritmos. Edson Prestes

Complexidade de Algoritmos. Edson Prestes Edson Prestes Existem famílias de problemas cuja solução é alcançada de forma semelhante. O relacionamento entre problemas: caso especial; versão abstração; similar. Exemplos: A inserção de um elemento

Leia mais

Tecnicas Essencias Greedy e Dynamic

Tecnicas Essencias Greedy e Dynamic Tecnicas Essencias Greedy e Dynamic Paul Crocker RELEASE - Reliable and Secure Computation Group Universidade da Beira Interior, Portugal October 2010 1 / 27 Outline 1 Introdução 2 Exemplo Greedy I : Interval

Leia mais

Meta-análise: comparação de proporções para o caso de duas amostras independentes

Meta-análise: comparação de proporções para o caso de duas amostras independentes Meta-análise: comparação de proporções para o caso de duas amostras independentes Arminda Lucia Siqueira 1 Edna Afonso Reis 1 Ilka Afonso Reis 1 Luana Sílvia dos Santos 1 Pollyanna Vieira Gomes da Silva

Leia mais

Pesquisa Operacional. Teoria dos Grafos

Pesquisa Operacional. Teoria dos Grafos Pesquisa Operacional Teoria dos Grafos 1 Sumário Introdução Histórico Aplicações de modelos em grafos Conceitos e Notação Representações de um grafo G Tipos de grafos Algoritmos Algoritmo de Djisktra Algoritmo

Leia mais

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

Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução Matemática e Divisibilidade. 5 Congruências Lineares Programa Matemática Discreta 2008/09 Jorge Manuel L. André FCT/UNL 1 Parte 1 - Conjuntos e Aplicações 1 Conjuntos 2 Relações Binárias 3 Aplicações 4 Indução Matemática e Divisibilidade 5 Congruências Lineares

Leia mais