What do these algorithms compute?

Computer Networking: A Top-Down Approach (7th Edition)
7th Edition
ISBN:9780133594140
Author:James Kurose, Keith Ross
Publisher:James Kurose, Keith Ross
Chapter1: Computer Networks And The Internet
Section: Chapter Questions
Problem R1RQ: What is the difference between a host and an end system? List several different types of end...
icon
Related questions
Question
Question # 2
Consider the following three different algorithms that solve the same problem:
a) What do these algorithms compute?
b) What are their pre-condition and post condition?
c) Clearly define your loop invariant for the given algorithms.
d) Prove correctness of above algorithms by showing initialization, maintenance and termination. For
Algorithm-3, c>2
ALGORITHM-1 secret1(y, z)
// Input:,
// Output:
ALGORITHM-2 secret2(y, z)
// Input:
// Output:
while z> 0 do
while z> 0 do
if z% 2 = 1 then
x+x+y*( z% 2)
ye 2*y
ze [:/2]
x+x+y
end if
ye 2*y
ze L:/2]
end while
return
end while
return x
ALGORITHM-3 secret3(y, z)
// Input:
// Output:
x+0
while z> 0 do
x+x+y*( z% c)
ye c*y
end while
return x
Ouestion # 3
Transcribed Image Text:Question # 2 Consider the following three different algorithms that solve the same problem: a) What do these algorithms compute? b) What are their pre-condition and post condition? c) Clearly define your loop invariant for the given algorithms. d) Prove correctness of above algorithms by showing initialization, maintenance and termination. For Algorithm-3, c>2 ALGORITHM-1 secret1(y, z) // Input:, // Output: ALGORITHM-2 secret2(y, z) // Input: // Output: while z> 0 do while z> 0 do if z% 2 = 1 then x+x+y*( z% 2) ye 2*y ze [:/2] x+x+y end if ye 2*y ze L:/2] end while return end while return x ALGORITHM-3 secret3(y, z) // Input: // Output: x+0 while z> 0 do x+x+y*( z% c) ye c*y end while return x Ouestion # 3
Expert Solution
steps

Step by step

Solved in 3 steps

Blurred answer
Recommended textbooks for you
Computer Networking: A Top-Down Approach (7th Edi…
Computer Networking: A Top-Down Approach (7th Edi…
Computer Engineering
ISBN:
9780133594140
Author:
James Kurose, Keith Ross
Publisher:
PEARSON
Computer Organization and Design MIPS Edition, Fi…
Computer Organization and Design MIPS Edition, Fi…
Computer Engineering
ISBN:
9780124077263
Author:
David A. Patterson, John L. Hennessy
Publisher:
Elsevier Science
Network+ Guide to Networks (MindTap Course List)
Network+ Guide to Networks (MindTap Course List)
Computer Engineering
ISBN:
9781337569330
Author:
Jill West, Tamara Dean, Jean Andrews
Publisher:
Cengage Learning
Concepts of Database Management
Concepts of Database Management
Computer Engineering
ISBN:
9781337093422
Author:
Joy L. Starks, Philip J. Pratt, Mary Z. Last
Publisher:
Cengage Learning
Prelude to Programming
Prelude to Programming
Computer Engineering
ISBN:
9780133750423
Author:
VENIT, Stewart
Publisher:
Pearson Education
Sc Business Data Communications and Networking, T…
Sc Business Data Communications and Networking, T…
Computer Engineering
ISBN:
9781119368830
Author:
FITZGERALD
Publisher:
WILEY