Problem:
ジグソーパズル

子供から大人まで脳トレ系パズルゲームが流行しています。我々も遅れを取らぬよう、パズルゲームを作ってみんなで遊ぶことにしました。

我々が考えたのはジグソーパズルのゲームで、未完成の部分を埋めるのに必要なピースを選ぶというものです。図 1 (a) はパズルの枠の例です。黒が埋まっている部分、白が未完成の部分です。このパズルを完成するのに使えるピースが図 1 (b) のように与えられます。この中から、枠の白い部分を埋めることができる黒いピースを 1 つ以上選択します。例えば、図 2 の選択例 1 のような組み合わせなら正解となります。一方、選択例 2 のような組み合わせではパズルは完成しないので不正解となります。また、選択したピースが余ってしまう場合も不正解です。このように、プレイヤーは適切なピースを選択することでゲームをクリアします。

そこでこのパズルゲームで用いる判定プログラムを開発することになりました。未完成のパズル、ピースの候補、そしてプレイヤーが選んだピースの組み合わせを入力とし、プレイヤーが適切なピースを選ぶことができていれば YES を、そうでなければ NO と出力するプログラムを作成してください。

この問題では、パズルの枠は H × W の配列で表し、未完成の部分を . (半角ピリオド)、完成している部分を # (半角シャープ)によって与えます。パズルの枠の大きさは最大 20 × 20 とします。また、各ピースは h × w の配列で表し、ピースを構成する部分を # 、そうでない部分を . によって与えます。与えられる各ピースは、元の状態から 90 度、180 度、270 度だけ回転することができます。また、各ピースの大きさは最大 20 × 20 とし、与えられるピースの数 n は最大 10 とします。

Input

複数のデータセットが与えられます。各データセットは以下の形式で与えられます。

H W
g1,1g1,2...g1,W
g2,1g2,2...g2,W
:
gH,1gH,2...gH,W
n
h1 w1
c11,1c11,2...c11,w1
c12,1c12,2...c12,w1
:
c1h1,1c1h1,2...c1h1,w1
:
:
hn wn
cn1,1cn1,2...cn1,wn
cn2,1cn2,2...cn2,wn
:
cnhn,1cnhn,2...cnhn,wn
p
k1 t1 t2 ... tk1
k2 t1 t2 ... tk2
:
kp t1 t2 ... tkp

