General Course Information
- Syllabus–Semester II 1998-99
- Generic Course Objectives
- Classroom Behaviour
Topics
- Introduction.
- Historical remarks (Königsberg, four-color problem, utility problem).
- Brief examples of graphs in mathematics, computer science, and the natural and social sciences.
- Combinatorial and relational preliminaries.
- Binary relations; equivalence relations and equivalence classes; partial orders
- Digraph of a relation. Digraph of a function

- Digraph of a permutation
- Basics.
- Graphs, digraphs, and multigraphs. Degrees, in- and out-degrees, and the handshaking lemmas.
- Isomorphism.
- Adjacency and incidence matrices; number of walks as entries of matrix powers.
- Walks, trails, paths, cycles, and components (components as classes of the walk-equivalence).
- Special graphs: complete graphs, complete bipartite graphs, paths, cycles, and trees. Elementary operations used later: deletion, contraction, and complement.
- Subgraphs, spanning subgraphs, and induced subgraphs. Number of labeled simple graphs on a fixed
-set:
.
- Degree sequences.
- Graphic sequences.
- Havel–Hakimi algorithm and proof.
- Trees and spanning trees.
- Acyclic graphs and forests.
- Equivalent characterizations of trees: connected and acyclic; unique path between any two vertices; minimally connected; maximally acyclic; connected with
edges.
- Leaves: every tree on
vertices has at least two leaves. Rooted trees. Spanning trees and their existence in a connected graph.
- Minimum spanning trees: cut property, Kruskal’s algorithm, Prim’s algorithm.
- Enumeration: deletion–contraction recurrence; Prüfer code for spanning trees of
; Cayley’s formula
. Optional: statement of the matrix-tree theorem.
- Connectivity.
- Distance, diameter, and radius.
- Cut-vertices, bridges, and
-connected graphs.
- Blocks (maximal
-connected subgraphs) and the block-cut tree; the analogous edge-blocks (maximal
-edge-connected subgraphs) and their tree structure.
- Ear decomposition: every
-connected graph is an ear assembly beginning with a cycle; use in inductive proofs.
- Vertex- and edge-connectivity; the inequalities
.
- Menger’s theorem (vertex and edge versions), including the two-disjoint-paths characterizations of vertex- and edge-
-connected graphs.
- Eulerian and Hamiltonian graphs.
- Euler’s theorem: a connected graph has an Euler circuit if and only if every degree is even, and an Euler trail if and only if exactly zero or two degrees are odd.
- Hierholzer’s algorithm. Chinese Postman Problem (statement).
- Hamiltonian paths and cycles; necessary conditions (in particular, a Hamiltonian graph has no cut-vertex).
- Dirac’s theorem and Ore’s theorem. Remark: Eulerian circuits are polynomial-time; Hamiltonian cycle is NP-complete (statement only).
- Bipartite graphs and matchings.
- Characterizations:
-colorable if and only if there is no odd cycle. BFS
-coloring algorithm and extraction of an odd cycle when the graph is not bipartite.
- Matchings, maximum and perfect matchings, vertex covers.
- Alternating and augmenting paths; Berge’s lemma. Hall’s marriage theorem and the deficiency form.
- König’s theorem.
- Augmenting-path algorithm for bipartite matching.
- Statement of Tutte’s theorem.
- Planarity.
- Plane and planar graphs, faces.
- Euler’s formula
for connected plane graphs.
- Consequences:
for simple planar graphs on
vertices, and
for simple bipartite planar graphs. Non-planarity of
and
. Kuratowski’s theorem and Wagner’s theorem (statements; subdivisions and minors illustrated). Geometric duals of plane graphs. Optional: five-color theorem for planar graphs (sketch).
- Vertex and edge coloring.
- Proper vertex colorings and the chromatic number.
- Greedy bound
.
- Brooks’ theorem.
- Clique number and the inequality
. Chromatic polynomial via the deletion–contraction recurrence; values on trees and complete graphs.
- Four-color theorem (statement).
- Edge coloring and the chromatic index; Vizing’s theorem (statement:
).
Notes
- The digraph of a pre-order order relation.
- The directed graph of a function f:A –> B where A is finite and B is a subset of A.
- Simple graphs.
- Some special graphs.
- Edge unlabelled graphs.
- Edge labelled graphs.
- Trees
- The last departure graph of an Euler tour.
- Bondy–Chvátal Closure and Hamiltonicity
Exercises
Text
- J.A. Bondy and U.S.R. Murty, Graph Theory With Applications, North Holland, Amsterdam, 1976.
Bibliography
- D.B. West, Introduction to Graph Theory, Prentice Hall, 1996.
- M. Behzad, G. Chartrand, and Linda Lesniak-Forest, Graphs and Digraphs, Wadsworth International Group, 1981.
Crux Sancti Patris Benedicti