Philippe Chapdelaine Etienne Grandjean Lower bounds and complete problems in nondeterministic linear time and sublinear space complexity classes http://arxiv.org/abs/cs/0606058 2006 CoRR abs/cs/0606058 db/journals/corr/corr0606.html#abs-cs-0606058 informal publication