题目：四元组问题（蓝桥OJ 3416）

问题描述：

解题思路：
将四元组对半分为左右两组，先找左半再找右半（因为拆分，时间复杂度O(n)）：

具体做法：

        左元组：

        1.使用栈记录该数组每个元素的右边最近且比它大的数，若没有则初始化为-1（即，以该位置作为左元组的右元素，找到左元素）

        2.做f数组，f[i]表示1~i区间内完整的左元组的左元组最大项（注意是完整的左元组，所以也不用求左元组的右元素）。补充：为什么要最大，这样使右元组有更多的选择

        右元组：

        左大右小，从右往左遍历（直到原数组前两个位置停止，被遍历的a[i]是右元组的左元素的每一种可能）。minv变量记录a[i]右边的最小值（即每一次的右元素最小值），且右往左遍历的a[i]比已求得的左元组左元素小（即<f[i - 1]：i前最大的左元组左元素]），比minv大。补充：为什么要minv，为了使右元组的左元素有更多的选择

注意点： 

        1.不能使用暴力枚举，时间复杂度为O(n4),超时

        2.不能直接使用原数组，因为在栈处理时，原数组某元素为负数时，又因为f数组初始化为-1，这样可能导致元素的负数更小，取max时取到-1而非元素本身，导致在一开始f[i]无法拥有元素本身的值。解决方法：先给每一个元素排好次序（次序为1~n），在遍历原数组时将赋予其元素的次序。这样就可以使全部元素都大于1（离散化）

题解：

#include<bits/stdc++.h>
using namespace std;
#define ll  long long
const int maxn = 1e6 + 9;
ll f[maxn];
ll a[maxn];
stack<ll> s;

signed main()
{
ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);

  int n;cin >> n;


//离散化原数组：
    map < int , int > vis ;
    for (int i = 1 ; i <= n ; ++i)
    {
        cin >> a[i];
        vis[a[i]] = 1 ;
    }

    int cnt = 0 ;
    for (auto&p : vis) {
      p.second = ++ cnt ;
    }
    for (int i = 1 ; i <= n ; ++ i) {
      a[i] = vis[a[i]] ;
    }
//
 

//栈处理：
  for(int i = 1; i <= n; i++)
  {
    while(s.size() && a[i] > a[s.top()])//当栈不为空且该元素大于栈顶时，记录栈顶元素到f[i],并弹出栈顶元素
    {
      f[i] = max(f[i], a[s.top()]);//目前f为记录每个数组位置左半二元组的左元素（若组成二元组，当前原数组元素为右元素）
      s.pop();
    }

    s.push(i);//放入该元素
  }
//


//左元组的操作：
  for(int i = 1; i <= n; i++)f[i] = max(f[i], f[i-1]);//f的作用改变为1~i区间的左元组左半元素maxv
//


//右元组的操作：
  ll minv = 1e7;
  for(int i = n; i >= 3; i--)//以右元组左元素为基准遍历，寻找是否存在
  {
    if(a[i] > minv && a[i] < f[i - 1])
    {
      cout << "YES" << "\n";
      return 0;
    }
    minv = min(minv, a[i]);//minv为右半二元组右元素
  }
//


  cout << "NO" << "\n";//遍历完仍找不到
  return 0;
}

知识点： 栈，map，思维

ps:挺难的qwq~