偏序是在集合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列构成链关系。
原题链接点击打开链接
#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;
}