1. Computability (a) Prove that the Empty Language problem is undecidable by reducing the Any Inputs...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
1. Computability (a) Prove that the Empty Language problem is undecidable by reducing the Any Inputs problem to it. Make sure that all of the details of the reduction are clearly specified. You may use a diagram to assist with this if you wish. (c) Grumble, a grumpy wizard, claims to have done the following. • Identified a decision problem over graphs, which he calls the Balrog prob- lem, for which he has a (secret) Turing machine which will solve any instance of the Balrog problem in at most n³ +n²+5 steps for an input of size n. • Found a (deterministic) Turing machine which transforms an input w to the 3-SAT problem to an input B(w) to the Balrog problem in at most n² + 4 steps for an input of size n. ● Found a (deterministic) Turing machine which transforms an input w to the Hamiltonian circuit problem to an input H(w) to the 3-SAT in at most n¹ +7 steps for an input of size n. Grumble claims that this establishes that the Balrog problem is NP-complete. Do you agree or disagree? Explain your answer. (d) Gimli the Gumby, a friend of a more famous Gimli, has written the following discussion. There are a number of incorrect statements in the paragraph below. Identify all incorrect statements and justify each of your answers. Note: A single sentence counts as one statement. "Algorithms are an expression of knowledge that makes computers work. In order to solve a particular computational problem, such as finding the factors of a given number, or sorting a list of students by their student number, an algorithm must be developed and implemented. It comes as a great surprise to many people that there are some problems for which there is no algorithm possible. These are known as undecidable problems and include the Halt- ing problem for Turing machines, the Hamiltonian Circuit problem, the busy beaver problem, the tile problem and the blank tape problem. Alan Turing was the first to show there was an undecidable problem, and since that time many other problems have been shown also to be undecidable. This is done by reducing a problem (say A) with unknown status to a problem known to be intractable (say B). From this reduction it is simple to show that problem A must be intractable using the Pumping Lemma. The existence of unde- cidable problems means that certain properties of programs cannot be guar- anteed. The Church-Turing thesis, which states that anything computable can be performed by a Turing machine, indicates that we cannot avoid un- decidable problems by changing technologies. Undecidable problems are also an issue for nondeterministic pushdown automata and nondeterministic finite state automata, as nondeterminism introduces computations based on chance. Unrestricted grammars do not have any issues with undecidable problems, as there are by definition unrestricted. Note though that NP-complete and other intractable problems are all decidable." 1. Computability (a) Prove that the Empty Language problem is undecidable by reducing the Any Inputs problem to it. Make sure that all of the details of the reduction are clearly specified. You may use a diagram to assist with this if you wish. (c) Grumble, a grumpy wizard, claims to have done the following. • Identified a decision problem over graphs, which he calls the Balrog prob- lem, for which he has a (secret) Turing machine which will solve any instance of the Balrog problem in at most n³ +n²+5 steps for an input of size n. • Found a (deterministic) Turing machine which transforms an input w to the 3-SAT problem to an input B(w) to the Balrog problem in at most n² + 4 steps for an input of size n. ● Found a (deterministic) Turing machine which transforms an input w to the Hamiltonian circuit problem to an input H(w) to the 3-SAT in at most n¹ +7 steps for an input of size n. Grumble claims that this establishes that the Balrog problem is NP-complete. Do you agree or disagree? Explain your answer. (d) Gimli the Gumby, a friend of a more famous Gimli, has written the following discussion. There are a number of incorrect statements in the paragraph below. Identify all incorrect statements and justify each of your answers. Note: A single sentence counts as one statement. "Algorithms are an expression of knowledge that makes computers work. In order to solve a particular computational problem, such as finding the factors of a given number, or sorting a list of students by their student number, an algorithm must be developed and implemented. It comes as a great surprise to many people that there are some problems for which there is no algorithm possible. These are known as undecidable problems and include the Halt- ing problem for Turing machines, the Hamiltonian Circuit problem, the busy beaver problem, the tile problem and the blank tape problem. Alan Turing was the first to show there was an undecidable problem, and since that time many other problems have been shown also to be undecidable. This is done by reducing a problem (say A) with unknown status to a problem known to be intractable (say B). From this reduction it is simple to show that problem A must be intractable using the Pumping Lemma. The existence of unde- cidable problems means that certain properties of programs cannot be guar- anteed. The Church-Turing thesis, which states that anything computable can be performed by a Turing machine, indicates that we cannot avoid un- decidable problems by changing technologies. Undecidable problems are also an issue for nondeterministic pushdown automata and nondeterministic finite state automata, as nondeterminism introduces computations based on chance. Unrestricted grammars do not have any issues with undecidable problems, as there are by definition unrestricted. Note though that NP-complete and other intractable problems are all decidable."
Expert Answer:
Answer rating: 100% (QA)
1 Empty Language Problem and Any Inputs Problem The Empty Language problem asks whether a given lang... View the full answer
Related Book For
Income Tax Fundamentals 2013
ISBN: 9781285586618
31st Edition
Authors: Gerald E. Whittenburg, Martha Altus Buller, Steven L Gill
Posted Date:
Students also viewed these programming questions
-
The following additional information is available for the Dr. Ivan and Irene Incisor family from Chapters 1-5. Ivan's grandfather died and left a portfolio of municipal bonds. In 2012, they pay Ivan...
-
The Crazy Eddie fraud may appear smaller and gentler than the massive billion-dollar frauds exposed in recent times, such as Bernie Madoffs Ponzi scheme, frauds in the subprime mortgage market, the...
-
The P04_18.xlsx file contains a single-table Data Model on a companys sales and a single blank worksheet. The goal is to create a pivot table that shows the ratio of average revenue per transaction...
-
Part 1- How does a project manager know if his or her project team needs to be "developed?" Part 2- 1- How do you perform a stakeholder analysis? What information is required to adequately assess the...
-
Find the slope of each line, provided that it has a slope. 9x - 4y = 2
-
True or False: If \(P W>0\), then \(I R R>M A R R\).
-
Income computation for a manufacturing firm. The following data relate to GenMet, a U.S.-based consumer goods manufacturing firm, for the fiscal year ending October 31, 2008. Reported amounts are in...
-
Yvonne can use two coupons for the same purchase at her favorite department store. One coupon gives her $20 off and the other gives her 25% off. She wants to buy a bedspread that sells for...
-
Discuss two motivations that managers may have for attempting to influence or bias reported financial results? B) Suggest one (1) way this behaviour can be minimised ? c) Assume that a drilling...
-
Action figures usually cost $12.00 are on sale for two for $15.00, how much do you save when you buy two? Show your calculations.
-
Ada Yonath has been assigned to prepare reports that will help top management decide which business units and segments should be kept and which should be sold or just shut down. Ada has been told to...
-
McGarity Company plans to sell 32500 special commemorative dolls with fixed costs of $354000 per year and variable expenses at 60 percent of sales. What is the contribution margin ratio for McGarity...
-
A buyer purchased 120 solid swim suits at $42 cost and place a retail of $90 of them. 60 printed swim suits are also purchased at $30 each. What retail price is needed on the printed swim suits to...
-
MANAGING YOUR MONEY . You have excess cash.You anticipate that you will need to have 1 year (12 months) worth ofexpenses covered.You want to make sure that you can have access to your cash, but also...
-
A) Explain in detail the currency crisis in Pakistan since its inception elucidate the reasons with arguments pertaining to the depreciation of Pakistani rupee (PKR) over years. How has the current...
-
r = 0.18 Find the coefficients of determination and non-determination and explain the meaning of each.
-
Ken paid the following amounts for interest during 2012: Qualified interest on home mortgage...........................................$4,700 Auto loan...
-
Dr. George E. Beeper is a single taxpayer. He lives at 45 Mountain View Dr., Apt. 321, Spokane, WA 99210. Dr. Beeper's Social Security number is 775-88-9531. Dr. Beeper works for the Pine Medical...
-
Phil and Linda are 25-year-old newlyweds and file a joint tax return. Linda is covered by a retirement plan at work, but Phil is not. a. Assuming Phil's wages were $27,000 and Linda's wages were...
-
The latent heat of vaporization per unit mass of a pure substance at a given temperature, \(\lambda\), is defined as the difference in enthalpy between the saturated vapor and saturated liquid at the...
-
It is desired to dehumidify \(1.2 \mathrm{~m}^{3} / \mathrm{s}\) of air, available at \(311 \mathrm{~K}\) with a wet-bulb temperature of \(303 \mathrm{~K}\), to a wet-bulb temperature of \(288...
-
Modify the Mathcad program developed in Problem 3.16 to estimate the minimum gas flow rate in strippers so that it can be used to estimate the minimum air flow required for water cooling. Test your...
Study smarter with the SolutionInn App