the elements of S corresponding to vectors in the partition C1 sum to zero. The subset sum problem is NP-complete. Hence, verifying that a system of linear equations is regular is also an NP-complete problem. References Ramsey theory Theorems in discrete mathematics