洛谷1034 矩形覆盖

原题链接

原本以为要剪枝剪半天的一道题，结果因为数据实在是太水，裸的爆搜就能过了。。
刚打算写个\(HASH\)去重，结果看时间不够就随便交一发，然后就\(A\)了。。（捂脸
爆搜就直接搜每个点在哪个矩阵里，同时更新答案即可。
因为过了，所以就懒得写剪枝和去重了

#include<cstdio>
using namespace std;
const int N = 55;
struct poi {
    int x, y;
};
poi a[N];
struct squ {
    int x_mi, x_ma, y_mi, y_ma, s;
    bool p;
    squ() { x_mi = y_mi = 1e9; }
};
squ jz[5];
int n, k, mi = 1e9;
inline int re()
{
    int x = 0;
    char c = getchar();
    bool p = 0;
    for (; c < '0' || c > '9'; c = getchar())
        p |= c == '-';
    for (; c >= '0' && c <= '9'; c = getchar())
        x = x * 10 + c - '0';
    return p ? -x : x;
}
inline void ckmaxn(int &x, int y) { if (x < y) x = y; }
inline void ckminn(int &x, int y) { if (x > y) x = y; }
inline bool judge()
{
    for (int i = 1; i < k; i++)
        for (int j = i + 1; j <= k; j++)
        {
            if (!jz[i].p || !jz[j].p)
                continue;
            if (jz[i].x_ma >= jz[j].x_mi && jz[j].x_ma >= jz[i].x_mi && jz[i].y_ma >= jz[j].y_mi && jz[j].y_ma >= jz[i].y_mi)
                return false;
        }
    return true;
}
void dfs(int nw, int s)
{
    if (s >= mi)
        return;
    if (nw > n)
    {
        mi = s;
        return;
    }
    for (int i = 1; i <= k; i++)//搜这个点在哪个矩阵
    {
        if (a[nw].x <= jz[i].x_ma && a[nw].y <= jz[i].y_ma && a[nw].x >= jz[i].x_mi && a[nw].y >= jz[i].y_mi)//如果在原本范围就直接扔进去，其实这里可以加一个剪枝，因为已经在一个矩阵里的点显然不能给其它矩阵
            dfs(nw + 1, s);
        else//如果在该矩阵之外就扩展这个矩阵
        {
            squ o = jz[i];
            ckmaxn(jz[i].x_ma, a[nw].x);
            ckmaxn(jz[i].y_ma, a[nw].y);
            ckminn(jz[i].x_mi, a[nw].x);
            ckminn(jz[i].y_mi, a[nw].y);
            jz[i].p = 1;//判断是否已经覆盖了点，使没有覆盖点的矩阵在judge中跳过
            if (judge())//判断是否有矩阵重合
                dfs(nw + 1, s - o.s + (jz[i].s = (jz[i].x_ma - jz[i].x_mi) * (jz[i].y_ma - jz[i].y_mi)));
            jz[i] = o;
        }
    }
}
int main()
{
    int i;
    n = re(); k = re();
    for (i = 1; i <= n; i++)
        a[i].x = re(), a[i].y = re();
    dfs(1, 0);
    printf("%d", mi);
    return 0;
}