행렬식에 대해 가장 작은 알려진 공식

결정 요인에 대해 가장 작은 알려진 공식 은 민속에 따라 크기 를 갖습니다 (또는 영구 및 결정자를위한 논문 Multi-Linear Formulas는 Super-Polynomial Size입니다 ).$n^{\mathcal O(\log n)}$

이것에 대한 참조가 있습니까? 특히이 공식은 무엇입니까?

한 가지 방법은 Berkowitz, 적은 수의 프로세서를 사용하여 작은 병렬 시간으로 결정자를 계산하는 방법에 설명되어 있습니다 (Sertys, Berkowitz의 알고리즘 및 clow 시퀀스 참조 ). 또 다른 방법은 Hrubeš and Tzameret , 결정적 아이덴티티에 대한 짧은 증거에 설명되어 있습니다.