constraint-programming 相关问题

约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。

竞争性编程中的这些限制是什么？

[我想知道这些约束在CP问题中的重要性是什么。此子任务＃1和＃2是什么，它们的重要性如何？

constraint-programming

回答 2 投票 0

线性卫星未饱和与线性卫星未饱和

我知道上述两种算法都在迭代解下，以找到针对MAXSAT问题的最佳方案，但我想知道为什么从满意的角度出发，同时为...找到解，这是为什么？] >>

constraint-programming sat satisfiability sat-solvers constraint-satisfaction

回答 1 投票 1

如何使用Eclipse IDE使OPL适应Java API并使用OPL代码

我正在尝试使用Eclipse IDE中的Java API修改OPL公式。原始OPL代码的提取如下：使用CP； int nbJobs = ...; int nbMchs ...

java scheduling cplex constraint-programming cp-optimizer

回答 1 投票 0

试图通过一组数组在MiniZinc上设置约束

我被问到一个问题，我应该在哪里创建一组团队，只是有一个简单的约束，即有两个必须要在一起但不应该在一起的两个数组。我是新来的...

arrays constraint-programming minizinc

回答 1 投票 0

约束编程中是否有任何传播方法-GoogleORTools之类的CPLEX-CP解算器？

我只想在Constraint Programming-Google OR Tools中传播连接，不从Constraint Programming中寻找最终解决方案，但是我无法在Google OR Tools中找到这种方法。 ...

cp constraint-programming or-tools propagation

回答 1 投票 0

如何在Minizinc中使用热启动？

我正在尝试使用Minizinc中的热启动注释为模型提供已知的次优解决方案。我首先尝试从Minizinc文档（...

constraint-programming minizinc

回答 1 投票 0

Minisat中的Unsat核心

minisat中是否有任何API调用来提取unsat核心或相同的其他任何方法。我想为求解器的每次调用都提取unsat核心，然后在unsat核心上工作。

constraint-programming sat sat-solvers

回答 1 投票 1

Minizinc错误：无效的类型输入：预期的'float'，实际的'var float'

我有以下Minizinc程序，正在努力解决旅行商问题（TSP）。我知道它不仅会解决此错误，而且我会...

algorithm traveling-salesman constraint-programming minizinc integer-programming

回答 1 投票 -1

使用OR-工具表达多变量约束

[我正在研究Google的Cp-SAT，以建模特定类型的约束，如下所示：约束：变量X可以假定值为1、2和3变量Y可以假定值为2、3和4 ...

java constraint-programming or-tools

回答 1 投票 0

了解Minizincs地质约束的输入格式

我正在尝试了解MiniZincs的Geost约束，在文档的打包约束部分中对此进行了描述。我正在尝试通过旋转实现矩形的2D压缩：所以我想...

constraint-programming minizinc

回答 1 投票 2

SAT求解器中N个编码中的至少K个

我知道给定N个工具中最多k个，我可以通过将其更改为N个中最多（nk）个来获得N中的至少K个。是真的。我可能会丢失...

constraint-programming sat sat-solvers

回答 1 投票 1

如何在Ortools中定义约束以设置不同值的限制

我正在尝试定义一个约束，该约束将限制求解器生成的唯一值的数量。它可以生成尽可能多的副本来解决问题，但是存在限制...

c# linear-programming constraint-programming or-tools

回答 1 投票 1

使用Minizinc选择表中匹配的原料

我有一个具有4个特征（名称，价值，成本，人员）的项目表。我想在Minizinc中描述一个模型，该模型选择最大化总价值但总预算为255的项目...

constraint-programming minizinc

回答 1 投票 0

使用CP优化器进行电池调度

我是CP Optimizer的新学员。我想在CP中进行电池充电/放电调度。因此，我想知道如何在每个9月进行充电或放电。使用CP； int numEVs = ...;范围EVs = ...

algorithm optimization cplex constraint-programming ilog

回答 1 投票 -3

使用OPL可以简化表达式吗？

我有一个长的算术表达式，它由许多操作数和括号组成，但只有两个运算，加法和乘法。可以使用OPL来减少关键路径吗？例如，给定...

cplex simplify constraint-programming opl

回答 1 投票 0

在Z3中使用位向量立即数

我正开始将Z3与C ++ API一起使用，并且我主要对使用其对位向量的支持感兴趣。但是，我完全无法理解如何利用bit -...

c++ constraints z3 constraint-programming

回答 1 投票 0

添加约束，以便每个文本视图都在另一个视图下方

我正在尝试1.创建一个for循环并在旅途中创建文本视图2.创建一个文本视图列表以保存所有文本视图3.最后添加约束，以使每个文本视图都位于另一个视图之下。 ...

java android-studio android-constraintlayout constraint-programming

回答 1 投票 0

Gecode与Z3的约束随机化

我正在寻找SystemVerilog语言的基于C ++的替代方法。尽管我怀疑那里是否有任何东西可以与SystemVerilog约束语言的简单性和灵活性相提并论，但我还是...

c++ constraints z3 constraint-programming gecode

回答 1 投票 0

MiniZinc'警告：检测到模型不一致'

我已经从这个约束中获取模型不一致错误已有一段时间了，无法弄清它为什么会出现。我了解模型不一致错误是如何发生的，但是找不到...

constraint-programming minizinc

回答 1 投票 1

使用SAT求解器（Python）查找特定区域内的游离多氨基酸的所有组合

我对SAT解算器世界是陌生的，因此需要有关以下问题的一些指导。考虑到：❶我在4 * 4网格中选择了14个相邻单元格❷我有5个多氨基酸（...

python combinations constraint-programming or-tools sat

回答 2 投票 1

constraint-programming 相关问题

最新问题