Polyhedral inclusion-exclusion

Abstract

Motivated by numerical computations to solve probabilistic constrained stochastic programming problems, we derive a new identity claiming that many terms are cancelled out in the inclusion-exclusion formula expressing the complement of a Euclidean polyhedron.