Die kleinste bekannte Formel für die Determinante hat die Größe gemäß der Folklore (oder laut Ran Raz in seiner Arbeit Multi-Lineare Formeln für Permanent und Determinante haben die Größe Super-Polynom ).
Haben Sie eine Referenz dafür? Was ist diese Formel im Besonderen?