BIL694-Lecture 1: Introduction to Graphs

Similar documents
Chapter 9. Graph Theory

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

Math 776 Graph Theory Lecture Note 1 Basic concepts

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

Varying Applications (examples)

Graphs. Pseudograph: multiple edges and loops allowed

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

CS 311 Discrete Math for Computer Science Dr. William C. Bulko. Graphs

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

Discrete Mathematics for CS Spring 2008 David Wagner Note 13. An Introduction to Graphs

Introduction III. Graphs. Motivations I. Introduction IV

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 8

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

Introduction to Graph Theory

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

CMSC 380. Graph Terminology and Representation

Discrete Mathematics

Graphs (MTAT , 6 EAP) Lectures: Mon 14-16, hall 404 Exercises: Wed 14-16, hall 402

How can we lay cable at minimum cost to make every telephone reachable from every other? What is the fastest route between two given cities?

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

v V Question: How many edges are there in a graph with 10 vertices each of degree 6?

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 7

An Introduction to Graph Theory

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism

Basics of Graph Theory

Fundamental Properties of Graphs

Math 170- Graph Theory Notes

DEFINITION OF GRAPH GRAPH THEORY GRAPHS ACCORDING TO THEIR VERTICES AND EDGES EXAMPLE GRAPHS ACCORDING TO THEIR VERTICES AND EDGES

Discrete Wiskunde II. Lecture 6: Planar Graphs

Chapter 2 Graphs. 2.1 Definition of Graphs

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. An Introduction to Graph Theory

4. (a) Draw the Petersen graph. (b) Use Kuratowski s teorem to prove that the Petersen graph is non-planar.

Graphs. Introduction To Graphs: Exercises. Definitions:

Elements of Graph Theory

Graph Theory. Part of Texas Counties.

Chapter 11: Graphs and Trees. March 23, 2008

Chapter 1 Graph Theory

GRAPHS, GRAPH MODELS, GRAPH TERMINOLOGY, AND SPECIAL TYPES OF GRAPHS

K 4 C 5. Figure 4.5: Some well known family of graphs

Ma/CS 6b Class 5: Graph Connectivity

Problem Set 2 Solutions

Graph Theory CS/Math231 Discrete Mathematics Spring2015

CS473-Algorithms I. Lecture 13-A. Graphs. Cevdet Aykanat - Bilkent University Computer Engineering Department

An Introduction to Graph Theory

Discrete mathematics II. - Graphs

Graph (1A) Young Won Lim 4/19/18

1 Digraphs. Definition 1

Assignment 4 Solutions of graph problems

Paths, Circuits, and Connected Graphs

8.2 Paths and Cycles

Module 11. Directed Graphs. Contents

Discrete Mathematics (2009 Spring) Graphs (Chapter 9, 5 hours)

CS200: Graphs. Prichard Ch. 14 Rosen Ch. 10. CS200 - Graphs 1

Graph Theory: Introduction

Foundations of Discrete Mathematics

ON THE STRUCTURE OF SELF-COMPLEMENTARY GRAPHS ROBERT MOLINA DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE ALMA COLLEGE ABSTRACT

CS 441 Discrete Mathematics for CS Lecture 26. Graphs. CS 441 Discrete mathematics for CS. Final exam

Lecture 4: Walks, Trails, Paths and Connectivity

Lecture 22 Tuesday, April 10

Proposition 1. The edges of an even graph can be split (partitioned) into cycles, no two of which have an edge in common.

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

0.0.1 Network Analysis

Logic: The Big Picture. Axiomatizing Arithmetic. Tautologies and Valid Arguments. Graphs and Trees

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees.

Bipartite Roots of Graphs

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

Number Theory and Graph Theory

Graphs and trees come up everywhere. We can view the internet as a graph (in many ways) Web search views web pages as a graph

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

Majority and Friendship Paradoxes

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

Discrete mathematics , Fall Instructor: prof. János Pach

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Math 443/543 Graph Theory Notes

Let G = (V, E) be a graph. If u, v V, then u is adjacent to v if {u, v} E. We also use the notation u v to denote that u is adjacent to v.

