Python方程求解器（最大和最小）

Question

如何用python（也许是Sympy）库解决像x * max(x,15) = 10这样的等式？
max()表示给定两个参数之间的最大值。
我的方程有一个更复杂的形式，但我想以简化的形式解决它。

Answer 1

如果将Max转换为Piecewise ，看起来SymPy可以解决这个等式。

In [4]: solve(x*Piecewise((x, x >=15), (15, x < 15)) - 10, x)
Out[4]: [2/3]

Answer 2

当我将方程式插入sympy.solve ，它会给出NotImplementedError，这意味着解决它的算法没有实现（我为此打开了https://github.com/sympy/sympy/issues/10158 ）。

我认为要解决这些方程，你需要用它们的参数替换每个Max或Min并解决每次迭代，然后删除其参数中Max或Min实际上不是最大或最小的解。

我将把完整的算法留给你或其他一些回答者（或希望有人会在SymPy中实现它）。 一些有用的提示：

• expr.atoms(Max, Min)将从expr提取Max和Min所有实例。

• expr.subs(old, new)将返回一个新表达式， old表达式替换为expr new expr 。

Answer 3

你的等式没有答案。 您正在分配x=3 ，因此没有要解决的变量。

x
3

Max(x, 15)
15

solve(x*Max(x, 15)-10, x) #No variable here
[]

也许，你打算这样做： y*Max(x, 15) = 10

然后它成为一个有效的问题。

In [1]: solve(y*Max(x, 15)-10, y)
Out[1]: [2/3]