2014-01-25 04:44:35 +00:00
|
|
|
---
|
|
|
|
format: markdown
|
|
|
|
toc: yes
|
|
|
|
title: Computational Geometry Study Notes
|
|
|
|
...
|
|
|
|
|
|
|
|
# Texts
|
|
|
|
|
2014-01-25 06:23:09 +00:00
|
|
|
- *Discrete and Computational Geometry*, Devadoss
|
2014-01-25 04:44:35 +00:00
|
|
|
|
|
|
|
# Reading Notes
|
|
|
|
|
|
|
|
## *Devadoss*, 24 Jan 2014
|
|
|
|
|
|
|
|
Computational Geometry is *discrete* rather than *continuous*
|
|
|
|
|
|
|
|
Fundamental building blocks are the *point* and line *segment*.
|
|
|
|
|
|
|
|
*polygon*
|
2014-01-25 06:23:09 +00:00
|
|
|
: the closed region of the plane bounded by a finite collection of
|
|
|
|
line segments forming a closed curve that does not intersect
|
|
|
|
itself. The segments are called *edges* and the points where they meet
|
|
|
|
are *vertices*. The set of vertices and edges is the *boundary*.
|
2014-01-25 04:44:35 +00:00
|
|
|
|
|
|
|
**Theorem 1.1: Polygonal Jordan Curve**
|
2014-01-25 06:23:09 +00:00
|
|
|
:The boundary $\partial P$ of a polygon $P$ partitions the plane into
|
|
|
|
two parts. In particular, the two components of $\Bbb{R}^2\setminus
|
|
|
|
\partial P$ are the bounded interior and the unbounded exterior.
|
2014-01-25 05:59:02 +00:00
|
|
|
|
2014-01-25 06:23:09 +00:00
|
|
|
A point $x$ is *interior* if a ray through it in a fixed direction not
|
|
|
|
parallel to an edge passes through an odd number of edges.
|
2014-01-25 05:59:02 +00:00
|
|
|
|
2014-01-25 06:29:50 +00:00
|
|
|
A point $x$ is *exterior* if a ray through it ... etc ... through an
|
2014-01-25 06:23:09 +00:00
|
|
|
even number of edges.
|