import math
 
def menor(a,b):
    return a if(a <= b) else b
 
def raiz2(a,b):
    c = a//b
    if(math.fabs(b - c) <= 1):
        return menor(b,c)
    else:
        raiz2(a,(b + c)//2)
 
 
 
a = 170000
b = raiz2(a,3)
print(b)
 

¿Por qué razón no devuelve el valor que es 412?

PD: Depuré hasta que llega al printf y ahí no hallo el error.

PD: Modifiqué el menor(a,b) por menor(b,c)

Se supone que para calcular una raíz cuadrada.

¿Cómo se llama el algoritmo?

Hola algorithm, parece que la recursividad te da un pequeño problema, la iteracion que encuentre el resultado devolvera con return el valor de la raiz, pero he ahi el problema, ¿ a quien le devuelve el valor?, pues a la iteracion anterior que es la que le llamo, y esta se queda con el valor, pues no hay un retorno hacia atras de este resultado.

   una solucion puede ser esta, si te das cuenta la funcion devuelve None o sea nada si no llegamos a la solucion, entonces cuando la solucion se alcance cada iteracion respondera a la anterior con el valor x.

   modifico, no es necesario comprobar la respuesta de las siguientes iteraciones, puesto que no habra respuesta hasta que el resultado sea el esperado.
   Saludos : Gaby