Given a BIBD with parameters $b, v, k, r, \lambda$, its complementary design is a BIBD with parameters $b, v, v-k, r, \lambda$.
Now, let's prove the "if" part: if $2 \leq k \leq v-2$, then the BIBD has a complementary design.
If $2 \leq k \leq v-2$, then $v-k
Show more…