某优化问题的答案是 [1, M] 内的整数,存在单调判定函数 check(x),且每次判定的时间复杂度为 O(n)。使用二分答案求最小可行值,整体时间复杂度通常为( )。 A. O(nM)B. O(n log M)C. O(M log n)D. O(n + M) 正确答案:B