Вы находитесь на странице: 1из 15

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

I . INTRODUO GEOMETRIA COMPUTACIONAL

Geometria Computacional um ramo da Cincia da Computao que estuda tcnicas, algoritmos e estruturas de dados para a resoluo computacional de problemas geomtricos, isto , o estudo sistemtico de algoritmos para soluo problemas geomtricos atravs do computador.

Algoritmo um modelo sistemtico para resoluo de um problema. Um algoritmo descreve precisamente como combinar certas operaes bsicas para encontrar a soluo do problema. O custo de um algoritmo ser medido pela soma dos custos das operaes bsicas que ele executa, ou seja, pela quantidade de recursos computacionais usados na sua execuo, tipicamente quanto tempo ele leva para resolver um problema. (A quantidade de memria gasta pelo algoritmo tambm uma medida importante de custo.)

Problemas Geomtricos so problemas cuja temtica esta envolvida com a geometria, que a parte da matemtica que trata de pontos, retas, planos, curvas, superfcies e volumes. De modo geral estes problemas so resolvidos com compassos, rguas, esquadros e entre outros instrumentos. Nos Problemas Geomtricos computacionais a entrada ou os dados de um problema um conjunto finito de objetos geomtricos. Como soluo do problema, devemos calcular algum nmero relacionado com a entrada, construir outros objetos geomtricos, ou decidir se a entrada tem certa propriedade. Os objetos geomtricos so definidos por nmeros reais, atravs de coordenadas ou equaes. Os objetos geomtricos so contnuos, mas tm uma descrio discreta. Isso permite que eles sejam representados num computador. A soluo de um problema geomtrico envolve aspectos geomtricos e aspectos topolgicos. A mistura de tcnicas geomtricas, numricas e discretas, aliada motivao proveniente de problemas prticos, d geometria computacional uma riqueza caracterstica. Em geral, basta usar um pequeno nmero de primitivas geomtricas bem escolhidas; essas primitivas tendem a ser usadas em vrios algoritmos.

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Os algoritmos eficientes para problemas geomtricos so fruto da combinao de teoremas matemticos sobre a geometria do problema (frequentemente teoremas clssicos, conhecidos h sculos, mas tambm teoremas novos inspirados pela abordagem algortmica), tcnicas algortmicas tradicionais e especiais, estruturas de dados adequadas (algumas bastantes sofisticadas), boa anlise de desempenho, e primitivas geomtricas simples e poderosas.

Tipos de problemas Podemos classificar os problemas abordados em geometria computacional em quatro tipos: Seletivos: Nesses problemas queremos selecionar um subconjunto da entrada. No temos que construir nenhum objeto geomtrico novo, mas possivelmente temos que descobrir relaes topolgicas. Exemplos: fecho convexo, triangulao, rvore geradora mnima, simplificao de curvas e superfcies.

Construtivos: Nesses problemas temos que construir um ou mais objetos geomtricos novos a partir da entrada, alm de possivelmente relaes topolgicas envolvendo tanto objetos originais quanto objetos novos. Exemplos: interseo de polgonos, crculo mnimo, diagrama de Voronoi, gerao de malhas, suavizao de curvas e superfcies.

Deciso: Nesses problemas temos somente que responder sim ou noa uma pergunta. No precisamos construir nada, nem novos objetos geomtricos nem novas relaes topolgicas. Exemplo: Dentre um conjunto de segmentos de reta, h algum par que se cruza? (No necessrio calcular aonde o cruzamento, somente identificar um par que se cruza, se existir algum.) Outro exemplo: Dado um polgono, ele convexo?

