
Chapter 2
The Power of Polyhedra
Doran K. Wilde
Brigham Young University
Provo, Utah
Contents
2.1 Introduction ...........................................................18
2.1.1 Equational languages ..........................................18
2.1.2 Systems of recurrence equations ...............................20
2.1.3 Using polyhedra to model recurrence equations ...............24
2.1.4 Domain-based array variables ..................................24
2.1.5 Polyhedra and operations on polyhedra .......................25
2.1.6 Summary of this chapter .......................................27
2.2 Polyhedra .............................................................. ...