Clingo system 发布 Dominating Set Problem Instances 数据集, 应用在 图论、逻辑可解释性 领域

Clingo system 本次发布的数据集 Dominating Set Problem Instances, 该数据集为随机平面图上的支配集问题生成了实例，包括正面实例（最小规模的支配集）和负面实例（将每个最优集中的一个顶点移出）。在正面实例中，包含了支配集中特定顶点的字面量，而在负面实例中，则是对最优集进行了修改。该数据集所涉及的图规模从100到550个顶点不等。这项任务旨在使用支配集问题来解释命题逻辑中的可解释性。

查看Dominating Set Problem Instances

README 内容： 

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。