polynomial dichotomy