Notice that there were two typos: -- BP-completeness instead of NP-completeness in Q1 -- V'-V instead of V-V' in question 3. Both are corrected in the current pdf version.