题目描述

有一天,一个名叫顺旺基的程序员从石头里诞生了。又有一天,他学会了冒泡排序和独 立集。在一个图里,独立集就是一个点集,满足任意两个点之间没有边。于是他就想把这两 个东西结合在一起。众所周知,独立集是需要一个图的。那么顺旺基同学创造了一个算法, 从冒泡排序中产生一个无向图。
  这个算法不标准的伪代码如下:

void bubblesortgraph(n,a[])
//输入:点数n,1到n的全排列a
//输出:一个点数为n的无向图G
{// 创建一个有n个点,0条边的无向图G。
do{ swapped=false
for i 从1 到n-
if(a[i]>a[i+])
{ //在G中连接点a[i]和点a[i+1]
//交换a[i]和a[i+1]
swapped =true
}
}while(swapped);
//输出图G。
}
//结束。

那么我们要算出这个无向图G最大独立集的大小。但是事情不止于此。顺旺基同学有时候心情会不爽,这个时候他就会要求你再回答多一个问题:最大独立集可能不是唯一的,但 有些点是一定要选的,问哪些点一定会在最大独立集里。今天恰好他不爽,被他问到的同学 就求助于你了。

输入格式

输入包含两行,第一行为N,第二行为1 到N 的一个全排列。

输出格式

输出包含两行,第一行输出最大独立集的大小,第二行从小到大输出一定在最大独立集 的点的编号。

输入样例

3
  3 1 2

输出样例

2
  2 3
提示
  如上图,顶点1和2一定在最大独立集中,其对应的编号为2和3。

【数据范围】

30%的数据满足N<=16

60%的数据满足N<=1,000

100%的数据满足N<=100,000

分析

打表找规律,或者大力猜结论(???

可以发现独立集就是上升子序列

所以问题转化为求那些位置的数一定在最长上升子序列内

考场上猜了两个结论,结果选择写了错误的那个(为什么我不两个一起写啊)

后来发现自己的乱搞出来的解法跟正解有不一样。。。。。。

分别求两次最长上升子序列。

第一次dp时,如果一个数的最优值可由多个之前的状态转移过来,选位置最靠前的那个

第二次dp时,如果一个数的最优值可由多个之前的状态转移过来,选位置最靠后的那个

然后看两次最长子序列中有哪些共有的数,就是答案。

证明的话。。。。。。

【CSP模拟赛】独立集(最长上升子序列&amp;大力猜结论)-LMLPHP

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int n,a[],pre[],dp[],vis[];
struct node{int pos,len;}bit[];
node max1(node a,node b)
{
if(a.len>b.len)return a;if(a.len<b.len)return b;
if(a.pos<b.pos)return a;return b;
}
node max2(node a,node b)
{
if(a.len>b.len)return a;if(a.len<b.len)return b;
if(a.pos<b.pos)return b;return a;
}
void add1(int x,node a){for(;x<=n;x+=(x&-x))bit[x]=max1(bit[x],a);}
node que1(int x){node mx=(node){,};for(;x;x-=(x&-x))mx=max1(bit[x],mx);return mx;}
void add2(int x,node a){for(;x<=n;x+=(x&-x))bit[x]=max2(bit[x],a);}
node que2(int x){node mx=(node){,};for(;x;x-=(x&-x))mx=max2(bit[x],mx);return mx;}
int main()
{
scanf("%d",&n);
for(int i=;i<=n;i++)scanf("%d",&a[i]);
for(int i=;i<=n;i++)
{
node bef=que1(a[i]-);
dp[i]=bef.len+,pre[i]=bef.pos;
add1(a[i],(node){i,dp[i]});
}
int mx=,nx=;
for(int i=;i<=n;i++)if(dp[i]>mx)mx=dp[nx=i];
while(nx)vis[nx]++,nx=pre[nx];
memset(bit,,sizeof bit);memset(pre,,sizeof pre);
printf("%d\n",mx);
for(int i=;i<=n;i++)
{
node bef=que2(a[i]-);
dp[i]=bef.len+,pre[i]=bef.pos;
add2(a[i],(node){i,dp[i]});
}
mx=,nx=;
for(int i=;i<=n;i++)if(dp[i]>=mx)mx=dp[nx=i];
while(nx)vis[nx]++,nx=pre[nx];
for(int i=;i<=n;i++)if(vis[i]==)printf("%d ",i);
}
05-11 18:29