金之涵

We prove the following variant of Helly’s classical theorem for Hamming balls with a bounded radius. For $n > t$ and any (finite or infinite) set $X$, if in a family of Hamming balls of radius $t$ in $X$, every subfamily of at most $2^{t+1}$ balls have a common point, so do all members of …