Consultas: Dado um conjunto fixo de objetos geomtricos, queremos process-lo previamente de modo a poder responder ecientemente a consultas repetidas sobre ele. Exemplo: Dado um conjunto de pontos, a consulta encontrar qual desses pontos est mais prximo de um ponto do plano.
Catiscia A. B. Borges e Sueni de S. Arouca 2

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Aplicaes Os problemas tratados em geometria computacional ocorrem em muitas aplicaes: Computao Grfica: Vrios problemas de geometria computacional so motivados por problemas geomtricos que aparecem em Computao Grfica. Robtica: Um dos problemas fundamentais em robtica o planejamento de movimento: o rob precisa analisar o seu ambiente e descobrir uma forma de se mover de um ponto ao outro sem colidir com os objetos no ambiente. Sistemas de informaes geogrficas: Esses sistemas lidam com enormes quantidades de dados geomtricos para poder representar fielmente a geometria de estradas, rios, fronteiras, curvas de nvel, reas de vegetao, etc. Circuitos integrados: Esses circuitos so compostos por dezenas de milhares de componentes eletrnicos que no podem se sobrepor, para evitar curto-circuitos Bancos de dados: Uma consulta a bancos de dados com muitos campos numricos na verdade uma consulta multi-espacial.

Exemplos de Problemas de Geomtricos Nas figuras abaixo, a figura do lado esquerdo mostra os dados de entrada do problema e a figura do lado direito mostra a soluo. Fecho Convexo

Interseo de Polgonos

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Diagrama de Vonoi

Triangulao

Reconstruo de Curva

Teste de Convexidade

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

II. GEOMETRIA AFIM

Na Geometria Afim os conceitos de circunferncias e de ngulos so irrelevantes. Somente pontos e vetores possuem significncia. Os pontos denotam posio (o lugar geomtrico) e os vetores denotam deslocamento.

Pontos

Vetores

Convenes: Pontos: letras romanas maisculas Vetores: letras romanas minsculas e sobrepostas por flechas Escalares (nmeros reais): letra grega

Sejam dimenso n e

, e vetores, e uma escalar, temos que

pontos, todos os elementos so de mesma

Multiplicao de escalar por vetor

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Adio de vetores

Diferena entre dois pontos geram um vetor

Adio entre ponto e vetor determina outro ponto

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Combinao Linear Sejam , dizemos que onde os coeficientes, um conjunto de vetores (no colineares) em um espao vetorial uma Combinao Linear dos vetores , , so nmeros reais.

Exemplo:

A) Consideremos o espao vetorial R e os vetores Temos que o vetor uma combinao linear de e

e , j que :

Observe que

Dizemos tambm que os vetores e cannica do espao R formada pelos vetores

so bases do espao vetorial R. A base e .

B) Consideremos agora o espao vetorial R e os vetores e

Temos que o vetor

uma combinao linear de

, j que:

Observe que

Dizemos tambm que os vetores , e base cannica do espao R formada pelos vetores

so bases do espao vetorial R. A , e .

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Observe o que a dimenso do espao determina o nmero de vetores que formam a sua base, portanto se abstrassemos para um espao vetorial , seriam necessrios n vetores (no colineares) para tom-los como base desse espao.

C) Sejam valores de

, para que

e vetores em R. Determine os seja uma combinao linear de e

Dessa forma podemos montar um sistema:

Temos que: Fazendo a substituio:

Assim:

Combinao Afim Uma combinao Afim anloga a uma combinao linear, cujo somatrio de seus coeficientes igual 1.

Sejam .

um conjunto de Pontos em um espao

, dizemos que: , onde

uma Combinao Afim dos Pontos

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Exemplos: A) Sejam e Pontos em R.

Observe que estes pontos esto na reta y = x 1.

1) Tomando quaisquer dois nmeros reais cujo somatrio d 1 e associando-os aos pontos e , temos um terceiro ponto nesta reta. Tomemos . Observe que o ponto um ponto da reta y = x 1. e , ento:

2) Tomando dois nmeros reais positivos cujo somatrio d 1 e associando-os aos pontos e , temos um outro ponto nesta reta, no entanto, este ponto fica entre os pontos e . Dizemos assim que este ponto faz parte do Fecho Convexo. Tomemos . e , ento:

Catiscia A. B. Borges e Sueni de S. Arouca

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

B) pontos ,

Sejam e

Pontos em R, o ponto uma combinao afim dos .

e faz parte do fecho convexo, pois

Fecho Convexo (Regio Azul)

C) Sejam

pontos em R.

Sabemos que por uma reta passem infinitos planos, no entanto tomemos o plano x + y + z 4 = 0, para verificarmos que todo ponto gerado pela combinao afim dos pontos tambm pertence a este plano.

