Covering \(t\)-sets with \((t+2)\)-sets (Q1302176): Difference between revisions

Let \(X\) be a \(v\)-set of points and \({\mathcal B}\) be a family of \(k\)-subsets of \(X\), called blocks. Then the pair \((X,{\mathcal B})\) is called a \(t\)-\((v,k,\lambda)\) covering design if each \(t\)-subset of \(X\) is contained in (or is covered by) at least \(\lambda\) blocks. The minimum size of \({\mathcal B}\) is denoted by \(C_{\lambda}(v,k,t)\). The authors consider a computer method for the construction of covering designs when \(\lambda=1\), thus obtaining upper bounds on \(C_1(v,k,t)\). Their computer search firstly assumes some automorphisms of desired covering designs and then acts as a tabu search. The results for \(k=t+2\) are presented in a updated table of upper bounds for \(C_1(v,t+2,t)\) where \(v \leq 28\) and \(3 \leq t \leq 8\). Some new designs are explicitely given.