局部可测性及其层次的多项式时间算法
摘要：本文介绍了一种用于本地可测试问题的多项式时间算法，并基于我们之前对k-testable半群的等式描述和本地可测试半群的结构，来找到半群的本地可测试级别。算法的第一部分解决了本地可测试问题，第二部分找到了半群的本地可测试级别。该算法的时间复杂度为二次方，其中n是半群的级别。
作者：A.N. Trahtman
论文ID：2205.05434
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-05-12