Mathematical Theory of Optimization