2025.6.6 闲话：奇妙找位置法——广义单调性和最值

来自这道题的这篇题解。

给定序列 \(A = \{a_1, a_2, \dots, a_n\}\) 和二元谓词 \(f(x, y)\)，若存在唯一最值 \(a_p\) 满足：

1. 全局不成立性：\(\forall j \neq p,\ f(a_p, a_j) = \text{False}\)。
2. 局部成立性：\(\forall i \neq p,\ \exists j \text{ 使得 } f(a_i, a_j) = \text{True}\)。

则可以通过：

p = 1  # 初始化任意位置
for j = 2 to n:
    if f(a_p, a_j) is True:
        p = j

找最值。

---