hwsol5.3 - R L n-1 . When the computation of R L n-1 is...

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

View Full Document Right Arrow Icon
CSci 5403, Spring 2010 Stefan Nelson-Lindall Example Solution 5.3 Candidate 3. Onward and Downward. For any language L , define the language L n = { x : x L ∧ | x | ≤ n } . Say that L is downward self-reducible if there exists a polynomial-time OTM R such that R L n - 1 decides L n . Prove that if L is downward self-reducible then L PSPACE . Pf: By construction, if L n is downward self-reducible, there exists a PSPACE machine M that decides L n . Let M simulate the computation of R L n , with the exception that when the oracle is queried, it saves its state and begins simulating
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: R L n-1 . When the computation of R L n-1 is complete, this value is returned as the result of the oracle call. There are no strings of negative length, so calls to the oracle L-1 may safely be rejected. R L n P PSPACE , so the total memory usage is ( n + 1) * n c = O ( n c +1 ) PSPACE . M decides L n and M PSPACE , therefore L n PSPACE . 1...
View Full Document

Ask a homework question - tutors are online