Possession of a polynomial time decision algorithm is sufficient grounds for regarding a problem as ...