「杂题乱刷2」CF2066B

合集 - 贪心(58)

1.「杂题乱刷」CF1904B2023-12-102.「杂题乱刷」CF1620E2023-12-143.「杂题乱刷」CF978G2023-12-164.「杂题乱刷」洛谷P92532023-11-235.「杂题乱刷」CF624B2023-11-236.「杂题乱刷」CF1221B2023-11-237.「杂题乱刷」CF1585B2023-11-238.「杂题乱刷」CF468A2023-11-239.「杂题乱刷」洛谷P95152023-11-2310.「杂题乱刷」CF283A2023-11-2311.「杂题乱刷」洛谷P95332023-12-1812.「杂题乱刷」CF1914E1 & CF1914E22023-12-2013.「杂题乱刷」AT_abc280_d2023-12-2214.「杂题乱刷」CF1916C2023-12-3115.「杂题乱刷」AT_arc041_b2024-01-0316.【待补题解】AT_arc146_a2024-01-0317.「杂题乱刷」AT_abc337_e2024-01-2118.「杂题乱刷」AT_abc308_f2024-01-2619.「杂题乱刷」ZhengRui 54. 【17 普及 13】幻想嘉年华2024-01-2720.「杂题乱刷」CF1925C & CF1924A2024-01-3121.「杂题乱刷」CF1927D2024-02-0722.「杂题乱刷」洛谷 P101552024-02-1323.「杂题乱刷」洛谷 P17122024-02-1724.「杂题乱刷」洛谷 P88662024-02-2525.「杂题乱刷」CF1937C & CF1936A2024-03-0126.「杂题乱刷」CF1934D22024-03-0327.「杂题乱刷」洛谷 P48012024-03-0328.「杂题乱刷」ZhengRui 611 【19寒假普转提】树的权2024-03-0629.「杂题乱刷」ZhengRui 281 汪初雪与高流星2024-03-1230.「杂题乱刷」at_abc092_d & AT_arc093_b2024-04-0131.「杂题乱刷」CF74E2024-04-0132.「杂题乱刷」AT_abc279_e2024-04-2333.「杂题乱刷」AT_abc096_d2024-05-0534.「杂题乱刷」CF1973D2024-05-2035.「杂题乱刷」CF1650D2024-05-2336.「杂题乱刷」CF1650E2024-05-2337.「杂题乱刷」CF1977B2024-05-2838.「杂题乱刷」CF1977C2024-05-2839.「杂题乱刷」CF460C2024-05-3040.「杂题乱刷」P82792024-05-3141.「杂题乱刷」AT_abc160_e2024-06-0742.「杂题乱刷」P105122024-06-1043.「杂题乱刷」AT_abc358_g2024-06-1644.「杂题乱刷」 AT_abc123_d2024-06-2345.「杂题乱刷」P7840 & AT_abc359_f2024-06-2346.「杂题乱刷」CF1987C2024-07-0147.「杂题乱刷」P106782024-07-0248.「杂题乱刷2」CF1702F2024-07-0349.「杂题乱刷2」CF402D Upgrading Array2024-07-0550.「杂题乱刷2」CF1506E Restoring the Permutation2024-07-1451.「杂题乱刷2」CF727D2024-07-1452.「杂题乱刷2」CF1615C Menorah2024-07-1553.「杂题乱刷2」CF1889A Qingshan Loves Strings 22024-07-2654.「杂题乱刷2」CF1527B22024-09-1755.「杂题乱刷2」CF1108E22024-09-1756.「杂题乱刷2」CF827B2024-10-0357.「杂题乱刷2」CF1227D22024-10-04

58.「杂题乱刷2」CF2066B02-13

收起

题目链接

CF2066B Devyatkino (*1600)

解题思路

首先根据题目中的定义，你发现你选取一个没有 $0$ 的序列是一定合法的，因为此时任意一个前缀 min 都是至少为 $1$ 的，而任意一个后缀 mex 都为 $0$，原式一定合法。

其次你发现你选取的子序列中最多只能有一个 $0$，首先有一个 $0$ 可以合法，我来讲讲为什么选取 $2$ 个及以上的 $0$ 是不合法的。你发现，当 $i$ 为第一个 $0$ 的位置时，此时前缀 min 为 $0$，而后缀 mex 至少为 $1$ 的，此时原式不合法。

那么我们考虑从序列中取哪个 $0$ 最优，你发现，当你取到 $0$ 时，那么此时你之后的 mex 都为 $0$，符合题目条件，因此你发现越早取 $0$ 的约束条件是最弱的，那么直接取第一个 $0$ 是显然最优的，check 只需要按照题意模拟即可。

参考代码

#include<bits/stdc++.h>
using namespace std;
#define re register
#define ll long long
#define forl(i,a,b) for(re ll (i)=(a);i<=(b);(i)++)
#define forr(i,a,b) for(re ll (i)=(a);i>=(b);(i)--)
#define IOS ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
#define endl '\n'
#define QwQ return 0;
template<typename T1,typename T2>bool Max(T1&x,T2 y){if(y>x)return x=y,1;return 0;}template<typename T1,typename T2>bool Min(T1&x,T2 y){if(y<x)return x=y,1;return 0;}ll Ss=chrono::steady_clock::now().time_since_epoch().count();mt19937_64 Apple(Ss);ll rand_lr(ll l,ll r){return Apple()%(r-l+1)+l;}
ll _t_;
ll lg[1000010];
ll n;
ll S;
ll a[1000010];
ll b[1000010],k;
ll mex[1000010],minn[1000010];
ll vis[1000010];
void solve()
{
    S=0;
    k=0;
	cin>>n;
	forl(i,0,n+5)
		vis[i]=0;
	forl(i,1,n)
		cin>>a[i],
		S+=(bool)a[i];
	ll id=-1;
	forr(i,n,1)
		if(!a[i])
			id=i;
	if(id==-1)
	{
		cout<<n<<endl;
		return ;
	}
	forl(i,1,n)
		if(a[i] || i==id)
			b[++k]=a[i];
	minn[0]=1e18;
	forl(i,1,k)
		minn[i]=min(minn[i-1],b[i]);
	mex[k+1]=0;
	forr(i,k,1)
	{
		mex[i]=mex[i+1];
		if(b[i]<=n+5)
			vis[b[i]]=1;
		while(vis[mex[i]])
			mex[i]++;
	}
	forl(i,1,k-1)
		if(minn[i]<mex[i+1])
		{
			cout<<S<<endl;
			return ;
		}
	cout<<max(S,k)<<endl;
}
int main()
{
    IOS;
    _t_=1;
    cin>>_t_;
    while(_t_--)
        solve();
    QwQ;
}