A reduction where one problem can be solved by guessing the solution of another problem.

A reduction where one problem can be transformed into another problem in logarithmic time.

A reduction where the transformation of one problem to another can be done in polynomial time.

A reduction where the verification of a problem's solution takes polynomial time.