关于单调可行插值协议
摘要：可行插值是一种用于证明证明复杂性下界的通用技术。该技术的单调版本将单调布尔电路的下界转化为证明复杂性的下界。在该技术的广义版本中，使用类似dag的通信协议代替单调布尔电路。我们研究了三种类型的协议，并比较它们的强度。 我们的结果通过多项式归约建立了以下关系：具有等式的协议至少与具有不等式的协议一样强，具有等式的协议与具有两个不等式的协议具有相同的强度。已知具有不等式的协议的指数下界。获得具有等式的协议的下界将立即意味着解析和奇偶性（R（LIN））的下界。
作者：Luk''av{s} Folwarczn''y
论文ID：2201.05662
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-01-19