跳到主要内容

标记为[minizyn]的问题

MiniZin是一种独立于求解器的约束编程建模语言。

微量锌
442问题
筛选依据
排序依据
标记为
0 投票
1 回答
33 意见

miniznc如何强制数组中元素至少出现n次

问题陈述是,我需要确保数组中某个元素至少有两次后续出现为了理解,让我们假设我们选择数字1因此,这意味着如果。。。
哈桑·阿克巴的用户头像
0 投票
1 回答
65 意见

搜索最小掉期数以订购minizin中的阵列

我正在学习约束编程的课程,教授给了我这份工作:让我们考虑一个n元向量v=[v_1,…,v_n],其中v_i∈n。对于i,j∈{1,…,n}a。。。
阿尔贝托·桑布罗塔的用户头像
0 投票
0 答案
50 意见

如何处理或防止MiniZin中的非固定变量

我有一个MiniZin模型,可以将字符序列或“单词”放置在一个类似纵横字谜的网格上。这实际上是一个包装问题,其中“单词”的位置和方向。。。
donman的用户头像
  • 57
投票
0 答案
208 意见

向字谜添加最多k个和至少k个约束

我在玩弄Minizin,试图学习如何更熟练地使用它。我正在尝试将字母放入3x3网格中,中间的单元格不可指定,以便单词像在。。。
Dan Tony的用户头像
2 投票
1 回答
42 意见

同时使用2个Dzn文件运行MiniZInc

目前,我正在使用MiniZin进行一些大学日程安排项目。我使用了两个dzn文件,分别是A.dzn和B.dzn,这些dzn文档中填充了大学数据,例如学生组、科目、编号。。。
沙龙的用户头像
  • 21
0 投票
0 答案
43 意见

迷你锌“跨度”全局约束示例

我试图写下一个使用span全局约束的简单MiniZin示例,因为我找不到任何示例。包括“span.mzn”;%我们将尝试的可选任务开始时间。。。
Nikita Fedyashev的用户头像
0 投票
0 答案
36 意见

minizin-创建单元测试

我想创建minizin的单元测试(对于特定的数据输入,我想得到我知道可以的特定结果)。让我们假设我在unit_tests_program.mzn中有一个模型:%数据整数:total_multip;%...
GabyLP的用户头像
  • 3729个
0 投票
1 回答
61 意见

可以处理浮点求幂的约束解算器

是否有任何约束解算器可以理解潜在无界浮点的指数化。实数?有了这个简单的程序,var浮点:x;约束x^x=27;解决满意度;我。。。
P Varga的用户头像
  • 19.8千
0 投票
0 答案
51 意见

是否约束MiniZin中的变量数组包含另一个常量集/数组的所有元素?

下面是一个常量整数数组-int的数组[1..7]:diff_check=1..7;我想确保另一个变量数组-varint的array[int]:differences;将包含所有元素。。。
Khonsu先生的用户头像
0 投票
0 答案
41 意见

迷你锌.带距离的任务分配.带决策变量的排序数组

我有两个决策变量来为技术人员分配门票:x描述分配给每个票据的技术y描述每个票据的优先级,即定义执行顺序int:技术;...
世界卫生组织的用户头像
0 投票
1 回答
31 意见

无法识别的选项或命令行格式错误“--writeModel”

只想通过以下命令行将.mzn写入.mps:minizn—写入模型测试.mps测试.mzn但错误如下:minizin:无法识别的选项或格式错误“--writeModel”微量锌:。。。
秦立体主义的用户化身
0 投票
1 回答
105 意见

如何从Google或tools为CP-SAT定义minizin中的解算器参数

使用Google OR Tools中的CP-SAT解算器作为后端CP解算器,并希望在minizinc中定义解算器参数。如下定义解算器配置:{“后端标志”:{...
秦立体主义的用户化身
-1 投票
2 答案
67 意见

迷你锌语法错误?请求帮助/建议

我有以下模型,它给出了语法错误。非常感谢您的帮助。整数:N=8;%参与者人数整数:M=2;%团队规模整数:S=4;%会话数整数:A=4;%。。。
Orange的用户头像
  • 71
0 投票
0 答案
65 意见

在Minizin上放置塔

我需要最大化NxN矩阵上放置的红色塔和蓝色塔的数量。然而,不同颜色的塔不能在同一列、同一条直线或同一对角线上(在任何方向上)。也必须。。。
Loíc Pagé-Dorlot的用户头像
0 投票
1 回答
28 意见

在wampserver上使用minizin

我正试图在按下提交按钮后,立即使用minizin在我的本地网页上显示时间表。为此,我使用以下命令从命令行运行miniznin:if(isset($_POST[“submit”]){。。。
Pepecnl的用户头像

15 30 50 每页
1
2 4 5
30