关于量词数量作为复杂度度量的研究
摘要：分离性游戏的研究和量词的数量有关。本论文通过建立新的结果进一步研究了量词的数量。它区分了最小量词数量和传统的描述性复杂度测量，即最小量词秩和最小变量数量。对于每个正整数k，文章通过给出一个具体的有限结构性质的例子（特别是有限图），表明这个性质可以通过一个量词秩为k的句子来表示，但是同一个性质需要2^{Ω(k^2)}个量词来表示。
作者：Ronald Fagin and Jonathan Lenchner and Nikhil Vyas and Ryan Williams
论文ID：2207.00104
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-07-05