Made editorial changes to the complexity chapter.
Made editorial changes to the polyhedral analysis chapter, as per Javier's remarks.
Unified bibliography naming convention, and added zerOne, PORTA, CPLEX, and SCIP citations.
Made editorial changes to the formal definition.