Information on Result #1865414
There is no (34, 224)-sequence in base 7 (for arbitrarily large k), because logical equivalence would yield (34, 224)-sequence in base 7, but
- net from sequence [i] would yield (34, m, 225)-net in base 7 for arbitrarily large m, but
- m-reduction [i] would yield (34, 671, 225)-net in base 7, but
- extracting embedded OOA [i] would yield OOA(7671, 225, S7, 3, 637), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 539458 067502 845001 142950 903867 991867 691965 310836 747861 288962 935051 549983 485712 092104 045125 657453 378150 168591 262875 211468 913344 946602 506038 852940 515999 040148 470188 965128 158693 973359 368566 003539 295286 202351 321186 167272 908225 468782 115454 279476 110242 230371 746226 388814 001811 404189 782727 338946 275920 343634 058289 736518 724091 486759 738413 834745 550066 884968 731970 975590 818404 620561 340791 382195 332488 360155 036483 533451 818948 598537 618804 778686 021528 589082 659628 096782 801735 787122 402412 294907 561056 765109 024891 512598 359377 156897 570336 045880 623196 929918 703068 169557 037138 594640 774467 / 319 > 7671 [i]
- extracting embedded OOA [i] would yield OOA(7671, 225, S7, 3, 637), but
- m-reduction [i] would yield (34, 671, 225)-net in base 7, 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.