Un sistema lineal de congruencias puede resolverse en tiempo polinómico con una forma de eliminación gaussiana, para detalles vea el teorema de congruencia lineal.