CPLEX -使用不同类型的变量添加惰性约束会导致InvalidCutException
CPLEX是一个商业化的数学优化软件包，用于解决线性规划、整数规划、混合整数规划、二次规划等数学优化问题。它提供了高效的求解算法和丰富的功能，被广泛应用于各个领域的决策优化问题。
在CPLEX中，惰性约束（Lazy Constraint）是一种特殊类型的约束，它在求解过程中动态地添加到模型中。当CPLEX在求解过程中发现某些解不满足某些约束时，它会尝试添加惰性约束来修正解，以获得更优的解。
然而，使用不同类型的变量添加惰性约束可能会导致InvalidCutException异常。这是因为CPLEX在添加惰性约束时需要确保约束的有效性，即不能导致无解或不可行的情况。当添加的惰性约束与已有的约束冲突或矛盾时，就会抛出InvalidCutException异常。
为了解决这个问题，可以考虑以下几点：
- 检查已有的约束是否与要添加的惰性约束存在冲突。可以通过仔细分析约束条件和变量之间的关系，以及求解过程中的错误信息来判断冲突的原因。
- 调整模型中的约束和变量，使其更加合理和一致。可以通过重新定义约束条件、调整变量的取值范围或类型等方式来避免冲突。
- 使用CPLEX提供的调试工具和日志功能，详细记录求解过程中的信息和错误，以便更好地定位和解决问题。
总之，使用不同类型的变量添加惰性约束可能会导致InvalidCutException异常，需要仔细分析和调试模型，确保约束的有效性和一致性。在实际应用中，可以结合具体的问题和需求，选择合适的变量类型和约束条件，以获得更好的优化结果。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云数学优化服务：https://cloud.tencent.com/product/oms
- 腾讯云人工智能平台：https://cloud.tencent.com/product/tai
- 腾讯云物联网平台：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发平台：https://cloud.tencent.com/product/mpp
- 腾讯云数据库服务：https://cloud.tencent.com/product/cdb
- 腾讯云存储服务：https://cloud.tencent.com/product/cos
- 腾讯云区块链服务：https://cloud.tencent.com/product/baas
- 腾讯云音视频处理服务：https://cloud.tencent.com/product/mps
相关·内容
我正在解决一个有两种类型变量的模型，xi是ILOBOOL，ui是ILOFLOAT。我正在尝试向这个模型添加惰性约束。我已经成功地以以下方式正确地添加了惰性约束： std::stringstream name;for(int i = 0name.str().c_str());}
/*Ob
浏览 39提问于2020-03-28得票数 1
回答已采纳
1回答
我将其作为一个c++项目在VisualStudio2017和CPLEX1271中实现。由于有许多成倍的约束，所以我通过IloCplex：：LazyConstraintCallbackI实现了惰性约束。在我看来，下面的步骤是如何产生最优解:每次确定整数解时，LazyConstraintCallbackI将检查它，并在模型中添加一些违反的约束，直到得到最优整数解为止。然而，我的实现给出的不同输入
浏览 0提问于2020-06-18得票数 0
回答已采纳
1回答
我有一个涉及连续变量和二元变量的问题。一旦我完成了目标函数的创建，我就会添加一些约束，这些约束会导致CPLEX无法找到解决方案。请告诉我我做错了什么。EB_s“和"EB”是连续的cplex浮点变量数组。
如果我输入“EB_sa-1”或“cbin1-1”而不是“binHandelSprzedaja-1”，代码就可以工作。我想这是因为我最终得到了二次
浏览 16提问于2017-02-23得票数 0
回答已采纳
1回答
如何生成切割并找到整数解
、、、、
我有一个整数规划问题，看起来像这样，但有更多的变量和约束它等同于3SAT问题。没有目标函数，所以任何整数解都是最优的。现在我可以用cplex找到一个非整数的解决方案，并且我想手动添加切割平面。我的问题是，现在我不知道如何在第一次放松后生成裁剪。我找到了许多关于派系切割的论文，但它们都是理论上的，并没有展示如何做到这一点的算法。我希望有人能给我一个提示，如何产生这些削减，并解决这个问题。
浏览 2提问于2015-07-28得票数 1
1回答
我是一个(几乎)初级的CPLEX和优化。我试图使用新增加的CPLEX (12.7.1)特性在Matlab中建立一个优化问题，它允许定义分段线性(PWL)约束。IBM只有一个例子(transport.m)，它将分段线性约束定义为线性等式和类型2的SOSs的组合，然而，这并不是真正使用新添加的特性直接指定分段线性函数。随着变量数和分段约束</
浏览 3提问于2017-10-09得票数 2
回答已采纳
我正在学习如何在C++中使用CPlex，正因为如此，我的问题可能看起来很愚蠢。下面的算法必须访问包含足球运动员数据的SQlite数据库，获取其内容，然后使用CPlex，根据奇幻游戏中的平均点数及其成本确定最佳阵容。(model);
if(cplex.getValue(itens[i])){function
浏览 0提问于2015-07-01得票数 0
1回答
我正在用JuMP 0.21.1和CPLEX求解整数线性规划。我正在使用回调添加用户削减。在这个回调中，我想访问以下信息：
约束的系数的值，右手边。我可以使用全局变量来获取这些信息，但是由于这些值不是固定的(当我添
浏览 1提问于2020-06-05得票数 0
回答已采纳
1回答
我正在尝试让Gurobi在找到最佳解决方案后回调(使用Java接口)。
背景:我正在研究一种方法，它需要(1)找到一个(非常)好的解决方案，然后(2)向问题添加一个惰性约束。首先必须找到一个好的解决方案，因为在我的情况下，识别一个合理的新的惰性约束需要一个好的解决方案。一般来说，这不是问题，因为Gurobi使用MIP、MIPSOL等回调；然后我可以检查当前解决方案
浏览 0提问于2014-10-02得票数 0
我已经制定了一个灵活的作业车间问题，作为一个CP模型，这是在CPLEX优化工作室的建议。问题是正在运行并创建正确的时间表。因此，我的问题是，如果有可能也让这个问题通过CPLEX引擎来解决，而不把它转换成MIP。这样我就可以比较这两个引擎的结果了。因此，一般来说，如果可以在CP制定的模型上运行CPLEX引擎，或者我必须为此创建一个单独的MIP？
浏览 6提问于2019-05-14得票数 1
回答已采纳
我正在用PuLP解决一个林业LP问题，并且花了很多时间弄明白为什么CPLEX会产生毫无意义的答案。本质上，我有一些变量没有附加到问题的其余部分，因为空的列表理解。我的限制总是这样的： lp+=pulp.lpSum([vol[i]*x[i] for i in possible_combinationsif test(i)])==yearly_volume[year], "yearly_volume[
浏览 0提问于2018-03-22得票数 0
回答已采纳
3回答
我使用SCIP 3.0.2和cplex 12.6作为LP解决程序.我的模型需要列生成。我已经在CPLEX中实现了它，但是由于CPLEX只能在根节点执行CG，所以我使用SCIP来做分支和价格。模型，得到了与SCIP生成的模型相同的LP-界，但与用CPLEX求解时的LP界不同。9311个<线性>型约束
预解:预解(0轮)：0删除vars，0删除约束，0加<
浏览 3提问于2014-05-07得票数 0
回答已采纳
1回答
我想添加惰性参数，并在用python编写的问题中修改它。当我在阅读关于惰性参数的手册时，它说：
0= no (忽略.lazy)
1 = yes (默认) Lazy约束的.lazy值为1、2或3，并被忽略，直到找到对其余约束可行的解决方案。接下来发生的</em
浏览 1提问于2018-01-30得票数 0
回答已采纳
我正在尝试使用C++中的cplex (IloCplex)来构建和解决几个模型。我在纸上随机构建了这三个模型，但我不能在for循环中构建它们。Minimize x1 + 3x2x1,x2>=0
s.t. x1 – x2 <= 0下面是我要做的一个简短而简单的摘录我正在调试，错误在cplex.extract(model);抛出
我也尝试过(代替这一行) IloCplex
浏览 0提问于2016-11-02得票数 0
在用CPLEX解决了我的模型之后，我想给模型添加更多的约束。我有一个请求向量R，每个i in R对应一个变量p_i和一个约束p_i = 1 (这里我省略了更多的变量和约束)。在第一次求解之后，出现了一个新请求，我想为它创建一个新变量p_{new_request}和相应的约束p_{new_request} = 1。我尝试了两种不同的</e
浏览 7提问于2021-05-04得票数 0
我正在使用CPLEX进行一个C++项目(VS 2010)。我在项目设置中包括了所需的cplex库，如下所示：
一切都编译得很好，但是我的问题是intellisense仍然报告错误(红色的下划线)，例如#i
浏览 7提问于2012-10-25得票数 1
我正在做的事情有点类似于CPLEX的API (这是几个灵感之一)，但我在想，可能有一种更好的方法来指定类型信息，而不会影响二进制兼容性(关于IloInt、IloNum、IloAny、Ilo*Var等，请参阅为了使我的API易于使用，我使用bnf定义了语法(这对我来说是相当新的)。这导致了表达式、约束和其他类的抽象语法树，这些类将与约束交互。因为其他类将与约
浏览 0提问于2009-10-13得票数 2
回答已采纳
2回答
我做了一个线性规划的研究，我需要解决一个复杂的(数百个变量和约束)问题。在一个独立的求解器中，有很多方法可以解决LP (这不是问题)。但是，我需要从C#应用程序中解决它。我尽了最大的努力在C#代码中寻找解决LP问题的方法，但我发现(并且是可用的)唯一的东西就是CPLEX和它的.NET Concert库。这看起来很好(实际上我现在就在使用它，它工作得很好)，但是一些大型复杂问题<em
浏览 6提问于2013-03-21得票数 3
1回答
我用c++编写了代码，并从那里调用CPLEX来解决MILP问题。我得到了一些错误，为了缩小错误来源的范围，我想给这些约束指定不同的名称。然而，我无法获得任何关于如何做到这一点的信息。我使用IloExpr为约束创建表达式，然后将它们添加到模型中。下面显示了其中一个约束的片段。在这里，x[i][d]是一个布尔决策变量。请帮助我命名这样的限制。
浏览 0提问于2019-01-26得票数 0
回答已采纳
我正在使用Ilog来解决我的问题。我还使用它打印出我的问题的LP文件，以便以后用不同的参数再次解决它。我想知道：
我能拿掉
浏览 3提问于2016-07-21得票数 0
我对CPLEX+Java还很陌生。我尝试实现一个定向问题和一个提货和递送问题的变体。我想使用LazyConstraintCallback来确保整数解决方案中的子巡回消除。(0.0, expr1)); }它在读取"this.add(model.ge(expr2，zq));“之后抛出一个”未知对象“错误，这是它应该添加的第一个约束我猜这种行为与未知变量zq有某种联系。我必须在另一个位置<e
浏览 4提问于2018-01-30得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
