Captulo 1 Problema de Limpeza Urbana

1.1- Apresentao do problema

Problema 1 - Trajeto do caminho de lixo
A Figura 1 mostra o mapa de um condomnio fechado, para o qual dever ser implantado o servio de coleta de lixo. Existe um bairro prximo ao condomnio que j possui esse servio. Rua B

Rua A

Figura 1 Planta do condomnio onde dever ser implantado o

servio de coleta de lixo. Como pode ser observado na Figura 1, a entrada e sada do condomnio so feitas, respectivamente, pelas Ruas A e B do bairro vizinho, que tm mo nica. Aps realizar uma reunio com o chefe do Setor de Limpeza Urbana e a administrao do condomnio, o responsvel tcnico para solucionar o problema estabeleceu as condies a seguir: O caminho de lixo que faz a coleta do bairro fronteirio dever ser utilizado para atender ao condomnio, no momento em que passar pelo cruzamento das ruas A e B, local onde se encontra a portaria do mesmo. O caminho dever trafegar por todos os trechos de rua do condomnio, atendendo, dessa forma, a todos os moradores. Trecho de rua definido como a parte da rua que se encontra entre duas esquinas consecutivas. O percurso realizado pelo caminho dever ser timo. O que vem a ser um percurso timo? Para defini-lo, devem ser feitas algumas consideraes. O custo de um trecho de rua pode ser medido de diferentes formas, dependendo do grau de dificuldade para percorr-lo: um trecho plano tem custo menor que um em aclive, ou um trecho mais congestionado tem custo superior a outro que seja desimpedido, ou caso o diferenciador dos custos seja a distncia percorrida, eles sero proporcionais a ela. Para cada possvel trajeto do caminho de lixo, existe um custo associado, que a soma dos custos de trafegar em cada trecho de rua que o constitui. O percurso timo aquele de mnimo custo dentre todos os possveis trajetos. So os especialistas em Engenharia de Trfego que estabelecem os custos dos trechos de rua e definem o sentido do fluxo de trnsito. Examinando o local, eles observaram que: o condomnio localiza-se numa regio plana; a rea estritamente residencial; os trechos de rua possuem aproximadamente a mesma extenso; e a circulao de veculos restrita aos condminos e eventuais 2

visitantes. Assim, concluram pelo duplo direcionamento de trfego em todas as vias e optaram pela uniformidade dos custos dos trechos de rua, o que equivale a dizer que todos devem ter custos unitrios.

1.2- Modelagem do problema

Aps analisar as condies do problema e as concluses sobre o trfego, o consultor d incio fase de resoluo daquele, procurando determinar uma forma de representar a regio a ser trabalhada por meio de um diagrama, mantendo, quando possvel, as caractersticas originais dos dados do problema e colocando a questo a ser respondida dentro desse novo contexto. Na verdade, o consultor pretende substituir o problema real, concreto, pelo modelo abstrato, reescrevendo todas as hipteses do problema em termos matemticos, formalizando, dessa forma, a linguagem. Isso evita ambigidades, alm de tornar disponvel toda a teoria matemtica j desenvolvida, para buscar formas de solucionar o desafio proposto. Esta uma das fases tradicionais da resoluo de problemas e conhecida como Modelagem Matemtica. Representando os cruzamentos de duas ou mais ruas por pontos, enumerando-os e substituindo os trechos de rua por linhas, obtm-se o diagrama da Figura 2.

10

11

12 3

Figura 2 Condomnio representado por um diagrama. Examinando a Figura 2, percebe-se a possibilidade de representar muitos dos elementos do diagrama mediante dois conjuntos: um conjunto de pontos, que, no problema real, so as esquinas, ou seja, os cruzamentos das ruas; e um segundo conjunto, formado por pares desses pontos, que correspondem aos trechos de rua do condomnio. Existem, porm, dois trechos de rua que possuem apenas um extremo e que, no problema original, correspondem s ruas A e B, pelas quais o caminho de lixo dever, respectivamente, entrar e sair do condomnio, diariamente. Como o caminho de lixo entra pela Rua A, sai pela Rua B e, no dia seguinte, repete a mesma operao, pode-se, sem medo de estar cometendo um erro, conectar os dois extremos daqueles trechos de rua, simbolizando todo o percurso que o caminho descreve fora do condomnio, que posteriormente ser desconsiderado. Essa estratgia possibilita a uniformizao dos elementos que representam a situao do problema, e d origem ao novo diagrama, mostrado na Figura 3. 1 8 2 7 6 3 4 5

