Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Graph Terminology: Neighbors, Degree, Complete Graphs, and Bipartite Graphs, Lecture notes of Discrete Mathematics

Definitions and examples of key graph terminology, including neighbors, degree, complete graphs, and bipartite graphs. It covers concepts such as adjacency, degree theorem, complete graphs, and bipartite graphs. Students of Discrete Mathematics can use this document as a reference for understanding the basics of graph theory.

Typology: Lecture notes

2021/2022

Uploaded on 09/12/2022

birkinshaw
birkinshaw ๐Ÿ‡บ๐Ÿ‡ธ

4.7

(9)

239 documents

1 / 13

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Graph Terminology
Neighbours
Definition
Two vertices uand vin an undirected graph G= (V,E)are called adjacent (or neighbors) in Gif
{u,v} โˆˆ E. In other words, uand vare neighbors if there is an edge ewhich has uand vas its
endpoints. Such an edge eis called incident with the vertices uand vand eis said to connect uand v.
Example
v
w
z
u
โ€ขThe neighbour of uis v
โ€ขThe neighbour of zis w
โ€ขThe neighbours of ware vand z
โ€ขThe neighbours of vare wand u
Discrete Mathematics 1 / 10
pf3
pf4
pf5
pf8
pf9
pfa
pfd

Partial preview of the text

Download Graph Terminology: Neighbors, Degree, Complete Graphs, and Bipartite Graphs and more Lecture notes Discrete Mathematics in PDF only on Docsity!

Neighbours

Definition

Two vertices u and v in an undirected graph G = (V , E ) are called adjacent (or neighbors) in G if {u , v } โˆˆ E. In other words, u and v are neighbors if there is an edge e which has u and v as its endpoints. Such an edge e is called incident with the vertices u and v and e is said to connect u and v.

Example

v

w

z

u

  • The neighbour of u is v
  • (^) The neighbour of z is w
  • The neighbours of w are v and z
  • (^) The neighbours of v are w and u

Neighbourhood

Definition

The neighbourhood of a vertex v in an undirected graph G = (V , E ) is the set of all neighbours of v , which we will denote by N(v ). If A โІ V , then we define N(A) =

โ‹ƒ v โˆˆ A N(v^ )^ to be the set of all neighbours of some vertex in A.

Example

v

w q

u

z r

t

  • (^) N(v ) = {z , r , u , w }
  • N({r , w }) = {v , q}
  • N({z , r , u}) = {v }
  • (^) N({t}) = โˆ…

Degree

Theorem

Let G = (V , E ) be an undirected graph with m edges. Then:

โˆ‘

v โˆˆ V

deg(v ) = 2 m

Proof.

By induction on the number of edges. Alternatively, there is also a simple combinatorial proof โ€“ every edge is incident to exactly two vertices and each edge will be counted twice in the sum.

Example

A graph has 8 vertices with degree 4 and 2 vertices with degree 2. How many edges does this graph have?

Degree

Theorem

Let G = (V , E ) be an undirected graph with m edges. Then:

โˆ‘

v โˆˆ V

deg(v ) = 2 m

Proof.

By induction on the number of edges. Alternatively, there is also a simple combinatorial proof โ€“ every edge is incident to exactly two vertices and each edge will be counted twice in the sum.

Example

A graph has 8 vertices with degree 4 and 2 vertices with degree 2. How many edges does this graph have? Using the theorem, we see (^) โˆ‘

v โˆˆ V

deg(v ) = 8 ร— 4 + 2 ร— 2 = 36_._

Thus, the graph must have 36/2=18 edges. Remark: there are many different graphs which satisfy these conditions.

Complete Graphs

Definition

For n โˆˆ N, the complete graph on n vertices, denoted K n , is the undirected graph which contains n vertices and exactly one edge between any distinct pair of vertices.

Example

K 0 :

(empty graph)

K 1 : K 2 : K 3 : K 4 :

K 5 : K 6 :

Cycles

Definition

For n โ‰ฅ 3, the cycle graph on n vertices, denoted C n , is the undirected graph which contains n vertices V = {v 1 , v 2 ,... , v n } and edges E = {{v 1 , v 2 } , {v 2 , v 3 } ,... , {v n โˆ’ 1 , v n } , {v n, v 1 }}

Example

C 3 C 4 C 5 C 6

Remark: Our definition of undirected graph does not allow us to define C 2 , but we may do it using pseudographs. Why?

Bipartite graphs (continued)

Question: How can we determine if the following graph is bipartite?

Try to rearrange the vertices in two clusters such that there are no edges between any two vertices in the same cluster.

Bipartite graphs (continued)

Question: How can we determine if the following graph is bipartite?

Try to rearrange the vertices in two clusters such that there are no edges between any two vertices in the same cluster. After rearranging, the above graph becomes:

Complete bipartite graphs

Definition

Given n , m โˆˆ N+, we denote with K m,n the complete bipartite graph on n and m vertices which is defined to be the bipartite graph whose vertex set is partitioned into two subsets - one on n vertices and the other on m vertices, where each of the n vertices from the first partition is adjacent to all m vertices of the second partition.

Example

K 3 , 2 K 3 , 3 K 1 , 3

Remark 1: โˆ€n , m โˆˆ N+ : K n,m = K m,n Remark 2: K 0 ,m does not exist, because we require partitions of the vertex set to be nonempty. Question: In general K m,n is not complete. For what values of n and m is K m,n complete? Answer: K 1 , 1 = K 2. If n 6 = 1 and m 6 = 1, then K m,n is not complete.