[POJ 3600] Subimage Recognition [枚举+贪心]

已知一个两个01矩阵，矩阵A的行数不超过矩阵B的行数，矩阵A的列数不超过矩阵B的列数，问是否存在一种方法，去掉矩阵B的某些行和某些列，使得缩小后的矩阵B能够和矩阵A完全相同。

因为数据范围是20，所以直接枚举矩阵B删除了哪些列，然后判定能否成功。

判定能否成功的方法是，贪心，从上往下，能用A的第i行匹配B的第j行，就匹配，否则看j+1行。

#include <cstdio>
#include <cstring>

int b[20][20];
bool choose[20];
int a[20];
int bb[20];
int r,c,R,C;

bool check() {
	int i,j;
	for (i=0;i<R;i++) {
		int o=0;
		for (j=0;j<C;j++) {
			if (choose[j])
				o=(o<<1)+b[i][j];
		}
		bb[i]=o;
	}
	i=j=0;
	while (i<r&&j<R) {
		if (a[i]==bb[j]) i++;
		j++;
	}
	if (i==r) return true;
	return false;
}
bool haveAns(int i,int res,int hav) {
	if (hav==c)
		if (check()) return true;
		else return false;
	for (;i+res<=C;i++) {
		choose[i]=true;
		if (haveAns(i+1,res-1,hav+1)) return true;
		choose[i]=false;
	}
	return false;
}

int main() {
	int i,j;
	scanf("%d%d",&r,&c);
	for (i=0;i<r;i++) {
		int o=0;
		for (j=0;j<c;j++) {
			char x;
			scanf(" %c",&x);
			o=(o<<1)+(x-'0');
		}
		a[i]=o;
	}
	memset(choose,0,sizeof(choose));
	scanf("%d%d",&R,&C);
	for (i=0;i<R;i++) {
		for (j=0;j<C;j++) {
			char x;
			scanf(" %c",&x);
			b[i][j]=x-'0';
		}
	}
	if (haveAns(0,c,0)) printf("Yes\n");
	else printf("No\n");
	return 0;
}