La fórmula más pequeña conocida para el determinante tiene un tamaño acuerdo con el folclore (o Ran Raz en su papel Las fórmulas multilineales para permanente y determinante son de tamaño superpolinomial ).
¿Tienes alguna referencia para esto? En particular, ¿cuál es esta fórmula?
Una forma se describe en Berkowitz, Al calcular el determinante en un tiempo paralelo pequeño usando una pequeña cantidad de procesadores (ver también Soltys, el algoritmo de Berkowitz y las secuencias de payasos ). Otra forma se describe en Hrubeš y Tzameret, pruebas cortas de las identidades determinantes .