行列式的最小已知公式

根据民俗，行列式的最小已知公式的大小为（或者根据Ran Raz在其论文中关于永久行列式和行列式的多线性公式具有超多项式的大小）。 $n^{\mathcal O(\log n)}$

您对此有参考吗？特别是这个公式是什么？

cc.complexity-theory reference-request algebraic-complexity determinant

— 布鲁诺
source

— Yuval Filmus
source

谢谢尤瓦尔。自从我了解Berkowitz的算法以来，我本可以对这个问题进行更多的思考...顺便说一下，我不了解Soltys的论文，因此感谢您的指导！

— 布鲁诺

N C^{2}

$NC^2$

\log^{2} (n)

$\log^2(n)$