Problem - D - Codeforces

问题描述：剪发，将数组a减为数组b，有m个剪刀，每个剪刀只可以用一次且可以在任意区间内剪发，将长度大于mi的减为mi。现在有m数组，数组元素是第i个剪刀可以剪到mi，问能否将a减为b。

洛谷翻译：

思路：一定是先减最长的，再减短的。在减的时候会将这个a数组渐渐减成多个数组，再对这些数组进行这些操作，判断给出的m数组是否满足可以进行这些操作。

如果是b[0]，因为是第一个，所以一定需要一个剪刀m = b[0]。

到b[1]时，有三种情况：

• b[1] < b[0]：因为接下来要减的少，所以也要用一个剪刀m = b[1]。
• b[1] = b[0]：相同，上一个可以被覆盖，不需要额外操作。
• b[1] > b[0]：这是，由于b[1] > b[0]，前面大于b[1]的剪刀都不可以用。因为如果用了，那么a[1]就会小于b[1]，此时不满足条件。

发现此时具有单调栈性质：通过从0到n-1进行遍历b数组，先将栈中小于bi的出栈，之后判断是否为空或者已经存在栈中（sk.top() == bi)，如果为空或者bi不在栈中，入栈，表示一定需要这个

代码：

void solve() {int n; cin>>n;vector<int> a(n), b(n);for(auto &t: a) cin>>t;for(auto &t: b) cin>>t;bool ok = true;for(int i = 0; i < n; ++i) if(a[i] < b[i]) ok = false;map<int,int> mii;int m; cin>>m;for(int i = 0; i < m; ++i) {int t; cin>>t;mii[t]++;}stack<int> sk;for(int i = 0; i < n; ++i) {while(sk.size() && sk.top() < b[i]) sk.pop();if(a[i] == b[i]) continue;if(sk.empty() || sk.top() != b[i]) {sk.push(b[i]);mii[b[i]]--;}}for(auto t: mii) {ok &= t.vs >= 0;}puts(ok ? "YES" : "NO");
}