Information on Result #214460
There is no OOA(4149, 116, S4, 3, 122), because 1 times depth reduction would yield OOA(4149, 116, S4, 2, 122), but
- 47 step m-reduction [i] would yield OA(4102, 116, S4, 75), but
- the linear programming bound shows that M ≥ 173566 451646 449122 083079 076441 789443 549958 833470 789796 847564 973808 812032 / 4774 621397 > 4102 [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.