[prefacio, usaré '%' como el operador de modulo o resto, como es en C y muchos otros lenguajes de programación, donde por ejemplo 10 % 7 == 3]
Estoy buscando un algoritmo para resolver n en
(A*n + B) % C == 0
donde A, B y C son números enteros positivos.
Tengo restricciones adicionales en mi problema particular que no creo que sean importantes para la solución. (a saber, A es menor que C, A es una potencia de 3, C es una potencia de 2, y B es impar, todo lo cual creo que implica que n debe ser impar). (y sí, estoy jugando con Collatz aquí)
Puedo hacer fuerza bruta (probar todos los n posibles de 0 a C-1), pero eso consumirá mucho tiempo a medida que aumente C. También podría intentar una búsqueda binaria, lo que mejoraría el rendimiento, pero estoy buscando un algoritmo más eficiente.