bricks

advertisement
Solid-coloring of objects built from 3D bricks
Joseph O’Rourke
 “solid-coloring”
 “object”
 “brick”
 … all will be explained later
Coloring 2D Maps
 Famous 4-Color Theorem: Every map can be colored
with at most 4 colors so that any two regions that
share a positive-length boundary receive a different
color: maps may be “4-colored.”
 A much less famous 3-Color Theorem: Every map all
of whose regions are triangles may be 3-colored.
 A theorem of Sibley & Wagon: Every map all of
whose regions are parallelograms may be 3-colored.
=> Penrose tilings may be 3-colored
Complex of triangles/parallelograms
 Best to view these “maps” as complexes constructed
by gluing triangles/parallelograms whole edge-towhole edge.
 In triangle complex, dual graph has maximum
degree 3. [See next slide]
 In parallelogram complex, dual graph has
maximum degree 4.
Triangle Complex
Dual graph has maximum degree 3
Triangle Complex: 3-colorable
Sketch of proof:
Find a triangle with vertex v on the “boundary” of the complex.
There must be at least one triangle t with an “exposed” edge e.
Remove t, 3-color remainder by induction, put back.
Color t with the color not used on its at most two neighbors.
2D regions
 Triangle complex: 3-colorable.
 Parallelogram complex: 3-colorable.
 Convex-quadrilateral complex?
4 colors needed
2D vs. 3D
 2D coloring well-explored
 3D “solid coloring”: largely unexplored
Solid-coloring 3D “bricks”
 Complex built from gluing bricks of various shape types
whole face-to-whole face.
 Color each brick so that no two that share a face have the
same color.
Theorems:
 (JOR) Objects built from tetrahedra may be 4-colored.
 (JOR) Objects built from d-simplices in Rd may be
(d+1)-colored.
 Suzanne Gallagher (Smith 2003): Genus-0 (no-hole)
objects (i.e., balls) built from rectangular bricks may be
2-colored(!).
Figure in proof for tetrahedra
Identifying some tetrahedron with an exposed face.
Figure in proof of 2-colorability
(One “layer” of perhaps many)
The Unknown
 Is every object built from rectangular bricks 3-




colorable? Suzanne & JOR proved this for 1-hole
objects.
Is every object built from parallelepipeds 4colorable?
Is every zonohedron (which are all built from
parallelepipeds) 4-colorable?
How many colors are needed for objects built from
convex hexahedra?
Etc.
Four parallelepiped bricks,
needs 4 colors
Dual graph is K4
Rhombic dodecahedron
A zonohedon: 4060 bricks
How many colors needed?
That’s It!
Download