Vitalsource Technologies, Inc. Submodular Functions And Optimization