g8-06400. GESP-8级-2026-06-单选-第12题 未做

某优化问题的答案是 $[1,M]$ 内的整数，存在单调判定函数 check(x)，且每次判定的时间复杂度为 $O(n)$。
使用二分答案求最小可行值，整体时间复杂度通常为（ ）。

• A. $O(nM)$
• B. $O(n\log M)$
• C. $O(M\log n)$
• D. $O(n+M)$