polyhedral optimization