Graph Theory
Here is a glossary of Graph Theory from Wikipedia. You can download flashcards to use with Anki. I also recommend the GraphBook for further studying. The source code is on github.
anti-edgeAn edge that "is not there". More formally, for two vertices and , is an anti-edge in a graph if is not an edge in . This means that there is either no edge between the two vertices or there is only an edge from to if is directed.
anti-triangleA set of three vertices none of which are connected.
adjacency matrixIn computers, a finite, directed or undirected graph (with n vertices, say) is often represented by its adjacency matrix: an n-by-n matrix whose entry in row i and column j gives the number of edges from the i-th to the j-th vertex.
adjacentTwo vertices u and v are considered adjacent if an edge exists between them. We denote this by u ↓ v. In the above graph, vertices 1 and 2 are adjacent, but vertices 2 and 4 are not. The set of neighbors, called a (open) neighborhood NG(v) for a vertex v in a graph G, consists of all vertices adjacent to v but not including v. When v is also included, it is called a closed neighborhood, denoted by NG[v]. When stated without any qualification, a neighborhood is assumed to be open. The subscript G is usually dropped when there is no danger of confusion. In the example graph, vertex 1 has two neighbors: vertices 2 and 5. For a simple graph, the number of neighbors that a vertex has coincides with its degree.
biconnected componentA maximal set of edges in which any two members lie on a common simple cycle.
blockEither a maximally 2-connected subgraph or a bridge with its endvertices.
bondA minimal (but not necessarily minimum), nonempty set of edges whose removal disconnects a graph.
color, colored, identifiedNodes or edges which are considered as individuals. Although they may actually be rendered in diagrams in different colors, working mathematicians generally pencil in numbers or letters.
complementof a graph G is a graph with the same vertex set as G but with an edge set such that xy is an edge in if and only if xy is not an edge in G.
connectivityextends the concept of adjacency and is essentially a form (and measure) of concatenated adjacency.
crossingA pair of intersecting edges.
cutA partition of the vertices of a graph into two disjoint subsets.
cut setA set of vertices whose removal disconnects the graph.
degree sequenceA list of degrees of a graph in non-increasing order (e.g. d1 ≥ d2 ≥ … ≥ dn). A sequence of non-increasing integers is realizable if it is a degree sequence of some graph.
diagramA visible rendering of the abstract concept of a graph.
directedA graph in which each edge symbolizes an ordered, non-transitive relationship between two nodes. Such edges are rendered with an arrowhead at one end of a line or arc.
directed graphA graph whose edges are directed, possibly represented as ordered pairs of vertices; synonyms: digraph. Alternative models of graph exist; e.g., a graph may be thought as a Boolean binary function over the set of vertices or as a square (0,1)-matrix.
disconnecting setA set of edges whose removal increases the number of components.
distancedG(u, v) between two (not necessary distinct) vertices u and v in a graph G is the length of a shortest path between them. The subscript G is usually dropped when there is no danger of confusion. When u and v are identical, their distance is 0. When u and v are unreachable from each other, their distance is defined to be infinity ∞.
edgeA set of two elements, drawn as a line connecting two vertices, called endvertices, or endpoints. An edge with endvertices x and y is denoted by xy without any symbol in between, so, do not write x⋅y. The edge set of G is usually denoted by E(G), or E when there is no danger of confusion.
edge, link, arcRelationships represented in a graph. These are always rendered as straight or curved lines. The term "arc" may be misleading.
edgeless graph(empty graph) A graph possibly with some vertices, but no edges. Or, it is a graph with no vertices and no edges.
embeddableA graph is embeddable on a surface if its vertices and edges can be arranged on it without any crossing. The genus of a graph is the lowest genus of any surface on which the graph can embed.
embeddingof is an injection from to such that every edge in corresponds to a path(disjoint from all other such paths) in .
Eulerian cycleA closed walk which uses each edge precisely once.
Eulerian digraphA digraph with equal in- and out-degrees at every vertex.
Eulerian pathA path which passes through every edge (once and only once). If the starting and ending nodes are the same, it is an Euler cycle or an Euler circuit. If the starting and ending nodes are different, it is an Euler trail.
Eulerian pathA graph is a walk that uses each edge precisely once; that is, a trail that uses all the edges. If such a trail exists, the graph is called traversable.
even cycleA cycle that has an even length.
graph, networkAn abstraction of relationships among objects. Graphs consist exclusively of nodes and edges. All characteristics of a system are either eliminated or subsumed into these elements.
graphA mathematical structure costiting of two types of elements, namely vertices and edges. Every edge has two endpoints in the set of vertices, ans is said to connect or join the two endpoints. The set of edges can thus be defined as a subset of the family of all two-element sets of vertices. Often, however, the set of vertices is considered as a set, and there is an incidence relation which maps each edge to the pair of vertices that are its endpoints.
graph invariantA property of a graph G, usually a number or a polynomial, that depends only on the isomorphism class of G; examples are genus and graph order.
graph labelingThe assignment of unique labels (usually natural numbers) to the edges and vertices of a graph. Graphs with labeled edges or vertices are known as labeled, those without as unlabeled. More specifically, graphs with labeled vertices only are vertex-labeled, those with labeled edges only are edge-labeled. (This usage is to distinguish between graphs with identifiable vertex or edge sets on the one hand, and isomorphism types or classes of graphs on the other.)
Hamiltonian cycleA spanning cycle.
Hamiltonian pathA path which passes through every node once and only once. If the starting and ending nodes are adjacent, it is a Hamiltonian cycle.
Hamiltonian pathA spanning path.
Hamiltonian connected graphA graph that, given any pair of (distinct) vertices, contains a Hamiltonian path using them as endvertices.
hyperedgeAn edge that is allowed to take on any number of vertices, possibly more than 2. A graph that allows any hyperedge is called a hypergraph. A simple graph can be considered a special case of the hypergraph, namely the 2-uniform hypergraph. However, when stated without any qualification, an edge is always assumed to consist of at most 2 vertices, and a graph is never confused with a hypergraph.
in degree in-neighborhoodThe number of edges entering a vertex. Is denoted as dΓ-(v). The degree dΓ(v) of a vertex v is equal to the sum of its out- and in- degrees. When the context is clear, the subscript Γ can be dropped. Maximum and minimum out degrees are denoted by Δ+(Γ) and δ+(Γ); and maximum and minimum in degrees, Δ-(Γ) and δ-(Γ).(predecessor set) N-Γ(v) of a vertex v is the set of heads of arc going into v.
independentIn graph theory, the word independent usually carries the connotation of pairwise disjoint or mutually nonadjacent. In this sense, independence is a form of immediate nonadjacency.
independent setA set of isolated vertices. Since the graph induced by any independent set is an empty graph, the two terms are usually used interchangeably. In the example above, vertices 1, 3, and 6 form an independent set; and 3, 5, and 6 form another one.
induced subgraphA subgraph H of a graph G is said to be induced if, for any pair of vertices x and y of H, xy is an edge of H if and only if xy is an edge of G. In other words, H is an induced subgraph of G if it has the most edges that appear in G over the same vertex set. If H is chosen based on a vertex subset S of V(G), then H can be written as G[S] and is said to be induced by S.
isomorphicTwo graphs G and H are said to be isomorphic, denoted by G ~ H, if there is a one-to-one correspondence, called an isomorphism, between the vertices of the graph such that two vertices are adjacent in G if and only if their corresponding vertices are adjacent in H.
length of a cycleThe number of its edges. Cn has length n. A cycle, unlike a path, is not allowed to have length 0.
linkhas two distinct endvertices.
digonA cycle of length 2. In the example graph, (1, 2, 3, 4, 5, 1) is a cycle of length 5.
loopAn edge whose endvertices are the same vertex.
loop, cycleA path which ends at the node where it began.
matching numberα′(G) of a graph G is a the size of a largest matching, or pairwise vertex disjoint edges, of G.
maximum degreeΔ(G) of a graph G, the largest degree over all vertices; the minimum degree δ(G), the smallest.
minorof is an injection from to such that every edge in corresponds to a path(disjoint from all other such paths) in such that every vertex in is in one or more paths, or is part of the injection from to . This can alternatively be phrased in terms of contractions, which are operations which collapse a path and all vertices on it into a single edge (see edge contraction).
multipleA set of arcs are multiple, or parallel, if they share the same head and the same tail. A pair of arcs are anti-parallel if one's head/tail is the other's tail/head.
multipartite graphA graph that can be decomposed into an unspecific number of partite sets but not fewer.
null graphThe graph with no vertices and no edges. Or, it is a graph with no edges and any number of vertices, in which case it may be called the null graph on vertices. (There is no consistency at all in the literature.)
odd cycleA cycle that has odd length.
orderThe order of a graph is the number of its vertices, i.e. |V(G)|.
out-neighborhood(successor set) N+Γ(v) of a vertex v is the set of tails of arcs going from v.
outer faceFurthermore, since we can establish a sense of "inside" and "outside" on a plane, we can identify an "outermost" region that contains the entire graph if the graph does not cover the entire plane. Such outermost region is called an outer face.
pathA route that does not pass any edge more than once. If the path does not pass any node more than once, it is a simple path.
pathIn a graph was what is now usually known as an open walk. Nowadays, when stated without any qualification, a path of n vertices, denoted by Pn (but some write Pn-1), is usually defined to be a simple path or a simple trail in the old sense, meaning that every vertex is incident to at most two edges.
planar graphA graph that can be drawn on the (Euclidean) plane without any crossing; a graph of genus 0.
plane graphA graph that is drawn on the (Euclidean) plane without any crossing.
point, node, vertexObjects ("things") represented in a graph. These are almost always rendered as round dots.
k-th powerGk of a graph G is a supergraph formed by adding an edge between all pairs of vertices of G with distance at most k. A second power of a graph is also called a square.
radiusThe minimum eccentricity over all vertices in a graph. It is denoted rad(G) of a graph G. When there are two components in G, diam(G) and rad(G) defined to be infinity ∞.
routeA sequence of edges and nodes from one node to another. Any given edge or node might be used more than once.
simpleA digraph is called simple if it has no loops and at most one arc between any pair of vertices. When stated without any qualification, a digraph is usually assumed to be simple.
size of a graphThe number of its edges, i.e. |E(G)|.
k-spannerA spanning subgraph in which every two vertices are at most k times as far apart on S than on G. The number k is the dilation. k-spanner is used for studying geometric network optimization.
spanning subgraphA subgraph H of a graph G such that it has the same vertex set as G. We say H spans G.
starA special kind of tree called star is K1,k; see also claw.
spanning matchingA matching that covers all vertices of a graph.
strongly regular graphA regular graph such that any adjacent vertices have the same number of common neighbors as other adjacent pairs and that any nonadjacent vertices have the same number of common neighbors as other nonadjacent pairs.
traceable pathA spanning path.
tripartite graphA graph that can be decomposed into three partite sets but not fewer.
undirected edgeAn edge that disregards any sense of direction and treats both endvertices interchangeably.
undirectedA graph in which each edge symbolizes an unordered, transitive relationship between two nodes. Such edges are rendered as plain lines or arcs.
unicyclic graphA graph that contains exactly one cycle.
unidentifiedNodes or edges which are not considered as individuals. Only the way in which they connect to the rest of the graph characterize unidentified nodes and edges.
unweightedA graph in which all the relationships symbolized by edges are considered equivalent. Such edges are rendered as plain lines or arcs.
vertexA basic element of a graph, drawn as a node or a dot. The vertex set of G is usually denoted by V(G), or V when there is no danger of confusion.
walkAn alternating sequence of vertices and edges, beginning and ending with a vertex, in which each vertex is incident to the two edges that precede and follow it in the sequence, and the vertices that precede and follow an edge are the endvertices of that edge. A walk is closed if its first and last vertices are the same, and open if they are different.
weightedWeighted edges symbolize relationships between nodes which are considered to have some value, for instance, distance or lag time. Such edges are usually annotated by a number or letter placed beside the edge. Weighted nodes also have some value; this must be distinguished from identification.
weighted graphA graph that associates a label (weight) with every edge in the graph. Weights are usually real numbers. They may be restricted to rational numbers or integers. Certain algorithms require further restrictions on weights; for instance, the Dijkstra algorithm works properly only for positive weights.
Wiener index of a vertexv in a graph G, denoted by WG(v) is the sum of distances between v and all others.
Wiener index of a graphG, denoted by W(G), is the sum of distances over all pairs of vertices.
Wiener polynomial of an undirected graphΣ qd(u,v) over all unordered pairs of vertices u and v.