Algorithms and Data Structures With Applications to Graphics and Geometry, 2011a
Algorithms and Data Structures With Applications to Graphics and Geometry, 2011a
Algorithms and Data Structures With Applications to Graphics and Geometry, 2011a
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
χ
∧ ∨ ∈ ∉ ∩ ∪ <br />
= <br />
<br />
<br />
⊃ ⊇ ⊄ ⊂ ⊆<br />
<br />
∞
± <br />
<br />
<br />
∑∏<br />
⎡⎤<br />
⎣⎦<br />
√<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∧ ∨ <br />
∧ ∨<br />
<br />
∧<br />
<br />
∨
**************** k blanks followed by k stars<br />
******** ******** twice (k/2 blanks followed by k/2 stars)<br />
**** **** **** **** …<br />
** ** ** ** ** ** ** ** continue doubling <strong>and</strong> halving<br />
* * * * * * * * * * * * * * * * down <strong>to</strong> runs length of 1.
E<br />
T<br />
T<br />
F F F<br />
# á # + #
⇒
⇐
⊃<br />
⊃
⇔
∪ <br />
∩ <br />
¬
∈<br />
<br />
<br />
<br />
∩ <br />
∩<br />
<br />
<br />
∩<br />
<br />
<br />
<br />
<br />
<br />
∩<br />
<br />
<br />
<br />
<br />
<br />
∩<br />
∩<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∩
∩<br />
<br />
<br />
∩
∧∀
∀∧∧ ∧ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∀
A[m] < x<br />
If<br />
x < A[m]<br />
m<br />
x cannot lie in<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∧∀∧∀<br />
<br />
<br />
<br />
<br />
<br />
<br />
∧∀∧∀<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
m
∀∀ <br />
⇒∧⇒∗)<br />
<br />
∧∧<br />
<br />
∨ <br />
<br />
∨) ⇒ ∀ ∀<br />
<br />
<br />
<br />
Θ
⇒
⇒ <br />
<br />
∃⇒<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
⇒ <br />
<br />
⇒ <br />
<br />
⇒ <br />
⇒ <br />
<br />
⇒ <br />
<br />
⇒ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
⇒<br />
∃⇒
λ⊆ <br />
∈ <br />
∈ <br />
<br />
→ <br />
<br />
<br />
⊆ <br />
→ <br />
<br />
<br />
⊆ <br />
∈
0<br />
1<br />
2<br />
3<br />
4<br />
5<br />
6<br />
7<br />
8<br />
( ) : , ; L D !<br />
0 0 0 0 0 0 0 0 0<br />
1 2 0 0 0 0 0 0 0<br />
2 0 0 0 0 0 3 0 0<br />
4<br />
4<br />
5<br />
7<br />
7<br />
8<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
8<br />
8<br />
0<br />
5<br />
5<br />
0<br />
0<br />
0<br />
0<br />
2<br />
2<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
2<br />
2<br />
0<br />
3<br />
0<br />
6<br />
6<br />
0<br />
0<br />
3<br />
0<br />
0<br />
6<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
0<br />
error state<br />
skip blank<br />
left parenthesis read<br />
reading variable identifier<br />
skip blank<br />
colon read<br />
reading type identifier<br />
skip blank<br />
right parenthesis read
⊆ ξ <br />
→ <br />
ξ <br />
<br />
→<br />
<br />
⇒<br />
⇒<br />
→ → → →⇒ <br />
⇒∗
⇒<br />
∗ <br />
<br />
1<br />
2<br />
3<br />
4<br />
<br />
⊆ ξ <br />
<br />
<br />
<br />
<br />
<br />
<br />
5<br />
ξ <br />
<br />
<br />
<br />
1<br />
2<br />
3<br />
4<br />
5<br />
A<br />
T<br />
T<br />
T T<br />
T<br />
T<br />
1 2 3 4 5<br />
1<br />
2<br />
3<br />
4<br />
5<br />
C<br />
T T T T T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
T<br />
1 2 3 4 5<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∗<br />
<br />
<br />
<br />
<br />
<br />
<br />
∗∗
∗ = <br />
<br />
<br />
<br />
<br />
<br />
ξ<br />
Θ <br />
Θ Θ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
→<br />
⇒<br />
⇒<br />
<br />
⇒
Θ Θ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
ξ
→
∅ <br />
<br />
<br />
∪<br />
<br />
<br />
<br />
∉<br />
<br />
<br />
<br />
∉∉∉<br />
∪<br />
∉<br />
∉<br />
<br />
<br />
<br />
∉ ∈<br />
∪<br />
<br />
<br />
∉ <br />
∉ <br />
<br />
∈ ∈ <br />
∈ <br />
<br />
<br />
⊆ <br />
<br />
∈ <br />
<br />
∈ <br />
∈
∗∗∗
⎣⎦<br />
⎣⎦⎣⎦<br />
⎡⎤<br />
<br />
<br />
<br />
<br />
π
√<br />
√<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
√
⇔ <br />
⇔ <br />
⇔
∈
→
→ <br />
<br />
<br />
x<br />
f(x i )<br />
x i+1<br />
x i
p<br />
L<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
× <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∪∪
∩ <br />
<br />
<br />
<br />
<br />
<br />
∈<br />
<br />
∈<br />
<br />
∈<br />
<br />
∈
Δ ΔΔ Δ
Δ<br />
ΔΔ<br />
∗<br />
<br />
∗<br />
Δ ΔΔ Δ<br />
<br />
Δ ΔΔ Δ<br />
<br />
ΔΔ <br />
<br />
ΔΔ
Δ<br />
<br />
ΔΔ<br />
<br />
<br />
ΔΔ
∈<br />
<br />
∈ <br />
∈ <br />
∈
∈ <br />
<br />
<br />
<br />
<br />
∈
y<br />
g 1<br />
><br />
g 2<br />
g g g 1 2 1<br />
= g g 2 1<br />
< g 2<br />
x<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
31<br />
29<br />
27<br />
25<br />
23<br />
21<br />
19<br />
17<br />
15<br />
13<br />
11<br />
9<br />
y<br />
(3x + 40) div 5<br />
2 4 6 8 10 12 14 16 18 20 22 24 26 30 32 34 36 38<br />
<br />
<br />
<br />
<br />
(2x + 20) div 3<br />
<br />
x
y<br />
0.47<br />
0.45<br />
0.43<br />
0.41<br />
0.39<br />
0.37<br />
4. 3 ×ξ<br />
8. 3<br />
1. 4 ×ξ<br />
2. 7<br />
0.73 0.77 0.81 0.85 0.89 0.93<br />
<br />
x
∗
⇔
program counter<br />
Executing instruction 13 sets<br />
cell 0 <strong>to</strong> 0, <strong>and</strong> increments<br />
the program counter.<br />
14<br />
13<br />
.<br />
.<br />
.<br />
2<br />
1<br />
0<br />
STJ 0, 0, 14<br />
1<br />
0
∗ ∗ <br />
<br />
∗ <br />
<br />
<br />
<br />
<br />
<br />
<br />
→ <br />
→
1 2 3 4<br />
f 1<br />
f 1<br />
(1) f 1<br />
(2) f 1<br />
(3) f 1<br />
(4)<br />
. . .<br />
f 2<br />
f 2<br />
(1) f 2<br />
(2) f 2<br />
(3) f 2<br />
(4)<br />
f 3<br />
f 3<br />
(1) f 3<br />
(2) f 3<br />
(3) f 3<br />
(4)<br />
f 4<br />
f 4<br />
(1) f 4<br />
(2) f 4<br />
(3) f 4<br />
(4)<br />
.<br />
→ <br />
<br />
→
×<br />
<br />
Θ <br />
<br />
<br />
× <br />
× <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
× <br />
<br />
<br />
× × <br />
× <br />
× <br />
<br />
<br />
× × <br />
<br />
× <br />
×
× <br />
Θ <br />
<br />
≈ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
α(<br />
ααα→<br />
→
× <br />
<br />
× <br />
<br />
× <br />
<br />
<br />
<br />
<br />
Θ
Ω∴Θ
Ω Θ<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Θ<br />
Θ <br />
Θ Θ
→ → <br />
<br />
<br />
→ <br />
→ <br />
ΩΘ ∈ <br />
<br />
ΩΘ<br />
<br />
∃∃<br />
∃> ∃ <br />
∈ ∀<br />
<br />
→ <br />
<br />
→| ∃> 0, ∃ ∈∀≥ <br />
∈→<br />
Ω<br />
Ω→⎟∃ ∈,∀ <br />
∈→<br />
Θ<br />
Θ∩ Ω<br />
∈ Θ→<br />
<br />
∈→<br />
∈
y<br />
f(x)<br />
<br />
<br />
<br />
<br />
<br />
−1 ξ ν<br />
x
∗<br />
<br />
<br />
<br />
<br />
∗∗)<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∗∗)<br />
∈
ε <br />
<br />
<br />
∈ ∈
∈
∈ Θ<br />
<br />
<br />
<br />
<br />
<br />
∈ Θ <br />
<br />
<br />
<br />
<br />
<br />
√
Ω<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∀∀∈<br />
∀∀∈∧⇒<br />
∀∀∈∧⇒<br />
∀∀∈⇒∨
∃∧<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Ω<br />
<br />
<br />
Ω <br />
Θ
Θ Θ
Θ <br />
<br />
Θ <br />
Ω
ΘΘ
Θ <br />
Ω<br />
<br />
<br />
<br />
<br />
<br />
<br />
Ω
Ω<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∗ (∗)
⇒<br />
<br />
<br />
<br />
<br />
⇒⇒
Θ<br />
<br />
∗<br />
<br />
<br />
<br />
Θ
Θ<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
⎡ ⎤
∗
Θ<br />
<br />
Θ<br />
<br />
Ω<br />
<br />
<br />
<br />
Θ<br />
<br />
<br />
ΘΘ<br />
<br />
Ω <br />
<br />
<br />
<br />
ΘΘ<br />
Ω
c 1<br />
c 2<br />
c 3<br />
c 4<br />
c 5
Θ
∈ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Θ
∗ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∗
∈ λ<br />
∈ <br />
<br />
<br />
×<br />
<br />
<br />
<br />
∀∈∀∈<br />
<br />
<br />
⇒<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∈<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∀∈∀∈
∈ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
→→ <br />
<br />
<br />
→<br />
→<br />
→<br />
∈×→<br />
→<br />
→<br />
<br />
→<br />
<br />
<br />
∀∈∀∈<br />
<br />
<br />
⇒
⇒<br />
⇒<br />
<br />
⇒<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
→<br />
→<br />
→<br />
×→<br />
→<br />
→<br />
∀∈∀∈<br />
<br />
<br />
⇒
∈<br />
<br />
→<br />
→<br />
×→<br />
→<br />
→<br />
<br />
<br />
∀∈∀∈<br />
<br />
<br />
<br />
<br />
⇒<br />
<br />
⇒
∈ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∈<br />
<br />
→<br />
→<br />
×→<br />
→<br />
→<br />
∈
∀∈∀∈<br />
<br />
<br />
<br />
<br />
⇒<br />
<br />
⇒<br />
<br />
<br />
<br />
∈ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∈ <br />
<br />
→<br />
×→<br />
×→<br />
×→
∀∈∀∈<br />
<br />
<br />
<br />
⇒<br />
<br />
<br />
⇒<br />
∈ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
⇒<br />
<br />
⇒<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∈
×→<br />
×→<br />
×→<br />
×→∪<br />
×→∪<br />
∀∈∀∈<br />
<br />
<br />
⇒<br />
<br />
<br />
⇒<br />
<br />
<br />
⇒<br />
⇒<br />
⇒<br />
⇒<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∈ <br />
<br />
→<br />
×→<br />
→<br />
→<br />
→<br />
×→
× → <br />
× → <br />
<br />
<br />
<br />
<br />
× → <br />
<br />
<br />
→ <br />
<br />
<br />
<br />
<br />
∀∈∀∈<br />
<br />
<br />
<br />
⇒<br />
<br />
⇒<br />
<br />
<br />
<br />
⇒<br />
⇒<br />
⇒<br />
<br />
∀∈∀∈<br />
<br />
⇒<br />
⇒<br />
<br />
<br />
⇒<br />
<br />
∀∈<br />
<br />
⇒<br />
<br />
∀∈
⇒<br />
<br />
νε
×
×
1<br />
2<br />
5<br />
9<br />
3<br />
6<br />
7<br />
19 10 8 4 13
× <br />
<br />
<br />
<br />
<br />
<br />
×
∀ ∀ ∈∀ ∈
[ ]<br />
[ [
∃∀ ∀ <br />
∈ ∉ <br />
∈
otation<br />
b<br />
a<br />
a<br />
b<br />
X<br />
Y<br />
Z<br />
X<br />
Y<br />
Z<br />
<br />
<br />
<br />
rotation<br />
b<br />
a<br />
a<br />
b<br />
X<br />
Y<br />
Z<br />
X Y Z<br />
<br />
<br />
<br />
double rotation<br />
c<br />
b<br />
a<br />
a c<br />
b<br />
W<br />
Z W X Y Z<br />
X Y
⎣ ⎦
Θ (ν •λογ ν)
∈
λ <br />
λ λ
∈
δ <br />
δ<br />
<br />
<br />
<br />
δ
λ
λ<br />
λ λ<br />
λ<br />
<br />
λ λ <br />
λ <br />
<br />
<br />
<br />
<br />
<br />
λμμ<br />
λμλ
λ<br />
λ<br />
<br />
<br />
<br />
<br />
λ <br />
λ
⇔ ∈<br />
<br />
<br />
<br />
<br />
<br />
∉
Γ<br />
<br />
∈ Γ∈ <br />
∈ Γ<br />
Γ
∈ Γ ∈
∉
αα <br />
π
∈ <br />
<br />
<br />
∈
∈ <br />
∈ Θαα<br />
<br />
α
≤ <br />
≤ ≤ ≤ <br />
≤ ≤ <br />
≤ ≤ <br />
<br />
<br />
<br />
<br />
<br />
<br />
≥
α<br />
α<br />
α<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
Ω<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
π<br />
<br />
<br />
<br />
<br />
<br />
Θ
Ω<br />
Θ
Θ
∈ Θ <br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
∈
∈
Θ <br />
<br />
<br />
<br />
<br />
<br />
∈
δ <br />
<br />
<br />
<br />
<br />
<br />
<br />
Ω<br />
<br />
<br />
<br />
<br />
<br />
Θ
δ <br />
<br />
<br />
δ. <br />
<br />
δ<br />
<br />
δ <br />
<br />
<br />
<br />
<br />
<br />
<br />
δ <br />
δ<br />
δ <br />
δ
δ
δ<br />
δ δ<br />
δ <br />
<br />
δ<br />
<br />
<br />
<br />
<br />
<br />
δ
δ δδ<br />
δ <br />
<br />
δ <br />
<br />
<br />
Ω<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
δ<br />
δ <br />
δδ<br />
δ<br />
<br />
δ<br />
<br />
δ
δ<br />
δ<br />
δ <br />
<br />
δδ δ <br />
<br />
<br />
<br />
<br />
<br />
δ <br />
δ<br />
δ<br />
δδ