Provable Non-Convex Optimization And Algorithm Validation Via Submodularity