self-reducible
A search problem is self-reducible if there is a Cook reduction of to . That is, if the decision problem for is then so is the search problem for .
If is polynomially self-reducible then it is called self-reducible.
Note that is trivially Cook reducible to .