Information on Result #215456
There is no OOA(4185, 293, S4, 3, 138), because 1 times depth reduction would yield OOA(4185, 293, S4, 2, 138), but
- 29 step m-reduction [i] would yield OA(4156, 293, S4, 109), but
- 7 times code embedding in larger space [i] would yield OA(4163, 300, S4, 109), but
- the linear programming bound shows that M ≥ 8 464628 620685 303799 641532 702091 648229 306306 018905 789529 524291 355322 907050 775490 485015 472797 926481 512459 111645 061846 121711 271262 485718 789063 277920 642870 575525 965715 473112 303555 905333 205605 386730 426241 764666 473440 037313 207471 384293 998241 638361 590587 784985 333805 211326 107965 662310 596475 534832 743164 666681 710435 385827 242945 735282 806533 359251 451373 682496 947126 249928 010306 759678 464627 244345 575141 502578 293166 452201 656662 745544 187910 102207 124893 914791 852222 399372 582590 940059 694271 963942 843967 307519 271729 211883 132520 499405 503460 690663 546106 254632 847756 563871 678160 926784 538665 864722 013378 367220 541645 343747 080032 801040 473128 984728 287622 005132 676143 769268 182113 404481 574415 357033 841665 346615 737557 681028 068460 307746 390016 / 58507 773896 969173 286262 004882 425009 217647 370320 705564 699864 967449 325045 255104 627416 234082 746442 427784 881046 418017 053542 895824 632469 013989 930358 814771 742000 630486 409427 709699 986375 771286 038746 569037 585403 288576 489419 064021 553229 427653 059477 355994 492045 140445 835038 050400 407744 351141 166731 645775 405880 298749 106576 452336 500949 515816 312820 547873 019373 515697 296633 040866 524679 340051 766785 242210 065144 551669 611353 000016 122330 320952 751635 405353 975165 600537 815777 260236 441170 624710 555045 295395 973417 233997 679742 229407 872510 882226 515661 153603 723506 086762 064908 948089 824582 619268 759820 263783 024711 275252 152307 556197 369539 309969 > 4163 [i]
- 7 times code embedding in larger space [i] would yield OA(4163, 300, S4, 109), but
Mode: Bound.
Optimality
Show details for fixed k and m, n and k, k and s, k and t, n and m, m and s, m and t, n and s, n and t.
Other Results with Identical Parameters
None.
Depending Results
None.