Two-Implication Criterion for Polynomial-Time Many-One Reductions