Redundancy In Linear Systems: Combinatorics, Algorithms And Analysis