关于布尔函数的偏微分编码
摘要：布尔函数的偏微分编码简介及其在测量布尔函数复杂性方面的作用。这些编码使得我们能够根据群的操作推导出对用于指定布尔函数的偏微分编码的多项式的Chow-Rank的非平凡界限。我们还引入了称为偏微分程序的偏微分编码的变体。我们展示了这些程序最优地描述了包括行列式和永久的重要多项式族。偏微分程序还能够在数量上对比这两个多项式族。最后，我们根据受偏微分程序启发的多项式构造，得出高阶超图同构实例与其子同构对应实例之间存在无条件指数分离的结论。
作者：Edinah K. Gnang, Rongyu Xu
论文ID：2008.06801
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-12-02