Information on Result #3034144
There is no (172, 247, 1417)-net in base 2, because 1 times m-reduction would yield (172, 246, 1417)-net in base 2, but
- the generalized Rao bound for nets shows that 2m ≥ 115 815901 652990 793794 269122 990175 210246 563819 137876 624183 872686 070275 357456 > 2246 [i]
Mode: Bound.
Optimality
Show details for fixed k and m, k and s, k and t, m and s, m and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.