【答案】A

【考纲知识点】二分答案（也称二分枚举法）

【解析】该问题是典型的“二分答案”求最小可行值。
若check(L, K, mid) 为真，说明当前mid已满足条件，可以尝试更小的值，让r = mid；
若为假，则mid太小，需要增大，令l = mid + 1。
这样最终l会收敛到最小可行的X。
选项A正确，其余选项边界更新方向错误，会导致结果不正确或死循环。