A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).
Você tem alguma referência para isso? Em particular, qual é essa fórmula?
Uma maneira é descrita em Berkowitz: Computando o determinante em pequeno tempo paralelo usando um pequeno número de processadores (veja também Soltys, o algoritmo de Berkowitz e as seqüências de clow ). Outra maneira é descrita em Hrubeš e Tzameret, Provas curtas para as identidades determinantes .