Dieter van Melkebeek Mitsunori Ogihara Sparse Hard Sets for P. 191-208 1997 Advances in Algorithms, Languages, and Complexity db/conf/birthday/book97.html#MelkebeekO97