integer-programming

1热度

1回答

在Gurobi中，是否有可能在没有实际优化问题的情况下查看一组约束和变量是否可行？看起来，如果目标是一个常数，Gurobi仍然需要大量的计算才能找到一个我不需要的最优解决方案！

1热度

1回答

我要解决的混合整数线性规划具有以下目标函数： J =最大化（F1（x）+ F2（x）的）受约束：成本（x）< =阈值其中x是所选变量的集合，f1和f2是两个评分函数，成本是成本函数。 f2是基于所选变量之间的相似性的函数。我不知道如何在纸浆中制定这个功能。这是我最小的工作示例中，函数f2是两种成分之间的相似性，我想补充similarity[i][j]目标函数，如果j已经在选定的变量，但不知道

0热度

1回答

是否有一个易于使用的Java解决方案？

我想用一个0-1的整数规划求解器作为java程序中的一个工具。我在网上找不到任何易于使用的东西。我尝试了sat4j中的伪布尔型库，但这没有很好的文档记录，有些类与它们在API中的描述不一致（某些方法签名是不同的）。你有什么建议吗？

0热度

1回答

混合整数编程：每个条件下的变量赋值（如果其他情况）

我对（混合）整数编程相对较新，并陷入了约束的制定中。在我的简化模型中，我有一个参数和两个变量是正值，其值为321。我想表达的逻辑是： if Parameter > Variable1: Variable2 = Variable1 else: Variable2 = Parameter **edit** (while Variable1 is always >= Vari

0热度

1回答

Bintprog，选择标准

我有一个二进制整数规划问题，并希望与bintprog来解决它。 A = [1 0 1 0; 0 1 1 0; 1 1 1 1; 0 0 1 1]; f=[1 1 1 1]; b=[1 1 1 1]; [x,xfval,exitflag,output]=bintprog(f,-A,-b); 溶液bintprog给我是x={3}，但我想解决方案是x={1,2}这意味着图4是可到达的，如果1和

1热度

1回答

使用分支和边界查找混合整数线性程序的所有答案？

我想解决一个可能有多个答案的MILP（所有的都给出了相同的目标函数值）。基于分支和界限的算法能够找到所有解决方案吗？是否有可能使用MATLAB（例如使用intlinprog）找到所有这种MILP的解决方案。谢谢。

0热度

1回答

使用Java在CPLEX中设置终止时间

使用java和OptimJ插件，我正在编写一个Cplex模型并使用很多测试用例对其进行测试。但是当我执行它时，有些情况需要很长时间才能完成，这是不实际的。我想知道是否有一种方法可以在java中为Cplex设置最大时间来返回解决方案，而解决方案可能并不是最优的。以下是我的代码。有什么建议么？ // a main entry point to test our model public

1热度

2回答

集合中的Sympy关系符号

我有一个FiniteSet和一个符号，我想将这个符号与FiniteSet关联起来，sympy有可能吗？ symbol in FiniteSet不返回一个表达式，而是评估它： >>> from sympy import * >>> s = FiniteSet(range(0,3)) >>> x = symbols('x') >>> x in s False >>> Eq(x,s) x =

1热度

1回答

如何产生的削减和找到一个整数解

我有一个整数规划问题，看起来例如像这样，但有更多的变量和约束这等于3SAT问题。没有对象函数，所以任何整数解都是最优的。现在我可以找到与cplex非整数解决方案，我想手动添加切割平面。现在我的问题是，我不知道在第一次放松之后如何产生切割。我发现了很多关于派系剪辑的文章，但都是理论性的，并没有显示算法如何去做。我希望有人能给我提示如何产生这些削减并解决这个问题。

9热度

1回答

如何将二次曲线转换为线性曲线？

我有一个优化问题，在目标函数2乘以变量，使模型二次。我目前使用zimpl来解析模型，glpk来解决它。由于他们不支持二次编程，我需要将其转换为MILP。。第一个变量是实数，在范围[0，1]中，第二个变量是实数，范围从0到inf。这一个可以没有问题是整数。在目标函数中的重要组成部分看起来是这样的： max ... + var1 * var2 + ... 我曾在约束类似的问题，但他们很容易解