
In
graph drawing
Graph drawing is an area of mathematics and computer science combining methods from geometric graph theory and information visualization to derive two-dimensional depictions of graphs arising from applications such as social network analysis, car ...
, the angular resolution of a drawing of a graph is the sharpest angle formed by any two edges that meet at a common vertex of the drawing.
Properties
Relation to vertex degree
observed that every straight-line drawing of a graph with maximum degree has angular resolution at most : if is a vertex of degree , then the edges incident to partition the space around into wedges with total angle , and the smallest of these wedges must have an angle of at most . More strongly, if a graph is -
regular
The term regular can mean normal or in accordance with rules. It may refer to:
People
* Moses Regular (born 1971), America football player
Arts, entertainment, and media Music
* "Regular" (Badfinger song)
* Regular tunings of stringed instrum ...
, it must have angular resolution less than
, because this is the best resolution that can be achieved for a vertex on the
convex hull of the drawing.
Relation to graph coloring
As showed, the largest possible angular resolution of a graph is closely related to the
chromatic number
In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices o ...
of the
square
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...
, the graph on the same vertex set in which pairs of vertices are connected by an edge whenever their distance in is at most two. If can be colored with colors, then ''G'' may be drawn with angular resolution , for any , by assigning distinct colors to the vertices of a
regular -gon and placing each vertex of close to the polygon vertex with the same color. Using this construction, they showed that every graph with maximum degree has a drawing with angular resolution proportional to . This bound is close to tight: they used the
probabilistic method
The probabilistic method is a nonconstructive method, primarily used in combinatorics and pioneered by Paul Erdős, for proving the existence of a prescribed kind of mathematical object. It works by showing that if one randomly chooses objects fr ...
to prove the existence of graphs with maximum degree whose drawings all have angular resolution
.
Existence of optimal drawings
provided an example showing that there exist graphs that do not have a drawing achieving the maximum possible angular resolution; instead, these graphs have a family of drawings whose angular resolutions tend towards some limiting value without reaching it. Specifically, they exhibited an 11-vertex graph that has drawings of angular resolution for any , but that does not have a drawing of angular resolution exactly .
Special classes of graphs
Trees
Every tree may be drawn in such a way that the edges are equally spaced around each vertex, a property known as perfect angular resolution. Moreover, if the edges may be freely permuted around each vertex, then such a drawing is possible, without crossings, with all edges unit length or higher, and with the entire drawing fitting within a
bounding box
In geometry, the minimum or smallest bounding or enclosing box for a point set in dimensions is the box with the smallest measure (area, volume, or hypervolume in higher dimensions) within which all the points lie. When other kinds of measure ...
of polynomial
area
Area is the quantity that expresses the extent of a region on the plane or on a curved surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while ''surface area'' refers to the area of an open su ...
. However, if the cyclic ordering of the edges around each vertex is already determined as part of the input to the problem, then achieving perfect angular resolution with no crossings may sometimes require exponential area.
Outerplanar graphs
Perfect angular resolution is not always possible for
outerplanar graph
In graph theory, an outerplanar graph is a graph that has a planar drawing for which all vertices belong to the outer face of the drawing.
Outerplanar graphs may be characterized (analogously to Wagner's theorem for planar graphs) by the two fo ...
s, because vertices on the convex hull of the drawing with degree greater than one cannot have their incident edges equally spaced around them. Nonetheless, every outerplanar graph of maximum degree has an outerplanar drawing with angular resolution proportional to .
Planar graphs
For
planar graph
In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cro ...
s with maximum degree , the square-coloring technique of provides a drawing with angular resolution proportional to , because the square of a planar graph must have chromatic number proportional to . More precisely, Wegner conjectured in 1977 that the chromatic number of the square of a planar graph is at most
, and it is known that the chromatic number is at most
. However, the drawings resulting from this technique are generally not planar.
For some planar graphs, the optimal angular resolution of a planar straight-line drawing is , where is the degree of the graph. Additionally, such a drawing may be forced to use very long edges, longer by an exponential factor than the shortest edges in the drawing.
used the
circle packing theorem
The circle packing theorem (also known as the Koebe–Andreev–Thurston theorem) describes the possible tangency relations between circles in the plane whose interiors are disjoint. A circle packing is a connected collection of circles (in gen ...
and
ring lemma
In the geometry of circle packings in the Euclidean plane, the ring lemma gives a lower bound on the sizes of adjacent circles in a circle packing.
Statement
The lemma states: Let n be any integer greater than or equal to three. Suppose that the ...
to show that every
planar graph
In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cro ...
with maximum degree has a planar drawing whose angular resolution is at worst an exponential function of , independent of the number of vertices in the graph.
Computational complexity
It is NP-hard to determine whether a given graph of maximum degree has a drawing with angular resolution , even in the special case that . However, for certain restricted classes of drawings, including drawings of trees in which extending the leaves to infinity produces a convex subdivision of the plane as well as drawings of planar graphs in which each bounded face is a centrally-symmetric polygon, a drawing of optimal angular resolution may be found in
polynomial time
In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by ...
.
History
Angular resolution was first defined by .
Although originally defined only for straight-line drawings of graphs, later authors have also investigated the angular resolution of drawings in which the edges are polygonal chains, circular arcs, or spline curves.
[; .]
The angular resolution of a graph is closely related to its crossing resolution, the angle formed by
crossings
Crossings may refer to:
* ''Crossings'' (Buffy novel), a 2002 original novel based on the U.S. television series ''Buffy the Vampire Slayer''
* Crossings (game), a two-player abstract strategy board game invented by Robert Abbott
* ''Crossings'' ...
in a drawing of the graph. In particular,
RAC drawing
In graph drawing, a RAC drawing of a graph is a drawing in which the vertices are represented as points, the edges are represented as straight line segments or polylines, at most two edges cross at any point, and when two edges cross they do so at ...
seeks to ensure that these angles are all
right angles, the largest crossing angle possible.
Notes
References
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
*.
{{refend
Graph drawing