CFL可达性周围的细粒度约简
摘要：对CFL可达性问题的细粒度复杂性进行研究：现有算法及基于普遍信仰假设的条件下界概述；利用现有的约束技术获得CFL可达性及相关问题的新的条件下界；对于有界路径长度的问题提出了一种更快的算法以及一种可能有助于发现新的条件下界的技术。
作者：Aleksandra Istomina, Semyon Grigorev, Ekaterina Shemetova
论文ID：2306.15967
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-06-29