Strong Np Completeness