问题标签 [inequalities]

我想在 Matlab 中求解一个线性不等式系统，其中未知数为x(1), x(2), x(3), x(4). 我想要一整套解决方案x(1), x(2), x(3), x(4)。因此，我不能使用linprog，因为它只给了我一个可行的点。

澄清：这个问题https://stackoverflow.com/questions/37258835/how-to-set-the-objective-function-when-using-linprog-in-matlab-to-solve-a-system是关于linprogr哪个但是给出只有一种可能的解决方案。在这里，我要问如何找到整套解决方案。

这是一组不等式。有什么建议吗？

我正在尝试找到一种解决线性不等式系统的方法，例如：

我没有找到一种快速的计算方法来解决它们。我尝试过使用 wolfram alpha。它适用于某些套装，但不适用于其他套装。此外，我还尝试使用 matlab 的求解功能解决此类系统，但没有运气。任何有关此事的帮助将不胜感激。

我正在尝试解决一组解决方案的条件的线性不等式。例如：

解决这个不等式系统的条件显然是 0 < p*C < D-L。但是它报告不存在满足这个线性不等式系统的解决方案或条件。

当使用等式时，这些是我使用solve函数会得到的解决方案，但是，当切换到不等式时，它似乎不再起作用了。我也尝试使用 vpasolve 也没有解决问题。

到目前为止，我只在 Stack Overflow 上找到了有关如何找到角点解决方案或线性不等式系统是否存在解决方案的问题。

我知道上面的解决方案意味着无限数量的解决方案，但这很容易使用条件来捕获，就像求解函数对等式所做的那样。有谁知道如何为线性不等式系统获得这种解决方案？

如果我使用

我收到了这个结果。

到目前为止还好。然而，有时人们可能希望将 x、y 和 z 限制为（比如说）非负数。当我使用这样的方法时<

我得到：

sympy、sage、prolog、haskell 或其他一些免费提供的产品是否具有解决以这种方式出现的线性不等式系统的方法。

谢谢！

如何在 SymPy 中使用 julia 中的不等式？不工作：

在 Frechet Bounds 不等式方程中，

max(0, P(A) + P(B) − 1) ≤ P(A & B) ≤ min(P(A), P(B))

我完全可以理解最小值P(A & B)为“0”和最大值为“P(A) 和 P(B)”的最小值背后的直觉，但在什么情况下最小值会是P(A)+ P(B)-1？

根据我的理解，最大值P(A)+P(B)可以是1或小于1。所以P(A)+P(B) -1总是“0”或负数。以什么可能的方式，P(A) +P(B)-1会大于“0”？

我需要找到可以检查系统是否像这样的算法

x1 * k + b > y1, x2 * k + b > y2, ..., xn * k + b < yn

有解决方案，其中我替换 x[i] 和 y[i] 并且未知变量是 k,b。

我必须得到一个线性表达式的最小值和最大值 y，受 python 中的一些线性不等式的限制。

你可以在这里看到我在 Desmos 中输入的方程和不等式：

我可以通过画出和划掉不等式来手工解决它们。但我不能在 Python 中做到这一点。到目前为止，我在 Python 中尝试的是在 x=0 时获得 y=83.33; 当 y=0 时 x=333.33；在得到最小值和最大值 x,y 之后，我将不等式 1 逐个应用。但是对于每个不等式，我都必须添加前面的不等式，并且还要检查 x 或 y 是否已经超出一定范围，到目前为止，它几乎是我肯定会错过一张支票。

我查看了 numpy 和 sympy，但无法弄清楚如何使用它们来解决这个问题。您能否建议我可以使用什么/如何获得图片上白色箭头显示的范围？

I want to draw axis line with comb-styled selection of inequality domain, like in this picture:

Is it possible with JSXGraph?

语言 L= {a^ib^ja^k | 的正确上下文无关语法可能是什么？j< i + k} ?

我想知道遵循 CFG 的正确性-

是否有任何标准规则来获取满足j < i + k的字符串？

请帮忙