(5.2) 151 Math Exercises. Graph Terminology and Special Types of Graphs. Malek Zein AL-Abidin

Definition 1.1. A matching M in a graph G is called maximal if there is no matching M in G so that M M.

CS70 - Lecture 6. Graphs: Coloring; Special Graphs. 1. Review of L5 2. Planar Five Color Theorem 3. Special Graphs:

Chapter 3: Paths and Cycles

Two Characterizations of Hypercubes

Introduction to Graphs

Math 443/543 Graph Theory Notes

Graph Overview (1A) Young Won Lim 5/9/18

INTRODUCTION TO GRAPH THEORY. 1. Definitions

A graph is finite if its vertex set and edge set are finite. We call a graph with just one vertex trivial and all other graphs nontrivial.

Course Introduction / Review of Fundamentals of Graph Theory

Basic Combinatorics. Math 40210, Section 01 Fall Homework 4 Solutions

Matching Theory. Figure 1: Is this graph bipartite?

Introduction to Graphs

On median graphs and median grid graphs

HW Graph Theory SOLUTIONS (hbovik)

DS UNIT 4. Matoshri College of Engineering and Research Center Nasik Department of Computer Engineering Discrete Structutre UNIT - IV

Ordinary Differential Equation (ODE)

Graph theory - solutions to problem set 1

Chapter 12 and 11.1 Planar graphs, regular polyhedra, and graph colorings

Graph Theory Mini-course

CHAPTER 10 GRAPHS AND TREES. Alessandro Artale UniBZ - artale/z

Graph and Digraph Glossary

Transcription:

BIL694-Lecture 1: Introduction to Graphs Lecturer: Lale Özkahya Resources for the presentation: http://www.math.ucsd.edu/ gptesler/184a/calendar.html http://www.inf.ed.ac.uk/teaching/courses/dmmr/

Outline 1 Simple Graph, Multigraphs and Directed Graphs 2 Graph Isomorphism 3 Special Families of Graphs 4 Paths, Cycles, Trails, Trees

Outline 1 Simple Graph, Multigraphs and Directed Graphs 2 Graph Isomorphism 3 Special Families of Graphs 4 Paths, Cycles, Trails, Trees

Graphs Computer network PC1 PC2 Modem ISP Remote server PC3 Emily Dan Friends Irene Gina Harry Frank Cindy Hard drive Printer Amy Bob We have a network of items and connections between them. Examples: Telephone networks, computer networks Transportation networks (bus/subway/train/plane) Social networks Family trees, evolutionary trees Molecular graphs (atoms and chemical bonds) Various data structures in Computer Science Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 2 / 48

Graphs 1 5 2 4 3 The dots are called vertices or nodes (singular: vertex, node) V = set of vertices = {1, 2, 3, 4, 5} The connections between vertices are called edges. Represent an edge as a set {i, j} of two vertices. E.g., the edge between 2 and 5 is {2, 5} = {5, 2}. E = set of edges = { {1, 2}, {2, 3}, {2, 5}, {3, 4}, {3, 5}, {4, 5} } Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 3 / 48

Simple graphs 1 4 5 2 2 4 3 5 1 3 A simple graph is G = (V, E): V is the set of vertices. It can be any set; {1,..., n} is just an example. E is the set of edges, of form {u, v}, where u, v V and u v. Every pair of vertices has either 0 or 1 edges between them. The drawings above represent the same abstract graph since they have the same V and E, even though the drawings look different. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 4 / 48

Degrees 1 5 2 4 3 The degree of a vertex is the number of edges on it. d(1) = 1 d(2) = 3 d(3) = 3 d(4) = 2 d(5) = 3 Sum of degrees = 1 + 3 + 3 + 2 + 3 = 12 Number of edges = 6 Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 5 / 48

Sum of degrees Theorem The sum of degrees of all vertices is twice the number of edges: d(v) = 2 E Proof. v V Let S = { (v, e) : v V, e E, vertex v is in edge e } Count S by vertices: Each vertex v is contained in d(v) edges,so S = d(v). v V Count S by edges: Each edge has two vertices, so S = e E 2 = 2 E. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 6 / 48

