Matemtica Discreta if670

Anjolina Grisi de Oliveira

Cincia da Computao
Colaborao: lnpa e ljacs

Teoria dos Grafos

Introduo

Porque estudar Grafos?

Importante ferramenta matemtica com aplicao

em diversas reas do conhecimento;
Gentica, qumica, pesquisa operacional,
telecomunicaes, engenharia eltrica, redes de
computadores, conexo de voos areos, restries de
precedncia, fluxo de programas, dentre outros.

Utilizados na definio e/ou resoluo de

problemas.

Em computao:

Estudar grafos mais uma forma de solucionar

problemas computveis;

Os estudos tericos em grafos buscam o

desenvolvimento de algoritmos mais eficientes.

O que so grafos?

Tipicamente um grafo representado como um

conjunto no vazio de pontos ou vrtices ligados
por retas, que so chamadas de arestas;
Ferramenta de modelagem;
Abstrao matemtica que representa situaes
reais atravs de um diagrama.

Problemas solucionados com a teoria dos grafos

As pontes de Knigsberg

As pontes de Knigsberg

O rio Pregel divide o centro da cidade de

Knigsberg (Prssia no sculo XVII, atual
Kaliningrado, Rssia) em quatro regies. Essas
regies so ligadas por um complexo de sete (7)
pontes, conforme mostra a figura;

Discutia-se nas ruas da cidade a possibilidade de

atravessar todas as pontes, voltando ao lugar de
onde se saiu, sem repetir alguma. Havia-se
tornado uma lenda popular a possibilidade da
faanha quando Euler, em 1736, provou que no
existia caminho que possibilitasse tais restries.

As pontes de Knigsberg

Resolvido em 1736 por Leonhard Euler;

Necessrio um modelo para representar o

problema;

Abstrao de detalhes irrelevantes:

rea de cada ilha;
Formato de cada ilha;
Tipo da ponte, etc.

As pontes de Knigsberg

Euler generalizou o problema atravs de um

modelo de grafos.

As pontes de Knigsberg

Euler mostrou que no existe o trajeto proposto

utilizando o modelo em grafos.

Verifique nos grafos abaixo se o trajeto proposto possvel

O problema das 3 casas

possvel conectar os 3 servios s trs casas

sem haver cruzamento de tubulao?

A teoria dos
grafos
mostra que
no
possvel!

Colorao de Mapas
Quantas cores
so necessrias
para colorir o
mapa do Brasil,
sendo que
estados
adjacentes no
podem ter a
mesma cor?

Questes sobre o caminho mnimo

De forma a reduzir seus custos operacionais,

uma empresa de transporte de cargas deseja
oferecer aos motoristas de sua frota um
mecanismo que os auxilie a selecionar o melhor
caminho (o de menor distncia) entre quaisquer
duas cidades por ela servidas, de forma a que
sejam minimizados os custos de transporte.

Modelagem com grafos

Estamos interessados em objetos e nas relaes

entre eles;

Quem so eles nos problemas apresentados?

Como representar graficamente?

Modelagem com grafos

No problema das casas

Vrtices so casas e servios
Arestas so as tubulaes entre casas e servios

No problema da colorao de mapas

Vrtices so estados
Arestas relacionam estados vizinhos

No problema do caminho mais curto

Vrtices so as cidades
Arestas so as ligaes entre as cidades

Trs desenvolvimentos isolados despertaram o

interesse pela rea

Formulao do problema das 4 cores (De Morgan

1852)

Qual a quantidade mnima de cores para colorir um

mapa de tal forma que pases fronteirios possuam
cores diferentes?
Apresenta-se um exemplo em que 3 cores no so
suficientes. Uma prova de que 5 cores suficiente foi
formulada. Conjecturou-se ento que 4 cores seriam
suficientes. Esta questo ficou em aberto at 1976
quando Appel e Haken provaram para 4 cores.

Trs desenvolvimentos isolados despertaram o

interesse pela rea

Problema do ciclo Hamiltoniano (Hamilton 1859)

Existem n cidades. Cada par de cidades pode ser

adjacente ou no arbitrariamente. Partindo de uma
cidade qualquer, o problema consiste em determinar
um trajeto que passe exatamente uma vez em cada
cidade e retorne ao ponto de partida.

Trs desenvolvimentos isolados despertaram o

interesse pela rea

Teoria das rvores

- Kirchoff (1847) Problemas de circuitos eltricos
- Cayley (1857) Qumica Orgnica