User:Anonash/Submodular functions