Multigraphs 1 a h 2 g 4 f c d e b 3 Some networks have multiple edges between two vertices. Notation {3, 4} is ambiguous, so write labels on the edges: c, d, e. There can be an edge from a vertex to itself, called a loop (such as h above). A loop has one vertex, so {2, 2} = {2}. A simple graph does not have multiple edges or loops. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 7 / 48

Multigraphs 1 a h 2 g 4 f c d e b 3 Computer network with multiple connections between machines. Transportation network with multiple routes between stations. But: A graph of Facebook friends is a simple graph. It does not have multiple edges, since you re either friends or you re not. Also, you cannot be your own Facebook friend, so no loops. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 8 / 48

Multigraphs 1 a h 2 V = {1, 2, 3, 4} E = {a, b, c, d, e, f, g, h} g 4 f c d e A multigraph is G = (V, E, φ), where: b 3 φ(a) = {1, 2} φ(b) = {2, 3} φ(c) = φ(d) = φ(e) = {3, 4} φ(f ) = φ(g) = {1, 4} φ(h) = {2} V is the set of vertices. It can be any set. E is the set of edge labels (with a unique label for each edge). φ : E { {u, v} : u, v V } is a function from the edge labels to the pairs of vertices. φ(l) = {u, v} means the edge with label L connects u and v. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 9 / 48

Adjacency matrix of a multigraph Let n = V The adjacency matrix of a multigraph is an n n matrix A = (a uv ). Entry a uv is the number of edges between vertices u, v V. g 1 4 f a c d e h 2 b 3 A = 1 2 3 4 1 0 1 0 2 2 1 2 1 0 3 0 1 0 3 4 2 0 3 0 a uv = a vu for all vertices u, v. Thus, A is a symmetric matrix (A = A T ). The sum of entries in row u is the degree of u. Technicality: A loop on vertex v counts as 1 edge in E, degree 2 in d(v) and in a vv (it touches vertex v twice), With these rules, graphs with loops also satisfy v V d(v) = 2 E. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 10 / 48

Adjacency matrix of a simple graph In a simple graph: All entries of the adjacency matrix are 0 or 1 (since there either is or is not an edge between each pair of vertices). The diagonal is all 0 s (since there are no loops). 1 5 2 4 3 A = 1 2 3 4 5 1 0 1 0 0 0 2 1 0 1 0 1 3 0 1 0 1 1 4 0 0 1 0 1 5 0 1 1 1 0 Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 11 / 48

Directed graph (a.k.a. digraph) 1 5 2 4 3 A directed edge is a connection with a direction. One-way transportation routes. Broadcast TV and satellite TV are one-way connections from the broadcaster to your antenna. Familiy tree: parent child An unrequited Facebook friend request. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 12 / 48

Directed graph (a.k.a. digraph) 1 5 2 V = {1, 2, 3, 4, 5} E = {(1, 5), (2, 1), (3, 2), (3, 4), (4, 5), (5, 2), (5, 4)} 4 3 Represent a directed edge u v by an ordered pair (u, v). E.g., 3 2 is (3, 2), but we do not have 2 3, which is (2, 3). A directed graph is simple if each (u, v) occurs at most once, and there are no loops. Represent it as G = (V, E). V is a set of vertices. It can be any set. E is the set of edges. Each edge has form (u, v) with u, v V, u v. It is permissible to have both (4, 5) and (5, 4), since they are distinct. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 13 / 48

Degrees in a directed graph 1 5 2 4 For a vertex v, the indegree is the number of edges going into v, and the outdegree is the number of edges going out from v. v indegree(v) outdegree(v) 1 1 1 2 2 1 3 0 2 4 2 1 5 2 2 Total 7 7 The sum of indegrees is E and the sum of outdegrees is E. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 14 / 48 3

Adjacency matrix of a directed graph 5 4 1 3 2 A = 1 2 3 4 5 1 0 0 0 0 1 2 1 0 0 0 0 3 0 1 0 1 0 4 0 0 0 0 1 5 0 1 0 1 0 Let n = V The adjacency matrix of a directed graph is an n n matrix A = (a uv ) with u, v V. Entry a uv is the number of edges directed from u to v. a uv and a vu are not necessarily equal, so A is usually not symmetric. The sum of entries in row u is the outdegree of u. The sum of entries in column v is the indegree of v. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 15 / 48

