# s12 - 6.045J/18.400J Automata Computability and Complexity...

This preview shows page 1. Sign up to view the full content.

6.045J/18.400J: Automata, Computability and Complexity Nancy Lynch Homework 12 Due: May 7, 2007 Elena Grigorescu Readings: Section 9.1, 9.2 Problem 1 : Sipser 9.13 Let pad ( s, l ) be the function that adds enough copies of the symbol # to the end of the string s so that the length of the result is at least l . For any language A and function f : N N define the language pad ( A, f ( m )) = { pad ( s, f ( m )) | where s A, m is the length of s } . Prove that if A T IME ( n 6 ) then pad ( A, n 2 ) T IME ( n 3 ). Solution 1 : Consider the following decider for pad ( A, n 2 ): M:” on input x # t use the decider for A to decide if x A if no reject; if yes, check that t = | x | 2 − | x | and output yes if so and no otherwise.” M runs in time O ( N 3 ) since now the size of the input is N = n 2 . Problem 2 : Sipser 9.14 Prove that, if NEXPT IME negationslash = EXPT IME then P negationslash = NP . Solution 2 : Suppose NEXPT IME negationslash = EXPT IME . Then there exists a language B s.t. B is decidable in 2 p ( n ) time by a NTM (for some polynomial p), and B is not decidable in 2 q ( n
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern