加载中…
We present a simple explicit family of -subsets of such that every -subset intersects at least one block in at least three elements, i.e.\ . Equivalently, is a covering (dominating set) of the Johnson graph with covering radius in the Johnson metric. The construction is purely combinatorial, based on a fixed split of into two halves, a pairing of each half, and a pigeonhole argument. We also record a crude counting lower bound and a straightforward generalization to (with even).

生成讲解博客的中文版本

生成AI智能校验的中文版本