10

11

12

Figura 3 Nova representao do condomnio. 4

Denotando por V, o conjunto de pontos e, por E, o de linhas obtm-se: V = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} E = {(1,1), (1,2), (1,8), (2,3), (2,7), (2,8), (3,4), (3,5), (3,6), (4,5), (5,6), (5,12), (6,7), (7,8), (8,9), (9,10), (10,7), (11,6), (11,12) } Com a identificao destes dois conjuntos: um de objetos e outro de pares desses objetos , descobriu-se a Matemtica no problema. Essa dupla de conjuntos define um ente matemtico muito conhecido, denominado grafo. Um grafo uma estrutura matemtica constituda de dois conjuntos, um conjunto V, finito e no vazio, de n vrtices, e outro E, de m arestas, que so pares no ordenados de elementos de V. Os grafos possuem uma vasta teoria, da qual se pode lanar mo, desenvolvida desde 1736, e ampliada, sobretudo no sculo XX, com o advento dos computadores. Os grafos prestam-se muito bem para modelar situaes das diversas reas do conhecimento, que envolvem dois conjuntos: um no vazio de objetos e outro que relaciona pares desses objetos. Assim, o grafo G(V,E) da Figura 3 relaciona cruzamentos de ruas, segundo a propriedade de definirem trechos de rua. Como (1,2) E, significa que 1 e 2 esto relacionados pela propriedade: Existe um trecho de rua que os tem como extremos, e esse trecho pode ser trafegado nos dois sentidos, indistintamente. A aresta (1,1), por ter seus extremos coincidentes, denomina-se lao. Embora a notao de par ordenado sugira a noo de direcionamento, nesse caso ela usada sem essa conotao, apenas como uma simplificao, evitando-se o uso de dois pares ao representar-se uma mesma aresta. H casos, entretanto, em que se torna absolutamente necessrio fazer a distino entre (1,2) e (2,1) como, por exemplo, quando se quer representar malhas virias que possuam trechos de rua de mo nica. Quando isso ocorre, porm, a estrutura matemtica que modela tais situaes denomina-se grafo direcionado ou digrafo, no qual cada elemento do conjunto E informa exatamente o direcionamento da aresta. Em geral, a utilizao da mesma notao para representao das 5

arestas de grafos e digrafos no produz dvidas, sendo plenamente compreensvel dentro do contexto. Retornando ao problema proposto, deve-se formular a questo a ser resolvida em termos dessa nova estrutura. E, para isso, deve ser observado que se procura o percurso timo que um caminho de lixo deve seguir, entrando pelo vrtice 1, passando por todos os trechos de rua, ou seja, percorrendo todas as arestas de G pelo menos uma vez e retornando ao vrtice 1, para deixar o condomnio. Assim, deve-se obter um arranjo seqencial de arestas < (v1, w1), (v2, w2), (v3, w3), ..., (vp, wp) > de forma que as duas condies a seguir sejam satisfeitas: (1) v1 = wp = 1; (2) wi = vi+1 , i = 1,2,..., p-1. A primeira condio garante que a sequncia de arestas tem origem e trmino no vrtice 1, enquanto que a segunda, restringe a ocorrncia de duas arestas consecutivas na sequncia apenas para arestas adjacentes, isto , aquelas que possuem um vrtice em comum e, alm disso, este elemento comum deve ser sempre o segundo vrtice da i-sima (i = 1, 2, ..., p-1) aresta e o primeiro da aresta subsequente. importante notar que, embora toda aresta do grafo possa ser percorrida nos dois sentidos, ao identificar a seqncia de arestas que determina o trajeto do caminho de lixo, fixa-se o sentido em que cada aresta deve ser trafegada. Agora que j se estabeleceu o que obter para solucionar o problema, a Teoria dos Grafos deve ser utilizada para concluir a fase de modelagem dele. As sequncias de arestas especiais, definidas a seguir, so usadas para explorar grafos, ou seja, por meio delas pode-se visitar vrtices e arestas de todo o grafo, ou de parte dele, conforme o que seja solicitado pelo problema a ser resolvido. Os exemplos tm como referncia o grafo G(V,E) da Figura 3. Cadeia de v a w - toda seqncia de arestas adjacentes < (v1, w1), (v2, w2), ..., (vp, wp) >, tal que: (1) v1 = v; 2 (2) wp = w; (3) wi = vi+1 , i = 1, 2, ..., p-1. 6

