arrays - MiniZinc - (多维)数组的数组

In lại 作者：行者123 更新时间：2023-12-01 21:50:46 29 4

array[1..3,1..3] of int: a = array2d(1..3,1..3,
    [1,0,0,
     0,1,0,
     1,1,0]);

array[1..3,1..3] of int: a = 
  [|1,0,0
   |0,1,0
   |1,1,0|];

% This is NOT valid MiniZinc code! 
array[1..3,1..3] of int: a = 
  [[[1,0,0],[1,0,1]],
   [[0,1,0],[0,1,1]],
   [[1,1,0],[0,0,0]]];

int:_num_workers = 2;
int: num_weeks = 3;
int: num_days = 4;
array[1..num_workers,1..num_weeks,1..num_days] of int: a =
     array3d(1..num_workers,1..num_weeks,1..num_days,
  [
   % worker 1
   % week1 week2 week3
   1,0,0,1, 1,1,0,1, 0,0,1,1,

   % worker 2
   % week1 week2 week3
   1,0,0,0, 0,0,0,1, 1,1,1,0
  ]);

29 4 0

• minizinc - 检查 MiniZinc 数组中的项目

  我想在 MiniZinc 中用相同的项目创建两个数组，不一定按相同的顺序。在这里，A0 中的每一项也应该在 A1 : array[1..3] of var int:A0; array[1..3] of

• minizinc - 使用 minizinc 计算溶液总数

  假设我想计算 {1,2,..100} 的 80 个元素子集的数量，使它们的总和为 3690。 我有以下模型: array[1..100] of var 0..1: b; constraint (sum

• minizinc - MiniZinc 中的 $ 是什么意思？

  我看到 MiniZinc Handbook 中的各个地方都使用了 $ (主要在 Reference Manual 部分)，但我一直找不到定义。有人可以向我解释一下吗？谢谢。 最佳答案 MiniZinc

• minizinc - 类似 MiniZinc 约束之间的差异

  在斑马谜题 ( http://rosettacode.org/wiki/Zebra_puzzle#MiniZinc ) 的解决方案中，有一个约束条件，规定其中一只宠物必须是斑马: var 1..5:

• minizinc - 类似 MiniZinc 约束之间的差异

  在斑马谜题 ( http://rosettacode.org/wiki/Zebra_puzzle#MiniZinc ) 的解决方案中，有一个约束条件，规定其中一只宠物必须是斑马: var 1..5:

• minizinc - MiniZinc : Y/N? 中关系的预计算传递闭包

  我正在尝试解决 MiniZinc 中的一个练习，其中部分排序关系由二维数组给出: enum NODE = { A, B, C, D, E }; int : SOURCE = 1; int : TARG

• minizinc - 调试 minizinc (无论如何，我发现了错误吗？)

  我正在熟悉 MiniZinc 的基础知识。因此，借助 MiniZinc IDE，我编写了如下代码片段 solve satisfy; string: s1 = "hello"; string: s2 =

• minizinc - 在 minizinc 中打印完整解决方案(所有决策变量)的简单方法

  锌规范是这样说的: If no output item is present, the implementation should print all the global variables and

• minizinc - MiniZinc 中的 channel 是什么？你能提供一个简单的例子来解释 channel 吗？最后，什么是逆？

  MiniZinc 中的 channel 是什么？你能提供一个简单的例子来解释 channel 吗？最后，什么是逆？ 最佳答案 两者都用于建立两个数组之间的双向关系。 设 f 是一个数组，index_s

• minizinc - 半具体化谓词是否被视为标准的一部分？

  FlatZinc 文档说 只有非标谓词必须在 FlatZinc 模型的顶部声明: Predicates used in the model that are not standard FlatZinc

• Minizinc 在求解过程中跟踪数组

  我有一个二维网格，其中某些单元格值会产生不同的分数，我想通过为单元格分配值来最大化分数。是否可以跟踪求解器在求解过程中尝试的每个网格？下面是模型的一个片段，只是为了演示这个想法。 int: i_cou

• minizinc - 为什么picat说模型不满足？

  picat求解器 (v. 2.6#2) 指出示例模型 knights.mzn包含在 minizinc 存储库中，特此复制粘贴: % RUNS ON mzn20_fd % RUNS ON mzn-fzn

• minizinc - minizinc下的多重输出

  尝试学习 minizinc，但在完成示例之后，我是否可以确认，如果我想获得多个输出，或者有一种更“自然的 minizinc”方式来获得它，我实际上必须编写一些程序语言。 例如，假设我想让所有不同的数字

• minizinc - 了解迷你锌

  练习是: n个人想要拍一张合影。每个人都可以给出他或她旁边的偏好想要放置在照片上。要解决的问题是找到满足最大数量的放置位置偏好。 到目前为止我编写的代码: include "globals.mzn";

• Minizinc 嵌套输出循环

  我正在尝试编写一个带有嵌套循环的输出语句，以及在外部级别的重要输出。如果 Minizinc 有一个顶级 for 命令，我会做类似的事情 for (f in Foo) ( output(["Foo:

• constraints - 检查数组中是否存在元素#minizinc

  我想检查 1 到 5 之间的哪个数字没有出现在数组组中，并将这个(或多个)数字放在另一个数组中。 g=2; set of int: GROUPS = 1..g; groups = [{1, 3}, {

• constraints - MiniZinc 数组中字符串值的索引

  问题 给定一个 MiniZinc 字符串数组: int: numStats; set of int: Stats = 1..numStats; array[Stats] of string: stat

• set - MiniZinc 中的可选变量和集合成员资格

  我有一个变量，它应该只在特定条件下有一个值，所以我想它需要是一个可选变量。如果满足该条件，则可选变量应限制为集合的元素。 问题是，MiniZinc 似乎不喜欢可选变量和集合。 如何重写，使 MiniZ

• Minizinc 嵌套 for 循环

  我如何使用嵌套 for 循环(就像下面 java 所做的那样)在 Minizinc 中生成/填充数组？ int[][] input1 = {{1,1,1}, {3,3,3}, {5,5,5} }; i

• Minizinc、Gecode，如何通过多解决方案模型跨分布式服务器获得相同的解决方案？

  我正在使用 minizinc 和 gecode 以分布式方式解决最小化问题。我有多个分布式服务器，它们使用相同的输入来解决相同的模型，并且我希望所有服务器都能获得相同的解决方案。 问题是模型有多个解决