Discrete Mathematics Assignment 4
Discrete Mathematics Assignment 4
November 2020
GROUP 17
1. Solution:
To prove: Z+ × Z+ is countable.
We then note that f( m,n) represents the position of ( m,n) in the path with
( 1,1) in 1st position, ( 1,2) in 2nd position, ( 2,1) in 3rd position, etc.
f one-to-one
Let us assume that ( a,b) ∈ Z+ × Z+ and ( m,n) ∈ Z+ × Z+ such that a and
b have the same depiction.
f( a,b) = f( m,n)
1
By the definition of the function f, the image of f then represents the same
element in the path. However, each value is unique along the path and thus
the corresponding values need to be in the same location.
( a,b) = ( m,n)
We then note that f( a,b) = f( m,n) implies ( a,b) = ( m,n) for all
( a,b) ∈ Z+ × Z+ and for all ( m,n) ∈ Z+ × Z+ . By the definition of
one-to-one, f is then one-to-one.
f onto
Let c ∈ Z+ .
Let ( a,b) be the c ordered pair in the path.
By the definition of f:
f( a,b) = c
We then note that for every c ∈ Z+ ,there exists an element ( a,b) ∈ Z+ × Z+
such that f( a,b) = c. By the definition of onto, f is then onto.
Countable
We showed that f is onto and one-to-one, which implies that f is a one-to-one
correspondence between Z+ and Z+ × Z+ . This also means that Z+ × Z+
is countable as Z+ is countable.
4. Solution:
2e
( a) Prove: v ≥m
We know that m is the minimum degree, thus the degree of each vertex is
larger than or equal to m.
2
v
X v
X
2e = deg( i) ≥ m = mv
i=1 i=1
2e
( b) Prove: v ≤m
We know that M is the maximum degree, thus the degree of each vertex is
smaller than or equal to M.
v
X v
X
2e = deg( i) ≤ M = Mv
i=1 i=1
5. Solution:
v2
Maximum number of edges in a bipartite graph with v vertices = 4
3
6. Solution:
The degree sequence of a graph is the sequence of the degrees of the vertices
of the graph in non–increasing order.
The complementary graph G of a simple graph G has the same vertices of
G and two vertices are adjacent in G if and only if they are not adjacent in
G.
If G is a simple graph of n vertices, then
G ∪ G = Kn , the complete graph of n vertices.
The degree of every vertex of Kn is n-1.