时序关系分解
摘要：计算机科学和工程中的分解概念被认为是计算思维的重要组成部分，在算法设计、软件构建、硬件设计等方面都有广泛应用。我们提出了一种简单而自然的顺序分解形式化方法，其中一个任务被分解为两个顺序子任务，第一个子任务在第二个子任务执行之前执行。这些任务通过输入/输出关系来指定。我们定义和研究分解问题，即判断给定的规范是否可以被顺序分解。我们的主要结果是，分解本身是一个复杂的计算问题。更具体地说，我们在三个设置中研究分解问题：其中输入任务是通过布尔电路明确指定的，通过自动关系指定的。我们证明，在第一个设置中分解是NP完全问题，在第二个设置中是NEXPTIME完全问题，在第三个设置中显现了不可判定的迹象。我们的结果表明，分解作为一种系统设计方法的直觉需要进一步研究。特别是，我们证明通过请求分解提示，将人类纳入进程中可以大大降低分解问题的复杂度。
作者：Dror Fried, Axel Legay, Jo"el Ouaknine, Moshe Y. Vardi
论文ID：1903.01368
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22