Najmniejszy znany wzór na wyznacznik

Najmniejsza znana formuła dla wyznacznika ma rozmiar zgodnie z folklorem (lub Ran Raz w swoim artykule Wieloliniowe formuły na stałe i determinant mają rozmiar wielobiegowy ).$n^{\mathcal O(\log n)}$

Czy masz na to jakieś odniesienia? W szczególności, czym jest ta formuła?

Jeden ze sposobów opisano w Berkowitz: O obliczaniu wyznacznika w małym równoległym czasie przy użyciu niewielkiej liczby procesorów (patrz także Soltys, algorytm Berkowitza i sekwencje clow ). Inny sposób opisano w Hrubeš i Tzameret, Krótkie dowody tożsamości determinant .