用Lingo求解，没有可行解

madio

瓦片 发表于 2012-5-19 17:51
如何看目标函数的情况呢？

这需要你花时间对目标函数做一定的定性分析，比如了解他的导数情况

qlb061

瓦片 发表于 2012-5-19 16:34
谢谢你的回答。你所描述的情况正是我现在正遭遇的。说句老实话，我感觉LINGO都有点不可信。比如，有时候， ...

一般情况下，只有在线性规划以及非线性凸规划问题中（但不包括整数约束），我们不必对Lingo给出的解进行额外的考虑，因为他们都是全局最优解（如果存在的话）。但是，整数规划以及一般的非线性规划求解起来都比较困难，不仅仅是Lingo，任何其它规划软件都一样，这是由问题本身所造成的，还有计算机浮点计算的问题！
对于任何类型的问题，Lingo可以自动识别模型的类型，并选择最佳的求解器进行求解，可以认为线性规划求解器和两次规划求解器是比较有效的（两次识别功能需要在Lingo—>Option—>Nonlinear Solver—>strategies—>Quadratic Recogniziton选中，当Lingo识别到问题是两次规划问题，将使用有效的两次规划求解器）。对于非凸的非线性规划问题，只能通过使用全局求解器，选择多初始点求解，给出好的初始点来改进解的质量，另外，当我们能够缩小变量的取值范围时，使用变量范围约束也可能改进解的质量（因为减小了搜索范围）。
理论上，约束的位置是不会改变最优解的取值，但是前提是Lingo能够找到全局最优解，如果不是这样的话，约束的位置会改变搜索的路径，在没有达到最优解时停止下来当然会得出不同的局部极值点！还有比较经常遇到的问题就是在整数规划中的关于变量何时达到整数的规定。
对于你的全局求解器无法使用问题，可能是你使用的是Demo版本，如果想查看你的版本权限，选择Help—>
About Lingo，查看Limits for this Installation即可。

瓦片

you are so helpful。。。。。非常谢谢。也就是即便约束变量只能取整数，结果变量也肯能出现是整数？此外对于一模一样的大规模问题求解程序。。。不同运行居然有相差比较大的可行解（相同时间点），why？那个解的界是如何求出的，因为和可行解有很大的距离。谢谢。

瓦片

qlb061 发表于 2012-5-20 19:18
一般情况下，只有在线性规划以及非线性凸规划问题中（但不包括整数约束），我们不必对Lingo给出的解进行 ...

you are so helpful。。。。。非常谢谢。也就是即便约束变量只能取整数，结果变量也肯能出现是整数？此外对于一模一样的大规模问题求解程序。。。不同运行居然有相差比较大的可行解（相同时间点），why？那个解的界是如何求出的，因为和可行解有很大的距离。谢谢。额，如何判断目标函数是不是凸的呢？取初始解的方法有？启发式？

瓦片

madio 发表于 2012-5-19 16:59
初值取法没有固定的办法，主要看目标函数的情况，也可以做一些尝试

truck/t1 t2/:QT,FT;
vehicle/v1 v2 v3/:QV,FV;
point/d1 s1 s2 c1 c2 c3 c4 c5/;
level1(point)/d1 s1 s2/;
level2(point)/s1 s2 c1 c2 c3 c4 c5/;
variable1(level2,level2,vehicle):x;!变量x表示二级网络中车辆k从点i行驶至点j的0、1 变量.路径问题;
有时候为了搜索速度更快，我们往往会采取数据初始化，请问在上述语句中 假设我想使T1从S1到C1，我该如何用init赋予初值呢？谢谢，赋予为1.

瓦片

qlb061 发表于 2012-5-18 09:20
因为出现了变量的乘积形式，所以是非线性规划！
如果不知道是何种形式的规划问题，Lingo求解器状态对话框 ...

truck/t1 t2/T,FT;
vehicle/v1 v2 v3/V,FV;
point/d1 s1 s2 c1 c2 c3 c4 c5/;
level1(point)/d1 s1 s2/;
level2(point)/s1 s2 c1 c2 c3 c4 c5/;
variable1(level2,level2,vehicle):x;!变量x表示二级网络中车辆k从点i行驶至点j的0、1 变量.路径问题;
有时候为了搜索速度更快，我们往往会采取数据初始化，请问在上述语句中 假设我想使T1从S1到C1，我该如何用init赋予初值呢？谢谢，赋予为1.

瓦片

madio 发表于 2012-5-19 16:59
初值取法没有固定的办法，主要看目标函数的情况，也可以做一些尝试

truck/t1 t2/T,FT;
vehicle/v1 v2 v3/V,FV;
point/d1 s1 s2 c1 c2 c3 c4 c5/;
level1(point)/d1 s1 s2/;
level2(point)/s1 s2 c1 c2 c3 c4 c5/;
variable1(level2,level2,vehicle):x;!变量x表示二级网络中车辆k从点i行驶至点j的0、1 变量.路径问题;
有时候为了搜索速度更快，我们往往会采取数据初始化，请问在上述语句中 假设我想使T1从S1到C1，我该如何用init赋予初值呢？谢谢，赋予为1.

瓦片

快照2.tif (372.78 KB, 下载次数: 2)

2012-5-22 18:02 上传

点击文件名下载附件
下载积分: 体力 -2 点

[q 快照1.tif (441.02 KB, 下载次数: 0)

2012-5-22 18:02 上传

点击文件名下载附件
下载积分: 体力 -2 点

uote]qlb061 发表于 2012-5-20 19:18
一般情况下，只有在线性规划以及非线性凸规划问题中（但不包括整数约束），我们不必对Lingo给出的解进行 ...[/quote]

C:\Documents and Settings\Administrator\桌面

qlb061

瓦片 发表于 2012-5-22 18:01
[q

uote]qlb061 发表于 2012-5-20 19:18

下载还要扣论坛币。。。看了你的版本应该没问题！

瓦片

qlb061 发表于 2012-5-23 18:04
下载还要扣论坛币。。。看了你的版本应该没问题！

额，不好意思。再请教你一个问题哈，在TSP问题中，假设出发点为A，但是必须到了F过后才能到B,这个该如何用数学表达呢？F可能直接到B,也可能经由其他点到B，反正B在A之后。谢谢。