Ela denotada pela enumerao de suas arestas na ordem em que ocorrem na sequncia, ou simplesmente, pelos vrtices que as definem, separados por vrgulas, entre os smbolos < e >. Essa ltima notao ser adotada neste texto. Ex: < (1,2), (2,3), (3,4), (4,5), (5,3), (3,6) > ou simplesmente <1, 2, 3, 4, 5, 3, 6>. Outros exemplos de cadeia so: <8, 2, 7, 8, 2, 1>, <1, 1, 2, 8, 1>, <1, 2, 7, 8, 1> , <10, 7, 6, 11, 12, 5> , <7, 6, 5, 3, 6, 7>. Cadeia fechada de origem v - uma cadeia que possui a origem e o trmino em v. Caso contrrio, ela dita cadeia aberta. Ex: <1, 1, 2, 8, 1> , <1, 2, 7, 8, 1> , <7, 6, 5, 3, 6, 7> so cadeias fechadas, enquanto <1, 2, 3, 4, 5, 3, 6> e <10, 7, 6, 11, 12, 5> so abertas. Caminho de v a w - uma cadeia formada por arestas distintas, que tem origem em v e trmino em w. O caminho pode ser fechado, se v = w ou aberto em caso contrrio. Ex: <1, 2, 3, 4, 5, 3, 6> , <1, 1, 2, 8, 1> , <1, 2, 7, 8, 1> e <10, 7, 6, 11, 12, 5>. Se existe um caminho entre dois vrtices v e w de um grafo, diz-se que v alcana w e w alcana v. Denomina-se grafo conexo aquele que possui um caminho entre todos os pares de seus vrtices, ou seja, a partir de um vrtice arbitrrio do grafo possvel alcanar todos os demais. Caso contrrio, ele um grafo desconexo. Caminho simples de v a w - um caminho com vrtices distintos. Ex: <10, 7, 6, 11, 12, 5> , <8, 2, 7, 6, 3, 4, 5>. Ciclo de origem v - um caminho fechado, isto , com origem e trmino em v. Ex: <1, 1, 2, 8, 1> , <3, 6, 5, 3, 4, 5, 12, 11, 6, 7, 2, 3>, <1, 2, 7, 8, 1>. Denomina-se grafo acclico aquele que no possui ciclos. 7

 Ciclo simples de origem v - um ciclo cujos vrtices so distintos, excetuando-se o vrtice v. Ex: <1, 2, 7, 8, 1> , <2, 8, 9, 10, 7, 2> , <1, 1>. Para encontrar uma cadeia fechada ou um ciclo em um grafo necessrio explicitar sua origem, que pode ser alterada caso o problema requeira. Seja o ciclo <9, 10, 7, 2, 8, 9> de origem 9. A Figura 4 mostra a nova sequncia de vrtices que o designa quando sua origem passa a ser 7. 10 9 origem 8 2 8 2 <9, 10, 7, 2, 8, 9> <7, 2, 8, 9, 10, 7> <9, 10, 7, 2, 8, 9> <7, 2, 8, 9, 10, 7> Figura 4 - Duas sequncias de vrtices denotando o mesmo ciclo. Duas cadeias fechadas, ou ciclos C1 e C2, disjuntos por aresta, podem ser concatenados se possurem um vrtice v em comum. O primeiro passo alterar a origem de C 2 para v. Em seguida, os vrtices de C 2 devem substituir uma ocorrncia do vrtice v, em C1. Na Figura 5 pode ser vista a concatenao de <1, 2, 8, 1> e <10, 9, 8, 7, 10>, denotada por C 1 C2, j que os dois ciclos so disjuntos por arestas e possuem o vrtice 8 em comum. O comprimento de uma cadeia, caminho ou ciclo igual ao nmero de arestas que formam cada um deles. Assim o comprimento de C1= <1, 2, 8, 1> igual a 3, o de C 2= <8, 7, 10, 9, 8> 4 e o de C1 C2 7. 8 7 9 10 7 origem

