一个有趣的题目

给个数列$A$，问是否存在$A_i<A_k<A_j (s.t. i<j<k)$.
这题是我在面试的时候碰到的题目，当时没想到$O(n)$解，所以当时假设没有$O(n)$解。今天早上上班的路上，又想了一下这道题。发现确实有$O(n)$解，特地写了这个题解。
首先，由于i位于最左边，所以首先可以处理$left_j=min(A_1,A_2,...,A_{j-1})$且$left_j<A_j$。显然对于$A_j$需要求一个$A_k>left_j$ && $A_k<A_j$。
其次，需要强调一点，$left$数组是一个单调不增的数列。于是考虑从右往左扫描数列，维护一个单调递减栈，维护时，对于当前放入栈的$A_j$, 将栈顶小于$A_j$的数弹出。于是在维护单调栈的同时，判断栈顶元素是否是满足的$A_k$即可。即$stack.top()>left_j$ && $stack.top()<A_j$。
这种做法确实是一个必要解，现在证明充分性。
证明：现在证明，对于$A_j$来说$A_k(k>j)$在放入栈中时，不会因为将在栈顶元素$s(s>left_j$ && $s<A_j)$弹出，而导致无解。
1.假如$A_j>A_k$，显然如果栈顶元素$s$弹出，$A_k$入栈，那么对于$A_j$来说，$A_k$是一个满足解，且对于$A_j$来说更优。
2.假如$A_j<=A_k$，显然，如果存在栈顶元素$s$。由于$j<k$，那么$left_j>=left_k$，显然会有$left_k<=left_j<s<A_j<=A_k$.于是$s>left_k$ && $s<A_k$，于是$s$对于$A_k$是一个满足解。
而如果$s<=left_k$，则显然可以弹出。$s>=A_k$, 显然可以直接将$A_k$放入栈顶。
所以得证。

#include <bits/stdc++.h>

using namespace std;

bool solve(const vector<int>& A) {
  vector<int> left(A.size());
  left[0] = 0x3f3f3f3f;
  for (int i = 1; i < A.size(); ++i) {
    left[i] = min(left[i - 1], A[i - 1]);
  }
  stack<int> S;
  for (int i = A.size() - 1; --i) {
    if (S.empty()) {
      S.push(A[i]);
    } else {
      if (left[i] < A[i] && left[i] < S.top() && S.top() > A[i]) {
        return true;
      } else {
        while (!S.empty() && S.top() < A[i]) {
          S.pop();
        }
        S.push(A[i]);
      }
    }
  }
  return false;
}