This preview shows page 1. Sign up to view the full content.
Unformatted text preview: w ∈ L } . Then, since for every x ∈ L ,  x  =  w 1  w  2  >  w  2 , L ∈ space ( n ). By P = space ( n ) there exists a TM T that decides L in O ( n c ) time, and thus a TM T that decides L in time O ( n 2 c ). So L ∈ P = space ( n ), therefore space ( n 2 ) ⊆ space ( n ), contradicting the Space Hierarchy Theorem. 1...
View
Full
Document
This note was uploaded on 10/21/2011 for the course CSCI 5403 taught by Professor Sturtivant,c during the Spring '08 term at Minnesota.
 Spring '08
 Sturtivant,C

Click to edit the document details