急求算法可用来判定不定方程組有没有解 [问题点数：50分]

请问有没有快速判定不定方程组有没有解得算法和代码（只需要判定），比如可以判定方程组a+b<3,a=1,b>2是无解得多谢

1、紦不定方程组全部变为线性方程组；

2、求解该线性方程组的解；

3、根据2的结果来判定原不定方程组有无解（比如：可以证明一下线性方程組无解，则其对应的不定方程组必定无解；有唯一解……；有无穷解，……）

不好意思，前面可能写错了不是不定方程组（不定方程组是指未知数个数大于方程个数）。而是由不等式组成的方程组（比如x+y>3, 或者x*y=2）

或者运筹学的 书也可以

我做过这方面的程序别被吓住基本仩查到会书上的公式即可

问题太大了能证明有解的办法就是找到一个解。

解的存在性问题与求截问题基本是一样困难的对你的问题做些限定吧。比如限定线性、非线性、维数

不如考虑一下线性规划，这是线性规划问题如果有解，则在平面直角坐标系中存在重叠区域；或试着判断最优解然后再分析；建议用lingo软件分析

然后就是线性规划的问题。

对于程序而言最好的方法是二分法。

先通过拉格朗日函數找解集凸包中的凸点

该楼层疑似违规已被系统折叠