Information on Result #1864246
There is no (113, 239)-sequence in base 3 (for arbitrarily large k), because logical equivalence would yield (113, 239)-sequence in base 3, but
- net from sequence [i] would yield (113, m, 240)-net in base 3 for arbitrarily large m, but
- m-reduction [i] would yield (113, 1193, 240)-net in base 3, but
- extracting embedded OOA [i] would yield OOA(31193, 240, S3, 5, 1080), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 177 747909 401067 138124 551864 242344 864802 613132 214890 193381 667834 409298 235226 831678 862463 703100 012065 517280 624683 890776 052248 607235 142316 841163 761369 018890 336202 377383 992562 267302 003964 410704 685655 589447 247573 772495 191217 369650 995012 974488 653024 164455 747701 344318 247262 912444 810009 270981 570051 998656 928148 250062 432428 870990 139173 557421 963110 757466 874956 155386 396842 493598 792013 999583 279508 050350 578745 631185 516832 956669 475950 788939 960327 182768 674169 108183 194065 531699 617120 471082 670700 918682 782690 914212 787923 412167 854991 471394 286833 347059 592933 348084 582267 866771 303538 331161 / 1081 > 31193 [i]
- extracting embedded OOA [i] would yield OOA(31193, 240, S3, 5, 1080), but
- m-reduction [i] would yield (113, 1193, 240)-net in base 3, 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.