Minimizing a Submodular Function on a Lattice | Synapse