Information on Result #1868602
There is no (169, 169+k, 180)-net in base 2 for arbitrarily large k, because logical equivalence would yield (169, m, 180)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (169, 1430, 180)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21430, 180, S2, 8, 1261), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 19 727037 895776 188686 585189 056144 957731 715503 877237 638023 441459 214722 326824 054168 677014 226343 682576 537283 414605 620388 451713 395852 499979 161848 941355 696449 081671 672197 822085 456041 449909 603696 309801 780239 696473 352244 954615 427604 303332 082428 604815 764923 250732 440334 851499 731526 144506 460610 961422 318708 830626 903753 513691 475867 968022 449568 078417 547844 670674 127096 491628 943190 883481 151566 529941 486180 586165 608095 906114 279287 806875 049851 355136 / 631 > 21430 [i]
- extracting embedded OOA [i] would yield OOA(21430, 180, S2, 8, 1261), 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.