Information on Result #1868388
There is no (62, 62+k, 72)-net in base 2 for arbitrarily large k, because logical equivalence would yield (62, m, 72)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (62, 423, 72)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2423, 72, S2, 6, 361), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 4852 171964 711426 004262 224822 250396 481013 764881 907679 006548 339266 075587 288659 844840 319955 210682 244261 670434 619182 456250 700704 776192 / 181 > 2423 [i]
- extracting embedded OOA [i] would yield OOA(2423, 72, S2, 6, 361), but
Mode: Bound.
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.