teoria dos grafos (coloração de mapas e o teorema das quatro cores)
DESCRIPTION
O Problema das Pontes de Königsberg, resolvido por Euler em 1736, foi o primeiro a envolver os conceitos do que viria a ser a Teoria dos Grafos. No segundo capítulo deste trabalho podemos verificar como Euler, através de seus teoremas, demonstrou a solução para o enigma das pontes.A partir de então muitos problemas foram resolvidos utilizando a Teoria dos Grafos. Como, por exemplo, o Problema das Quatro Cores suscitado por Francis Guthrie em 1852. Os jogos tiveram grande importância na solução de vários problemas matemáticos nos últimos tempos. O que nos mostra que os jogos podem ter desempenhado um papel evolutivo relevante. Por ser agradável a atividade intelectual, talvez o jogo facilite a aprendizagem das regras e do pensamento lógico.TRANSCRIPT
![Page 1: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/1.jpg)
ATIVIDADE PRÁTICAESTRUTURA DE DADOS II
COLORAÇÃO DE MAPAS E O PROBLEMA DAS QUATRO CORES
BRUNO RIBEIRO CAMPIGOTTOFERNANDO R. CAMILO DE MEDEIROS
JULIANA LILIAN DE SOUZAROBERTO NOVAES DE CARVALHO
Julho de 2010
![Page 2: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/2.jpg)
INTRODUÇÃO
História da Teoria dos Grafos
Coloração de Mapas e o Problema das Quatro Cores
Matemáticos e as provas do Teorema das Quatro Cores
Desenvolvimento de um Puzzle
![Page 3: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/3.jpg)
O Problema das Pontes Königsberg
Século XVII
![Page 4: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/4.jpg)
(1707-1783)
Leonhard Euler em 1736TEOREMASO número de vértices
ímpares de qualquer grafo é um número par...
![Page 5: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/5.jpg)
(1707-1783)
Leonhard Euler em 1736Se um grafo não possui nenhum vértice ímpar,
então ele pode ser percorrido
unicursalmente.
![Page 6: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/6.jpg)
(1707-1783)
Leonhard Euler em 1736Um grafo que possui
exatamente dois vértices ímpares pode ser percorrido unicursalmente, começando num dos vértices ímpares e
terminando no outro..
![Page 7: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/7.jpg)
(1707-1783)
Leonhard Euler em 1736Todo grafo com mais
de dois vértices ímpares é multicursal.
![Page 8: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/8.jpg)
(1707-1783)
Leonhard Euler em 1736O Grafo é multicursal !
![Page 9: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/9.jpg)
Coloração de Mapas e o Teorema das Quatro Cores
Mapa dos Condados da InglaterraFrancis Guthrie em 1852
![Page 10: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/10.jpg)
O problema foi levado ao conhecimento do grande público
quando Arthur Cayley apresentou-o no London
Mathematical Society em 1878.
Desde então muitos matemáticos tentaram provar sua veracidade:
![Page 11: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/11.jpg)
Alfred Bray Kempe
Foi modificada em 1890 por Percy John Heawood através de uma prova do Teorema das Cinco Cores.
Sua prova estava incorreta.
1º a publicar uma prova: 1879
![Page 12: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/12.jpg)
1º prova aceita: Em 1977 Baseadas em idéias de
Kempe;
desenvolvidas em grande parte por Birkhoff e Heesch;
Controvérsias pelo uso do computador e tempo despendido. Wolfgang Appel
Kenneth Haken
![Page 15: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/15.jpg)
A nova prova do Teorema das 4 Cores: 1990
A demonstração deles ainda fez uso de computadores, mas a parte computacional pôde ser realizada num
laptop em apenas algumas horas.
A prova ainda gerou muita crítica pelo uso de um computador na sua demonstração!
![Page 16: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/16.jpg)
Os autores se defenderam assim:
“ Um argumento, é o de que a nossa «prova» não é uma prova no sentido tradicional porque ela contém passos que nunca poderão ser verificados por seres humanos. Em particular, não podemos provar a justeza do compilador em que compilamos os nossos programas, nem a infalibilidade do hardware em que os executamos. Isto é, estas questões têm de ser tomadas com base na fé, pois é concebível a possibilidade de erros. No entanto, a partir de um ponto de vista prático, a chance de um erro informático aparecer constantemente, exatamente da mesma maneira em todas as execuções de nossos programas, em todos os compiladores e sob todos os sistemas operacionais que os nossos programas são executados é infinitamente pequena em comparação com a chance de um erro humano durante a mesma quantidade de verificações. Para além desta possibilidade hipotética de um computador sempre dar uma resposta errada, o resto da nossa prova pode ser verificado da mesma forma como as tradicionais provas de matemática.”
![Page 17: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/17.jpg)
PUZZLE DAS 4 CORES
O Puzzle de Quatro Cores
nada mais é do que um jogo,
utilizando uma variação do
problema da coloração de mapas
utilizando quatro cores.
![Page 18: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/18.jpg)
DESENVOLVIMENTO DO JOGO• main.py: Filtra os parâmetros de linha de comando, executa
as ações, e instância a classe App;• app.py: Contém a classe da aplicação, e instancia classe
Item; item.py: Contem classe Item, que herda a classe "Faces" da API Vpython;• layout1.txt: Layout da imagem. Ele contém informações
sobre os triângulos, posições X, Y e Z deles, e suas ligações. Assim, é possível usar o mesmo programa para desenhos diferentes sem mexer no código, criando um novo arquivo de layout;
• RODAR – Fullscreen.bat: Passa parâmetros de linha de comando, sem necessidade de abrir um prompt e digitar tudo;
• RODAR – Janela.bat: Passa parâmetros de linha de comando, sem necessidade de abrir um prompt e digitar tudo.
![Page 19: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/19.jpg)
DESENVOLVIMENTO DO JOGO
![Page 20: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/20.jpg)
COMO JOGAR
• Segure o botão direito do mouse e mova o mouse para girar o ângulo da imagem.
• Segure os dois botões do mouse e mova o mouse para cima e para baixo para regular o zoom.
• Funções do teclado: Pressione (V) para validar a cor escolhida e (R ou S) para solucionar automaticamente o puzzle.
![Page 21: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/21.jpg)
APLICAÇÃO DA TEORIA DAS QUATRO CORES
Tulip 3.3.1
Grafo do Puzzle
![Page 22: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/22.jpg)
APLICAÇÃO DA TEORIA DAS QUATRO CORES
Para a resolução automática do Puzzle utilizamos um algoritmo de busca em profundidade.
Adaptado de um pseudocódigo de Busca em Profundidade
JOGAR
![Page 23: Teoria Dos Grafos (ColoraçãO De Mapas E O Teorema Das Quatro Cores)](https://reader038.vdocuments.pub/reader038/viewer/2022102613/556d5de1d8b42a6b4d8b4d90/html5/thumbnails/23.jpg)
REFERÊNCIAS BIBLIOGRÁFICASROBERTSON, Neil; SANDERS, Dan; SEYMOUR, Paul; THOMAS, Robin. A New Proof of the Four Color Theorem, Electronic Research announcements of the American Mathematic Society. Vol.2, Number 1, 1996. NONATO, Luis Gustavo. Coloração em Grafos. Disponível em:< http://www.lcad.icmc.usp.br/~nonato/ED/Coloracao/coloracao.html >. Acesso em: 01 jun. 2010. NICOLETTI, Maria do Carmo; HRUSCHKA, Estevam Rafael . Fundamentos da teoria dos grafos para computação. São Carlos : EdUFSCar, 2009. THOMAZ, R. (1995, November 12). The Four Color Theorem. Acessado em 24 de junho 2010,em <http://people.math.gatech.edu/~thomas/FC/fourcolor.html#Main> DIESTEL, Reinhard. Graph Theory: Eletronic Edition. 3. ed. New York: Springer, 2005. BONDY, J.A ; MURTY, U.S.R . Graph Theory with applications. 6. ed. New York: Sole, 1982. FEOFILOFF, Paulo ; KOHAYAKAWA, Y; WAKABAYASHI, Y . Uma Introdução Sucinta à Teoria dos Grafos. . ed. São Paulo, 1982. KLYV, Dominic; STEMKOSKI, Lee. The works of Leonhard Euler online. Disponível em:< http://www.math.dartmouth.edu/~euler/ >. Acesso em: 25 jun. 2010.