1 行目に、パズルの枠の大きさ H(縦) と W(横) が与えられます。
2 行目に、文字 gi,j (. または #) からなりパズルの盤面を表す 1 行 W 文字の文字列が H 行与えられます。

続いてピースの数 n、n 個のピースの情報が与えられます。各ピースの情報として、l 番目のピースの配列のサイズ hl (縦) と wl (横)、l 番目のピースの配列が与えられます。l 番目のピースの配列として文字 cli,j (. または #) からなる 1 行 wl 文字の文字列が hl 行与えられます。

続いてプレイヤーの人数 p、i 番目のプレイヤーの選択したピースの数 ki と選択したピースの番号 tj が与えられます。

入力は２つの 0 を含む行で終了します。データセットの数は 10 を超えません。

Output

各データセットごとに、i 番目のプレイヤーが選択したピースの正否 YES または NO を i 行目に出力してください。

Sample Input

14 20
####################
###.............####
####..........######
#######.....########
########.....#######
###..###......######
###..####......#####
#########......#####
###########.....####
############.....###
###.########......##
###.#######...###.##
##...###....#####.##
####################
10
12 15
#############..
.##########....
....#####......
.....#####.....
.....######....
......######...
......######...
........#####..
.........#####.
.........######
........###...#
.....####.....#
3 3
#..
###
#..
2 2
##
##
4 10
....#####.
....######
...###...#
####.....#
6 5
....#
..###
#####
##.##
#..##
#..#.
6 4
...#
.###
####
##.#
##.#
#...
2 6
######
.#####
2 7
..#####
#######
2 13
#############
.##########..
6 9
#####....
.######..
.######..
..######.
...#####.
....#####
8
3 1 2 3
4 1 2 3 4
7 2 3 4 5 6 7 8
5 2 3 10 7 8
6 2 3 9 5 6 4
8 2 3 4 6 9 5 4 10
4 4 5 6 9
5 10 2 3 4 9
0 0

Output for the Sample Input

YES
NO
YES
NO
YES
NO
NO
YES

Solution in JAVA (judge verdict: Time Limit Exceeded)

import java.awt.*;
import java.awt.geom.*;
import java.io.*;

import java.util.*;
class Main {
	static int h;
	static int w;
	static int[] map;
	static int n;
	static int[][][] piece;
	static int[][]   hp;
	static int[][]   wp;
	static HashMap<Integer,Boolean> MAP;

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		while(true) {
			MAP = new HashMap<Integer,Boolean>();
			
			h = sc.nextInt();
			w = sc.nextInt();
			if(h == 0 && w == 0) break;
			map = new int[h];
			for(int i = 0; i < h; i++) {
				String in = sc.next();
				int ix = 0;
				for(int j = 0; j < w; j++) {
					if(in.charAt(j) == '#') {
						ix |= (1 << (w - j - 1));
					}
				}
				map[i] = ix;
			}
			n = sc.nextInt();
			piece = new int[n][4][];
			hp = new int[n][4];
			wp = new int[n][4];
			for(int i = 0; i < n; i++) {
				int hpx = sc.nextInt();
				int wpx = sc.nextInt();
				hp[i][0] = hp[i][2] = wp[i][1] = wp[i][3] = hpx;
				wp[i][0] = wp[i][2] = hp[i][1] = hp[i][3] = wpx;
				char[][] ps = new char[hpx][wpx];
				for(int j = 0; j < hpx; j++) {
					ps[j] = sc.next().toCharArray();
				}
				for(int j = 0; j < 4; j++) {
					piece[i][j] = new int[hp[i][j]];
					for(int k = 0; k < hp[i][j]; k++) {
						int tmp = 0;
						for(int l = 0; l < wp[i][j]; l++) {
							if(ps[k][l] == '#') {
								tmp |= (1 << (wp[i][j] - l - 1));
							}
						}
						piece[i][j][k] = tmp;
					}
					char[][] pstmp = new char[hp[i][(j+1)%4]][wp[i][(j+1)%4]];
					for(int k = 0; k < hp[i][(j+1)%4]; k++) {
						for(int l = 0; l < wp[i][(j+1)%4]; l++) {
							pstmp[k][l] = ps[l][hp[i][(j+1)%4] - k - 1];
						}
					}
					ps = pstmp;
				}
			}
			dfs(0,0,0,map);
			//System.out.println(MAP.size());
			int np = sc.nextInt();
			for(int i = 0; i < np; i++) {
				int k1 = sc.nextInt();
				int tmp = 0;
				for(int j = 0; j < k1; j++) {
					int ckk = sc.nextInt();
					tmp |= (1 << (ckk-1));
				}
				if(MAP.containsKey(tmp)) {
					System.out.println("YES");
				}
				else {
					System.out.println("NO");
				}
			}
		}
	}


	static void dfs(int y, int x,int use, int[] c) {
			while((c[y] & (1 << (w - x - 1))) != 0) {
				x++;
				if(x == w) {
					x = 0;
					y++;
				}
				if(y == h) {
					if(!MAP.containsKey(use))
						MAP.put(use, true);
					return;
				}
		}
		CONX:for(int i = 0; i < n; i++) {
			if((use & (1 << i)) == 0) {
				for(int j = 0; j < 4; j++) {
					CON:for(int k = wp[i][j]; k <= w; k++) {
							if(((c[y] | piece[i][j][0] << (k - wp[i][j])) & (1 << (w - x - 1))) == 0) continue CON;
							for(int l = 1; l < hp[i][j]; l++) {
								if(y + l >= h) continue CONX;
								if((c[y + l] & (piece[i][j][l] << (k - wp[i][j]))) != 0) continue CON;
							}
							int[] nex = new int[c.length];
							nex = Arrays.copyOf(c, c.length);
							for(int l = 0; l < hp[i][j]; l++) {
								if(y + l >= h) continue CONX;
								nex[y + l] |=  (piece[i][j][l] << (k - wp[i][j]));
							}
							if((nex[y] & (1 << w - x - 1)) != 0) {
								dfs(y,x,(use | (1 << i)),nex);
							}
					}
				}
			}
		}
	}
	static class Data {
		int y;
		int x;
		int use;
		int[] c;
		Data(int a, int b, int d, int[] e) {
			y = a;
			x = b;
			use = d;
			c = e;
		}
	}

}