GRAPH THEORY STUDY GUIDE

1. Definitions
Definition 1 (Partition of A). A set A = A1 , ..., Ak of disjoint subsets of a set A is a partition of A if A
of all the sets Ai A and Ai 6= for every i.
Definition 2 (Vertex set). The set of vertices in a graph denoted by V (G).
Definition 3 (Edge set). The set of edges in a graph denoted by E(G).
Definition 4 (Order). the number of vertices of a graph G written |G|.
Definition 5 (Incident). A vertex v is incident with an edge e if v e, then e is an edge at v.
Definition 6 (Adjacent). Two vertices x, y of G are adjacent if xy is an edge of G.
Definition 7 (Complete). If all vertices of G are pairwise adjacent, then G is complete.
Definition 8 (Independent). A set of vertices or edges is independent if no two of its elements are adjacent.
Definition 9 (Isomorphic). We call G and H isomorphic, and write G ' H, if there exists a bijection
: V V 0 with xy E (x)(y) E 0 for all x, y in V .
Definition 10 (Property). A class of graphs that is closed under isomorphism is called a graph property.
Definition 11 (Invariant). A map taking graphs as arguments is called a graph invariant if it assigns equal
values to isomorphic graphs.
Definition 12 (Induced). If G G0 and G0 contains all the edges xy E with x, y V 0 , then G0 is an
induced subgraph of G. We say that V 0 induces G0 in G.
Definition 13 (Spanning). G0 G is a spanning subgraph of G if V 0 spans all of G or V 0 = V .
Definition 14 (Line Graph). The line graph L(G) of G is the graph of E in which x, y E are adjacent as
vertices if and only if they are adjacent as edges in G.
Definition 15 (N(G)). the set of neighbors of a vertex v.
Definition 16 (Degree). The degree (d(v)) of a vertex v is the number |E(v)| of edges at v or the number
of neighbors of v.
Definition 17 (Isolated). A vertex of degree 0 is isolated.
Definition 18 (Minimum degree). (G) is the minimum degree of G.
Definition 19 (Maximum degree). (G) = maximum degree of G.
Definition 20 (Regular). all the vertices of G have the same degree k, then G is k-regular, or regular.
P
Definition 21 (Average degree). d(G) = |V1 | vV d(v) and (G) d(G) (G).
P
Definition 22 (Number of Edges). |E| = 21 vV d(v) = 12 d(G) |V |.
Definition 23 (Path). A path is a non-empty graph P = (V, E) of the form V = {x0 , x1 , . . . , xk } and
E = {x0 x1 , . . . , xk1 xk } where the xi are all distinct.
Definition 24 (H-path). Given a graph H, we call P an H-path if P is non-trivial and meets H exactly in
its end points.
Definition 25 (Cycle). If P = x0 , ...xk1 is a path and k 3, then the graph C = P + xk1 x0 is called a
cycle.
1

Definition 26 (Girth). The minimum length of a cycle in a graph G is the girth (g(G)).
Definition 27 (Circumference). The maximum length of a cycle in G is its circumference.
Definition 28 (Chord). An edge which joins two vertices of a cycle but is not itself an edge of the cycle is
a chord of the cycle.
Definition 29 (Induced cycle). an induced cycle in G, a cycle in G forming an induced subgraph , is one
that has no chords.
Definition 30 (Distance). The distance dG (x, y) in G of two vertices x, y is the length of a shortest x y
path in G.
Definition 31 (Diameter). The greatest distance between any two vertices in G is the diameter of G,
denoted by diam G.
Definition 32 (Central). a vertex is central in G if its greatest distance from any other vertex is as small
as possible.
Definition 33 (Radius). the greatest distance between the central vertex and from any other vertex denoted
rad G where radG = minxV (G) maxyV (G) dG (x, y) where radG diamG 2radG.
Definition 34 (Walk). A walk of length k is a non-empty alternating sequence of vertices and edges in G.
Definition 35 (Connected). A non-empty graph G is called connected if any two of its vertices are linked
by a path in G.
Definition 36 (Component). A maximal connected subgraph of G is called a component.
Definition 37 (Separator). If A, B V and X V E are such that every A B path in G contains a
vertex or an edge from X, we say that X separates the set A and B in G.
Definition 38 (Cutvertex). A vertex which separates two other vertices of the same component is a cutvertex.
Definition 39 (Bridge). An edge separating its ends is a bridge.
Definition 40 (k-connected). G is called k-connected if |G| > k and GX is connected for every set X V
with |X| < k. (No vertices of G are separated by fewer than k other vertices.)
Definition 41 (Connectivity). The greatest integer k such that G is k-connected is the connectivity, (G).
Definition 42 (l-edge-connected). If |G| > 1 and G F is connected for every set F E of fewer than l
edges, then G is called l-edge-connected.
Definition 43 (Edge-connectivity). The greatest integer l such that G is l-edge-connected is (G).
Definition 44 (Forest). An acyclic, graph, one not containing any cycles is called a forest.
Definition 45 (Tree). A connected forest is called a tree.
Definition 46 (Leaf). The vertices of degree 1 of a tree.
Definition 47 (Tree-order). Writing x y for x rT y then define a partial ordering on V (T ), the tree
-order associated with T and r.
Definition 48 (Normal Tree). A rooted tree T contained in a graph G is called normal in G if the ends of
every T -path in G are comparable in the tree order of T .
Definition 49 (R-partite). A graph G = (V, E) is called r-partitie if V admits a partition into r classes
such that every edge has its ends in different classes.
Definition 50 (Complete Partite). An r-partite graph in which every two vertices from different partitions
classes are adjacent is called complete.
Definition 51 (Contraction). Let e = xy be an edge of the graph G. By G/e we denote the graph obtained
from G by contracting the edge e into a new vertex ve .

