It is known, however, that AC0 reductions define a strictly smaller class than polynomial-time reductions.
Se știe însă că reducerile ]⁠(d) definesc o clasă strict mai mică decât reducerile în timp polinomial.