This is basically ternary search, which I knew, but I stumbled when they pushed into the integer domain case.
Start by clarifying the problem: F is convex/unimodal, we can only evaluate F, and we need an approximate minimizer within epsilon. Then present the continuous case using ternary search or golden-section search, explain the integer case with discrete ternary search or binary search on differences, and analyze time and space complexity for each.
Pro tip: Mention that golden-section search is more efficient than ternary search because it reuses one evaluation per iteration, reducing the number of function calls—a key consideration when evaluations are expensive.
Confirm that F is convex or unimodal on [a, b], that we can only query F(x), and that we need an approximate minimizer within epsilon. Discuss whether epsilon is absolute or relative, and if there are any constraints on the number of evaluations.
Explain ternary search: iteratively divide the interval into three parts using two points m1 and m2, compare F(m1) and F(m2), and discard the subinterval that cannot contain the minimum. Continue until the interval width is less than epsilon.
Introduce golden-section search as an improvement: it uses the golden ratio to place points so that one function evaluation is reused per iteration, reducing the total number of evaluations. Show how it maintains the interval and converges linearly.
For integer domain, adapt ternary search by choosing integer points m1 and m2, and narrowing the interval based on comparisons. Alternatively, use binary search on the discrete derivative: find the first point where F(x+1) >= F(x).
Analyze time complexity: O(log((b-a)/epsilon)) for continuous, O(log(b-a)) for integer. Space complexity is O(1) for iterative implementations. Compare ternary vs golden-section in terms of constant factors.
AI-generated suggestions, not part of the candidate's original notes. May be inaccurate — verify before relying on them.