非确定性电路规模的下界

非确定性电路是电路复杂性理论中的一种非确定性计算模型。本文中，我们证明了计算奇偶函数的非确定性 $U_2$-电路规模的 $3(n-1)$ 下界。已知计算奇偶函数的（确定性）$U_2$-电路的最小规模恰好等于 $3(n-1)$。因此，我们的结果表明，对于 $U_2$-电路计算奇偶性函数，非确定性计算是无用的，且无法将规模从 $3(n-1)$ 降低。据我们所知，这是针对显式布尔函数的具有无限非确定性的非确定性电路（包括公式、常深度电路等）规模的首个非平凡下界。我们还讨论了通过非确定性受限电路规模的下界来证明确定性电路规模下界的方法。