O que se sabe sobre a complexidade de resolver um sistema de equações lineares sobre algum campo finito? Eu sei que existe um algoritmo (Gauss) que calcula uma solução e que para sistemas esparsos existem algoritmos ainda melhores. No entanto, eu queria saber se havia alguma caracterização teórica da comlexidade desse problema. Por exemplo, o problema de decisão correspondente em ? Está completo para qualquer classe de complexidade?