Approximation and Optimization of Discrete and