En la teoría de Computability, un problema de búsqueda del es un tipo del problema de cómputo representado por una relación binaria . Si el R es una relación binaria tales que &sube del campo ( R ); Γ ⁺ y el T es una máquina de Turing, después el T calcula el f si:

si el x es tal que hay un cierto y tales que el T del R ( x, y ) entonces acepta el x con el z de la salida tales que el R ( x, z ) (puede haber el múltiple y, y hallazgo uno de la necesidad del T solamente de ellos)
Si el x es tal que no hay y tales que el T del R ( x, y ) entonces rechaza el x

Observar que el gráfico de una función parcial es una relación binaria, y si el T calcula una función parcial entonces hay a lo más una salida posible.

Un R de la relación se puede ver como problema de búsqueda, y una máquina de Turing que calcula el R también se dice para solucionarlo. Cada problema de búsqueda tiene un problema de decisión correspondiente, a saber $L\; del$

l (R)= \ {x \ mediados de \ existe y R (x, y) \} .

Esta definición se puede generalizar al n - relaciones ary usar cualquier codificación conveniente que permita que las secuencias múltiples sean comprimidas en una secuencia (por ejemplo enumerándolas consecutivamente con un delimitador).