题目描述
在平面上有nn个点(n \le 50n≤50),每个点用一对整数坐标表示。例如:当 n=4n=4 时,44个点的坐标分另为:p_1p1(1,11,1),p_2p2(2,22,2),p_3p3(3,63,6),P_4P4(0,70,7),见图一。
这些点可以用kk个矩形(1 \le k \le 41≤k≤4)全部覆盖,矩形的边平行于坐标轴。当 k=2k=2 时,可用如图二的两个矩形 s_1,s_2s1,s2 覆盖,s_1,s_2s1,s2 面积和为44。问题是当nn个点坐标和kk给出后,怎样才能使得覆盖所有点的kk个矩形的面积之和为最小呢?
约定:覆盖一个点的矩形面积为00;覆盖平行于坐标轴直线上点的矩形面积也为00。各个矩形必须完全分开(边线与顶点也都不能重合)。
输入输出格式
输入格式:
n knk
x_1 y_1x1y1
x_2 y_2x2y2
... ...
x_n y_nxnyn (0 \le x_i,y_i \le 5000≤xi,yi≤500)
输出格式:
输出至屏幕。格式为:
11个整数,即满足条件的最小的矩形面积之和。
输入输出样例
输入样例#1: 复制
4 2
1 1
2 2
3 6
0 7
输出样例#1: 复制
4
#include<cstdio> #include<cstring> #include<iostream> #include<algorithm> using namespace std; int x[51],y[51]; int n,k,val,ans=0x7f7f7f7f; struct nond{ int l,r,u,d; bool flag; }v[5]; int read(){ int x=0,f=1;char ch=getchar(); while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();} while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();} return x*f; } bool jud(int i,int j){ if(v[i].l<=v[j].l&&v[i].r>=v[j].l&&v[i].d>=v[j].d&&v[i].u<=v[j].d) return true; if(v[i].l<=v[j].r&&v[i].r>=v[j].r&&v[i].d>=v[j].d&&v[i].u<=v[j].d) return true; if(v[i].l<=v[j].l&&v[i].r>=v[j].l&&v[i].d>=v[j].u&&v[i].u<=v[j].u) return true; if(v[i].l<=v[j].r&&v[i].r>=v[j].r&&v[i].d>=v[j].u&&v[i].u<=v[j].u) return true; return false; } bool judge(){ for(int i=1;i<=k;i++) if(v[i].flag) for(int j=1;j<i;j++) if(v[j].flag) if(jud(i,j)) return true; return false; } void dfs(int now){ if(judge()) return ; val=0; for(int i=1;i<=k;i++) if(v[i].flag) val+=(v[i].r-v[i].l)*(v[i].d-v[i].u); if(val>ans) return ; if(now==n+1){ ans=val; return ; } for(int i=1;i<=k;i++) if(!v[i].flag){ v[i].l=y[now];v[i].r=y[now]; v[i].u=x[now];v[i].d=x[now]; v[i].flag=1; dfs(now+1); v[i].flag=0; } else if(v[i].flag){ int a=v[i].l,b=v[i].r,c=v[i].u,d=v[i].d; v[i].l=min(v[i].l,y[now]); v[i].r=max(v[i].r,y[now]); v[i].u=min(v[i].u,x[now]); v[i].d=max(v[i].d,x[now]); dfs(now+1); v[i].l=a;v[i].r=b; v[i].u=c;v[i].d=d; } } int main(){ n=read();k=read(); for(int i=1;i<=n;i++) scanf("%d%d",&x[i],&y[i]); dfs(1); cout<<ans; }