Lecture 1: Examples, connectedness, paths and cycles

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

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

Graph and Digraph Glossary

Chapter 2 Graphs. 2.1 Definition of Graphs

Elements of Graph Theory

Math 776 Graph Theory Lecture Note 1 Basic concepts

Varying Applications (examples)

Artificial Intelligence

r=1 The Binomial Theorem. 4 MA095/98G Revision

Graph Theory. ICT Theory Excerpt from various sources by Robert Pergl

MATH 363 Final Wednesday, April 28. Final exam. You may use lemmas and theorems that were proven in class and on assignments unless stated otherwise.

Discrete Mathematics

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

CS6702 GRAPH THEORY AND APPLICATIONS QUESTION BANK

Introduction to Graph Theory

2 hours THE UNIVERSITY OF MANCHESTER. 23 May :45 11:45

Assignment 4 Solutions of graph problems

Introduction III. Graphs. Motivations I. Introduction IV

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

1 Digraphs. Definition 1

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

Graph Theory: Introduction

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

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

Discrete mathematics II. - Graphs

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

1. a graph G = (V (G), E(G)) consists of a set V (G) of vertices, and a set E(G) of edges (edges are pairs of elements of V (G))

2 hours THE UNIVERSITY OF MANCHESTER. 22 May :00 16:00

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

Week 8: The fundamentals of graph theory; Planar Graphs 25 and 27 October, 2017

CMSC 380. Graph Terminology and Representation

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

An Introduction to Graph Theory

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

Solutions to Quiz 1. (a) (3 points) Vertices x and y are in the same connected component. Solution. P (x, y)

Combinatorics Summary Sheet for Exam 1 Material 2019

Graph Theory. Probabilistic Graphical Models. L. Enrique Sucar, INAOE. Definitions. Types of Graphs. Trajectories and Circuits.

Lecture 4: Bipartite graphs and planarity

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

Chapter 4. Relations & Graphs. 4.1 Relations. Exercises For each of the relations specified below:

Slides for Faculty Oxford University Press All rights reserved.

2. CONNECTIVITY Connectivity

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

6. Lecture notes on matroid intersection

MATH 139 W12 Review 1 Checklist 1. Exam Checklist. 1. Introduction to Predicates and Quantified Statements (chapters ).

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.

CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS

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

Graphs. Introduction To Graphs: Exercises. Definitions:

GRAPHS: THEORY AND ALGORITHMS

Preface MOTIVATION ORGANIZATION OF THE BOOK. Section 1: Basic Concepts of Graph Theory

Introductory Combinatorics

CMSC Honors Discrete Mathematics

Jörgen Bang-Jensen and Gregory Gutin. Digraphs. Theory, Algorithms and Applications. Springer

Introduction to Mathematical Programming IE406. Lecture 16. Dr. Ted Ralphs

Graphs Definitions. Gunnar Gotshalks. GraphDefinitions 1

Chapter 4 Graphs and Matrices. PAD637 Week 3 Presentation Prepared by Weijia Ran & Alessandro Del Ponte

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.

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

CS 4407 Algorithms Lecture 5: Graphs an Introduction

Konigsberg Bridge Problem

Network Basics. CMSC 498J: Social Media Computing. Department of Computer Science University of Maryland Spring Hadi Amiri

Graph theory: basic concepts

Archive of past papers, solutions and homeworks for MATH 110, Discrete Mathematics, Fall 2012, Laurence Barker

Graphs, graph algorithms (for image segmentation),... in progress

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

Lecture 22 Tuesday, April 10

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

Lecture 3: Recap. Administrivia. Graph theory: Historical Motivation. COMP9020 Lecture 4 Session 2, 2017 Graphs and Trees

