NYOJ236，心急的C小加（偏序集 Dilworth 定理）

   在Partially order set(偏序集)有一个非常NX的定理叫DilworthTheorem。上图是偏序集的一个Hasse diagram，偏序集的定义是

偏序是在集合X上的二元关系≤，它满足自反性、反对称性和传递性。即，对于X中的任意元素a,b和c，有:
自反性：a≤a;
反对称性：如果a≤b且b≤a，则有a=b;
传递性：如果a≤b且b≤c，则a≤c 。

带有偏序关系的集合称为偏序集。
令(X,≤)是一个偏序集，对于集合中的两个元素a、b，如果有a≤b或者b≤a，则称a和b是可比的，否则a和b不可比。
在X中，对于元素a，如果任意元素b，由b≤a得出b=a，则称a为极小元。

一个反链A是X的一个子集，它的任意两个元素都不能进行比较。
一个链C是X的一个子集，它的任意两个元素都可比。

下面是两个重要定理：
定理1令（X,≤）是一个有限偏序集，并令r是其最大链的大小。则X可以被划分成r个但不能再少的反链。
其对偶定理称为Dilworth定理：
定理2 令（X,≤）是一个有限偏序集，并令m是反链的最大的大小。则X可以被划分成m个但不能再少的链。

搞清楚了反链和链的定义，就能够很好的从HasseDiagram中得到理解。链就是从纵向的角度看 Hasse Diagram ,反链是从横向的角度看HasseDiagram。

定理一，就是至少有r行构成反链关系。

定理二，就是至少有m列构成链关系。

  我们来考虑一个导弹拦截问题，就是求一个序列的最长不上升子序列，以及求能最少划分成几组不上升子序列。很显然第一个是动态规划，动态规划的过程就是求HasseDiagram的过程！！！

  第二问就是求最少能够划分成几个链，根据定理2，很显然就是反链的最大长度。反链就是一个上升子序列。即求一个严格上升子序列的最大长度。

  注意一个问题是，在获得偏序集有几个主链的时候，需要对数据集先进行排序，然后从头开始，沿着主链顺序DFS。由于导弹拦截的问题，天然有序，形成了严格上升自序列，所以没有凸显这个问题！

原题链接点击打开链接

 


#include <iostream>
#include <string.h>
#include <stdio.h>
#include <algorithm>
using namespace std;
struct sb
{
	int l,w;
}a[5005];
int dp[5005];
bool cmp(sb t1,sb t2)
{
	if(t1.l<t2.l)
		return true;
	if(t1.l==t2.l&&t1.w<t2.w)
		return true;
	return false;
}
int main()
{
	int t,i,n,j,sum;
	cin>>t;
	while(t--)
	{
		memset(dp,0,sizeof(dp));
		cin>>n;
		for(i=0;i<n;i++)
			cin>>a[i].l>>a[i].w;
		std::sort(a,a+n,cmp);
		sum=0;
		for(i=0;i<n;i++)
		{
			if(!dp[i])
			{
				sum++;
				int m=a[i].w;
				for(j=i+1;j<n;j++)
				{
					if(a[j].w>=m&&!dp[j])
					{
						m=a[j].w;
						dp[j]=1;;
					}
				}
			}
		}
		cout<<sum<<endl;
	}
	return 0;
}