Information on Result #217129
There is no OOA(4250, 231, S4, 3, 196), because 1 times depth reduction would yield OOA(4250, 231, S4, 2, 196), but
- 23 step m-reduction [i] would yield OA(4227, 231, S4, 173), but
- the (dual) Plotkin bound shows that M ≥ 1 488565 707357 402911 845015 158554 633286 356257 506687 627387 456491 927921 949262 056238 946972 039271 861787 782268 441644 249633 132407 878864 135402 815488 / 29 > 4227 [i]
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.