Atcoders [ARC133B] Dividing Subsequence 题解

AT_arc133_b [ARC133B] Dividing Subsequence

模拟赛原题，来写篇题解。

只考虑匹配的状态，根据调和级数的数学知识，匹配的状态数不多，为 $O(n\log n)$，考虑动态规划。

我们对于每个 $a_i$ 预处理出可以匹配的位置 $c_{i,j}$ 表示第 $i$ 位可以匹配的第 $j$ 个位置，记 $f_{i,j}$ 表示第 $i$ 位匹配第 $j$ 个可以匹配的位置的最长子序列长度。显然有以下转移方程：

$$f_{i,j}=\max_{l\lt i,c_{l,k}\lt c_{i,j}}\{f_{l,k}\}+1$$

线段树优化 dp，每次把 $f_{i,j}$ 插到 $c_{i,j}$ 上，查询时直接查询 $\lt c_{i,j}$ 的位置即可，时间复杂度 $O(n\log^2n)$。

模拟赛时被卡常了，不过 Atcoders 上稳过。

#include <bits/stdc++.h>
using namespace std;
struct node
{
	int mx;
}tr[900000];
int n,a[300000],b[300000],p[300000],ans=0,cnt=0,rt=1;
vector<int>c[300000],f[300000];
void pushup(int x)
{
	tr[x].mx=max(tr[(x<<1)].mx,tr[(x<<1)|1].mx);
}

void update(int x,int l,int r,int p,int k)
{
	if(l==r)
	   {
	   	tr[x].mx=max(tr[x].mx,k);
	   	return;
	   }
	int mid=(l+r)>>1;
	if(p<=mid)update((x<<1),l,mid,p,k);
	else update((x<<1)|1,mid+1,r,p,k);
	pushup(x);
}

int query(int x,int l,int r,int lx,int rx)
{
	if(lx==0||rx==0)return 0;
	if(l>=lx&&r<=rx)return tr[x].mx;
	int mid=(l+r)>>1,ans=0;
	if(lx<=mid)ans=max(ans,query((x<<1),l,mid,lx,rx));
	if(rx>=mid+1)ans=max(ans,query((x<<1)|1,mid+1,r,lx,rx));
	return ans;
} 

int main()
{
	scanf("%d",&n);
	for(int i=1;i<=n;i++)scanf("%d",&a[i]);
	for(int i=1;i<=n;i++)scanf("%d",&b[i]),p[b[i]]=i;
	for(int i=1;i<=n;i++)
	    for(int j=a[i];j<=n;j+=a[i])
	        c[i].push_back(p[j]);
	for(int i=0;i<c[1].size();i++)f[1].push_back(1);
	for(int i=0;i<c[1].size();i++)update(rt,1,n,c[1][i],f[1][i]);
	for(int i=2;i<=n;i++)
	    {
	    for(int j=0;j<c[i].size();j++)f[i].push_back(query(rt,1,n,1,c[i][j]-1)+1);
		for(int j=0;j<c[i].size();j++)update(rt,1,n,c[i][j],f[i][j]);
	    }
	for(int i=1;i<=n;i++)
	    for(int j=0;j<f[i].size();j++)
	        ans=max(ans,f[i][j]);
	printf("%d\n",ans);
	return 0;
}