Definition 52 (Minor). If G = M X is a subgraph of another graph Y , we call X a minor of Y .

Definition 53 (Eulerian). A closed walk in a graph is an Euler tour if it traverses every edge of the graph
exactly once. Its called Eulerian if it admits an Euler tour.
Definition 54 (Vertex Space). The vertex space of G is the vector space over the 2-element field of all
functions V F2 , V(G).
Definition 55 (Edge Space). The function E F2 form the edge space of G, E(G).
Definition 56 (Cycle Space). The cycle space is the subspace of the edge space spanned by all the cycles
in G. C = C(G).
Definition 57 (Cut Space). The cut edges of G form a subspace of E(G) denoted by C (G).
Definition 58 (Hypergraph). A hypergraph is a pair (V, E) of disjoint sets, where the elements of E are
non-empty subset (of any cardinality) of V .
Definition 59 (Directed). : A directed graph is a pair (V, E) of disjoint set (of vertices and edges ) together
with two maps init : E V and ter : E V assigning to every edge e an initial vertex init(e) and a
terminal vertex ter(e).
Definition 60 (Orientation). A directed graph D is an orientation of an (undirected) graph G if V (D) =
V (G) andE(D) = E(F ) and if {init(e), ter(e)} = {x, y} for every edge e = xy.
Definition 61 (Multigraph). A multigraph is a pair (V, E) of disjoint sets (of vertices and edges) together
with a map E V [V ]2 assigning to every edge either one or two vertices , its ends.
Definition 62 (Matching). A set M of independent edges in a graph G = (V, E)is called a matching.
Definition 63 (Factor). A k-regular spanning subgraph is called k-factor.
Definition 64 (Alternating Paths). A path in G which starts in A at an unmatched vertex and then
contains, alternately,edges from E M and from M , is an alternating path with respect to M .
Definition 65 (Augmenting Path). An alternating path P that ends in an unmatched vertex of B is called
an augmenting path.
Definition 66 (Cover). Let us call a set U V a (vertex) covering of E if every edge of G is incident with
a vertex in U .
Definition 67 (q(G)). Given a graph G, let us denote by CG the set of its components and by q(G) the
number of its odd components, those of odd order.
Definition 68 (Block). A maximal connected subgraph without a cutvertex is called a block.
Definition 69 (Plane Graph). Graph drawing in the plane.
Definition 70 (Planar). If G can be drawn in the plane without a crossing, G is plannar.
Definition 71 (Frontier). The frontier of a set X R2 is the set Y of all points y R2 such that every
neighborhood of y meets both X and R2 X.
Definition 72 (Geometric Graph). A Geometric Graph is a planar embedding of G with straight lines.
Definition 73 (Topological Isomorphism). We call a topological isomorphism between H and H 0 plane
graphs if there exists a homeomorphism : S 2 S 2 such that := 1 induces on V E.
Definition 74 (Combinatorial Isomorphism). can be extended to an incidence preserving map: :
V E F V 0 E 0 F 0 . (preserves incidence of not only vertices and edges but also of vertices and edges
with faces.)
Definition 75 (Graph Theoretical Isomorphism). is a graph theoretical isomorphism of plane H and H 0
if {(H[f ]) : f F } = {H 0 [f 0 ] : f F }.
Definition 76 (Simple). We call a subset F of a graphs edge space E(G) simple if every edge of G lies in
at most two sets of F.