Directed multigraph 5 b h i 4 1 c e f g a 3 d 2 A = 1 2 3 4 5 1 1 0 0 0 1 2 1 0 0 0 0 3 0 1 0 1 0 4 0 0 0 0 1 5 0 2 0 1 0 V = {1,..., 5} φ(a) = (2, 1) φ(d) = (3, 2) φ(g) = (3, 4) E = {a,..., i} φ(b) = (1, 5) φ(e) = (5, 2) φ(h) = (4, 5) φ(c) = (1, 1) φ(f ) = (5, 2) φ(i) = (5, 4) A directed multigraph may have loops and multiple edges. Represent it as G = (V, E, φ). Name the edges with labels. Let E be the set of the labels. φ(l) = (u, v) means the edge with label L goes from u to v. Technicality: A loop counts once in indegree, outdegree, and a vv. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 16 / 48

Outline 1 Simple Graph, Multigraphs and Directed Graphs 2 Graph Isomorphism 3 Special Families of Graphs 4 Paths, Cycles, Trails, Trees

Isomorphism of Graphs Definition: Two (undirected) graphs G1 = (V1, E1) and G2 = (V2, E2) are isomorphic if there is a bijection, f :V 1 V 2, with the property that for all vertices a,b V 1 {a,b} E 1 if and only if {f (a), f (b)} E 2 Such a function f is called an isomorphism. Intuitively, isomorphic graphs are THE SAME, except for renamed vertices.

Isomorphism of Graphs (cont.) Example: Show that the graphs G =(V, E) and H = (W, F) are isomorphic. Solution: The function f with f(u1) = v1, f(u2) = v4, f(u3) = v3, and f(u4) = v2 is a one-to-one correspondence between V and W.

Isomorphism of Graphs (cont.) It is difficult to determine whether two graphs are isomorphic by brute force: there are n! bijections between vertices of two n-vertex graphs. Often, we can show two graphs are not isomorphic by finding a property that only one of the two graphs has. Such a property is called graph invariant: e.g., number of vertices of given degree, the degree sequence (list of the degrees),...

Isomorphism of Graphs (cont.) Example: Are these graphs are isomorphic? Solution: No! Since deg(a) = 2 in G, a must correspond to t, u, x, or y, since these are the vertices of degree 2 in H. But each of these vertices is adjacent to another vertex of degree 2 in H, which is not true for a in G. So, G and H can not be isomorphic.

Isomorphism of Graphs (cont.) Example: Determine whether these two graphs are isomorphic. Solution: The function f is defined by: f(u1) = v6, f(u2) = v3, f(u3) = v4, f(u4) = v5, f(u5) = v1, and f(u6) = v2 is a bijection.

Algorithms for Graph Isomorphism The best algorithms known for determining whether two graphs are isomorphic have exponential worst-case time complexity (in the number of vertices of the graphs). However, there are algorithms with good time complexity in many practical cases. See, e.g., a publicly available software called NAUTY for graph isomorphism.

Applications of Graph Isomorphism The question whether graphs are isomorphic plays an important role in applications of graph theory. For example: Chemists use molecular graphs to model chemical compounds. Vertices represent atoms and edges represent chemical bonds. When a new compound is synthesized, a database of molecular graphs is checked to determine whether the new compound is isomorphic to the graph of an already known one.

Outline 1 Simple Graph, Multigraphs and Directed Graphs 2 Graph Isomorphism 3 Special Families of Graphs 4 Paths, Cycles, Trails, Trees

Special Types of Graphs: Complete Graphs K n A complete graph on n vertices, denoted by, is the simple graph that contains exactly one edge between each pair of distinct vertices.

Special Types of Graphs: Cycles C n A cycle for n 3 consists of n vertices v1, v2,, vn, and edges {v1, v2}, {v2, v3},, {vn-1, vn}, {vn, v1}.

