BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193

Solutions

Chapter
Section
BuyFindarrow_forward

Discrete Mathematics With Applicat...

5th Edition
EPP + 1 other
ISBN: 9781337694193
Textbook Problem
1 views

The recurrence relation for m 1 , m 2 , m 3 , , which arises in the calculation of the efficiency of merge sort, is
   m 1 = 0 m k = m k / 2 + m k / 2 + k 1.

Show that for every integer n 1 ,

a. 1 2 n log 2 n m n

b. m n 2 n log 2 n

To determine

(a)

To prove:

For n1, 12nlog2nmn, where the recurrence relation for m1,m2,m3,... is given by

m1=0 and mk=mk2+mk2+k1.

Explanation

Given information:

Recurrence relation for m1,m2,m3,... is,

m1=0mk=m k 2+m k 2+k1.

Concept used:

Mathematical induction:

To prove a statement there are three steps in mathematical induction,

Step 1: Prove that the given statement is true for n=1.

Step 2: Let the given statement is true for n=k, where k is some positive integer greater than 1.

Step 3: In this step, prove that the given statement is true for n=k+1.

Proof:

Given recurrence relation for m1,m2,m3,... is,

m1=0mk=m k 2+m k 2+k1

Consider, the statement as:

12nlog2nmn ……… (1)

Put n=1 in equation (1),

12(1)log2(1)m10=0

So, the statement is true for n=1.

Let the statement is true for n=k, so from equation (1),

12klog2kmk ……….. (2)

Now put n=k+1 in equation (1),

12(k+1)log2(k+1)mk+1 ……….. (3)

Consider left side of equation (2),

