问题标签 [symmetry]

是不是 minizinc 默认不输出对称正确的优化解决方案？基本上，我只得到一个针对一个问题的正确优化解决方案（将矩形瓷砖放在更大的瓷砖内并试图最小化总高度），尽管没有明确地编写任何代码行来破坏对称性。这就是为什么我的问题。

问候 DJ

我不确定我是否在标题中最好地描述了这个问题，但我会在这里详细说明。

我的总体目标是保持列表同步，我目前正在尝试获得特定的输出，以便以后可以更正列表对称性。

我已经弄清楚了这一点：

代码：

输出：

这输出了太多的数据&我想压缩它

所需的输出是所有数据都被压缩，这样“需要”就不会重复，所以例如，如果用户#2 可以从用户 #1 获得 1 和 10，那么就不需要输出用户 #2 需要用户 # 的 1 3……你跟着我吗？我认为这可以变得简单，但我只是不知道任何可以轻松完成此操作的操作。

这是我想要实现的输出模型（理想情况下）：

输出应该是对称化所有日志所需的，因此在示例输出中，用户 #1 和 #2 缺少的所有内容都可以相互获取，因此用户 #3 和 #4 不会获得输出。用户#2 也只需要输出 44，因为这是唯一的日志项目 44 有其他人丢失并且无法从用户 #1 获得。

有点循环逻辑噩梦，我将不胜感激任何帮助解决这个问题。为了实现这一目标，我只得到了更多令人困惑的输出。