Inclusion-exclusion enhanced by nerve stimulation
Abstract
When evaluating the lengthy inclusion-exclusion expansion many of its terms may turn out to be zero, and hence should be discarded beforehand. Often this can be done. The main idea is that the index sets of nonzero terms constitute a set ideal (called the 'nerve'), which often can be encoded in a compact way (Upgrade B). As a further enhancement (Upgrade A), equal nonzero terms can sometimes be efficiently collected.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2013
- DOI:
- 10.48550/arXiv.1309.6927
- arXiv:
- arXiv:1309.6927
- Bibcode:
- 2013arXiv1309.6927W
- Keywords:
-
- Computer Science - Discrete Mathematics;
- Mathematics - Combinatorics
- E-Print:
- Version 3 has a slightly different title than Version 2, and improves upon it in various ways. Foremost it newly introduces a Vertical Upgrade of the inclusion-exclusion expansion