Simplifying inclusion-exclusion formulas

Xavier Goaoc

LORIA, INRIA Nancy – Grand Est, Villers-Lès-Nancy cedex, France.

LORIA, INRIA Nancy – Grand Est, Villers-Lès-Nancy cedex, France.

2012/12/7 Fri 4PM-5PM

I’ll explain how to construct, given a set system, an inclusion-exclusion formula valid for that set system and with size sensitive to the size of the Venn diagram of the set system. The main ingredient of the proof are random simplicial complexes. The talk will start from first principle.

This is joint work with J. Matousek, M. Tancer, Z. Safernova and P. Patak from Charles university.

This is joint work with J. Matousek, M. Tancer, Z. Safernova and P. Patak from Charles university.

Tags: XavierGoaoc