◼ Motivating examples ◼ Introduction to algorithms ◼ Simplex algorithm ❑ On a particular example ❑ General algorithm ◼ Duality ◼ An application to game theory
The need for a richer language In P, it is not possible to express assertions about elements of a structure. First Order Logic is a considerably richer logic than propositional logic, but yet enjoys many nice mathematical properties