Discrete Mathematics With Applicat...

5th Edition

EPP + 1 other

ISBN: 9781337694193

Textbook Problem

1 views

Exercises 12—15 refer to the following algorithm segment. For each positive integer n, let b n be the number of iterations of the while loop.

while ( n > 0 ) n : = n d i v 3

end while
14. a. Use iteration to guess an explicit formula for b n .

b. Prove that if k is an integer and x is a real number with 3 k ≤ x < 3 k then ⌊ log 3 x ⌋ .
c. Prove that for every integer m ≥ 1 , ⌊ log 3 ( 3 m ) ⌋ = ⌊ log 3 ( 3 m + 1 ) ⌋ = ⌊ log 3 ( 3 m + 2 ) ⌋ .

d. Prove the correctness of the formula you found in part (a).

To determine

(a)

Use iteration to guess an explicit formula for bn.

Explanation

Given information:

For each positive integer n, let b_n be the number of iterations of the while loop. while ( n > 0)

n := n div 3

end whileCalculation:

Result previous exercise:

bn=b⌊n/3⌋+1 for all integers n≥2b1=1b2=1

Let us determine the first terms of the given recurrence relation:

b1=1=1+⌊log31⌋

b2=1=1+⌊log32⌋

b3=b⌊3/3⌋+1=b1+1=1+1=2=1+⌊log33⌋

b4=b⌊4/3⌋+1=b1+1=1+1=2=1+⌊log34⌋

b5=b⌊5/3⌋+1=b1+1=1+1=2=1+⌊log35⌋

b6=b⌊6/3⌋+1=b2+1=1+1=2=1+⌊log3</

To determine

(b)

Prove that if k is an integer and x is a real number with 3k≤x<3k+1, then ⌊log3x⌋=k.

To determine

(c)

Prove that for all integers m≥1,

⌊log3(3m)⌋=⌊log3(3m+1)⌋=⌊log3(3m+2)⌋.

To determine

(d)

Prove the correctness of the formula you found in part (a).

Still sussing out bartleby?

Check out a sample textbook solution.

See a sample solution

Chapter 11 Solutions

Show all chapter solutions

Sect-11.1 P-1TY Sect-11.1 P-2TY Sect-11.1 P-3TY Sect-11.1 P-4TY Sect-11.1 P-5TY Sect-11.1 P-6TY Sect-11.1 P-1ES Sect-11.1 P-2ES Sect-11.1 P-3ES Sect-11.1 P-4ES

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

© bartleby 2019