Constructive Characterization Theorems in Combinatorial Optimization (Combinatorial Optimization and Discrete Algorithms)