11670 - Physics Experiment

[red_apricot]

OK I understand this is about binary search. My question: is the following a correct, equivalent reformulation of the problem?

Code: Select all

Find the smallest time t such that there exists at least one scenario where all the particles become heated up at timestamp t,
but for any t-eps such a scenario does not exist.