证明法规合规性：针对一项详尽的无条件义务的全面合规性是coNP-Complete
摘要：组织需要证明他们的程序和流程符合相关的监管要求。已知监管合规性的计算复杂性通常很高。然而，对于一些较简单的变体，计算复杂性仍然不清楚。我们重点研究了可以通过以下二进制属性来识别的八个问题变体：要求是否由一个或多个义务组成，义务是否有条件或始终有效，以及是否只能使用命题文字或公式来描述义务。本文特别展示了对于可以使用公式来描述其元素的单个无条件义务，证明模型的全面合规性是coNP完备的。最后，我们展示了这一结果如何完全映射这些变体在证明全面和非合规性方面的计算复杂性，而对于部分合规性，其中一个变体的复杂性结果仍然缺失。
作者：Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
论文ID：2105.05431
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-12-13