很多肥老鼠认为，长的越肥，奔跑速度就越快，为了反驳这个观点，你现在需要对老鼠的体重和速度进行研究，你要在老鼠序列中找出一个子序列，使得老鼠的体重在增加，但是速度却在减慢Input
输入以eof结束。
输入中每行有两个正整数，分别表示老鼠的体重和速度，范围均在1到10000之间，输入数据最多有1000只老鼠。
某些老鼠可能有相同的体重，某些老鼠可能有相同的速度，某些老鼠可能体重和速度都相同。
Output
我们是要在原来的老鼠序列中，找到一个最长的子序列，使得这个子序列中老鼠的体重在严格增加，速度却在严格降低。
首先输出满足条件的最长的子序列的长度。
其次，输出一个最长子序列的方案，要求输出每个老鼠在输入时候的编号，每个编号占一行，任意一种正确的方法都会被判正确。
Sample Input
6008 1300
6000 2100
500 2000
1000 4000
1100 3000
6000 2000
8000 1400
6000 1200
2000 1900
Sample Output
4
4
5
9
7
#include<stdio.h>
#include<iostream>
#include<string.h>
#include<algorithm>
#include<map>
#include<set>
#include<vector>
#define ll long long
using namespace std;
const int inf=0x3f3f3f3f;
struct node
{
int x,y,id;
}e[1100];
int dp[1100];
int mark[1100];
int cmp(node n1,node n2)
{
if(n1.y==n2.y)
return n1.x>n2.x;
return n1.y>n2.y;
}
int main()
{
int n=1;
while(~scanf("%d%d",&e[n].x,&e[n].y))
{
e[n].id=n;
n++;
}
sort(e+1,e+1+n,cmp);
memset(dp,inf,sizeof(dp));
int k=0;
for(int i=1;i<n;i++)
{
int j=lower_bound(dp+1,dp+1+n,e[i].x)-dp;
dp[j]=e[i].x;
mark[i]=j;
k=max(k,j);
}
printf("%d\n",k);
int ans[1100];
int u=0;
for(int i=n-1;i>=1;i--)
{
if(mark[i]==k)
{
ans[u++]=e[i].id;
k--;
}
}
for(int i=u-1;i>=0;i--)
printf("%d\n",ans[i]);
}