确定性语义增量分支程序求解GEN的下界
摘要：GEN问题的解决方案中，我们回答了（G'al，Kouck'y，McKenzie 2008）中提出的一个问题，该问题涉及到一种小空间计算的受限模型。他们定义了两种“增量分支程序”的变体，其中语法变体通过对程序中的图论路径进行限制来定义，而更通用的语义变体则仅对一致路径进行限制-那些至少由一个输入跟随的路径。他们证明了语法变体需要指数级大小，但仍然存在对语义变体的超多项式下界问题。在这里，我们通过将先前工作中针对专门情况的解决方案的下界论证推广，为语义变体提供了指数级的下界。
作者：Dustin Wehr
论文ID：1101.2705
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-01-17