Lattice combinatorics and algorithms