求解涉及天花板的方程

Question

我想在 Python 中求解以下类型的方程。请让我知道是否有任何相关的库或方法可以解决它。 ceil(x) 表示上限函数。

ceil(x/7)+3*ceil(x/12) = x

这只是一个随机的例子，不确定是否有解决方案。

我尝试研究 Python 的 Sympy 库，但我找不到一种方法将其用于我的案例。

感谢任何帮助。谢谢！

Answer 1

我试过了

from sympy import ceiling
from sympy.solvers import solve
from sympy import Symbol
x = Symbol('x')

print(solve(ceiling(x/7) + 3*ceiling(x/12) - x, x))

最终在

No algorithms are implemented to solve equation -x + 3*ceiling(x/12) + ceiling(x/7)

我现在唯一能想到的就是图形解决方案。