Information on Result #1871126
There is no (31, 31+k, 501)-net in base 16 for arbitrarily large k, because logical equivalence would yield (31, m, 501)-net in base 16 for arbitrarily large m, but
- m-reduction [i] would yield (31, 999, 501)-net in base 16, but
- extracting embedded OOA [i] would yield OOA(16999, 501, S16, 2, 968), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 303186 941489 116913 023894 652674 416013 532324 407051 452736 891344 793555 604093 465951 924674 834298 832958 806762 241637 399056 486929 884276 806967 533369 479814 436407 780232 886527 512220 898445 995566 324783 755860 390841 490717 257738 833243 140217 956564 144639 260213 553220 005760 553887 311343 792005 105141 127411 888479 159927 887545 883639 288948 550180 016668 466784 704845 849403 226058 162985 419512 302862 754595 140896 731743 148523 117393 929411 140370 610321 500873 823252 009992 237485 852174 526518 218766 301895 012390 387872 470175 268562 166592 879239 084391 870514 147197 103940 875405 797198 803845 366816 115046 007874 980957 443532 436860 380682 302104 957957 870489 656465 839340 538217 017431 748632 466896 128210 031511 243971 564339 203443 721350 206639 720102 723013 839343 972472 944956 784363 112595 311781 501331 147804 124780 269319 530480 268261 649307 613880 016381 763884 561944 210135 736041 976292 131134 359881 138319 563372 074843 449197 461589 775272 057099 988680 950716 122296 190004 186131 331568 431419 164014 507876 273740 880227 400090 662955 083327 461307 578084 818126 234534 215696 112337 655507 239717 175798 288451 941622 918993 655045 137244 825711 434998 283062 785459 116153 274469 669713 554759 600757 792848 678992 411702 093511 137476 687133 555912 417579 892718 854124 361084 213559 437027 225633 918277 774691 342617 605241 258951 835648 / 323 > 16999 [i]
- extracting embedded OOA [i] would yield OOA(16999, 501, S16, 2, 968), 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.