Special Types of Simple Graphs: n-cubes An n-dimensional hypercube, or n-cube, is a graph with 2 n vertices representing all bit strings of length n, where there is an edge between two vertices if and only if they differ in exactly one bit position.

Bipartite Graphs Definition: An equivalent definition of a bipartite graph is one where it is possible to color the vertices either red or blue so that no two adjacent vertices are the same color. G is bipartite H is not bipartite: if we color a red, then its neighbors f and b must be blue. But f and b are adjacent.

Bipartite Graphs (continued) Example: Show that C 6 is bipartite. Solution: Partition the vertex set into V1 = {v1, v3, v5} and V2 = {v2, v4, v6}: Example: Show that C_3 is not bipartite. Solution: If we partition vertices of C_3 into two nonempty sets, one set must contain two vertices. But every vertex is connected to every other. So, the two vertices in the same partition are connected. Hence, C_3 is not bipartite.

Complete Bipartite Graphs Definition: A complete bipartite graph is a graph that has its vertex set partitioned K m,n into two subsets V_1 of size m and V_2 of size n such that there is an edge from every vertex in V_1 to every vertex in V_2. Examples:

Subgraphs Definition: A subgraph of a graph G = (V,E) is a graph (W,F), where W V and F E. A subgraph H of G is a proper subgraph of G if H G. Example: here is subgraphs: K 5 and one of its (proper)

Induced Subgraphs Definition: Let G = (V, E) be a graph. The subgraph induced by a subset W of the vertex set V is the graph H= (W,F), whose edge set F contains an edge in E if and only if both endpoints are in W. Example: Here is K_5 and its induced subgraph induced by W = {a,b,c,e}.

Bipartite Graphs Theorem (König, 1936) A graph is bipartite if and only if it has no odd cycle. Proof Necessity: If G is bipartite, clearly every cycle has even length. Suciency: Assume that G has no odd cycle, show that G is bipartite. Let u V (G) and for each v V (G), let f (v) be the minimum length of a u, v-path (nite, assuming G is connnected). X := {v V (G) : f (v)is even}, Y := {v V (G) : f (v)is odd}.

Bipartite Graphs Theorem (König, 1936) A graph is bipartite if and only if it has no odd cycle. Proof Necessity: If G is bipartite, clearly every cycle has even length. Suciency: Assume that G has no odd cycle, show that G is bipartite. Let u V (G) and for each v V (G), let f (v) be the minimum length of a u, v-path (nite, assuming G is connnected). X := {v V (G) : f (v)is even}, Y := {v V (G) : f (v)is odd}. Any edge in vw G[X ], together with the shortest u, v- and u, w-paths create an odd walk, call it W. (Same if vw is an edge in G[Y ])

Bipartite Graphs Theorem (König, 1936) A graph is bipartite if and only if it has no odd cycle. Proof Necessity: If G is bipartite, clearly every cycle has even length. Suciency: Assume that G has no odd cycle, show that G is bipartite. Let u V (G) and for each v V (G), let f (v) be the minimum length of a u, v-path (nite, assuming G is connnected). X := {v V (G) : f (v)is even}, Y := {v V (G) : f (v)is odd}. Any edge in vw G[X ], together with the shortest u, v- and u, w-paths create an odd walk, call it W. (Same if vw is an edge in G[Y ]) And any odd walk contains an odd cycle (by Lemma 1.2.15 in the book). Contradiction!

Bipartite Graphs Theorem (König, 1936) A graph is bipartite if and only if it has no odd cycle. Proof Necessity: If G is bipartite, clearly every cycle has even length. Suciency: Assume that G has no odd cycle, show that G is bipartite. Let u V (G) and for each v V (G), let f (v) be the minimum length of a u, v-path (nite, assuming G is connnected). X := {v V (G) : f (v)is even}, Y := {v V (G) : f (v)is odd}. Any edge in vw G[X ], together with the shortest u, v- and u, w-paths create an odd walk, call it W. (Same if vw is an edge in G[Y ]) And any odd walk contains an odd cycle (by Lemma 1.2.15 in the book). Contradiction! Therefore, X and Y are independent sets.

