NP$^{#P}$ = $exists$PP与最大化计数的其他备注
摘要：DMAX#SAT问题及其推广问题考虑如下决策问题：给定一个无限定词的命题公式$F(\mathbf{x},\mathbf{y})$，其中$\mathbf{x}$和$\mathbf{y}$是变量的序列，并给定一个界限$B$，判断是否存在$\vec{x}$使得$|\{\mathbf{y} | F(\mathbf{x},\mathbf{y})\}| \geq B$。这是MAX#SAT问题的决策版本：找到$\mathbf{x}$和$B$的最大$B$。
作者：David Monniaux (VERIMAG - IMAG)
论文ID：2202.11955
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-02-25