12klog2k=12(k+11)log2k=12(k+1)log2k+12(k+1)log2(k+1)12(k+1)log2(k+1)12log2k=12(k+1)log2(k+1)+12(k+1)( log2k log2( k+1))12log2k=12(k+1)log2(k+1

To determine

(b)

To prove:

For n1,mn2nlog2n, where the recurrence relation for m1,m2,m3,..., is given by

m1=0 and mk=mk2+mk2+k1.

Still sussing out bartleby?

Check out a sample textbook solution.

See a sample solution

The Solution to Your Study Problems

Bartleby provides explanations to thousands of textbook problems written by our experts, many with advanced degrees!

Get Started

Chapter 11 Solutions

Show all chapter solutions add
Sect-11.1 P-5ESSect-11.1 P-6ESSect-11.1 P-7ESSect-11.1 P-8ESSect-11.1 P-9ESSect-11.1 P-10ESSect-11.1 P-11ESSect-11.1 P-12ESSect-11.1 P-13ESSect-11.1 P-14ESSect-11.1 P-15ESSect-11.1 P-16ESSect-11.1 P-17ESSect-11.1 P-18ESSect-11.1 P-19ESSect-11.1 P-20ESSect-11.1 P-21ESSect-11.1 P-22ESSect-11.1 P-23ESSect-11.1 P-24ESSect-11.1 P-25ESSect-11.1 P-26ESSect-11.1 P-27ESSect-11.1 P-28ESSect-11.2 P-1TYSect-11.2 P-2TYSect-11.2 P-3TYSect-11.2 P-4TYSect-11.2 P-5TYSect-11.2 P-6TYSect-11.2 P-1ESSect-11.2 P-2ESSect-11.2 P-3ESSect-11.2 P-4ESSect-11.2 P-5ESSect-11.2 P-6ESSect-11.2 P-7ESSect-11.2 P-8ESSect-11.2 P-9ESSect-11.2 P-10ESSect-11.2 P-11ESSect-11.2 P-12ESSect-11.2 P-13ESSect-11.2 P-14ESSect-11.2 P-15ESSect-11.2 P-16ESSect-11.2 P-17ESSect-11.2 P-18ESSect-11.2 P-19ESSect-11.2 P-20ESSect-11.2 P-21ESSect-11.2 P-22ESSect-11.2 P-23ESSect-11.2 P-24ESSect-11.2 P-25ESSect-11.2 P-26ESSect-11.2 P-27ESSect-11.2 P-28ESSect-11.2 P-29ESSect-11.2 P-30ESSect-11.2 P-31ESSect-11.2 P-32ESSect-11.2 P-33ESSect-11.2 P-34ESSect-11.2 P-35ESSect-11.2 P-36ESSect-11.2 P-37ESSect-11.2 P-38ESSect-11.2 P-39ESSect-11.2 P-40ESSect-11.2 P-41ESSect-11.2 P-42ESSect-11.2 P-43ESSect-11.2 P-44ESSect-11.2 P-45ESSect-11.2 P-46ESSect-11.2 P-47ESSect-11.2 P-48ESSect-11.2 P-49ESSect-11.2 P-50ESSect-11.2 P-51ESSect-11.3 P-1TYSect-11.3 P-2TYSect-11.3 P-3TYSect-11.3 P-1ESSect-11.3 P-2ESSect-11.3 P-3ESSect-11.3 P-4ESSect-11.3 P-5ESSect-11.3 P-6ESSect-11.3 P-7ESSect-11.3 P-8ESSect-11.3 P-9ESSect-11.3 P-10ESSect-11.3 P-11ESSect-11.3 P-12ESSect-11.3 P-13ESSect-11.3 P-14ESSect-11.3 P-15ESSect-11.3 P-16ESSect-11.3 P-17ESSect-11.3 P-18ESSect-11.3 P-19ESSect-11.3 P-20ESSect-11.3 P-21ESSect-11.3 P-22ESSect-11.3 P-23ESSect-11.3 P-24ESSect-11.3 P-25ESSect-11.3 P-26ESSect-11.3 P-27ESSect-11.3 P-28ESSect-11.3 P-29ESSect-11.3 P-30ESSect-11.3 P-31ESSect-11.3 P-32ESSect-11.3 P-33ESSect-11.3 P-34ESSect-11.3 P-35ESSect-11.3 P-36ESSect-11.3 P-37ESSect-11.3 P-38ESSect-11.3 P-39ESSect-11.3 P-40ESSect-11.3 P-41ESSect-11.3 P-42ESSect-11.3 P-43ESSect-11.4 P-1TYSect-11.4 P-2TYSect-11.4 P-3TYSect-11.4 P-4TYSect-11.4 P-5TYSect-11.4 P-1ESSect-11.4 P-2ESSect-11.4 P-3ESSect-11.4 P-4ESSect-11.4 P-5ESSect-11.4 P-6ESSect-11.4 P-7ESSect-11.4 P-8ESSect-11.4 P-9ESSect-11.4 P-10ESSect-11.4 P-11ESSect-11.4 P-12ESSect-11.4 P-13ESSect-11.4 P-14ESSect-11.4 P-15ESSect-11.4 P-16ESSect-11.4 P-17ESSect-11.4 P-18ESSect-11.4 P-19ESSect-11.4 P-20ESSect-11.4 P-21ESSect-11.4 P-22ESSect-11.4 P-23ESSect-11.4 P-24ESSect-11.4 P-25ESSect-11.4 P-26ESSect-11.4 P-27ESSect-11.4 P-28ESSect-11.4 P-29ESSect-11.4 P-30ESSect-11.4 P-31ESSect-11.4 P-32ESSect-11.4 P-33ESSect-11.4 P-34ESSect-11.4 P-35ESSect-11.4 P-36ESSect-11.4 P-37ESSect-11.4 P-38ESSect-11.4 P-39ESSect-11.4 P-40ESSect-11.4 P-41ESSect-11.4 P-42ESSect-11.4 P-43ESSect-11.4 P-44ESSect-11.4 P-45ESSect-11.4 P-46ESSect-11.4 P-47ESSect-11.4 P-48ESSect-11.4 P-49ESSect-11.4 P-50ESSect-11.4 P-51ESSect-11.5 P-1TYSect-11.5 P-2TYSect-11.5 P-3TYSect-11.5 P-4TYSect-11.5 P-5TYSect-11.5 P-1ESSect-11.5 P-2ESSect-11.5 P-3ESSect-11.5 P-4ESSect-11.5 P-5ESSect-11.5 P-6ESSect-11.5 P-7ESSect-11.5 P-8ESSect-11.5 P-9ESSect-11.5 P-10ESSect-11.5 P-11ESSect-11.5 P-12ESSect-11.5 P-13ESSect-11.5 P-14ESSect-11.5 P-15ESSect-11.5 P-16ESSect-11.5 P-17ESSect-11.5 P-18ESSect-11.5 P-19ESSect-11.5 P-20ESSect-11.5 P-21ESSect-11.5 P-22ESSect-11.5 P-23ESSect-11.5 P-24ESSect-11.5 P-25ESSect-11.5 P-26ES