47+Slides--Reductions%2C+Rice_s+Theorem

47+Slides--Reductions%2C+Rice_s+Theorem - CS103 HO#47...

This preview shows pages 1–3. Sign up to view the full content.

CS103 HO#47 Slides--Reductions, Rice's Theorem 5/16/11 1 Proving Theorems Using Reductions reduces to solves A B Solvable(B) Solvable(A) ¬ Solvable(A) ¬ Solvable(B) . . . . . . Problem for A Solver for B Solution Solver for A . . . . . . . . . . . . . . . . . . Proving Theorems Using Reductions reduces to solves A B Solvable(B) Solvable(A) ¬ Solvable(A) ¬ Solvable(B) . . . . . . Problem for A Solver for B Solution Solver for A . . . . . . . . . . . . . . . . . . How do we get started? Theorem 4.11: A TM = { M, w | M is a Turing machine and M accepts w } is undecidable. Suppose H is a decider for A TM . Build the machine D. Run D on its own description. H: A TM D D D accepts D D D Accept Reject If D accepts D , it rejects it, and if D rejects D , it accepts it. Thus D and H cannot exist, and A TM is undecidable . D rejects or loops on D Proving Theorems Using Reductions reduces to decides A TM HALT TM ¬Dec idab le(A TM ) ¬ Decidable(HALT TM ) M, w Accepts Decider for A TM Rejects Decider for HALT TM Proving Theorems Using Reductions reduces to decides A TM HALT TM ¬Dec idab le(A TM ) ¬ Decidable(HALT TM ) M, w Accepts S: Decider for A TM Rejects Decider for HALT TM R Simulate M on w Accepts Rejects Accepts Theorem 5.1 HALT TM is not decidable. R e je c ts Proving Theorems Using Reductions reduces to solves Multiplication Addition Reduce the problem to addition 3 4

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
CS103 HO#47 Slides--Reductions, Rice's Theorem 5/16/11 2 Proving Theorems Using Reductions reduces to decides A TM HALT TM ¬Dec idab le(A TM ) ¬ Decidable(HALT TM ) M, w Accepts Decider for A TM Rejects Decider for HALT TM Reduce the problem to a Halting problem Proving Theorems Using Reductions reduces to decides A TM HALT TM ¬Dec idab le(A TM ) ¬ Decidable(HALT TM ) M, w Accepts Decider for A TM Rejects Decider for HALT TM Reduce the problem to a Halting problem M', w' Proving Theorems Using Reductions M, w Accepts Decider for A TM Rejects Decider for HALT TM Reduce the problem to a Halting problem M', w' Simulate M on w M, w Accepts Rejects Loops HALT TM groups the results like this Proving Theorems Using Reductions M, w Accepts Decider for A TM Rejects Decider for HALT TM Reduce the problem to a Halting problem M', w' Simulate M on w M, w Accepts Rejects Loops We would like them grouped like this Proving Theorems Using Reductions M, w Accepts Decider for A
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 07/18/2011.

Page1 / 5

47+Slides--Reductions%2C+Rice_s+Theorem - CS103 HO#47...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online