Complete Problems and Strong Polynomial Reducibilities