用公式计算：计数复杂类的逻辑特征
摘要：基于Arenas等人（2020）引入的定量逻辑框架和Gastin＆Monmege（2018）在加权逻辑上定义的两步语义，我们提出了具有两步语义的定量逻辑。我们证明了我们的逻辑的一些片段在增加了最小不动点运算符后可以捕获有趣的计数问题类。具体而言，我们通过提供＃P的两个子类SpanL和TotP的逻辑特征化来回答在计数问题的描述性复杂度领域中的一个待解问题，这两个子类在可近似计数问题的研究中扮演着重要角色。此外，我们还定义了捕获FPSPACE和SpanPSPACE的逻辑，它们是PSPACE的计数版本。
作者：Antonis Achilleos and Aggeliki Chalki
论文ID：2304.10334
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-17