undefined

Problem 6: Equal to Constant Function (TCS exercise 5.3 and Defining EVAL video) For every k E N show that there exists a NAND-CIRC straightline program of no more than c. k lines (where c is a constant) which computes EQUALS,' = {0,1}k + {0,1} where EQUALSZ" (x) = 1 if and only if I=r'. Problem 6: Equal to Constant Function (TCS exercise 5.3 and Defining EVAL video) For every k E N show that there exists a NAND-CIRC straightline program of no more than c. k lines (where c is a constant) which computes EQUALS,' = {0,1}k + {0,1} where EQUALSZ" (x) = 1 if and only if I=r