Graphs, Isomorphism & Connectivity
We formally define graphs, their basic properties (degree, subgraphs, complement), and the crucial concept of graph isomorphism. The Handshake Theorem connects vertex degrees to edge counts. We also introduce connectivity, components, and directed graphs (digraphs).
Learning Objectives
Key Concepts
Graph Basics
A graph consists of a vertex set and an edge set , where each edge connects two vertices. A simple graph has no loops or multiple edges. The degree of a vertex is the number of edges incident to it.
Important graph families: complete graph , path , cycle , complete bipartite , Petersen graph.
- -
has edges and every vertex has degree
- -
A graph has an even number of odd-degree vertices (corollary of Handshake Theorem)
- -
Subgraph: if and
- -
Graph Isomorphism
Two graphs and are isomorphic () if there exists a bijection that preserves adjacency: .
To prove isomorphism, exhibit the bijection. To disprove it, find an invariant that differs (number of vertices, edges, degree sequence, connectivity, girth, etc.).
- -
Isomorphism invariants: , , degree sequence, connectivity, girth, chromatic number
- -
If any invariant differs, the graphs are NOT isomorphic
- -
Matching invariants does NOT prove isomorphism — you must exhibit the bijection
- -
Self-complementary graphs: (requires )
Connectivity
A graph is connected if there is a path between every pair of vertices. Otherwise it decomposes into connected components. The number of components is denoted .
A cut vertex is a vertex whose removal increases the number of components. A bridge is an edge whose removal increases components.
- -
A connected graph on vertices has at least edges
- -
A tree is a connected graph with exactly edges
- -
Removing a bridge increases components by exactly 1
Directed Graphs
A directed graph (digraph) has edges that are ordered pairs. The in-degree is the number of edges coming into ; the out-degree is the number of edges going out of .
For any digraph: .
- -
- -
Edges and are distinct in a digraph (unlike undirected graphs)
- -
Directed graphs are used for flow networks, DFS edge classification, and topological ordering