b) d) Identify the weakest pre-condition for the following decision that can guarantee the post- condition to be true. Assertion given in bold. ( ? ) integer m, n if (m > n) else = y 8 y + 1; y 2 * y; y = y + 18; = ★ { y ≥ 18 } Using the loop invariant given in b), identify the strongest post-condition if the pre-condition is given as { y 2 1 A x ≥ 2).

b) d) Identify the weakest pre-condition for the following decision that can guarantee the post- condition to be true. Assertion given in bold. ( ? ) integer m, n if (m > n) else = y 8 y + 1; y 2 * y; y = y + 18; = ★ { y ≥ 18 } Using the loop invariant given in b), identify the strongest post-condition if the pre-condition is given as { y 2 1 A x ≥ 2).

Operations Research : Applications and Algorithms

4th Edition

ISBN:9780534380588

Author:Wayne L. Winston

Publisher:Wayne L. Winston

Chapter16: Probabilistic Inventory Models

Section16.3: The News Vendor Problem: Discrete Demand

Problem 9P

See similar textbooks

Similar questions

b) Identify the weakest pre-condition for the following decision that can guarantee the post- condition to be true. ( ? } integer m, n if (m > n) y = 8 / y + 1 else y = 3 * y ( y 2 9 }
b) Identify the weakest pre-condition for the following decision that can guarantee the post- condition to be true. Assertion given in bold. { ? } integer m, n if (mn) y = y = 2 else 8 * { y ≥ 18 } y + 1; y; y = y +18;
Ql: The Collatz conjecture function is defined for a positive integer m as follows. (COO1) g(m) = 3m+1 if m is odd = m/2 if m is even =1 if m=1 The repeated application of the Collatz conjecture function, as follows: g(n), g(g(n)), g(g(g(n))), ... e.g. If m=17, the sequence is 1. g(17) = 52 2. g(52) = 26 3. g(26) = 13 4. g(13) = 40 5. g(40) = 20 6. g(20) = 10 7. g(10) = 5 8. g(5) = 16 9. g(16) = 8 10. g(8) = 4 11. g(4) = 2 12. g(2) = 1 Thus if m=17, apply the function 12 times in order to reach m=1. Use Recursive Function.
L2= {1010 10ª | a ≥ 0} 5. () Using L₂ from the previous problem, is L₂ € Eo? Circle the appropriate answer and justify your answer. YES or NO 6. () Using L₂ from the previous problem, is L₂ E₁? Circle the appropriate answer and justify your answer. YES or NO
QUESTION 7 a) Prove the assignment segment given below to its pre-condition and post-condition using Hoare triple method. (t >- 5) void main () int f,g,2; 2 - 2.t - 8; g - 2. z: f- 2g - 5; {f > 3) b) Identify the weakest pre-condition for the following decision that can guarantee the post- condition to be true. { ? } integer m, n if (m > n) y - 8/y+ 1 else y - 3 y t y 29 ) c) i. Find the loop invariant for the program code below. void main () int y - 1, x - 0; while (x < 4) y - y z; x - x+ l;
Question 37 The correct statements are: If both L and ¬L are in D, then L must be also in SD. If both L and ¬L are in D, then ¬L must be also in SD. If both L and ¬L are in SD, then L must be also in D. If both L and ¬L are in SD, then ¬L must be also in D.
Question 2 Consider the correctness statement x == x { x = x + 1; } P where x has type integer. The correctness statement is valid when P is the assertion: Ox>0 Ox 1 Ox< 1 false The correctness statement is invalid in all above cases.
Q3) Compute the weakest precondition for the following selection construct and its post-condition if (x < y) y = 2 * x - 4; else y = 2 * x + 4; {Q: y < 10}
Problem Statement: Consider the statement: "There is a person x who is a student in CSEN 5303 and has visited Mexico" Explain why the answer cannot be 3x (S(x) –→ M(x)). Submission
Assume num has a value of 4 and word has a value of “Fun”. Determine whether each of the following complex conditions evaluates to true or false and explain your answer. (2 < num) AND (num < 6) (2 < num) OR (num < 6) (word = “Fun”) OR (word = “fun”) ((2 < num) AND (num = 5+1)) OR (word = “fun”) ((num = 2) AND (num = 7)) OR (word = “Fun”) (num = 2) AND ((num = 7) OR (word = “Fun”)) ((2 < num) AND (num < 6)) AND ((word = “Fun”) OR (word = “fun”))
QUESTION THREEConsider the thirsty person problem given below: To drink, a thirsty person must have three things; water, ice and a glass. There are three thirsty people, each having a different one (and only one) of the three required items. A fourth person, a server has unlimited supply of all three items. If nobody is drinking, the server places two of the three items (chosen at random) onto table. Thirsty person who can make a drink from those two items will pick them up and drink a glass of ice water. When done, thirsty person will notify the server and the process will repeat. Write a process that will control the thirsty person and the server using semaphores. (i) What is a critical section in code?Explain the three properties that any solution to the Critical Section Problem should guarantee.Explain the role the Operating System plays in Garbage-In-Garbage-Out (GIGO).
Experiential students who are at least 21 years old and have completed at least three years of post-secondary study may volunteer as mentors. In cell L2, insert the following formula, which makes use of the IF and AND functions, as well as structural references, to assess if Kay Colbert is eligible to serve as a mentor: It is expected that the IF function will determine if the student's age is more than or equal to 21 AND whether the student's post-secondary years are greater than or equal to 3, and that it will return the text. Yes, if a student fulfils both of those requirements, or if the text says so. If a student does not satisfy all of the requirements or just one of them, the answer is no. Can you tell me the formula for doing this in Excel?