bzoj 4715

其实我并没有见过原题,只是因为...这被改编成了互测题...

题目中提到了一个序列,这个序列是很重要的,否则这个问题好像是没有合理的时间复杂度解法的

但正因为有了这个序列,这个问题的时间复杂度才让人能够接受

序列的特性:逆序对!

根据题意,我们发现一个图上所有的连边一定来源于这个序列里的逆序对!

那么,如果要求一个点集内部没有连边,内部是不能有逆序对的!

那么这个条件等价于求出这个序列的上升子序列数目!

所以我们记dp[i]表示以i为结尾,获得所求点集的方案数

那么dp[i]就可以由dp[j]进行转移,其中j<i

但并不是所有的j都能转移到i,因为还有第二个约束条件

都要有连边怎么办?

我们发现,首先,如果想用f[j]来更新f[i],那么j~i之间的点都没有被使用,那这样一来我们就要让他们都与选中的点之间有连边

怎么做?

充要条件:对于任意j<k<i,有a[k]>a[i]或a[k]<a[j]

证明:首先我们知道,由于是上升序列,一定有:a[i]>a[j]

那么,如果要求都有连边,那么k要么会和i构成逆序对,要么会和j以内某个被选中的点构成逆序对

再考虑j以内所有值都比a[j]小,所以如果k能和j以内某个点构成逆序对,必然会和j构成逆序对

即要求:a[k]<a[j]

那么如果k与i构成逆序对,一定要求a[k]>a[i]

于是我们检验上述两个条件就好

可是这样做是O(n^3)过不了啊

再优化一下!

我们能够发现,如果有a[k]>a[i],根据单调性,一定有a[k]>a[j]!

而a[k]<a[j]的部分是已然成立的

所以我们仅需找出,对于所有a[k]>a[j]的k中最小的a[k]是否大于a[i]即可

而如果我们先枚举j,然后枚举i,那么是可以在枚举i的同时维护出这个最小的a[k]的!

这样时间就降到了O(n^2)

当然,我们忽略了一个问题:序列怎么求?

拓扑排序!

这里的拓扑稍特殊:需要用到优先队列,因为对于没有逆序对的部分,后面的一定比前面的大

最后贴代码:

#include <cstdio>
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <queue>
#include <stack>
#define mode 1000000007
using namespace std;
int dp[];
int inr[];
int maps[][];
bool used[];
int a[];
int n,m;
int main()
{
freopen("is.in","r",stdin);
freopen("is.out","w",stdout);
scanf("%d%d",&n,&m);
for(int i=;i<=m;i++)
{
int x,y;
scanf("%d%d",&x,&y);
if(x>y)
{
swap(x,y);
}
inr[y]++;
maps[x][y]=maps[y][x]=;
}
priority_queue <int> M;
for(int i=n;i>=;i--)
{
if(!inr[i])
{
used[i]=;
M.push(i);
}
}
int ttop=n;
while(!M.empty())
{
int u=M.top();
M.pop();
a[u]=ttop--;
for(int i=n;i>=;i--)
{
if(maps[u][i])
{
inr[i]--;
if(!inr[i]&&!used[i])
{
used[i]=;
M.push(i);
}
}
}
}
a[]=,a[n+]=n+;
dp[]=;
for(int j=;j<=n;j++)
{
int minval=n+;
for(int i=j+;i<=n+;i++)
{
if(a[i]<a[j]||a[i]>=minval)
{
continue;
}
dp[i]+=dp[j];
dp[i]%=mode;
minval=a[i];
}
}
printf("%d\n",dp[n+]);
return ;
}
上一篇:HTML特殊符号(字符实体)大全


下一篇:NET Core中实现一个Token base的身份认证