Universal Cover
For any connected graph G, it is possible to construct its universal covering graph. This is an instance of the more general universal cover concept from topology; the topological requirement that a universal cover be simply connected translates in graph-theoretic terms to a requirement that it be acyclic and connected; that is, a tree. The universal covering graph is unique (up to isomorphism). If G is a tree, then G itself is the universal covering graph of G. For any other finite connected graph G, the universal covering graph of G is a countably infinite (but locally finite) tree.
The universal covering graph T of a connected graph G can be constructed as follows. Choose an arbitrary vertex r of G as a starting point. Each vertex of T is a non-backtracking walk that begins from r, that is, a sequence w = (r, v1, v2, ..., vn) of vertices of G such that
- vi and vi+1 are adjacent in G for all i, i.e., w is a walk
- vi-1 ≠ vi+1 for all i, i.e., w is non-backtracking.
Then, two vertices of T are adjacent if one is a simple extension of another: the vertex (r, v1, v2, ..., vn) is adjacent to the vertex (r, v1, v2, ..., vn-1). Up to isomorphism, the same tree T is constructed regardless of the choice of the starting point r.
The covering map f maps the vertex (r) in T to the vertex r in G, and a vertex (r, v1, v2, ..., vn) in T to the vertex vn in G.
Read more about this topic: Covering Graph
Famous quotes containing the words universal and/or cover:
“A universal and perpetual peace, it is to be feared, is in the catalogue of events which will never exist but in the imaginations of visionary philosophers, or in the breasts of benevolent enthusiasts.”
—James Madison (17511836)
“He is a stranger to me but he is a most remarkable manand I am the other one. Between us, we cover all knowledge; he knows all that can be known and I know the rest”
—Mark Twain [Samuel Langhorne Clemens] (18351910)