问题标签 [clingo]

我是答案集编程的初学者。我想将所有学生分成不同的组，这样： 1. 每个组有 3 到 4 名学生 2. 没有两个不喜欢彼此的学生在同一个组中。3. 我们不能将同一个学生分配到不同的组。

我写过这样的：

我已经添加了每个组可以包含多少学生的约束，但不知道如何满足其他两个条件。

对你的帮助表示感谢。谢谢。

我是 ASP 的完整初学者。

所以我正在生成一个扫雷游戏。目前，我将地雷生成到不同的单元格中。但是我的#Count 不起作用，如何<=在每个答案集中将每个地雷限制为 2？

我基本上是答案集编程（CLINGO）的初学者，所以我已经尝试这个问题好几个小时了。

人（a;b;c;d;e;f）。

喜欢（b，e；d，f）。

不喜欢（a，b；c，e）。

喜欢的人必须在同一个集合，不能和不喜欢的人在同一个集合。所以输出应该是： b,e | a, c, d, f

我知道它背后的逻辑；对它进行分区，以便如果一个元素同时处于喜欢和不喜欢的状态，那么它应该在自己的集合中，而其他所有元素都在另一个集合中。但这是声明式编程，所以我不确定如何解决这个问题。任何帮助，将不胜感激。

我想从猜测块中准确地选择“步骤”项目，但是当我用基数限制猜测时我不满意。

我正在尝试用 scons 构建 clgo。它抱怨我的编译器集是我能找到的最新版本“gcc-7-win64”。（我尝试了几个旧版本）

错误信息：

错误：找不到可用的 C++ 编译器

错误：找不到可用的野牛版本

我的第二个问题是：我应该将手动下载的库（例如 bison 以便 scons 轻松找到）放在哪里？

我得到了以下答案集编程问题，但不确定我的答案是否正确：

• A(X) 通常是 E(X)
• U(X) 通常不是 E(X)
• G(X) 通常是 E(X)
• 每个 G(X) 都是 U(X)
• U(X) 通常是 A(X)
• G(t1)
• G(t2) 而不是 E(t2)
• U(t3)

以下是我的 Clingo 代码：

坚持 0 pm.lp 是：

不确定我的代码是否正确和完整？

我是回答集编程的新手，可以使用一些帮助。我一直在读这个，但仍然可以使用一些帮助。我将如何使用答案集编程来判断一个图是否是强连接的？

我的头脑风暴：

• 由节点和边（即节点（1..2）、边（1,2）和边（2,1））表示的图形。

• 现在我需要规则 "strong() :- ......" 如果图形是强连接的，那是真的。

• 如果您可以从任何节点开始并通过沿它们指向的方向到达任何其他节点，则图是强连接的。

• 所以我的程序需要获取每个节点 X 并沿着有向边尝试到达每个其他节点。如果它到达每个其他节点，则为 True，否则为 False。

强的（） ：- ？

我正在尝试运行PCGBook第 8 章练习中的代码。他们使用 cligo，但没有说明他们使用的是什么版本。当我从 Potassco 的 sourceforge（版本 4.5.4）下载最新版本的 Clingo 时，它给了我词法分析器错误。我认为这是因为 Gringo 3 和 Gringo 4 之间的语法发生了变化。在 Potassco 网站上，他们这样说并通过下载两个版本的 Gringo 来解决它，但他们没有说明如何同时引用两者使用 Clingo 运行程序。我下载了 Gringo 3.0.0 并替换了 gringo.exe，但是 cligo.exe 已经用最新版本的 Gringo 编译了。

如何使用 Gringo 3 下载最新版本的 Clingo，或最新的兼容版本？

对于给定的图，我需要使用最多 n 个派系来表示它。我对这个任务有疑问。这类似于与给定图相反的图的 n 着色（当图 A 中的边（a，b）而不是图 B 中的边（a，b）时，图 b 与图 A 相对）。我写了以下代码：

但它不适用于给定的测试：

例如颜色（1）==颜色（2）！=颜色（3）==颜色（4）。当我删除其中一个公式时，它也不起作用。

给定一个随时间变化的二元函数，我尝试提取有关此函数中出现的间隔的信息。例如，我有状态 a 和 b，以及以下功能：

然后我想要一个像这样的事实间隔（开始，长度，值）：

这是我到目前为止得到的：

这实际上工作得很好，但仍然不正确，这是我的输出，当我使用 cligo 4.5.4 运行它时：

它只有一个错误：T == 9 处的所有间隔（L == 1 的间隔除外）

所以我尝试添加以下约束，以摆脱那些：

在我看来，这意味着“禁止，有一个间隔，这样 T + L 就不是时间” 但是现在 cligo 说这个问题将无法满足。

所以我尝试了另一种解决方案，它应该做同样的事情，但以一种不太通用的方式：

这也让整个事情无法解决。我真的不明白，我只是希望这两个规则都能摆脱函数用完的间隔。那么为什么他们会完全杀死模型的所有元素呢？

此外，在我的实验中，我将函数规则替换为：

即使没有有问题的约束，这也会使整个事情无法满足，这是为什么呢？

所以是的......我想，我从根本上误解了一些东西，如果有人能告诉我那到底是什么，我会非常高兴。

最好的问候 Uzaku