The strengthened characterization of large minimal 1-saturating sets
The strengthened characterization. Provided that r≥6r\ge 6r≥6, if ∣A∣≥2r−2+3|A|\ge 2^{r-2}+3∣A∣≥2r−2+3, then there are a maximal sum-free set S⊆F2rS\subseteq{\mathbb F}_2^{r}S⊆F2r and an element…
MathDB