证明、电路和通信
摘要：复杂性理论中通过命题证明复杂性、布尔电路复杂性和查询/通信复杂性之间的新发现的相互关系获得的下界结果进行调查。我们倡导将全搜索问题（TFNP）理论作为这些联系的统一语言，并讨论这种观点如何提出了进一步研究的整个计划。
作者：Susanna F. de Rezende and Mika G"o"os and Robert Robere
论文ID：2202.08909
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-02-21