Problem:
MathJax.Hub.Config({ tex2jax: { inlineMath: [["$","$"], ["\\(","\\)"]], processEscapes: true }});

品質管理

会津タカダ市が生産販売する布製コースターは、対称なデザインでとても美しいことで知られている。会津タカダ市では品質管理の一環として、製造ラインにカメラを設置し、各コースターを撮影して得られた画像が対称になっているかを自動で検証している。各コースターは N × N ピクセルの正方形の白黒画像として表される。各ピクセルは白または黒の画像に対応して、0 または 1 の値をとる。

この度、生産ラインの機器更新にともなって、画像解析システムのソフトウェアを更新することになった。新システムでは、通信データ量を削減する工夫がなされ、以下の方法でカメラから解析システムにデータが送られてくる。

ラインに流れてくる最初のコースターの情報は、N × N ピクセルの画像としてシステムに送られてくる。

２枚目以降のコースターの情報は、１つ前に送られた画像との差分だけが送られてくる。差分は、「0 から 1 」または「1 から 0 」へと変化したピクセルの位置の集合として与えられる。

C 枚のコースターについて、１枚目の画像のピクセル情報と続く C - 1 枚分の差分情報を入力し、上下対称かつ左右対称となっているコースターの枚数を報告するプログラムを作成せよ。

Input

入力は以下の形式で与えられる。

C N
p11p12...p1N
p21p22...p2N
:
pN1pN2...pNN
diff1
diff2
:
diffC−1

１行目にコースターの枚数 C (1 ≤ C ≤ 10000) と画像の縦と横のピクセル数 N (2 ≤ N ≤ 1000 かつ N は偶数) が与えられる。２行目から N + 1 行目に最初のコースターの画像のピクセルを表す N行 × N 列の数字 pij (pij は 0 または 1)が与えられる。

N + 2 行目以降に、２枚目以降のコースターの情報を表す差分 diffi が次の形式で与えられる。

D
r1 c1
r2 c2
:
rD cD

１行目に変化したピクセルの数 D (0 ≤ D ≤ 100) が与えられる。続くD 行に変化したピクセルの行と列の番号をそれぞれ表す ri とci (1 ≤ ri, ci ≤ N) が与えられる。diffi の中に、同じ位置は２回以上与えられない。

Output

上下対称かつ左右対称となっているコースターの枚数を１行に出力する。

Sample Input 1

7 8
00100000
00011000
10111101
01100110
01000110
10111101
00011000
00100100
2
5 3
1 6
1
6 8
3
6 8
3 3
3 6
2
6 3
6 6
0
2
3 8
6 8

Sample Output 1

3

入力例１のコースターの画像を以下に示す。この場合、２枚目、５枚目、６枚目のコースターが上下対称かつ左右対称となるため、3と報告する。

Sample Input 2

1 6
000000
000000
010010
010010
000000
000000

Sample Output 2

1

Sample Input 3

2 2
00
00
4
1 1
1 2
2 1
2 2

Sample Output 3

2

Solution in Haskell (judge verdict: Time Limit Exceeded)

import Data.Char

transpose ([]:_) = []
transpose matrix =
  let row  = map (head) matrix
      rows = transpose $ map (drop 1) matrix
  in
    row:rows

patch' (b:bs) y =
  if y /= 1
  then b:(patch' bs (y-1))
  else (1-b):bs

patch :: [[Int]] -> [Int] -> [[Int]]
patch (b:bs) [x, y] =
  if x /= 1
  then b:(patch bs [x-1,y])
  else (patch' b y):bs

chk' b =
  let n = (length b) `div` 2
      x = take n b
      y = take n $ reverse b
  in
    x == y

chk b = (chk' b) && (chk' b')
  where b' = transpose b

ans' b [] = []
ans' b ([d]:ds) =
  let df = take d ds
      r  = drop d ds
      b' = foldl patch b df
      c  = chk b'
  in
    c:(ans' b' r)

ans i =
  let l = lines i
      [c,n] = map read $ words $ head l :: [Int]
      b = map (map digitToInt) $ take n $ drop 1 l :: [[Int]]
      d = map (map read) $ map words $ drop (n+1) l :: [[Int]]
  in
    (chk b):(ans' b d)

main = do
  i <- getContents
  let o = ans i
  print $ length $ filter (\e -> e) o