Exact hyperplane covers for subsets of the hypercube (Q2037567)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Exact hyperplane covers for subsets of the hypercube |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exact hyperplane covers for subsets of the hypercube |
scientific article |
Statements
Exact hyperplane covers for subsets of the hypercube (English)
0 references
8 July 2021
0 references
The exact cover of \(B\subseteq \{0, 1\}^n\), denoted by \(\mathrm{ec}(B)\), is a set of hyperplanes in \(\mathbb{R}^n\) whose union intersects \(\{0, 1\}^n\) exactly at \(B\) -- that is, the points in \(\{0,1\}^n\setminus B\) are not covered. If just one point, say \(0\), is removed, then \(\mathrm{ec}(\{0,1\}^n\setminus\{0\})=n\) from work of \textit{N. Alon} and \textit{Z. Füredi} [Eur. J. Comb. 14, No. 2, 79--83 (1993; Zbl 0773.52011)]. In this article, the authors generalize this to up to \(4\) points removed. They show that \(\mathrm{ec}(\{0,1\}^n\setminus S) = n-1\) if \(|S|\in\{2,3\}\), and if \(|S|=4\), then \(\mathrm{ec}(\{0,1\}^n\setminus S)\) is \(n-1\) if the four points of \(S\) are not coplanar, and \(n-2\) otherwise. The authors prove asymptotic bounds concerning the following two numbers: for \(n,k\in\mathbb{N}\), \begin{align*} \mathrm{ec}(n, k) &= \max\{\mathrm{ec}(\{0,1\}^n\setminus S) : S\subseteq \{0,1\}^n, \; |S|=k \}, \\ \mathrm{ec}(n) &= \max\{\mathrm{ec}(B) : B\subseteq \{0,1\}^n \}. \end{align*} They close by posing two problems that would, if answered affirmatively, tighten the bounds they determined.
0 references
hypercube
0 references
intersection patterns
0 references
hyperplanes
0 references
exact covers
0 references
0.71600837
0 references
0.71122384
0 references
0.7078295
0 references
0.68840367
0 references
0.68762714
0 references
0.6859335
0 references
0 references
0.68060595
0 references
0 references