12、ASPARTIX-V19与多对数时间复杂度的研究

ASPARTIX-V19与多对数时间复杂度的研究

1. ASPARTIX-V19的启发式与多轮方法

在ASP（Answer Set Programming）求解中，Clingo提供了一种指定用户特定领域启发式的选项，以此来引导ASP求解器。我们可以定义启发式来选择相对于指定谓词是子集最大/最小的答案集。

• 领域启发式的应用
  • 计算首选扩展 ：受相关研究启发，利用完整语义的编码并识别相对于 in(·) 谓词的子集最大答案集，以此计算首选扩展。
  • 计算完整和无冲突集的最大范围 ：使用领域启发式和基于三值标记的完整语义特征，通过 in(·) 、 out(·) 和 undec(·) 谓词，计算完整和无冲突集的子集最大范围，即计算相对于 undec(·) 谓词的子集最小答案集。这可用于计算一些半稳定或阶段扩展。不过，领域启发式每个最小值只返回一个见证答案集，因此该技术不适用于相应的枚举任务。

以下是使用领域启发式计算首选语义的编码示例：

%% Complete labellings
in(X) | out(X) | undec(X) ← arg(X).
in(X) ← arg(X), out(Y) : att(Y,X).
out(X) ← in(Y), att(Y,X).
← in(X),