A t-(v, k,;\) directed design (or simply a t-(v, k, ;\)DD) is a pair (V, B), where V is a v-set and B is a collection of (transitively) ordered k-tuples of distinct elements of V, such that every ordered t-tuple of distinct elements of V belongs to exactly). elements of B. (We say that at-tuple belongs to a k-tuple, if its components are contained in that k-tuple as a set, and they appear with ...