10

origem de C1 8 C1 = <1, 2, 8, 1> 7

origem de C2 7 8 C2 = <10, 9, 8, 7, 10>

C2 = <8, 7, 10, 9, 8> nova origem de C2 9 1 8 2 7 10

C1 C2 = <1, 2, 8, 7, 10, 9, 8, 1> Figura 5 - Concatenao de dois ciclos. 9 10 arestas esto associadas a um Um grafo cujos vrtices e/ou valor denominado grafo valorado. Por exemplo: um conjunto de cidades interligadas por estradas pode ser representado por meio de um grafo valorado, no qual os vrtices correspondem s cidades, e as arestas, s estradas que as conectam. Dependendo da informao a ser extrada dessa situao so associados valores apropriados aos vrtices e/ou s arestas, tais como: atributos associados aos vrtices populao; populao em idade escolar; nmero de empregos oferecidos; nmero de leitos hospitalares; nmero de eleitores; 9

extenso territorial; rea de proteo ambiental; capacidade da rede hoteleira; atributos relativos s atividades industriais e comerciais; atributos relacionados ao setor de turismo.

atributos associados s arestas distncias entre as cidades; tempo gasto para deslocar-se de uma cidade outra; atributos relativos conservao das estradas ou ao nvel de facilidades oferecidas a seus usurios; atributos relacionados s caractersticas das estradas, conforme sejam corredores tursticos, industriais ou agropecurios. Em geral, todo grafo considerado valorado, basta que valores unitrios sejam associados a cada uma de suas arestas. Quanto valorao dos vrtices, em problemas especficos ela inevitvel e so estabelecidas formulaes que atendam caso a caso. O custo de uma cadeia, caminho ou ciclo de um grafo valorado igual soma dos valores de suas arestas. A apresentao desses conceitos fundamentais da Teoria dos Grafos possibilita concluir a modelagem do problema proposto no incio do captulo, o qual solicita a determinao do trajeto timo de um caminho de lixo que deve partir do vrtice 1, percorrer todos os trechos de rua e retornar ao vrtice 1. Estando o condomnio representado por um grafo, e estando todos os dados j escritos de acordo com essa notao, deve-se expressar a questo a ser resolvida utilizando elementos dessa teoria. Assim, deve-se determinar uma cadeia fechada de origem em 1, que contenha todas as arestas do grafo e tenha custo mnimo. Nesse momento, a elaborao do modelo matemtico finalizada. Agora necessrio buscar, na Teoria dos Grafos, a soluo do problema.

10

1.3- A busca da soluo mediante o estudo da teoria

Problema 2 - Pontes de Knigsberg
No incio do sculo XVIII, um problema intrigava os habitantes da cidade de Knigsberg (hoje Kaliningrado), que dividida pelo Rio Pregel em quatro partes de terra A, B, C e D, interligadas por sete pontes, como mostra a Figura 6. Condomnio

Figura 6 Diagrama das sete pontes sobre o Rio Pregel em Knigsberg. O problema das sete pontes de Knigsberg, como ficou conhecido, questiona a existncia de um trajeto que, tendo qualquer uma das partes de terra como origem, percorra todas as pontes, exatamente uma vez e retorne ao ponto inicial. Euler (1707-1783), matemtico suo, nascido na Basilia, encontrava-se na Rssia em 1736, como professor da Universidade de So Petersburgo. Sendo informado sobre o problema, no s o resolveu, como tambm, ao estudar a questo, criou a Teoria dos Grafos. O modelo abstrato usado por Euler para representar o 11

problema pode ser visto na Figura 7. Os vrtices substituram as partes de terra e as pontes que as conectam deram lugar s arestas. Esse grafo possui dois pares de arestas que compartilham o mesmo par de extremos. Duas ou mais arestas com essa caracterstica so denominadas arestas paralelas ou arestas mltiplas. Um grafo que as contm considerado um Multigrafo. Grafo simples aquele que no possui laos, nem arestas paralelas. A

