13 ≤ C(25,16,4) ≤ 17

Method of Construction: dynamic programming covering

Lower Bound: Schonheim

  1  2  3  4  5  6  7  8  9 10 11 12 13 14 15 16
  1  2  3  4  5  6  7  8  9 10 11 12 13 17 18 19
  1  2  3  4  5  6  7  8  9 10 11 12 13 20 21 22
  1  2  3  4  5  6  7  8  9 10 11 12 13 23 24 25
  1  2  3  4 14 15 16 17 18 19 20 21 22 23 24 25
  1  5  6  7 14 15 16 17 18 19 20 21 22 23 24 25
  1  8  9 10 14 15 16 17 18 19 20 21 22 23 24 25
  1 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
  2  5  8 11 14 15 16 17 18 19 20 21 22 23 24 25
  2  6  9 12 14 15 16 17 18 19 20 21 22 23 24 25
  2  7 10 13 14 15 16 17 18 19 20 21 22 23 24 25
  3  5  9 13 14 15 16 17 18 19 20 21 22 23 24 25
  3  6 10 11 14 15 16 17 18 19 20 21 22 23 24 25
  3  7  8 12 14 15 16 17 18 19 20 21 22 23 24 25
  4  5 10 12 14 15 16 17 18 19 20 21 22 23 24 25
  4  6  8 13 14 15 16 17 18 19 20 21 22 23 24 25
  4  7  9 11 14 15 16 17 18 19 20 21 22 23 24 25