On an Erdős-type conjecture on $\mathbb{F}_2[x]$

In 1970, R. B. Crittenden and C. L. Vanden Eynden\cite{CV1970} proved that any system of $n$ congruence classes covering positive integers $1,2,... 2^n$ covers all integers, which was originally conjectured by P. Erdős\cite{Erdos1962} in 1962, who first proved a weaker version of this conjecture, replacing $2^n$ with $C(n)$, where $C(n)$ is a constant determined by $n$. The constant $2^n$ here cannot be improved, since one can find $n$ congruences covering any given $2^n$ consecutive integers with any one given exception among them exactly. In 2019, P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe and M. Tiba\cite{BBST2020} gave a simpler proof of this conjecture also by the proof by contradiction,including constructing polymials using parameters from the counter-example congruences.