Deakstadieđáhus: Submodular functions and optimization