context. (Similarly, we write ν for ν(g), etc. if there is no risk of confusion.) For a subset A V we write N G (A) = {v V ( w A)(v w)} (the set of

Lecture 5: Dual graphs and algebraic duality

Graphs and Network Flows IE411. Lecture 21. Dr. Ted Ralphs

Simple graph Complete graph K 7. Non- connected graph

Lecture 6: Graph Properties

WUCT121. Discrete Mathematics. Graphs

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

11/22/2016. Chapter 9 Graph Algorithms. Introduction. Definitions. Definitions. Definitions. Definitions

Chapter 9 Graph Algorithms

Graph Theory CS/Math231 Discrete Mathematics Spring2015

Paths. Path is a sequence of edges that begins at a vertex of a graph and travels from vertex to vertex along edges of the graph.

Graphs. Pseudograph: multiple edges and loops allowed

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

University of Toronto Department of Mathematics

Introduction to Sets and Logic (MATH 1190)

Outline. Introduction. Representations of Graphs Graph Traversals. Applications. Definitions and Basic Terminologies

Foundations of Discrete Mathematics

Assignment 1 Introduction to Graph Theory CO342

Graphs and Isomorphisms

Course Introduction / Review of Fundamentals of Graph Theory

Part II. Graph Theory. Year

Key Graph Theory Theorems

CSE 20 DISCRETE MATH. Fall

Chapter 9 Graph Algorithms

Graph Theory. Part of Texas Counties.

Math Summer 2012

BIL694-Lecture 1: Introduction to Graphs

Number Theory and Graph Theory

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

Math 443/543 Graph Theory Notes

Transcription:

Lecture 1: Examples, connectedness, paths and cycles Anders Johansson 2011-10-22 lör

Outline The course plan Examples and applications of graphs Relations The definition of graphs as relations Connectedness, paths and cycles

Topic The course plan Examples and applications of graphs Relations The definition of graphs as relations Connectedness, paths and cycles

Literature, teaching format and examination Literature Grimaldi, Ralph P.; Discrete and combinatorial mathematics, 5th edition, Pearson Addison Wesley, 2004. Chapters 11-13 Extra material handed out. (Not too demanding) Teaching format: We have twenty combined lectures and tutorials. Weight will be put on problem solving. Examination We will have four problem sessions, where you can present your own solutions to problems. Problem sheets will be handed out and posted at least a week in advance. Details about dates etc., will be posted on the course page later. Participation in the problem sessions (at least 2/4) will give bonus at the written exam in December; the first exam-question will automatically be graded with full points.

Lesson and exercise planning No Section Content Proposed exercises 1 11.1 Definitions and examples, paths and cycles 2,4,6,7,8,10,13,14,15,16 2 11.2 Subgraphs and graph-homomorphisms 1,2,4,5,7,8,10,11,13 3 11.3 Degrees, parity and euler tours 1,2,3,5,8,11,13,16,26,27,30,32,33,37 4 11.4 (+) Planar graphs, cycles and cuts 1,2,11,13,17,19,21,22,23,27,28 5 11.5 Hamiltonian graphs 1,2,4,10,12,18,20,21,25,26 6 11.6 Chromatic properties 1,2,4,7,8,9,14,16,17,18,19 7 11.6 (+) More about colourings S11 17,18,21,22, (+) 8 12.1 Acyclic graphs and trees 2,4,5,7,9,10,11,18,19,21,22,23,25 9 12.2 Rooted trees and search 1,2,5,7,9,10,12,14,15,16,19,20 10 12.3 Trees and sorting 1,3,4 11 12.4 Trees and codes 1,3,6,7 12 12.5 Decomposition into blocks 1,4,5,6,7,8,12,13 S12 5,6,7,8,11,14 13 13.1 Shortest path problems 1,2,4,5,6,7,9 14 13.2 Greedy algorithms and minimum spanning 1,2,4,5,6,7,9 tree 15 13.3 Transport networks 1,3,6 (+) 16 13.3 (+) Transport problems 17 13.4 Matchings in bipartite graphs 1,2,4,5,7,13 S13 5,6,8,9 18 13.4 (+) Duality principles in linear programming 19 (+) Random graphs and random graph statistics 20 Tutorial (buffer)

Topic The course plan Examples and applications of graphs Relations The definition of graphs as relations Connectedness, paths and cycles

A simple symmetric relation (undirected graphs) (a) A symmetric graph on 30 vertices (b) Another 3-regular graph Figure: Undirected simple graphs: Main object

Automata and state transition graphs Directed graphs, where arrows stand for a transition in time between states are also very common: Markov chains, automata, game theory,... 0 1 C 0 B 0 start 1 A 1 0 1 F 1 0 0 E D G 1

Dependency graphs, factor graphs, etc. Many application of graphs starts from graphs where nodes representing variables are connected if they are dependent in some way. Examples are Bayesian networks, graphical models, factor graphs,... Figure: A Baeysian network

Relationship diagrams, data base models,... In Computer Science the use of graphs has a long tradition. Here is an example of a entity relation diagram used in database constructions. name name n C-I 1 institute 1 code course n S-C m S-I n student name number grade

Topic The course plan Examples and applications of graphs Relations The definition of graphs as relations Connectedness, paths and cycles

Naive set theory Examples of sets are {1, 2}, {1, 1, 2} = {1, 2}, {3n Z : n is prime }, {{1, 3}, {2}}, etc. The statement that x is an element of A, is written x A. Two sets A and B are equal when they have precisely the same elements, that is, x A x B. A set encode as a geometric object a unary relation on objects or a proposition about outcomes. Logic is obtained by set operations. x A B A B A \ B

Sets of sets and the power set 2 X Given a set X, we obtain the power set 2 X consisting of all subsets of X. The set ( X k ) is the set of all k-subsets of X. If X = {1, 2, 3} then 2 X = {, {1}, {2}, {3}, {1, 2}, {2, 3}, {3, 1}, {1, 2, 3}}. and ( ) X = {{1, 2}, {2, 3}, {3, 1}} and 2 ( ) X = {{1, 2, 3}}. 3 Note the cardinalities (=number of elements) ( ) ( ) 2 X = 2 X, X X =. k k

The Cartesian product of sets Given two sets A and B, the Cartesian product, A B is the set of pairs (two-tuples) (a, b) such that a A and b B. For example, given the set of playing card ranks and suits and R = {A, K, Q, J, 10, 9,..., 3, 2} S = {,,, } we obtain the 52-element set R S = {(A, ), (K, ),..., (2, ), (A, ),..., (3, ), (2, )}. A poker-hand is thus a 5-subset of R S, i.e. an element in ( ) R S 5. 2 3 4 5 6 7 8 9 10 J Q K A A K Q J 10 9 8 7 6 5 4 3 2

The Cartesian product of sets Given two sets A and B, the Cartesian product, A B is the set of pairs (two-tuples) (a, b) such that a A and b B. For example, given the set of playing card ranks and suits and R = {A, K, Q, J, 10, 9,..., 3, 2} S = {,,, } we obtain the 52-element set R S = {(A, ), (K, ),..., (2, ), (A, ),..., (3, ), (2, )}. A poker-hand is thus a 5-subset of R S, i.e. an element in ( ) R S 5. 2 3 4 5 6 7 8 9 10 J Q K A A K Q J 10 9 8 7 6 5 4 3 2 Full house

Relations: Subsets of a cartesian product A B A (binary) relation R between elements of A and elements of B is (can be interpreted as) a subset R A B, where arb precisely if (a, b) R. d c b a 6 5 4 3 2 1 If A = B = X, we say a relation Q X X is a relation on X. c b d X a e d

Functions A relation f A B is a function from A to B if for every a A there is exactly one element in B related to a. This element is written f (a). d c A f B 6 5 4 A function is surjective if every element in B is related to at least one element in A. b a 3 2 1 A function is injective if no element in B is related to more than one element in A. d A g f (a) B 6 A bijective function f : A B is one which is both surjective and injective. In this case we have B = f (A) = A. c b a 5 4 3 2 1

Symmetric, transitive and reflexive relations A relation Q on X is symmetric if, for all x, y X, xqy implies yqx. It is reflexive if xqx for all x X. d c b a A relation Q on X is transitive if, for all x, y, z X, e f xqy yqz = xqz. A symmetric, reflexive and transitive relation is an equivalence relation.

Symmetric, transitive and reflexive relations A relation Q on X is symmetric if, for all x, y X, xqy implies yqx. It is reflexive if xqx for all x X. d c b a A relation Q on X is transitive if, for all x, y, z X, e f xqy yqz = xqz. A symmetric, reflexive and transitive relation is an equivalence relation.

Symmetric, transitive and reflexive relations A relation Q on X is symmetric if, for all x, y X, xqy implies yqx. It is reflexive if xqx for all x X. d c b a A relation Q on X is transitive if, for all x, y, z X, e f xqy yqz = xqz. c b A symmetric, reflexive and transitive relation is an equivalence relation. d a e f

Symmetric, transitive and reflexive relations A relation Q on X is symmetric if, for all x, y X, xqy implies yqx. It is reflexive if xqx for all x X. d c b a A relation Q on X is transitive if, for all x, y, z X, e f xqy yqz = xqz. c b A symmetric, reflexive and transitive relation is an equivalence relation. d a e f

Topic The course plan Examples and applications of graphs Relations The definition of graphs as relations Connectedness, paths and cycles

Definition of simple directed graphs Def: Let V be a set and E V V a binary relation on V. A simple digraph G is the pair G = (V, E), where V is called the set of vertices and E the set of directed edges or arcs. We say i V is adjacent to j V if ij = (i, j) E and adjacent from k V if (k, i) E. The edge (i, j) E is an out-edge at i and an in-edge at j; j is an out-neighbour of i and i is an in-neighbour of j. 1 16 6 56 15 25 53 12 5 23 2 3 45 34 4 If E does not include edges of the form (i, i), the graph is without loops.

Definition of simple directed graphs Def: Let V be a set and E V V a binary relation on V. A simple digraph G is the pair G = (V, E), where V is called the set of vertices and E the set of directed edges or arcs. We say i V is adjacent to j V if ij = (i, j) E and adjacent from k V if (k, i) E. The edge (i, j) E is an out-edge at i and an in-edge at j; j is an out-neighbour of i and i is an in-neighbour of j. 1 16 6 56 15 25 53 12 5 23 2 3 45 44 34 4 If E does not include edges of the form (i, i), the graph is without loops.

Undirected simple graph Def: An undirected simple graph is a pair G = (V, E), where direction E ( V 2). We often write elements {i, j} of E as ij direction is disregarded. An undirected graph corresponds to a symmetric adjacency relation; i adjacent to j and vice versa precisely if {i, j} E. This correspond to an underlying symmetric reflexive or anti-reflexive relation. 1 16 12 6 56 15 25 53 5 23 2 3 45 34 4 We say that a vertex v is incident with an edge e E if v e.

General multigraphs; head and tail functions; incidence relation Let V and E be two finite sets. A general (multi-) digraph G = (V, E, head tail) is given by two functions head : E V and tail : E V. The multiplicity of an edge (u, v) V V is the number edges e such that head e = u and tail e = v. The incidence relation, Inc, from E to V, is defined as follows: e is incident with v if v = head e or v = tail e. An undirected multi-graph G = (V, E) is an equivalence class with a fixed incidence relation. Multiplicity of edge {u, v} is the number of edges such that Inc({e}) = {u, v}. Every digraph G with the same incidence relation is called an orientation of G. E head tail e 1 A B e 2 A B e 3 B C e 4 C D e 5 B E e 6 E F e 7 B E e 8 A F e 9 E D F E e 8 e e e 6 9 5 e A e 7 1 D e 2 e 4 e 3 B C

General multigraphs; head and tail functions; incidence relation Let V and E be two finite sets. A general (multi-) digraph G = (V, E, head tail) is given by two functions head : E V and tail : E V. The multiplicity of an edge (u, v) V V is the number edges e such that head e = u and tail e = v. The incidence relation, Inc, from E to V, is defined as follows: e is incident with v if v = head e or v = tail e. An undirected multi-graph G = (V, E) is an equivalence class with a fixed incidence relation. Multiplicity of edge {u, v} is the number of edges such that Inc({e}) = {u, v}. Every digraph G with the same incidence relation is called an orientation of G. E head tail e 1 A B e 2 A B e 3 B C e 4 C D e 5 B E e 6 E F e 7 B E e 8 A F e 9 E D F E e 8 e e e 6 9 5 e A e 7 1 D e 2 e 4 e 3 B C

General multigraphs; head and tail functions; incidence relation Let V and E be two finite sets. A general (multi-) digraph G = (V, E, head tail) is given by two functions head : E V and tail : E V. The multiplicity of an edge (u, v) V V is the number edges e such that head e = u and tail e = v. The incidence relation, Inc, from E to V, is defined as follows: e is incident with v if v = head e or v = tail e. An undirected multi-graph G = (V, E) is an equivalence class with a fixed incidence relation. Multiplicity of edge {u, v} is the number of edges such that Inc({e}) = {u, v}. Every digraph G with the same incidence relation is called an orientation of G. E head tail e 1 A B e 2 A B e 3 B C e 4 C D e 5 B E e 6 E F e 7 B E e 8 A F e 9 E D F E e 8 e e e 6 9 5 e A e 7 1 D e 2 e 4 e 3 B C

The Cashier/Guard problem Consider the following (simple, undirected) graph. (The normal case!) a b c d e f g h i j k Figure: A graph of cashiers connected by aisles Place a minimum set of guards so that each cashier has at least one guard in some neighbouring aisle. Find a minimum set S such that every vertex is either in S or adjacent to some vertex in S. What is the minimum size of a set S V, such that every edge is incident with at least one vertex in S?

Topic The course plan Examples and applications of graphs Relations The definition of graphs as relations Connectedness, paths and cycles

Walks and reachability The problem of Reachability Can we reach vertex v from vertex u by walking around in the graph? If so, in how many ways can we do this? Def: An uv-walk W of length n in the (multi-di-) graph G = (V, E) is an alternating sequence of vertices x i V, i = 0, 1,..., n, and edges e j E, j = 1,..., n, W : u = x 0, e 1, x 1, e 2, x 2,..., e n 1, x n 1, e n, x n = v, such that, for all i = 1,..., n, both x i 1 and x i are incident with e i. If for all i, x i 1 = head e i and x i = tail e i it is a directed walk otherwise it is an oriented walk. If G is simple then a walk W is specified by the sequence W := (x 0, x 1,..., x n ) V := V V 2 V n....

Closed walks, trails, circuits, paths and cycles An uv-walk is u = x 0, x 1,..., x n = v, closed if a = b a trail if all edges are distinct a circuit if it is a closed trail a path a cycle if all vertices are distinct if it is a closed path c 4 b 5 b 4 a 5 c 3 a 4 c 5 a 6 b6 c 6 a 7 b 7 c 7 a 3 b 3 a 8 c 2 a 2 b 2 a 1 b 1 a 9 b 8 c 8 c 1 a 0 b 0 c 0 b 9 c 9

Closed walks, trails, circuits, paths and cycles An uv-walk is u = x 0, x 1,..., x n = v, closed if a = b a trail if all edges are distinct a circuit if it is a closed trail a path a cycle if all vertices are distinct if it is a closed path c 4 b 5 b 4 a 5 c 3 a 4 c 5 a 6 b6 c 6 a 7 b 7 c 7 a 3 b 3 a 8 c 2 a 2 b 2 a 1 b 1 a 9 b 8 c 8 c 1 a 0 b 0 c 0 b 9 c 9 A a 0 a 2 -walk

Closed walks, trails, circuits, paths and cycles An uv-walk is u = x 0, x 1,..., x n = v, closed if a = b a trail if all edges are distinct a circuit if it is a closed trail a path a cycle if all vertices are distinct if it is a closed path c 4 b 5 b 4 a 5 c 3 a 4 c 5 a 6 b6 c 6 a 7 b 7 c 7 a 3 b 3 a 8 c 2 a 2 b 2 a 1 b 1 a 9 b 8 c 8 c 1 a 0 b 0 c 0 b 9 c 9 A a 0 a 2 -trail

Closed walks, trails, circuits, paths and cycles An uv-walk is u = x 0, x 1,..., x n = v, closed if a = b a trail if all edges are distinct a circuit if it is a closed trail a path a cycle if all vertices are distinct if it is a closed path A a 0 a 2 -path c 4 b 5 b 4 a 5 c 3 a 4 c 5 a 6 b6 c 6 a 7 b 7 c 7 a 3 b 3 a 8 c 2 a 2 b 2 a 1 b 1 a 9 b 8 c 8 c 1 a 0 b 0 c 0 b 9 c 9

Closed walks, trails, circuits, paths and cycles An uv-walk is u = x 0, x 1,..., x n = v, closed if a = b a trail if all edges are distinct a circuit if it is a closed trail a path a cycle if all vertices are distinct if it is a closed path A a 0 a 0 -circuit c 4 b 5 b 4 a 5 c 3 a 4 c 5 a 6 b6 c 6 a 7 b 7 c 7 a 3 b 3 a 8 c 2 a 2 b 2 a 1 b 1 a 9 b 8 c 8 c 1 a 0 b 0 c 0 b 9 c 9

Closed walks, trails, circuits, paths and cycles An uv-walk is u = x 0, x 1,..., x n = v, closed if a = b a trail if all edges are distinct a circuit if it is a closed trail a path a cycle if all vertices are distinct if it is a closed path A a 0 a 0 -cycle c 4 b 5 b 4 a 5 c 3 a 4 c 5 a 6 b6 c 6 a 7 b 7 c 7 a 3 b 3 a 8 c 2 a 2 b 2 a 1 b 1 a 9 b 8 c 8 c 1 a 0 b 0 c 0 b 9 c 9

Compute the number of closed walks in a lollipop graph Consider the following graph with a loop. v w Figure: The lollipop graph Determine a recursion formula for a n the number of closed vv-walks in this graph.

Paths determine the connectivity structure We can describe a path/cycle in any type of graph as a subset of edges and (possibly) the starting point. Paths and cycles are also subgraphs. (More next time) Theorem (Paths are enough) There exists an (directed/oriented) uv-walk if and only if there exists a (directed/oriented) uv-path. Task: Prove this!

Components, connectedness A vertex u V is reachable from v V if there exists an oriented/directed uv-walk or a path. For oriented walks/paths for undirected graphs this is an equivalence relation on V. The equivalence classes are called connected components. The number of components of a graph G is denoted by c(g). (κ(g) in the book) A graph is connected if c(g) = 1. For digraphs we can say that two vertices u an v are strongly connected if there are both a directed uv-walk and a directed vu-walk. This is again an equivalence relation; partitioning V into strong components. 6 5 4 2 3 7 8 0 9 c(g) = 3. 1

Components, connectedness A vertex u V is reachable from v V if there exists an oriented/directed uv-walk or a path. For oriented walks/paths for undirected graphs this is an equivalence relation on V. The equivalence classes are called connected components. The number of components of a graph G is denoted by c(g). (κ(g) in the book) A graph is connected if c(g) = 1. For digraphs we can say that two vertices u an v are strongly connected if there are both a directed uv-walk and a directed vu-walk. This is again an equivalence relation; partitioning V into strong components. 6 5 4 2 3 7 8 0 9 Strong components 1

Distance, diameter and girth Given a graph G = (V, E) the length (or + ) of a shortest path between u and v, u, v V, is called the distance between u and v. It is denoted dist G (u, v). The diameter, diam(g), of a graph is the maximum distance between two vertices. 1. What is the diameter and girth of the Petersen graph? 2. Prove that for every non-acyclic graph g(g) 2 diam(g) + 1. Figure: The Petersen graph The girth, g(g), of a graph is the length of the smallest cycle. (If the graph contains no cycles it is called acyclic.)