Information on Result #1863539
There is no (20, m, 27)-net in base 2 with m > ∞, because logical equivalence would yield (20, 27)-sequence in base 2, but
- net from sequence [i] would yield (20, m, 28)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (20, 133, 28)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2133, 28, S2, 5, 113), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 261336 857795 280739 939871 698507 597986 398208 / 19 > 2133 [i]
- extracting embedded OOA [i] would yield OOA(2133, 28, S2, 5, 113), but
- m-reduction [i] would yield (20, 133, 28)-net in base 2, but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.