Observe que o ponto j que 1 + 3 + 0 4 = 0.

esta no plano x + y + z 4 = 0,

D) Sejam determinar um ponto,

, eqidistante aos trs.

pontos em R,

Antes de determinar o ponto vamos determinar o plano que contem estes pontos para verificarmos que o novo ponto pertence ao plano formado pelos pontos , e . A determinao de um plano pode ser feita de vrias maneiras, no entanto as mais conhecidas so: por construo de vetores; por sistemas do primeiro grau com trs variveis.
Catiscia A. B. Borges e Sueni de S. Arouca 10

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Determinao de um plano por de vetores Queremos encontrar valores para a, b, c e d, tais que ax + by + cz + d = 0 (equao do plano). Vimos que a diferena entre dois pontos forma um vetor, desta forma vamos construir dois vetores baseados nos pontos , e , estes vetores determinam a inclinao do plano .

O determinando da matriz M (definida abaixo) define os coeficientes a, b e c, desta forma falta apenas determinar o valor de d.

Os coeficientes de i, j e k so equivalentes aos coeficientes a, b e c, respectivamente e determinam o vetor de coeficientes.

Agora basta determinar o valor de d. Tomemos o ponto (x , y , z) um ponto qualquer do plano e um ponto j conhecido deste plano, , por exemplo. A diferena entre eles determina outro vetor deste plano.

O produto vetorial entre e

igualado a zero determina a equao do plano.

(Equao do plano)

Catiscia A. B. Borges e Sueni de S. Arouca

11

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Determinao de um plano por um sistema possvel e indeterminado Sabemos que os pontos , e , so pontos pertencentes ao plano que desejamos encontrar, ento vamos substituir as coordenadas destes pontos na equao do plano . I II III

Isolando d temos: I II III

De I e II temos:

IV

De I e III temos:

Substituindo IV e V em I temos:

VI

Catiscia A. B. Borges e Sueni de S. Arouca

12

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

Como este um sistema possvel e indeterminado, ou seja, possui inmeras solues. Suponhamos um valor para o coeficiente a e assim podemos determinar os demais. Considerando De IV temos De V temos De VI temos , temos:

Assim temos a equao do plano:

Determinemos agora o ponto

equidistante a

Como temos trs pontos, basta multiplicar cada ponto por

, assim:

Observe que:

Catiscia A. B. Borges e Sueni de S. Arouca

13

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

III. GEOMETRIA EUCLIDIANA

a geometria sobre planos ou objetos em trs dimenses baseados nos postulados de Euclides de Alexandria. A geometria euclidiana uma extenso da geometria afim, que inclui o operador de produto interno, a geometria afim no trata questes como distncia e ngulos.

Produto Interno um operador que mapeia um par de vetores em um escalar (nmero real).

Exemplo: A) Sejam determinado por: e vetores em R. O produto vetorial entre e

B) Sejam entre e determinado por:

vetores em R. O produto vetorial

O Comprimento de um vetor, ou mdulo de um vetor, determinado pela raiz quadrada do produto vetorial dele com ele mesmo.

Exemplo: A) Seja um vetor em R. O mdulo de determinado por:

B)

Seja

um vetor em R. O mdulo de

determinado por:

Catiscia A. B. Borges e Sueni de S. Arouca

14

CENTRO UNIVERSITRIO CARIOCA

GEOMETRIA COMPUTACIONAL - INF A14

C) Para determinar a distncia entre dois pontos, basta calcular o mdulo do vetor formado pelas diferenas entre os pontos. Sejam determinada por: e pontos em R. A distncia entre e

Sejam determinada por:

pontos em R. A distncia entre

Observao: Quando temos dois pontos direto a distncia entre eles. e , determinamos de modo

ngulos entre dois pontos A) Sejam e vetores e o ngulo entre eles. Para determinarmos o valor de consideremos o vetor diferena entre eles, dessa forma temos um triangulo.

Aplicando a lei do cosseno temos:

Catiscia A. B. Borges e Sueni de S. Arouca 15