Bipartite Graphs Theorem (König, 1936) A graph is bipartite if and only if it has no odd cycle. Proof Necessity: If G is bipartite, clearly every cycle has even length. Suciency: Assume that G has no odd cycle, show that G is bipartite. Let u V (G) and for each v V (G), let f (v) be the minimum length of a u, v-path (nite, assuming G is connnected). X := {v V (G) : f (v)is even}, Y := {v V (G) : f (v)is odd}. Any edge in vw G[X ], together with the shortest u, v- and u, w-paths create an odd walk, call it W. (Same if vw is an edge in G[Y ]) And any odd walk contains an odd cycle (by Lemma 1.2.15 in the book). Contradiction! Therefore, X and Y are independent sets. Same ideas can be applied for each component, if G had more than one component.

Outline 1 Simple Graph, Multigraphs and Directed Graphs 2 Graph Isomorphism 3 Special Families of Graphs 4 Paths, Cycles, Trails, Trees

Connectness in undirected graphs Definition: An undirected graph G = (V, E) is called connected, if there is a path between every pair of distinct vertices. It is called disconnnected otherwise. d b e a This graph is connected c f Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 7 / 20

Connectness in undirected graphs Definition: An undirected graph G = (V, E) is called connected, if there is a path between every pair of distinct vertices. It is called disconnnected otherwise. d b e a This graph is connected c f d b e a This graph is not connected c f Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 7 / 20

Walks a b 1 d 6 e 5 2 f g h c 4 i 3 Trace along edges from vertex x to y, without lifting your pen. The walk in yellow is represented as a sequence of edges c, f, g, i, or a sequence of vertices 1, 2, 5, 4, 3. A walk from vertex x to y is a sequence of edges, each connected to the next by a vertex: e 1 = {x, v 1 } e 2 = {v 1, v 2 } e 3 = {v 2, v 3 } e k = {v k 1, y} In a directed graph, edge directions must be respected: e 1 = (x, v 1 ) e 2 = (v 1, v 2 ) e 3 = (v 2, v 3 ) e k = (v k 1, y) Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 28 / 48

Walks 1 1 1 1 a b c d 6 e 5 f 2 g h 4 i 3 Walk 5 a b c a b c a b c d 6 e 2 5 d 6 e 2 5 d 6 e 2 g f h g f h g f h 4 i 3 4 i 3 4 i 3 Trail Path Cycle In a walk, edges and vertices may be re-used. A trail is a walk with all edges distinct. A path is a walk with all vertices and edges distinct. A walk/trail/path is open if the start and end vertices are different, and closed if they are the same (this is allowed in a closed path, but no other vertices may be repeated). A cycle is a closed path. Prof. Tesler Ch. 9. Graph Theory Math 184A / Fall 2014 29 / 48

Dierent Denitions of Trees A tree is a simple connected graph that contains no cycle. Theorem The following statements are equivalent for a graph T : 1 T is a tree; 2 Any two vertices of T are connected by a unique path in T ; 3 T is minimally connected, that is, T is connected but T e is disconnected for every edge e in T ; 4 T is maximally acylic, that is T contains no cycle, but T + xy does, for any two non-adjacent vertices x, y in T.

Observations on Trees Corollary: Every tree has at least two vertices with degree 1.

Observations on Trees Corollary: Every tree has at least two vertices with degree 1. Proof: Take any longest simple path x 0,..., x m in T. Both x 0 and x m must have degree 1: otherwise there is s a longer path in T. Corollary: The vertices of a tree can always be enumerated, say as v 1,..., v n so that every v i with i 2 has a unique neighbor in {v 1,..., v i 1 }.

Observations on Trees Corollary: Every tree has at least two vertices with degree 1. Proof: Take any longest simple path x 0,..., x m in T. Both x 0 and x m must have degree 1: otherwise there is s a longer path in T. Corollary: The vertices of a tree can always be enumerated, say as v 1,..., v n so that every v i with i 2 has a unique neighbor in {v 1,..., v i 1 }. Corollary: A connected graph with n vertices is a tree if and only if it has n 1 edges. Proof: Exercise, use induction on n