Definition 77 (Visible). Given a polygon P , vertices w, v, w is visible from v, if line segment vw P c = .

Definition 78 (Plane Multigraph). A plane multigraph is a pair G = (V, E) of finite sets (of vertices and
edges, respectively) satisfying the following conditions:
(1) V R2
(2) every edge is either an arc between two vertices or a polygon containing exactly one vertex (its
endpoints).
(3) apart from its own endpoints(s), and edge contains no vertex and no point of any other edge.
Definition 79 (Plane Dual). A plane dual (V , E ) = G if there are bijections F V , E E , V F ,
where f 7 v (f ), e 7 e , v 7 f (v) satisfying the following conditions
(1) i. v (v) f for all f F
(2) |e G| = |
e
e| = |e G | = 1 for all e E, and in each of e and e this point is an inner point
of a straight line segment.
(3) v f (v) for all v V .
Definition 80 (Proper coloring). If c(v) 6= c(w) for all v adjacent w, then c is a proper coloring.
Definition 81 (k-colorable). G is k-colorable if there exist proper coloring of the vertices with k colors.
Definition 82 (k-edge-colorable). G is k-edge-colorable if there exists a proper edge coloring with k colors
or proper coloring of line graph L(G).
Definition 83 ((G)). minimum k so that G is k-colorable or chromatic number of G.
Definition 84 (0 (G)). minimum k so that G is k-edge colorable or chromatic index of G.
Definition 85 (c1 (j)). color class of all the vertices colored j.
Definition 86 (k-constructible). For each k N, let us define the class of k-constructible graphs recursively
as follows:
(1) Kk is k-constructible.
(2) If G is k-constructible and x, y V (G) are non-adjacent, then also (G + xy)/xy is k-constructible.
(3) If G1 , G2 are k-constructible and there are vertices x, y1 , y2 such that G1 G2 = {x} and xy1 E(G1 )
and xy2 E(G2 ), then also (G1 G2 ) xy1 xy2 + y1 y2 is k-constructible.

2. Theorems
Proposition 87. The number of vertices of odd degree in a graph is always even.
Proposition 88. Every graph G with at least one edge has a subgraph H with (H) > (H) (G).
Proposition 89. Every graph G contains a path of length (G) and a cycle of length at least (G)+1(provided
that (G) 2).
Proposition 90. Every graph G containing a cycle satisfies g(G) 2diam(G) + 1.
Proposition 91. A graph G of radius at most k and maximum degree at most d 3 has fewer than
d
k
d2 (d 1) vertices.
Theorem 92. Let G be a graph. If d(g) d 2 and g(G) g N then |G| n0 (d, g) where n0 (d, g) =
Pr1
Pr1
1 + d i=0 (d 1)i if g = 2r + 1 is odd; 2 i=0 (d 1)i if g = 2r is even.
Corollary 93. If (G) 3 then g(G) < 2log|G|.
Proposition 94. The vertices of a connected graph G can always be enumerated say as v1 , ..., vn so that
Gi = G[v1 , ..., vi ] is connected for every i.
Proposition 95. If G is non-trivial then (G) (G) (G).
Theorem 96. Let 0 6= k N. Every graph G with d(G) 4k has (k + 1)-connected subgraph H such that
(H) > (G) k.

Theorem 97. The following assertions are equivalent fr a graph T:

(1) T is a tree.
(2) Any two vertices of T are linked by a unique path in T.
(3) T is minimally connected, i.e. T is connected by T e is disconnected for every edge e in T
(4) T is maximally acyclic, i.e. T contains no cycle but T + xy does, for any tow non-adjacent vertices
x, y T .
Corollary 98. The vertices of a tree can always be enumerated, say as v1 , ..., vn so that every vi with i 2
has a unique neighbor in {v1 , ..., vn1 }.
Corollary 99. A connected graph with n vertices is a tree if and only if it has n 1 edges.
Corollary 100. If T is a tree and G is any graph with (G) |T | 1, then T G, i.e. G has a subgraph
isomorphic to T.
Lemma 101. Let T be a normal tree in G.
(1) Any two vertices x, y in T are separated in G by the set dxe dye.
(2) If S V (T ) = V (G) and S is down-closed, then the components of G S are spanned by the sets
bxc with x minimal in T S.
Proposition 102. Every connected graph contains a normal spanning tree, with any specified vertex as its
root.
Proposition 103. A graph is bipartite if and only if it contains no odd cycles.
Proposition 104.
(1) Every TX is also an MX; thus, every topological minor of a graph is also its
(ordinary) minor.
(2) If (X) 3, then every MX contains a TX; thus every minor with maximum degree at most 3 of a
graph is also its topological minor.
Proposition 105. The minor relation 4 and the topological minor relation are partial orderings on the
class of finite graphs, ie. that are reflexive, antisymmetric and transitive.
Theorem 106. A connected graph is Eulerian if and only if Every vertex has even degree.
Proposition 107. The induced cycles in G generate its entire cycle space.
Proposition 108. The following assertions are equivalent for edge set F E
(1) F C(G)
(2) F is a disjoint union of (edge sets of ) cycles in G.
(3) All vertex degrees of the graph (V,F) are even.
Proposition 109. Together with , the cuts in G form a subspace C of E. This space is generated by cuts
of the form E(v).
Lemma 110. Every cut is a disjoint union of bonds.
Theorem 111. The cycle space C and the cut space C of any graph satisfy C = C and C = C .
Theorem 112. Let G be a connected graph and T G a spanning tree. Then the corresponding fundamental
cycles and cuts form a basis of C(G) and of C (G), respectively. If G has n vertices and m edges, then
dim(C(G)) = m n + 1 and dim(C (G)) = n 1.
Theorem 113 (Konig). The maximum cardinality of a matching in G is equal to the minimum cardinality
of a vertex cover of its edges.
Theorem 114 (Hall). G contains a matching of A if and only if |N (S)| |S| for allS A.
Corollary 115. If G is k regular, with k 1, then G has a 1-factor.
Corollary 116. Every regular graph of positive even degree has a 2-factor.
Theorem 117 (Tutte). A graph G has a 1-factor if and only if q(G S) |S|f orS V (G).
Corollary 118 (Petersen). Every bridgeless cubic graph has a 1-factor.

Theorem 119. Every graph G = (V, E) contains a vertex set S with the following two properties:
(1) S is matchable to CGS .
(2) Every component of G S is factor-critical.
Given any such set S, the graph G contains a 1-factor if and only if |S| = |CGS |
Theorem 120. G is 2-connected iff either i. G is a cycle or ii. G can be obtained from a 2-connected H by
adding an H-path.
Lemma 121. If G is 3-connected and |G| > 4, then G has one edge s.t. G e is 3-connected.
Theorem 122. G is 3-connected iff there exists a sequence of graphs G0 , ..., Gn such that:
(1) G0 = K4 ; Gn = G
(2) Gi+1 has an edge xy with d(x), d(y) 3 and Gi = Gi+1 /xy, i < n.
Theorem 123 (Tutte). The cycle space of a 3-connected graph is generated by non-separating induced cycle.
Theorem 124 (Menger). Let G = (V, E) be a graph and A, B V. Then the minimum number of vertices
separating A from B in G is equal to the maximum number of disjoint A B paths in G.
Corollary 125. Let a, b be distinct vertices of G.
(1) If a, b 6 E, then minimum number of vertices 6= ab separating a from b equal maximum number of
independent a b path.
(2) the minimum number of edges separating a from b in G is equal to the max number of edges disjoint
a b paths.
Theorem 126 (Global Mengers Theorem).
(1) A graph is k-connected if and only if it contains k independent path between any two vertices.
(2) A graph is k-edge-connected if and only if it contains k edge-disjoint paths between any two vertices.
Theorem 127 (Jordan Curve Theorem for Polygons). For every polygon P R2 , the set R2 P has exactly
two regions. Each of these has the entire polygon P as its frontier.
Lemma 128. Let P1 , P2 , P3 be three arcs, between the same two endpoints but otherwise disjoint:
(1) R2 (P1 P2 P3 ) has exactly three regions, with frontiers P1 P2 , P2 P3 , andP1 P3 .
1 and a point inP
3 whose interior lies in the region of R2 (P1 P3 )
(2) If P is an arc between a point in P

