algoritmos sobre origami
DESCRIPTION
TRANSCRIPT
![Page 1: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/1.jpg)
Matematica e Algoritmos das Dobras
Paulo Eduardo Azevedo Silveira
Orientador: Prof. Dr. Jose Coelho de Pina Jr.Instituto de Matematica e Estatıstica
Universidade de Sao Paulo
18 de maio de 2007
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 2: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/2.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Problema Computacional
objeto modelo
processo
E possıvel? Algoritmo?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 3: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/3.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Rubik
E possıvel? Algoritmo?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 4: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/4.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Quadrado magico
E possıvel? Algoritmo?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 5: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/5.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Origami Computacional
objeto
processo
E possıvel? Algoritmo?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 6: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/6.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Operacoes basicas
vale montanha
Operacoes basicas do processo de dobra.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 7: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/7.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Categorias
Origami matematico
Origami computacional
algoritmos eficientesintratabilidaderesultados universais
Origami tecnologico
Robert Lang, Demaines.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 8: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/8.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Origami Matematico
Modelo das construcoes de Euclides
Modelo de operacoes de Huzita
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 9: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/9.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Trissecao de angulos
Problema Trissecao(l1, l2): Dados segmentos de reta
l1 = ap e l2 = ab, determinar um segmento de reta af tal
que a medida do angulo ∠(f , a, b) seja 1/3 da medida do
angulo ∠(p, a, b).
Euclides, Gauss, 17.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 10: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/10.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Trissecao de angulos - Tsune Abe
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 11: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/11.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Corretude
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 12: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/12.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Truque: Operacao O6 de Huzita
l1l1
l2l2
p1
p1p2
p2
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 13: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/13.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Problema Deliano
Problema Duplica-Cubo(l): Dado um segmento l de
comprimento a, construir um segmento de comprimento
x tal que o cubo com arestas de comprimento x tenha o
dobro de volume do cubo com arestas de comprimento a.
x3 = 2a3
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 14: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/14.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Alem de outros problemas...
Outros problemas
Construcao de numeros racionais;
Construcao de numeros irracionais com erro ε;
Soluciona a equacao x3 + ax2 + bx + c .
Teorema Todas as construcoes factıveis no modelo de
Euclides podem ser realizadas no modelo de dobras de
Huzita.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 15: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/15.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Planaridade
modelo
processo dedobra
diagrama
Problema Planar(D): um dado diagrama D
corresponde a um modelo plano?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 16: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/16.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Planaridade
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 17: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/17.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Teorema de Maekawa
cortepolıgono
|M − V | = 2
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 18: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/18.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Teorema de Kawasaki
α1
α1
α3
α3
α5
α6 α2
α2
α4
α4
α1 + α3 + α5 = α2 + α4 + α6
α1 + α3 = α2 + α4
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 19: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/19.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Propriedades necessarias mas nao suficientes
α
β γ
Conjectura, Hull.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 20: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/20.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Mapa
Problema Dobra-Mapa(M): dado um mapa M,
encontrar um processo de dobra simples que transforma
M em um modelo plano.
Arkin, Bender, Demaine, Demaine, Mitchell, Sethia, Skiena.Origami 1D.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 21: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/21.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Nem sempre tao facil
ε
L
L
L
L
2L
w1 w2
Simples porem difıcil.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 22: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/22.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Problema
Problema Dobrar-e-Cortar-Booleano(P ,R):Dado um polıgono simples P desenhado em um pedaco
de papel retangular R, e possıvel dobrar o papel de tal
forma que com apenas um “corte reto de tesoura”
obtenhamos o polıgono P?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 23: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/23.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Triangulo
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 24: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/24.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Quadrilateros
Como dobrar e cortar? Triangularizar?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 25: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/25.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Duas orelhas do coelho
Discos propagam compatibilidade entre moleculas.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 26: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/26.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Quadrilateros complicados
Desrespeita Maekawa. Como resolver?
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 27: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/27.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Nesga
Quando nao da para usar duas orelhas do coelho.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 28: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/28.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Polıgonos maiores
Nem sempre moleculas se encaixam.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 29: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/29.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Discos novamente propagam compatibilidade
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 30: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/30.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Empacotamento de discos
Problema Empacotar-Discos(P ,R): Dado um
polıgono simples P desenhado em uma folha de papel
retangular R, obter um empacotamento de discos que
cobre o polıgono e a margem do papel e todas as fendas
sejam 3-fendas e 4-fendas.
Bern, Demaine, Eppstein, Hayes.Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 31: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/31.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Solucao por empacotamento de discos
Envolve
Empacotamento de discos;
Grafos, emparelhamento;
Winged edge;
Problema de Apolonio;
Diagrama de Voronoi.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 32: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/32.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Consideracoes finais
Consideracoes finais
Origami matematico
Modelos planos
Implementacao, dificuldades e heurısticas
Proximos passos
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 33: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/33.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Preenchimento dos buracos
Discos utilizados para a quebra de uma fenda nao ajudam muito.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 34: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/34.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Posicao inicial dos discos
Posicionamento inicial dos discos mudam bastante o resultado.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 35: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/35.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Humanamente impossıvel...
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 36: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/36.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
...mesmo para os simples
Resultado ruim para um polıgono com eixos de simetria.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 37: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/37.jpg)
Introducao Origami Matematico Planaridade Dobrar e Cortar Consideracoes finais
Proximos passos
Futuros trabalhos
Implementacao por esqueleto rıgido;
Aplicacoes praticas: air bag;
Outras frentes algorıtmicas: linkages, poliedros, construcao debases.
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 38: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/38.jpg)
Obrigado!Duvidas, Comentarios,
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras
![Page 39: Algoritmos sobre Origami](https://reader034.vdocuments.site/reader034/viewer/2022050804/5474a631b4af9fc30a8b5712/html5/thumbnails/39.jpg)
Dificuldades no texto
Nomenclatura (orelha do coelho, orelha de coelho)
Preliminares (grafos, emparelhamento, coloracao, Voronoi)
Codigo da implementacao no texto
Pseudocodigo
Algumas provas sao por exaustao
O7 e completude
Verificacao das imagens (2.13, 2.14, 5.22)
Pontos complicados
Precisao
Hashes e empates
Paulo Eduardo Azevedo Silveira Matematica e Algoritmos das Dobras