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