Observations on Trees Corollary: Every tree has at least two vertices with degree 1. Proof: Take any longest simple path x 0,..., x m in T. Both x 0 and x m must have degree 1: otherwise there is s a longer path in T. Corollary: The vertices of a tree can always be enumerated, say as v 1,..., v n so that every v i with i 2 has a unique neighbor in {v 1,..., v i 1 }. Corollary: A connected graph with n vertices is a tree if and only if it has n 1 edges. Proof: Exercise, use induction on n Corollary: If T is a tree and G is any graph with δ(g) T 1, then T G, that is G has a subgraph isomorphic to T. Proof Construct T by using a greedy algorithm.

The Königsberg Bridge Problem Leonard Euler (1707-1783) was asked to solve the following: Question: Can you start a walk somewhere in Königsberg, walk across each of the 7 bridges exactly once, and end up back where you started from? Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 13 / 20

The Königsberg Bridge Problem Leonard Euler (1707-1783) was asked to solve the following: C A D B Question: Can you start a walk somewhere in Königsberg, walk across each of the 7 bridges exactly once, and end up back where you started from? Euler (in 1736) used graph theory to answer this question. Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 13 / 20

Characterization of Eulerian Graphs Theorem A connnected graph G is Eulerian if and only if all of its vertices have even degree. Proof Necessity: Add direction to each edge as it is visited along the Eulerian circuit. Since each vertex has indegree equal to its outdegree, the degree (undirected) of each vertex is even.

Characterization of Eulerian Graphs Theorem A connnected graph G is Eulerian if and only if all of its vertices have even degree. Proof Necessity: Add direction to each edge as it is visited along the Eulerian circuit. Since each vertex has indegree equal to its outdegree, the degree (undirected) of each vertex is even. Suciency: Proof by induction on the number of edges, m. Basis step: m = 0, true.

Characterization of Eulerian Graphs Theorem A connnected graph G is Eulerian if and only if all of its vertices have even degree. Proof Necessity: Add direction to each edge as it is visited along the Eulerian circuit. Since each vertex has indegree equal to its outdegree, the degree (undirected) of each vertex is even. Suciency: Proof by induction on the number of edges, m. Basis step: m = 0, true. Key Lemma: (Lemma 1.2.25): If every vertex of a graph G has degree at least 2, then G contains a cycle. Since every vertex in G has even degree, every vertex has degree at least 2 in every component of G. By the key lemma, there is a cycle in each component of G.

Characterization of Eulerian Graphs Theorem A connnected graph G is Eulerian if and only if all of its vertices have even degree. Proof Necessity: Add direction to each edge as it is visited along the Eulerian circuit. Since each vertex has indegree equal to its outdegree, the degree (undirected) of each vertex is even. Suciency: Proof by induction on the number of edges, m. Basis step: m = 0, true. Key Lemma: (Lemma 1.2.25): If every vertex of a graph G has degree at least 2, then G contains a cycle. Since every vertex in G has even degree, every vertex has degree at least 2 in every component of G. By the key lemma, there is a cycle in each component of G. So, pick a cycle in one component, call it C. Let G := G C.

Characterization of Eulerian Graphs Theorem A connnected graph G is Eulerian if and only if all of its vertices have even degree. Proof Necessity: Add direction to each edge as it is visited along the Eulerian circuit. Since each vertex has indegree equal to its outdegree, the degree (undirected) of each vertex is even. Suciency: Proof by induction on the number of edges, m. Basis step: m = 0, true. Key Lemma: (Lemma 1.2.25): If every vertex of a graph G has degree at least 2, then G contains a cycle. Since every vertex in G has even degree, every vertex has degree at least 2 in every component of G. By the key lemma, there is a cycle in each component of G. So, pick a cycle in one component, call it C. Let G := G C. By inductive hypothesis, every component of G has an Euler circuit D. D, together with C is an Euler circuit of G.

Conclusions Corollary Every even graph (all degree even) decomposes into cycles.

Conclusions Corollary Every even graph (all degree even) decomposes into cycles. Proposition If for a graph G, δ(g) k, then G contains a P k+1. If k 2, then G also contains a cycle of length at least k + 1.