题目大意
n个二维点。
用下边界贴着y=0的面积不超过S的矩阵,最少用多少个覆盖所有点?
DP
同样的x坐标只保留y最大的,然后对y离散化。
容易发现矩形之间只会有相含关系或相离关系,相交是没有意义的。
然后大力区间dp,f[i,j,k]表示[i,j]区间覆盖所有y坐标>k的最小矩形数。
随便转移。n^4。
#include<cstdio>
#include<algorithm>
#define fo(i,a,b) for(i=a;i<=b;i++)
#define fd(i,a,b) for(i=a;i>=b;i--)
#define min(a,b) (a<b?a:b)
using namespace std;
typedef long long ll;
const int maxn=100+10,inf=1000000;
struct dong{
int x,y;
} p[maxn];
int c[200000+10];
int f[maxn][maxn][maxn],g[maxn][maxn][maxn],x[maxn],y[maxn],a[maxn],b[maxn];
int i,j,k,l,t,n,m,s,ca,top;
bool cmp(dong a,dong b){
return a.x<b.x||a.x==b.x&&a.y>b.y;
}
int main(){
freopen("scene.in","r",stdin);freopen("scene.out","w",stdout);
scanf("%d",&ca);
while (ca--){
scanf("%d%d",&n,&s);
fo(i,1,n) scanf("%d%d",&p[i].x,&p[i].y);
sort(p+1,p+n+1,cmp);
top=0;
fo(i,1,n)
if (i==1||p[i].x!=p[i-1].x){
x[++top]=p[i].x;
y[top]=p[i].y;
}
n=top;
fo(i,1,n) b[i]=y[i];
sort(b+1,b+n+1);
m=unique(b+1,b+n+1)-b-1;
fo(i,1,n) a[i]=lower_bound(b+1,b+m+1,y[i])-b;
b[0]=0;
j=m;
fo(i,1,s){
while ((ll)b[j]*i>s) j--;
c[i]=j;
}
fo(i,1,n)
fo(j,i,n){
fo(k,0,m-1)
f[i][j][k]=inf;
f[i][j][m]=0;
}
fd(i,n,1){
fo(k,0,m-1){
if (a[i]>k) f[i][i][k]=1;else f[i][i][k]=0;
g[i][i][k]=i;
}
fo(j,i+1,n){
fd(k,m-1,0){
/*fo(t,g[i][j-1][k],g[i+1][j][k]) {
if (f[i][j][k]>f[i][t][k]+f[t+1][j][k]){
g[i][j][k]=t;
f[i][j][k]=f[i][t][k]+f[t+1][j][k];
}
}*/
fo(t,i,j-1) f[i][j][k]=min(f[i][j][k],f[i][t][k]+f[t+1][j][k]);
if (x[j]-x[i]>s) continue;
l=c[x[j]-x[i]];
if (l>k) f[i][j][k]=min(f[i][j][k],f[i][j][l]+1);
}
}
}
printf("%d\n",f[1][n][0]);
}
}