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