that contains P2 , then P P2 6= .

Lemma 129. Let X1 , X2 R2 be disjoint sets, each the union of finitely many points and arcs, and let P
lies in a region O of R2 (X1 X2 ). Then
be an arc between a point in X1 and one in X2 whose interiorP
is a region of R2 (X1 P X2 ).
O\P
Theorem 130. Let : C1 C2 be a homeomorphism between two circles on S 2 , let O1 be a region of C1 ,
and let O2 be a region of C2 . Then can be extended to a homeomorphism C1 O1 C2 O2 .
Lemma 131. Let G be a plane graph, and e an edge of G.
(1) If X is the frontier of a face of G, then either e XorX
e = .
(2) If e lies on a cycle C G, then e lies on the frontier of exactly two faces of G , and these are
contained in distinct faces of C.
(3) If e lies on no cycle, then e lies on the frontier of exactly one face of G.
Corollary 132. The frontier of a face is always the point set of a subgraph.
Proposition 133. A plane forest has exactly one face.
Lemma 134. If a plane graph has different face with the same boundary, then the graph is a cycle.
Proposition 135. In a 2-connected plane graph, every face is bounded by a cycle.
Proposition 136. The face boundaries in a 3-connected plane graph are precisely its non-separating induced
cycles.
Proposition 137. A plane graph of order at least 3 is maximally planar if and only if it is a plane triangulation.

Theorem 138 (Eulers Formula). Let G be a connected plane graph with n vertices, m edges, and l faces,
then n m + l = 2.
Corollary 139. A plane graph with n 3 vertices has at most 3n 6 edges. Every plane triangulation with
n vertices has 3n 6.
Corollary 140. A plane graph contains neither K5 nor K3,3 as a topological minor.
Theorem 141.
(1) Every graph-theoretical isomorphism between two plane graphs is combinatorial. Its
extension to a face bijection is unique if and only if the graph is not a cycle.
(2) Every combinatorial isomorphism between two 2-connected plane graphs is topological.
Proposition 142. Every two embedding of a 3-connected Graph are equivalent.
Theorem 143 (Kuratowski). The following are equivalent:
(1) G is planar.
(2) G has no K5 and K3,3 minor.
(3) G has no T K5 or T K3,3 minor.
Lemma 144. Every 3-connected G with no K5 or K3,3 minor is planar.
Lemma 145. Let be a set of 3-connected graphs. Let G be a graph with (G) 2 and G1 , G2 proper
induced subgraph of G such that. G = G1 G2 and |G1 G2 | = (G). If G is edge maximal with respect to
not having a topological minor in , then so are G1 and G2 , and G1 G2 = K2 .
Lemma 146. If |G| 4 and G is edge-maximal with respect to having no T K5 or T K3,3 minor, then G is
3-connected.
Theorem 147 (Maclane). G is planar if and only if its cycle space has a simple basis.
Theorem 148. A 3-connected graph is planar if and only if every edge lies on at most 2 non separating
induced cycles.(equivalently: exactly).
Proposition 149. For any connected plane multigraph G, an edge set E E(G) is the edge set of a cycle
in G if and only if E := {e |e E} is a minimal cut in G .
Proposition 150. If G is an abstract dual of G, then the cut space of G is the cycle space of G, C (G ) =
C(G).
Theorem 151. A graph is planar if and only if it has an abstract dual.
Theorem 152. All planar graphs are 4-colorable.
Theorem 153. Every planar graph is 5-colourable.
Theorem 154. Every planar graph not containing a triangle is 3-colourable.
q
Proposition 155. Every graph G with m edges satisfies (G) 21 + (2m + 41 ).
Proposition 156. Every graph G satisfies (G) col(G) = max (H)| H G + 1.
Corollary 157. Every graph G has a subgraph of minimum degree at least (G) 1.
Theorem 158 (Brooks). Let G be a connected graph. If G is neither complete nor an odd cycle, then
(G) (G).
Theorem 159 (Erd
os). For every integer k there exists a graph G with girth g(G) > k and chromatic
number (G) > k.
Theorem 160 (Haj
os). Let G be a graph and k N. Then (G) k if and only if G has a k-constructible
subgraph.
Proposition 161 (Konig). Every bipartite graph G satisfies 0 (G) = (G).
Theorem 162 (Vizing). Every graph G satisfies (G) 0 (G) (G) + 1.