布尔运算中星形的状态复杂度
摘要："怪物与修饰器是最近在状态复杂性理论中发展起来的两个概念。怪物是一种自动机，其中每个从状态到状态的函数都由至少一个字母表示。修饰器是一组函数，允许将一组自动机转变为一个自动机。本文描述了一种可以用于计算许多操作的状态复杂度的通用策略。我们以布尔运算的星运算问题为例进行说明。在对怪物应用修饰器后，结果自动机的状态被归为组合对象：表格。我们研究这些表格的组合学，以推导出状态复杂度。具体来说，我们恢复出了交集星运算和并集星运算的状态复杂度，并且还给出了对称差运算的精确状态复杂度。因此，我们调和了对任何布尔运算的星运算的状态复杂度的搜索策略。"
作者：Pascal Caron, Edwin Hamel-de-le court, Jean-Gabriel Luque
论文ID：2206.05100
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-06-13