Any 3-connected planar graph can be drawn in the plane such that for every pair of vertices s and t a distance decreasing path can be found. A path s=v
1,v
2,…,v
k
=t in a drawing is said to be distance decreasing if ‖v
i
−t‖<‖v
i−1−t‖,2≤i≤k where ‖…‖ denotes the Euclidean distance.
A partitioning of the edges of a triangulation G into 3 trees, called the realizer of G, was first developed by Schnyder who also gave a drawing algorithm based on this. We generalize Schnyder’s algorithm to obtain
a whole class of drawings of any given triangulation G. We show, using the Knaster–Kuratowski–Mazurkiewicz Theorem, that some drawing of G belonging to this class is greedy.
No hay comentarios:
Publicar un comentario
Nota: solo los miembros de este blog pueden publicar comentarios.