Abstract
We describe an explicit and simple subset of the discrete hypercube which cannot be exactly covered by fewer than exponentially many hyperplanes. The proof exploits a connection to communication complexity, and relies heavily on Razborov's lower bound for disjointness.
| Original language | English |
|---|---|
| Article number | 113114 |
| Journal | Discrete Mathematics |
| Volume | 345 |
| Issue number | 11 |
| DOIs | |
| State | Published - Nov 2022 |
| Externally published | Yes |
Keywords
- Communication complexity
- Exact hyperplane covers
- Lower bounds
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Discrete Mathematics and Combinatorics