En la teoría del computability, un problema de la gama del es una forma debilitada de un problema de búsqueda . Consiste en el f_l del de dos funciones y el f_u (los límites más bajos y superiores) y el ordenar linear del < en las gamas del f ₁ y del f ₂. Una máquina de Turing soluciona un problema de la gama si, para cualquier x, la máquina para eventual con un y de la salida tales que el f ₁ ( x ) < el y < el f ₂ ( x ).

Por ejemplo, dado cualquie f de la función con la gama en el R y cualquie g : &rarr del N ; El R, el fuerte g ( f ) del problema StrongRange _{de la gama del es dado por un límite más bajo $f\; del$}

l (x) \ cdot \ ido (1 \ frac {1} {1-g (\ vert x \ vert)}\) derecho

y límite superior $f\; del$

l (x) \ cdot \ ido (1 \ frac {1} {1+g (\ vert x \ vert)}\) derecho.

Observar que el g está pasado la longitud del x, no el valor, que no necesitan incluso ser un número.