布尔读-k和多线性电路的笔记
摘要：单调布尔（AND、OR）电路计算单调布尔函数f是一个读取k电路，如果由电路的算术（+，x）版本产生的多项式在语法上纯粹地具有以下性质：对于f的每个质最小项，多项式包含具有相同变量集的单项式，每个变量的次数最多为k。每个单调电路都是一个读取k电路，对于某个k。我们展示了单调读取1电路具有以下的相同能力：用于解决0/1最小化问题的热带（min,+）电路，计算多线性齐次多项式的单调算术（+，x）电路，以及计算单调齐次布尔函数的多线性非单调（AND，OR，NOT）电路。最后，我们展示了即使是单调读取2电路也可以指数级地比单调读取1电路更小。
作者：Stasys Jukna
论文ID：2207.08701
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-12-19