2
$\begingroup$

An (n, k, l) covering design is a family of k-subsets of an n-element set such that every l-subset is contained in at least one of them. Now, what is the correct term for a family of k-subsets such that every l-subset contains one.

$\endgroup$
2
  • $\begingroup$ It's the complement of an n-k,n-l covering design. $\endgroup$ Mar 7, 2015 at 15:43
  • 1
    $\begingroup$ That's right, although I suspect the OP knows this already. Regarding naming, I think co-covering is not a bad term. But design theory already has a proliferation of special terms, so it's maybe best to complement parameters as stated above. $\endgroup$ Jul 21, 2015 at 23:19

4 Answers 4

1
$\begingroup$

It's called Turán system.

See: https://en.wikipedia.org/wiki/Turán_number

$\endgroup$
0
$\begingroup$

You may be thinking of Packing Designs. They solve the problem of the largest set of $k$-sets none of which contain the same $l$-set.

$\endgroup$
0
$\begingroup$

I'd call the co-coverings -- inscriptions.

$\endgroup$
0
$\begingroup$

In topology or set theory or in the Birkhoff lattice theory with $0$ and $1$, where covering means a collection such that the union is the total space (or total set or 1), the dual notion is a collection with the empty intersection (or $0$). Years ago I have introduced for such a dual notion the name ver.

Perhaps, in the situation as above, perhaps name ver is still optimal, despite the overloading it.

Thus, after all, the name should be:

$$\mathbf{ver}$$

Simple.

$\endgroup$
1
  • $\begingroup$ It goes without saying that the dual to ver is cover. $\endgroup$ Sep 11, 2016 at 4:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.