Choco解算器-变量关联
我正在使用choco解算器4.0.5（最新的，直到现在）和网络上的几个例子，除了不考虑我的需要，使用旧版本。
我绝对是choco解算器的乞丐，经过在网络上非常努力的搜索，我来这里寻求帮助。
我有以下变量域：
一年中的日子： 1（代表1-jan），35（代表4-feb），58, 56, 125, 142, 168, 225, 360, 364......人的身份：789111, 789555, 78496, 879...
我需要创建一个约束，这样人们就不会连续几天联系在一起，而是以一种平衡的方式进行替换，比如：
1 = 789111
35 = 789555
58 = 789496
56 = 879
125 = 789111
142 = 789555
168 = 789496
225 = 879
360 = 789111
364 = 789496 (the 789555 is unavailable here)
我如何在choco solver 4.0.5上表达这一点<谢谢大家！！
共有1个答案
随着时间的推移均匀分布事件并不是一件容易建模的事情。一个简单的“代理”是：禁止人们在接近的日子工作。例如，中间至少两天。这可以建模为：
worker w works at t => w cannot work at t+1 and t+2
如果您将其建模为x[w，t]=1iff w在t工作，那么这将变成：
x[w,t]=1 => x[w,t+1]=0 and x[w,t+2]=0
-
我正在和choco solver一起解决一些任务调度问题。 我有几个工作和可能的时间段（可以执行一个工作）。有一些限制，比如： 每个插槽只能有一个作业（C.1） 作业需要一定的时间，并且插槽有一个可用的持续时间。作业必须符合可用的持续时间：
-
Choco 将MVC带到了客户端！一个Choco应用仅有一个HTML页面组成，所有的交互有JS来完成。你的UI仅使用HTML 和CSS。
-
Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。 Choco-solver 随附： 各种类型的变量（整数、布尔值、集合、图和实数） 各种最新的约束条件（所有不同、计数、n 值等） 各种搜索策略，从基本的
-
我想写一个自动生成室内环境的程序。为此，我考虑了将问题表述为CSP的想法，其中变量为： > x_o，y_o：对象o在环境中的位置 θo：对象o的方向 和域是： > x和y的某个范围[a， b]（即2D网格的尺寸） 方向为[0,90180270]度。 为了实现这个问题，我在Eclipse4.7.1a中使用了Choco。 我的问题如下： 我想表达一个约束，比如：对象a在对象b前面。 由于物体有方向，我
-
事实上，我正在制作一个Minecraft插件，我想知道一些插件（不使用DB）是如何在服务器关闭时保存信息的。 例如，如果我们制作了一个等级插件，并创建了一个不同的列表，或者我们将构成每个等级插件的玩家堆叠起来。当服务器关闭并随后重新启动时，列表将再次变为空（当我初始化它们时）。 所以我想知道是否有人知道如何保存这些信息。
-
Double Choco Latte是一个用于跟踪软件Bug，变更，改进和请求的系统。该系统支持多项目，多用户。