This preview shows page 1. Sign up to view the full content.
Unformatted text preview: M ( x ) accepts, the correct result f ( x ) is written on the output tape when M halts. (On computation paths where M ( x ) does not accept, anything may be written on the output tape.) Answer the following questions: (a) Let f ( G,s,t ) be the function that outputs a path from s to t in directed graph G (or if there is no path). Show that f can be computed by a nondeterministic logspace machine. (b) Show that f can be computed by a deterministic machine in space O (log 2 n ). (c) Show that any function that can be computed by a nondeterministic machine in space s ( n ) can be computed by a deterministic machine in space O ( s ( n ) 2 ). 5. BarakArora, Exercise 4.5. ( Hint : reduce 2SAT to conn .) 1...
View
Full
Document
This note was uploaded on 01/13/2012 for the course CMSC 652 taught by Professor Staff during the Fall '08 term at Maryland.
 Fall '08
 staff

Click to edit the document details