La formula più piccola conosciuta per il determinante ha dimensione secondo il folklore (o secondo Ran Raz nella sua carta Le formule multi-lineari per permanente e determinante sono di dimensione super-polinomiale ).
Hai qualche riferimento per questo? In particolare, cos'è questa formula?
Risposte:
Un modo è descritto in Berkowitz, sul calcolo del determinante in un piccolo tempo parallelo usando un piccolo numero di processori (vedi anche Soltys, algoritmo di Berkowitz e sequenze di clow ). Un altro modo è descritto in Hrubeš e Tzameret, prove brevi per le identità determinanti .