ECS 220 4c:6.3-1 problems not in P and a natural problem in EXP - P

From David Doty