ZOJ3209(KB3-B DLX)

Treasure Map

---

Time Limit: 2 Seconds      Memory Limit: 32768 KB

---

Your boss once had got many copies of a treasure map. Unfortunately, all the copies are now broken to many rectangular pieces, and what make it worse, he has lost some of the pieces. Luckily, it is possible to figure out the position of each piece in the original map. Now the boss asks you, the talent programmer, to make a complete treasure map with these pieces. You need to make only one complete map and it is not necessary to use all the pieces. But remember, pieces are not allowed to overlap with each other (See sample 2).

Input

The first line of the input contains an integer T (T <= 500), indicating the number of cases.

For each case, the first line contains three integers n m p (1 <= n, m <= 30, 1 <= p <= 500), the width and the height of the map, and the number of pieces. Then p lines follow, each consists of four integers x1 y1 x2 y2 (0 <= x1 < x2 <= n, 0 <= y1 < y2 <= m), where (x1, y1) is the coordinate of the lower-left corner of the rectangular piece, and (x2, y2) is the coordinate of the upper-right corner in the original map.

Cases are separated by one blank line.

Output

If you can make a complete map with these pieces, output the least number of pieces you need to achieve this. If it is impossible to make one complete map, just output -1.

Sample Input

3
5 5 1
0 0 5 5

5 5 2
0 0 3 5
2 0 5 5

30 30 5
0 0 30 10
0 10 30 20
0 20 30 30
0 0 15 30
15 0 30 30

Sample Output

1
-1
2

Hint

For sample 1, the only piece is a complete map.

For sample 2, the two pieces may overlap with each other, so you can not make a complete treasure map.

For sample 3, you can make a map by either use the first 3 pieces or the last 2 pieces, and the latter approach one needs less pieces.

精确覆盖问题，使用DLX，将图按行向量压成一维就TLE了，按列向量压成一维却过了。。。不是很懂。。。

 //2017-04-15
 #include <iostream>
 #include <cstdio>
 #include <cstring>

 using namespace std;

 const int N = ;
 const int M = ;
 const int maxnode = N*M;
 int p;

 struct DLX
 {
     int n, m, sz;//n为矩阵行数，m为矩阵列数，sz为编号
     int U[maxnode], D[maxnode], R[maxnode], L[maxnode], Row[maxnode], Col[maxnode];//U、D、R、L分别记录上下右左域。Row[i]表示编号为i的节点所在的行号,Col[i]表示编号为i的节点所在的列号
     int H[N], S[M];//H[i]表示指向第i行最前边的节点，S[i]表示第i列1的个数
     int ansd, ans[N];

     void init(int nn, int mm)
     {
         n = nn; m = mm;
         for(int i = ; i <= m; i++)
         {
             S[i] = ;//每一行1的个数初始化为0
             U[i] = D[i] = i;//最上面的一行表头C，上下域初始化都为自身
             L[i] = i-;//左边
             R[i] = i+;//右边
         }
         R[m] = ; L[] = m;//头尾特殊处理
         sz = m;
         for(int i = ; i <= n; i++)H[i] = -;
     }
     void link(int r, int c)//第r行第c列为1
     {
         ++S[Col[++sz] = c];//编号加1，记录列，所在的列1的个数加1
         Row[sz] = r;//记录行
         /*link上下域：*/
         D[sz] = D[c];
         U[D[c]] = sz;
         U[sz] = c;
         D[c] = sz;
         /*link左右域：*/
         if(H[r] < )H[r] = L[sz] = R[sz] = sz;
         else{
             R[sz] = R[H[r]];
             L[R[H[r]]] = sz;
             L[sz] = H[r];
             R[H[r]] = sz;
         }
     }

     void Remove(int c)//删除第c列和其对应的行
     {
         L[R[c]] = L[c]; R[L[c]] = R[c];
         for(int i = D[c]; i != c; i = D[i])
               for(int j = R[i]; j != i; j = R[j])
             {
                 U[D[j]] = U[j];
                 D[U[j]] = D[j];
                 --S[Col[j]];
             }
     }

     void resume(int c)//恢复第c列和其对应的行
     {
         for(int i = U[c]; i != c; i = U[i])
               for(int j = L[i]; j != i; j = L[j])
                   ++S[Col[U[D[j]]=D[U[j]]=j]];
         L[R[c]] = R[L[c]] = c;
     }

     void Dance(int d)//d表示选了多少行
     {
         if(ansd != - && ansd <= d)return;//剪枝
         if(R[] == )//0号节点为head节点
         {
             if(ansd == -)ansd = d;
             else if(ansd > d)ansd = d;
             return;
         }
         int c = R[];
         for(int i = R[]; i != ; i = R[i])//选出1最少的列
               if(S[i] < S[c])c = i;
         Remove(c);
         for(int i = D[c]; i != c; i = D[i])//枚举第c列存在1节点的行，进行递归处理
         {
             ans[d] = Row[i];//表示第d行选Row[i]
             for(int j = R[i]; j != i; j = R[j])Remove(Col[j]);//将这一行1节点所在的列都删除
             Dance(d+);
             for(int j = L[i]; j != i; j = L[j])resume(Col[j]);//恢复
         }
         resume(c);
     }
 }dlx;

 int main()
 {
     int n, m, T, x1, x2, y1, y2;
     scanf("%d", &T);
     while(T--)
     {
         scanf("%d%d%d", &n, &m, &p);
         dlx.init(p, n*m);
         for(int i = ; i <= p; i++)
         {
             scanf("%d%d%d%d", &x1, &y1, &x2, &y2);
             for(int h = x1; h < x2; h++)
                 for(int l = y1+; l <= y2; l++)
                     dlx.link(i, h*m+l);
         }
         dlx.ansd = -;
         dlx.Dance();
         printf("%d\n", dlx.ansd);
     }

     return ;
 }