题意：
有n个矩形，每个矩形上的某个位置上都有一个点，但是由于矩形是透明的，当一些矩形重叠在一起的时候就很可能分不清哪个点是那个矩形的，给你n个矩形的坐标，还有n个点的坐标，然后让你找出所有能确定的点。
思路：
两种方法做的，第一种是用的模拟的方法，我是这么想的，如果把一个状态给我们自己我们会怎么判断？我肯定是先找到我一眼就能看出来的删除，什么样的算是可以删除的？如果一个框上只有一个点，或者一个点只在一个框上，那么就可以肯定找到了一对，这样做的话要考虑到一个问题，那么就是有对是一看看不出来的，也就是说一开始断定不了，随着一些可以断定的删除之后就可以断定了，所以要while（1）循环的去找，这样显然是能搞定的，写的时候可以存两个方向的图，还有度数...模拟细节不啰嗦，然后就是第二种方法，这个方法比较容易写，也是大多数人认可的方法，但是一开始我并没有写，原因是我很难说服我自己这种方法是对的，因为我总担心，如果当前这条边不是匹配的关键边，但是随着别的边的删除，后来不是匹配的有成了匹配的怎么办？这么想可能是因为我写的第一种方法while(1)的原因，后来就是不停的自己画画画，终于明白了，哎！其实是我自己想多了，首先用匹配去做与我的第一种方法根本没有任何关联，也就是思路完全不同，匹配的思路就是只要是关键边，那么删除之后肯定是对匹配数有影响，如果没有影响的边，无论怎么while(1)最后还是没有影响，因为至少出现一组可以和他替换的边，这么这两组（或多组）可以互相替换的边彼此束缚着对方，就像是死锁一样，已经死锁的关联进程中，无论你以什么样的顺序去尝试执行都没意义，因为你“在环里了”,匹配的实现起来比较简单，直接匹配一遍，然后尝试删除匹配好的边就行了。
#include<stdio.h>
#include<string.h>
#include<algorithm>
#define N_node 26 + 5
#define N_edge 26 * 26 + 10
using namespace std;
typedef struct
{
int to ,next;
}STAR;
typedef struct
{
int x1 ,x2 ,y1 ,y2;
}EDGE;
typedef struct
{
int x ,y;
}NODE;
typedef struct
{
int id;
char c;
}ANS;
ANS ans[N_node];
STAR E[N_edge];
EDGE edge[N_node];
NODE node[N_node];
int list[N_node] ,tot;
int mkdfs[N_node] ,mkgx[N_node];
int p1[N_node] ,p2[N_node];
void add(int a ,int b)
{
E[++tot].to = b;
E[tot].next = list[a];
list[a] = tot;
}
int DFS_XYL(int x ,int a ,int b)
{
for(int k = list[x] ;k ;k = E[k].next)
{
int to = E[k].to;
if(x == a && b == to)
continue;
if(mkdfs[to]) continue;
mkdfs[to] = 1;
if(mkgx[to] == -1 || DFS_XYL(mkgx[to] ,a ,b))
{
mkgx[to] = x;
return 1;
}
}
return 0;
}
int XYL(int n ,int a ,int b)
{
memset(mkgx ,255 ,sizeof(mkgx));
int ans = 0;
for(int i = 1 ;i <= n ;i ++)
{
memset(mkdfs ,0 ,sizeof(mkdfs));
ans += DFS_XYL(i ,a ,b);
}
return ans;
}
bool jude(EDGE a ,NODE b)
{
return a.x1 <= b.x && a.x2 >= b.x && a.y1 <= b.y && a.y2 >= b.y;
}
bool camp(ANS a ,ANS b)
{
return a.c < b.c;
}
int main ()
{
int n ,i ,j ,cas = 1;
while(~scanf("%d" ,&n) && n)
{
for(i = 1 ;i <= n ;i ++)
scanf("%d %d %d %d" ,&edge[i].x1 ,&edge[i].x2 ,&edge[i].y1 ,&edge[i].y2);
for(i = 1 ;i <= n ;i ++)
scanf("%d %d" ,&node[i].x ,&node[i].y);
memset(list ,0 ,sizeof(list));
tot = 1;
for(i = 1 ;i <= n ;i ++)
for(j = 1 ;j <= n ;j ++)
if(jude(edge[i] ,node[j]))
add(i ,j);
XYL(n ,0 ,0);
for(i = 1 ;i <= n ;i ++)
p1[i] = mkgx[i] ,p2[i] = i;
int ansid = 0;
for(i = 1 ;i <= n ;i ++)
{
if(XYL(n ,p1[i] ,p2[i]) != n)
{
ans[++ansid].c = p1[i] + 'A' - 1;
ans[ansid].id = p2[i];
}
}
printf("Heap %d
" ,cas ++);
if(!ansid) printf("none
");
else
{
sort(ans + 1 ,ans + ansid + 1 ,camp);
for(i = 1 ;i <= ansid ;i ++)
{
if(i == 1) printf("(%c,%d)" ,ans[i].c ,ans[i].id);
else printf(" (%c,%d)" ,ans[i].c ,ans[i].id);
}
printf("
");
}
printf("
");
}
}
#include<stdio.h>
#include<string.h>
#include<algorithm>
#define N_node 26 + 5
#define N_edge 26 * 26 + 10
using namespace std;
typedef struct
{
int to ,next;
}STAR;
typedef struct
{
int x1 ,y1 ,x2 ,y2;
}HDP;
typedef struct
{
int x ,y;
}NODE;
typedef struct
{
char c;
int id;
}ANS;
STAR E1[N_edge] ,E2[N_edge];
HDP hdp[N_node];
NODE node[N_node];
ANS ans[N_node];
int list1[N_node] ,list2[N_node] ,tot;
int dep1[N_node] ,mkuse1[N_node];
int dep2[N_node] ,mkuse2[N_node];
bool camp(ANS a ,ANS b)
{
return a.c < b.c;
}
void add(int a ,int b)
{
E1[++tot].to = b;
E1[tot].next = list1[a];
list1[a] = tot;
E2[tot].to = a;
E2[tot].next = list2[b];
list2[b] = tot;
}
bool jude(HDP a ,NODE b)
{
return a.x1 <= b.x && a.x2 >= b.x && a.y1 <= b.y && a.y2 >= b.y;
}
int main ()
{
int n ,i ,j ,cas = 1;
while(~scanf("%d" ,&n) && n)
{
for(i = 1 ;i <= n ;i ++)
scanf("%d %d %d %d" ,&hdp[i].x1 ,&hdp[i].x2 ,&hdp[i].y1 ,&hdp[i].y2);
for(i = 1 ;i <= n ;i ++)
scanf("%d %d" ,&node[i].x ,&node[i].y);
memset(list1 ,0 ,sizeof(list1));
memset(list2 ,0 ,sizeof(list2));
tot = 1;
memset(dep1 ,0 ,sizeof(dep1));
memset(dep2 ,0 ,sizeof(dep2));
for(i = 1 ;i <= n ;i ++)
for(j = 1 ;j <= n ;j ++)
if(jude(hdp[i] ,node[j]))
{
add(i ,j);
dep1[i] ++;
dep2[j] ++;
}
int ansid = 0;
memset(mkuse1 ,0 ,sizeof(mkuse1));
memset(mkuse2 ,0 ,sizeof(mkuse2));
while(1)
{
int mk = 0;
for(i = 1 ;i <= n ;i ++)
{
if(dep1[i] == 1 && !mkuse1[i])
{
mkuse1[i] = 1;
mk = 1;
int to;
for(int k = list1[i] ;k ;k = E1[k].next)
{
if(!mkuse2[E1[k].to])
{
mkuse2[E1[k].to] = 1;
to = E1[k].to;
break;
}
}
dep2[to] --;
for(int k = list2[to] ;k ;k = E2[k].next)
dep1[E2[k].to] --;
ans[++ansid].c = i + 'A' - 1;
ans[ansid].id = to;
}
}
for(i = 1 ;i <= n ;i ++)
{
if(dep2[i] == 1 && !mkuse2[i])
{
mkuse2[i] = 1;
mk = 1;
int to;
for(int k = list2[i] ;k ;k = E2[k].next)
{
if(!mkuse1[E2[k].to])
{
mkuse1[E2[k].to] = 1;
to = E2[k].to;
break;
}
}
dep1[to] --;
for(int k = list1[to] ;k ;k = E1[k].next)
dep2[E1[k].to] --;
ans[++ansid].c = to + 'A' - 1;
ans[ansid].id = i;
}
}
if(!mk) break;
}
printf("Heap %d
" ,cas ++);
if(!ansid) printf("none
");
else
{
sort(ans + 1 ,ans + ansid + 1 ,camp);
for(i = 1 ;i <= ansid ;i ++)
{
if(i == 1) printf("(%c,%d)" ,ans[i].c ,ans[i].id);
else printf(" (%c,%d)" ,ans[i].c ,ans[i].id);
}
printf("
");
}
printf("
");
}
return 0;
}