Information on Result #353674
There is no OOA(3154, 45, S3, 5, 137), because 1 times depth reduction would yield OOA(3154, 45, S3, 4, 137), but
- 24 step m-reduction [i] would yield OOA(3130, 45, S3, 3, 113), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 2865 014852 390475 710679 572105 323242 035759 805416 923029 389510 561523 / 19 > 3130 [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.