D Figura 7 Diagrama das Pontes de Knigsberg representado por um multigrafo. Aps criar essa nova estrutura e definir alguns conceitos elementares, Euler utilizou-os para reescrever a questo do problema: Existe um ciclo de origem arbitrria no grafo da Figura 7, contendo todas as suas arestas? Convm observar que cada aresta deve ocorrer exatamente uma vez, j que, em ciclos, no permitida a repetio delas. O comentrio da soluo apresentada por Euler ser precedido por um paralelo entre o problema das pontes de Knigsberg e o do trajeto do caminho de lixo, no qual se pode constatar que eles guardam caractersticas semelhantes. Pontes de Knigsberg Procura-se um trajeto que, tendo uma das partes de terra como ponto inicial, percorra todas as pontes exatamente uma vez e retorne ao ponto de partida. No grafo, esse trajeto corresponde determinao de um ciclo de origem arbitrria que contenha todas as suas arestas. 12

Trajeto do caminho de lixo Deve ser determinado um trajeto que parta do vrtice 1, percorra todos os trechos de rua pelo menos uma vez e retorne ao vrtice 1, com o menor custo possvel. No grafo, esse trajeto corresponde determinao de uma cadeia fechada de origem 1, de custo mnimo, que contenha todas as suas arestas. Ao fixar o vrtice 1, como inicial, no problema do caminho de lixo, o problema das pontes fica particularizado e, caso seja obtida uma soluo que percorra cada trecho de rua exatamente uma vez, evidentemente esse percurso ter custo mnimo. Diante dessas semelhanas, a soluo obtida por Euler para o problema das pontes poderia ser usada para encontrar bons resultados para o problema do caminho de lixo. Assim, fica estabelecida a necessidade do estudo da teoria. Enquanto trabalhava na soluo do problema das pontes, Euler, em vez de responder especificamente questo descrita, foi alm, estabelecendo que caractersticas os grafos devem ter para responder ao problema afirmativamente. A Histria encarregou-se de chamar a esse ciclo especial, e ao grafo que o contm de euleriano. Portanto, um ciclo euleriano aquele que possui todas as arestas do grafo. Um grafo euleriano possui um ciclo euleriano. No desenrolar de seu trabalho, Euler constatou que grafos formados de duas ou mais partes no possuem tal ciclo. O grafo G 1 da Figura 8 ilustra essa situao. A parte I formada pelos vrtices do conjunto {1, 2, 3} e, evidentemente, as arestas que os tm como extremos, a parte II definida pelo conjunto de vrtices {4, 5, 6, 7} e pelo conjunto de arestas {(4,5), (5,6), (6,7), (7,4)}, enquanto a parte III se constitui simplesmente pelo conjunto unitrio de vrtices {8}. Quando dois vrtices definem uma aresta, eles so ditos vrtices adjacentes. Assim, 1 e 2 so adjacentes ao vrtice 3, os vrtices 7 e 5 so adjacentes a 4 e a 6. O vrtice 8, entretanto, no adjacente a vrtice algum, por isso ele chamado de vrtice isolado. Um grafo cujos vrtices so todos isolados, ou seja, possui um conjunto vazio de arestas, denominado grafo nulo. No havendo qualquer ligao entre as partes I, II e III de G 1, impossvel existir um caminho que faa a conexo de todos os seus vrtices, o que demonstra tambm, a no-existncia do ciclo 13

procurado. 1 4 8 3 2 7

5 G1(V1,E1) 6

Figura 8 Um grafo que no possui ciclo euleriano. Ainda observando a Figura 8 pode-se notar que de um vrtice arbitrrio da parte I de G 1(V1,E1), pode-se alcanar qualquer outro vrtice pertencente ao conjunto {1, 2, 3}, por meio de um caminho; por esta razo, diz-se que a parte I um componente de G1. O mesmo ocorre com os vrtices da parte II. Sendo a parte III constituda por um nico vrtice, tambm ela considerada como um componente de G1. Portanto, G1 formado por trs componentes e, sendo assim, um grafo desconexo. Para um grafo ter um ciclo euleriano, ele no pode ser desconexo, dever ter apenas um componente, sendo, evidentemente, conexo. Os grafos G2 e G3 da Figura 9 so conexos, portanto, eles satisfazem condio necessria: ser conexo, para possuirem um ciclo euleriano; seria ela tambm uma condio suficiente? 1 3 4

2 G2(V2,E2)

6 G3(V3,E3)

Figura 9 Grafos que no possuem ciclo euleriano. 14

