constraint-programming

1热度

1回答

我在哪里可以找到数据来测试我的CSP地图着色求解器

我写的CSP地图着色问题求解器。作为约束（A，B）的约束约束意味着国家A与国家B相邻。目前我手动创建地图，但现在我需要一些大地图来测试我的算法。你知道我在哪里可以找到一些容易解析数据吗？像这样的对我来说是理想的： A B B C A D

4热度

2回答

建模约束逻辑程序（用于分析）

面向对象的程序可以用不同的模型建模，例如自动机，进程代数，Petri网或UML。其中一些模型可用于执行各种分析，以发现性能或设计中的问题。我在研究逻辑编程，想知道是否有这样的CLP模型？你如何分析CLP计划？

2热度

1回答

如何定义一个变量域是不连续的范围

我开始与SICStus Prolog的，我想定义一个变量，说StartingTimes，有通过列表[1, 5, 10] 我该怎么办定义域它在SICStus Prolog中？我会做这样的事情： domain(StartingTimes, 1, 10) StartingTimes #= 1 #\/ StartingTimes #= 5 #\/ StartingTimes #= 10 但是，这是

1热度

1回答

快速和简单约束规划涉及向量（阵列）

我有我需要检查一些非常基本的一阶逻辑号码的重复很多，很多，很多的载体。我可以使用交叉，但被证明是过于缓慢。我想我可以把它变成一个有点问题的问题。整套整数是已知的，每个向量/数组可以表示为一个bitset，但我只能找到一半的解决方案。我目前使用循环和矢量相交，但它证明是太慢，我需要检查的问题的数量。举个简单的例子，给出： E: 1 2 F: 2 4 M: 1 3 N: 4 5 A: 5

5热度

1回答

OptaPlanner是否支持连续变量的优化和约束？

我读文档中的矛盾的东西。一方面，这个通道似乎表明，连续规划变量是可能的：甲规划值范围为规划变量的一组可能的规划值。这个集合可以是一个离散的（例如1,2,3行或者4行）或者是连续的（例如0.0到1.0之间的任何双精度）。。另一方面，定义一个变量规划时，你必须在一个字段中指定ValueRangeProvider注释使用的值集：解决方案实现了方法，它返回一个Collection。来自该Coll

4热度

2回答

在C++/c＃中替代drools-planner/optaplanner？

在C++或C＃中，optaplanner/drools planner有没有类似的选择？我只发现了2007年的一个非常古老的C＃portation。或者你如何解决C++/C＃中的NP-hard优化问题？

0热度

1回答

约束规划中推理方法与搜索方法的区别

为了解决约束问题，我们可以使用推理方法和/或搜索方法。 Constraint Propagation. Christian Bessiere, 2006国家在最开始：约束传播是一种推论形式，而不是搜索。从我的理解，推理的方法就是减少域。搜索方法在CP中意味着什么？许多材料提到，约束问题可以用推理方法来解决。这怎么可能？（我的想法：在推理的步骤，我们仍然要遍历的限制，那么我认为这也确实为约束处理

1热度

2回答

只生成有效的配置和限制

我刚刚开始研究一个涉及一些调度优化的项目，并且我担心自己处于数学领域。我想知道你是否可以想出任何聪明的方法来做到以下几点。这里的基础知识：你有时隙x个你有教师面试的y个你有申请人面试 x和y不具有的Z号（可能有不同数量的采访者和受访者）时段可能没有人被采访。这些构成了一个表格，其中行标题是采访者（用数字表示），列标题是时段（用数字表示），并且这些单元本身是正在采访的申请人。约束：为

4热度

2回答

在Z3中定义内射函数

我的目标是定义一个内射函数f: Int -> Term，其中Term是一种新类型。我提到the definition的内射函数，我写了以下内容： (declare-sort Term) (declare-fun f (Int) Term) (assert (forall ((x Int) (y Int)) (=> (= (f x) (f y)) (= x y)))) (che

0热度

2回答

SMT-Lib标准是否支持理论的组合？

我知道有几件作品正在试图处理SMT理论的结合。但是，SMT-Lib 2.0语言（http://smtlib.cs.uiowa.edu/docs.html）在这一点上并没有提到任何问题。我的问题是它是否支持这一点，以及Solvers提供了如何同时使用多种理论的能力？感谢，