B. Psychos in a Line 解析(思維、單調棧)

Codeforce 319 B. Psychos in a Line 解析(思維、單調棧)

今天我們來看看CF319B
題目連結

題目
給一個數列，如果相鄰兩數，左邊大於右邊，那麼就可以殺死右邊的數字(被殺死的數字在當前一輪也可以殺右邊的數字)
求幾輪以後就沒有數字會自相殘殺了?

前言

第一眼看到就感覺會和單調棧有關，但是實在經驗不足，最後思緒被拉跑到找遞增和遞減數列了...

想法

我們都知道，單調棧最一開始就是拿來找一個元素往左或往右的，第一個比元素本身大或小的元素。
但這題還需要我們利用單調棧運行時的過程。
首先我們從數列左邊開始處理(跑單調棧找往左看第一個比自身大的)，並且將第(i)個元素在第幾輪會被殺掉儲存為(pre[i])，接著注意到這件事(令第(i)元素往左看第一個大於的元素的index為(j)):(pre[i]=min{i-j,[j+1,i]區段中最大的pre[.]+1})，其中(i-j)代表最慢的情況就是由左邊第一大的元素慢慢殺過來，而後者代表([j+1,i])這一段都被殺完以後，下一個就是自己被殺。
而重點就在於尋找([j+1,i]區段中最大的pre[.])可以在stack pop的同時計算。其原因是因為:假設目前([j,i])區段已經有一些元素被pop走了，剩下等著還沒pop的元素當然有可能是最大值，要計入考慮，而這些剩下的元素都已經計算過(pre[i']=min{i'-j',[j'+1,i']區段中最大的pre[.]+1})，又，(i'-j'ge[j'+1,i']區段中最大的pre[.]+1)。所以只要計算還在stack中的最大值，就等於整個([j+1,i])區間的最大值了。
最後只要輸出(pre[.])中的最大值就好。

程式碼:

const int _n=1e5+10;
int t,n,a[_n];
int pre[_n];
main(void) {ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
  cin>>n;rep(i,0,n)cin>>a[i];
  stack<int> s;rep(i,0,n){
    while(!s.empty() and a[s.top()]<a[i]){
      pre[i]=max(pre[i],pre[s.top()]);s.pop();
    }
    pre[i]=min(s.empty()?0:i-s.top(),pre[i]+1);
    s.push(i);
  }int maxx=-1e9;rep(i,0,n)maxx=max(maxx,pre[i]);
  cout<<maxx<<'
';
  return 0;
}

標頭、模板請點Submission看
Submission