这是题解。

这是题目。

求折半搜索正确性。