A combinatorial problem which is complete in polynomial space