O grafo G2 possui apenas a aresta (1,2), sendo assim, impossvel encontrar nele um ciclo de origem 1. Conclui-se, pois, que ser conexo no uma condio suficiente; alm disso, verifica-se que no pode haver vrtices no qual incida uma nica aresta, j que, quando alcanado, dele no se pode mais partir para fechar o ciclo. E o grafo G 3 da mesma figura, Teria ele um ciclo euleriano? Examinando-o, pode-se concluir que no! Por qu? Ora, na tentativa de obteno do ciclo, pode-se partir do vrtice 4 e, assim, o vrtice 3 alcanado por intermdio da aresta (4,3) por exemplo; em seguida, deve-se escolher outra aresta nele incidente, (3,5), para deixar 3. Como a aresta (3,6) deve pertencer ao ciclo exigncia do problema no momento que ela for percorrida, interrompe-se a determinao do ciclo, tendo em vista a impossibilidade de o vrtice 3 ser ultrapassado. Logo, o nmero de incidncias de arestas em cada vrtice, denominado grau do vrtice, importante para definir a existncia do ciclo euleriano. Os grafos G2 e G3 no possuem ciclo euleriano e apresentam vrtices de grau mpar. Esta uma caracterstica que um grafo euleriano no deve ter, cada ocorrncia de qualquer vrtice no ciclo exige a utilizao de duas arestas nele incidentes: uma para chegar at ele e outra para deix-lo. Assim, outra condio necessria foi determinada: todo vrtice deve ter grau par. Euler provou que, alm de necessrias, as duas condies vistas so tambm suficientes. Para isso, ele partiu de um grafo que satisfaz a elas e elaborou um algoritmo que obtm o ciclo procurado. A prova de suficincia , portanto, construtiva e d origem ao seguinte algoritmo:

Algoritmo 1- Algoritmo de Euler

Entrada: Grafo G conexo contendo apenas vrtices de grau par. Sada: Ciclo Euleriano C. Escolha um vrtice arbitrrio do grafo como origem e, a partir dele, encontre um ciclo C1 em G. C C1 Exclua todas as arestas de C1 de G. ( Os vrtices do G atual 15

tambm tm grau par, j que, para cada ocorrncia de um vrtice em C1 torna-se necessrio percorrer duas arestas, uma para chegar at ele e outra para deix-lo). enquanto G for no nulo faa Escolha um vrtice de C, extremo de alguma aresta remanescente de G ( isso possvel j que o grafo original conexo ). A partir desse vrtice, encontre outro ciclo C1 de G. C C C1 (Concatene C1 com C). Exclua todas as arestas de C1 de G. fim enquanto imprima C, o ciclo euleriano procurado. Aplicando-se a teoria de Euler ao grafo da Figura 7, verificase que ele no euleriano, pois, apesar de ser conexo, possui vrtices de grau mpar. Portanto, o problema das pontes de Knigsberg no tem soluo. Entretanto, o grafo G(V,E) da Figura 3, associado ao problema da trajeto do caminho de lixo, atende s especificaes estabelecidas por Euler, ele conexo e todos os seus vrtices tm grau par. Logo, ele possui um ciclo euleriano e como cada aresta do grafo ocorre exatamente uma vez no referido ciclo, este o trajeto timo do caminho de lixo, por ter como custo o nmero de suas arestas, sendo, portanto, mnimo.

1.4- A obteno da soluo

Obedecendo s condies impostas pelo Algoritmo de Euler, esse pode ser aplicado ao grafo G(V,E) da Figura 3. Sendo fictcia a aresta (1,1), j que o trecho de rua a ela associado no pertence ao condomnio, e sendo inserida apenas para viabilizar a construo do modelo, conveniente que o processamento seja iniciado por um ciclo que a contenha, para que, to logo o ciclo euleriano seja encontrado, ela seja seccionada, restaurando as condies iniciais do problema. Assim, iniciando a aplicao do algoritmo, sejam C = e 16

C1 = <1, 1>.

8 9

7 10

6 11

5 12

Figura 10 Grafo G aps a excluso das arestas do ciclo <1, 1>. Seja, agora, C = <1, 1>. Escolhendo-se o vrtice 1 e, a partir dele, determinando um novo ciclo no grafo da Figura 10, encontra-se C1 = <1, 2, 3, 4, 5, 6, 7, 8, 1>. Excluindo-se todas as arestas de C 1 de G, obtm-se o grafo a seguir. 1

