Geometria Computacional 2014.

1
Prof. Anselmo Montenegro
Lista de Exerccios 1
Primitivas Geomtricas, Polgonos e Noes de Anlise de Complexidade, Problemas
Fundamentais

Exerccios de Primitivas Geomtricas

1) Mostre que e possvel definir o pseudongulo trocando o crculo unitrio por
uma curva contnua, que seja o grfico de uma funo em coordenadas polares.

2) Mostre que o pseudo-ngulo definido no exerccio anterior pode ser calculado

usando 3 comparaes, uma soma e uma subdiviso.
3) Defina anguloorientado(x,y) com base na operao pseudoangulo(x,y).
4) Escreva um algoritmo entre(u,v,w), que dados os vetores a,v e w R2, retorne
ERRO se u e v so colineares, SIM se w est no ngulo convexo entre u e v e
NO, caso contrrio.
5) Mostre que o volume de um tetraedro p1p2p3p4 do espao tridimensional dado
1
por V = (op1 op2 + op2 op3 + op3 op4 + op4 op1 ) onde o um ponto
6
arbitrrio do espao.

Exerccios de Polgonos
1) Seja P um polgono determinado por um conjunto S= {p1,p2,...,pn} de pontos
distintos no plano. Implemente uma algoritmo convex(S) que retorna SIM se o
polgono convexo e NO se cncavo.
2) Com base no Teorema 3.2 (sobre a existncia de triangulao), implemente um
algoritmo para triangulao de polgonos no plano.
3) Prove o Corolrio 3.1 (Tringulo Orelha) usando induo.

4) Implemente um algoritmo de triangulao baseada em corte de orelhas (ear

clipping).
5) Apresente um polgono que admita somente uma triangulao.

Exerccios de Anlise de Complexidade

1) Mostre que n2 + 1000n = O(n2), encontrando explicitamente N e c como na
definio. Mostre que podemos tomar c = 2 e N = 1000, c = 101 e N = 10, c =
1001 e N = 1.
2) Mostre que:
a) g O(f) se e somente f (g).
b) g (f) se e somente f (g).
c) g (f) se e somente se existem N N e c1,c2 R tal que c1f(n)
g(n) c2f(n) para todo n N.
3) Considere um algoritmo que ordena um conjunto de nmeros reais
C={x0,x1,...,xn} por fora bruta que gere todas as permutaes da forma x (0),
x (1),..., x (n) e que para qual delas satisfaz x (0) x (1) ... x (n). Mostre que tal
algoritmo O(n.n!).

4) Demonstre o teorema da reduo.

5) Se A resolve P, ento TA = (TP). Baseado nessa afirmao, verdade que TP =
O(TA)? Por qu?

Exerccios sobre Problemas Fundamentais

1) Escreva um algoritmo baseado em coordenadas baricntricas para localizar um
ponto em relao a um tringulo.
2) Escreva um algoritmo que determina se dois tringulos no plano so disjuntos.
3) Descreva um algoritmo closestPair(S), baseado no paradigma dividir para
conquistar, que tem como entrada um conjunto de pontos no plano S=
{p1,p2,...,pn} e retorna o par de pontos mais prximo. Analise a complexidade
do algoritmo criado.

4) Usando o esquema de varredura do plano, desenvolva um algoritmo para

triangulao baseado em uma abordagem incremental.
5) Compare a qualidade das trs triangulaes implementadas usando as mtricas
de avaliao de malhas abaixo:
Mtricas de Avaliao da Qualidade da Malha
a. Aspect Ratio: Mede a razo entre a maior e a menor aresta de cada tringulo da
malha. Se os valores obtidos forem prximos de 1, a malha tende a ter tringulos
predominantemente equilteros.
b. Skewness: uma medida de assimetria da distribuio dos tringulos da malha.
Dado AT a rea de um tringulo T da malha e ACT a rea de um tringulo
equiltero inscrito no crculo que circunscreve T, Skewness a razo entre (ACT
AT) por ACT. Valores prximos de zero correspondem a uma malha mais
simtrica.
c. Smoothness: Mede o mdulo da diferena entre a rea do tringulo e seus
vizinhos imediatos. Quanto mais prximo de zero, mais suave a malha.
Referncias:

Satyan L. Devadoss, Joseph O'Rourke, Discrete and Computational

Geometry, Princeton University Press, 2011.
P. C. P. Carvalho e L. H. de Figueiredo, Introduo Geometria
Computational, 18 Colquio Brasileiro de Matemtica, IMPA, 1991.
Notas de aula do Prof. Luiz Henrique Figueiredo IMPA.
F. P. Preparata e M. I. Shamos, Computational Geometry: an Introduction,
Springer-Verlag, 1985.
-Verlag, 1997.