Information on Result #288141
There is no OOA(2257, 125, S2, 4, 171), because 1 times depth reduction would yield OOA(2257, 125, S2, 3, 171), but
- 15 step m-reduction [i] would yield OOA(2242, 125, S2, 2, 156), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 1356 938545 749799 165119 972480 570561 420155 507632 800475 359837 393562 592731 987968 / 157 > 2242 [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.