Graph Theory: Introduction
Graph Theory: Introduction
Graph Theory: Introduction
DEFINITION 1: A graph G consists of two nite sets: a set V (G) of vertices and a set E (G) of edges, where each edge is associated with a set consisting of either one or two vertices called its endpoints. The correspondence from edges to endpoints is called the edge-endpoint function. An edge with just one endpoint is called a loop, and two distinct edges with the same set of endpoints are said to be parallel. An edge is said to connect its endpoints; two vertices that are connected by an edge are called adjacent; and a vertex that is an endpoint of a loop is said to be adjacent to itself. An edge is said to be incident on each of its endpoints, and two edges incident on the same endpoint are called adjacent. A vertex on which no edges are incident is called isolated. A graph with no vertices is called empty, and one with at least one vertex is called nonempty. EXAMPLE: Consider the following graph:
(a) Write the vertex set and the edge set, and give a table showing the edge-endpoint function; (b) Find all that are incident on v1 , all vertices that are adjacent to v1 , all edges that are adjacent to e1 , all loops, all edges, all vertices that are adjacent to themselves, all isolated vertices. Solution: (a) We have: vertex set = {v1 , v2 , v3 , v4 , v5 , v6 } edge set = {e1 , e2 , e3 , e4 , e5 , e6 , e7 } edge-endpoint function : Edges e1 e2 e3 e4 e5 e6 e7 Endpoints {v1 , v2 } {v1 , v3 } {v1 , v3 } {v2 , v3 } {v5 , v6 } {v 5 } {v 6 }
(b) We have:
, and and
are incident on v1 .
is an isolated vertex. DEFINITION 2: A simple graph is a graph that does not have any loops or parallel edges. In a simple graph, an edge with endpoints v and w is denoted {v, w}. EXAMPLE: Draw all simple graphs with the four vertices {u, v, w, x} and two edges, one of which is {u, v }. Solution: There are 5 such graphs:
DEFINITION 3: A complete graph on n vertices, denoted Kn , is a simple graph with n vertices v1 , v2 , . . . , vn whose set of edges contains exactly one edge for each pair of distinct vertices. EXAMPLE: Draw the complete graphs K2 , K3 , K4 , and K5 . Solution:
DEFINITION 4: A complete bipartite graph on (m, n) vertices, denoted Km,n , is a simple graph with vertices v1 , v2 , . . . , vm and w1 , w2 , . . . , wn that satises the following properties: for all i, k = 1, 2, . . . , m and all j, l = 1, 2, . . . , n, 1. There is an edge from each vertex vi to each vertex wj ; 2. There is not an edge from any vertex vi to any other vertex vk ; 3. There is not an edge from any vertex wj to any other vertex wl . EXAMPLE: Draw the bipartite graphs K3,2 and K3,3 . Solution:
DEFINITION 5: A graph H is said to be a subgraph of a graph G if, and only if, every vertex in H is also a vertex in G, every edge in H is also an edge in G, and every edge in H has the same endpoints as in G. EXAMPLE: List all nonempty subgraphs of the graph G with vertex set {v1 , v2 } and edge set {e1 , e2 , e3 }, where the endpoints of e1 are v1 and v2 , the endpoints of e2 are v1 and v2 , and e3 is a loop at v1 . Solution: We rst draw the graph:
DEFINITION 6: Let G be a graph and v a vertex of G. The degree of v, denoted deg(v ), equals the number of edges that are incident on v, with an edge that is a loop counted twice. The total degree of G is the sum of the degrees of all the vertices of G. EXAMPLE: Find the degree of each vertex of the graph G shown below. Then nd the total degree of G.
Solution:
THEOREM: If G is any graph, then the sum of the degrees of all the vertices of G equals twice the number of edges of G. COROLLARY 1: The total degree of a graph is even. EXAMPLE: Draw a graph with the specied properties or show that no such graph exists. (a) Graph with four vertices of degrees 1, 1, 2, and 3. (b) Graph with four vertices of degrees 1, 1, 3, and 3. (c) Simple graph with four vertices of degrees 1, 1, 3, and 3. Solution:
COROLLARY 2: In any graph there are an even number of vertices of odd degree. PROBLEM: Is it possible in a group of 9 people for each to shake hands with exactly 5 other persons? Solution: The answer is no. In fact, imagine a graph in which each of the 9 people is represented by a dot and two dots are joined by an edge if, and only if, the people they represent shook hands. Suppose each of the people shook hands with exactly 5 others. Then we have an odd number (nine) vertices of odd degree. This contradicts Corollary 2.