8 9

6 11

5 12

10

Figura 11- Grafo resultante aps a aplicao da primeira iterao do Algoritmo de Euler. Concatenando C1 a C, resulta C = <1, 1, 2, 3, 4, 5, 6, 7, 8, 1> e sendo no nulo o grafo atual, deve-se iniciar a segunda iterao do algoritmo. 17

Escolhendo-se o vrtice 2, a partir dele, encontra-se o novo ciclo C1 = <2, 7, 10, 9, 8, 2>. A seguir, tem-se o grafo G - C 1. 1

10

11

12

Figura 12 Grafo G aps a excluso do novo ciclo C 1. Concatenados C e C1, obtm-se C = <1, 1, 2, 7, 10, 9, 8, 2, 3, 4, 5, 6, 7, 8, 1>. Agora, necessita-se testar a ausncia de arestas em G. Como ele ainda as apresenta, escolhe-se o vrtice 3 e determina-se o novo ciclo C1 = <3, 5, 12, 11, 6, 3>. Excluindo-se de G as arestas de C1, surge o grafo nulo da Figura 13. 1

6 11

5 12

10

Figura 13 Grafo nulo de 12 vrtices, obtido aps a aplicao da terceira iterao do algoritmo de Euler. Fazendo-se a concatenao de C com C 1, determina-se: C = <1, 1, 2, 7, 10, 9, 8, 2, 3, 5, 12, 11, 6, 3, 4, 5, 6, 7, 8, 1>. Obtido o grafo nulo, o algoritmo identifica C como o ciclo 18

euleriano procurado. Excluindo-se de C a aresta fictcia (1, 1), determina-se o ciclo: C = <1, 2, 7, 10, 9, 8, 2, 3, 5, 12, 11, 6, 3, 4, 5, 6, 7, 8, 1>, que o trajeto timo do caminho de lixo, resolvendo-se, assim, o problema proposto.

1.5- Extenses do problema proposto

O problema do caminho de lixo no se esgota nas consideraes feitas neste captulo; pode-se indagar a respeito da estratgia de resoluo do mesmo problema para: outro condomnio ou bairro da cidade, que representado por um grafo no euleriano; regies nas quais os trechos de rua apresentem graus de dificuldade diferentes para serem percorridos, dando origem aos grafos valorados; regies cujas ruas tm mo nica e so representadas por digrafos; ou ainda, em locais com malhas virias mistas, isto , permitem ruas de mo nica e de mo dupla, o que torna o problema mais complexo. Os prximos captulos sero dedicados soluo de alguns destes problemas, e de outros, que podem ser modelados por meio de grafos.

1.6- Fases de resoluo de problemas

O diagrama da Figura 14 ilustra as fases de resoluo de um problema que utiliza a Matemtica como ferramenta para obteno da soluo. As primeiras sees do presente captulo constituem um exemplo dessa metodologia aplicada determinao do trajeto timo do caminho de lixo para um dado condomnio. Inicialmente, o problema real foi apresentado e algumas consideraes sobre as caractersticas do condomnio e as condies a que a soluo deveria obedecer ficaram estabelecidas. Em seguida, alguns 19

ajustes foram necessrios, para que a situao real pudesse ser expressa mediante um modelo abstrato, de modo que os dados do problema e a questo a ser resolvida estivessem na mesma linguagem, construindo o modelo matemtico. Posteriormente, estudos foram desenvolvidos, objetivando solucionar o problema matemtico e, finalmente, foi realizada a adequao da soluo obtida situao real.

Problema Real Anlise de Resultados

Modelo Matemtico Resoluo do Modelo Matemtico

Figura 14 Fases de resoluo de problemas, utilizando a matemtica como ferramenta. Se ao resolver o problema matemtico, como no exemplo aqui mostrado, for utilizado um algoritmo e, esse for processado por um computador, a fase da resoluo do problema matemtico ampliada, conforme consta no diagrama da Figura 15.

Problema Real

Modelo Matemtico

Construo ou Escolha do Algoritmo

Anlise dos Resultados

Processamento do Programa

Elaborao do Programa
20

Figura 15 Fases de resoluo de problemas utilizando matemtica e recursos computacionais.

21