Provable Non-Convex Optimization and Algorithm Validation via Submodularity