超越VNP的单调类
摘要:VPSPACE的自然单调模拟:Poizat的单调模拟是整个VPSPACE定义的单调模拟,而不像非单调的版本那样等价。mVPSPACE定义比mVNP更强,同时满足一些其他模拟可能不满足的闭包性质。透明多项式的单调复杂性:我们展示了大稀疏度的透明多项式对所有已知VPSPACE定义的单调模拟是困难的,除了Poizat的定义。
作者:Prerona Chatterjee, Kshitij Gajjar, Anamay Tengse
论文ID:2202.13103
分类:Computational Complexity
分类简称:cs.CC
提交时间:2023-07-25