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

JOI 紋章(JOI Emblem)

情報オリンピック日本委員会では，台湾大会に向かう選手を応援するために新しいJOI 旗を作成することにした．

JOI 旗は，正方形が縦に $M$ 行，横に $N$ 列並んだ形をしており，各正方形には J，O，I のいずれかの文字が1 つずつ書かれている．

情報オリンピック日本委員会はJOI 旗とは別にJOI 紋章というものを決めている．JOI 紋章は，正方形が縦に2 行，横に2 列並んだ形をしており，各正方形にはJ，O，I のいずれかの文字が1 つずつ書かれている．

JOI 旗に含まれるJOI 紋章の個数とは，JOI 旗に含まれる縦2 行，横2 列の領域のうち，その領域のJ，O，I の配置がJOI 紋章と(回転や裏返しをせずに) 一致しているものの個数のことである．条件を満たす縦2 行，横2 列の領域同士が重なっていてもそれらを別々に数えるものとする．

情報オリンピック日本委員会は古いJOI 旗と1 枚の白紙を持っている．白紙はJOI 旗を構成する正方形1 個分の大きさで，J，O，I のうち好きな1 文字を書き込むことができる．情報オリンピック日本委員会は以下のいずれか1 つの操作をして，新しいJOI 旗を作成することにした．

古いJOI 旗に対して何も操作せず，そのまま新しいJOI 旗とする．白紙は使用しない．

白紙に1 文字書き込み，古いJOI 旗のいずれかの正方形に重ねて貼り付けることで古いJOI 旗のうち1 箇所を変更する．変更後のJOI 旗を新しいJOI 旗とする．

情報オリンピック日本委員会は新しいJOI 旗に含まれるJOI 紋章の個数をできるだけ多くしたいと思っている．あなたは新しいJOI 旗に含まれるJOI 紋章の個数の最大値を求めることになった．

課題

古いJOI 旗とJOI 紋章の情報が与えられたとき，新しいJOI 旗に含まれるJOI 紋章の個数の最大値を求めるプログラムを作成せよ．

入力

標準入力から以下のデータを読み込め．

1 行目には2 個の整数 $M, N$ が空白を区切りとして書かれている．これはJOI 旗が正方形が縦に$M$行，横に$N$ 列並んだ形であることを表している．

続く$M$ 行の各行には，それぞれ$N$ 文字からなる文字列が書かれている．各文字はJ，O，I のいずれかであり，$M$ 行のうち上から$i$ 行目$(1 \leq i \leq M)$ に書かれている文字列の左から$j$ 文字目$(1 \leq j \leq N)$は古いJOI 旗の上から$i$ 行目，左から$j$ 列目の正方形に書かれている文字を表す．

続く2 行の各行には，それぞれ2 文字からなる文字列が書かれている．各文字はJ，O，I のいずれかであり，2 行のうち上から$i$ 行目$(1 \leq i \leq 2)$ に書かれている文字列の左から$j$ 文字目$(1 \leq j \leq 2)$ はJOI 紋章の上から$i$ 行目，左から$j$ 列目の正方形に書かれている文字を表す．

出力

標準出力に，新しいJOI 旗に含まれるJOI 紋章の個数の最大値を表す整数を1 行で出力せよ．

制約

すべての入力データは以下の条件を満たす．

$2 \leq M \leq 1000$

$2 \leq N \leq 1000$

入出力例

入力例 1

3 5
JOIJO
IJOOO
IIJIJ
JO
IJ

出力例 1

3

古いJOI 旗とJOI 紋章は問題文中の例の通りである．上から2 行目，左から4 列目の正方形を白紙を用いてJ に変更すると，次のような形になる．

このように変更した後のJOI 旗には次に示す3 箇所にJOI 紋章と同じ配置の領域がある．

JOI 紋章と同じ配置の領域が4 箇所以上となる新しいJOI 旗は存在しないので，新しいJOI 旗に含まれるJOI 紋章の個数の最大値は3 である．

入力例 2

2 6
JOJOJO
OJOJOJ
OJ
JO

出力例 2

2

白紙を使用しなくても最大値が得られる場合があることに注意せよ．

入力例 3

2 2
JI
IJ
JJ
JJ

出力例 3

0

この入出力例の場合，考えられるどの新しいJOI 旗においても，JOI 紋章が1 つも含まれない．

問題文と自動審判に使われるデータは、情報オリンピック日本委員会が作成し公開している問題文と採点用テストデータです。

Solution in PHP (judge verdict: Accepted)

<?php
/*
  AOJ 0598
  Title:JOI Emblem
  @kankichi573
*/
$result=array();
$hata=array();
$template=array();

fscanf(STDIN,"%d %d",$m,$n);

for($i=0;$i<$m;$i++)
  fscanf(STDIN,"%s",$hata[$i]);
for($i=0;$i<2;$i++)
  fscanf(STDIN,"%s",$template[$i]);
$cnt4=0;


for($i=0;$i<$m-1;$i++)
  for($j=0;$j<$n-1;$j++)
    {
      $cnt=0;
      for($k=0;$k<2;$k++)
	for($l=0;$l<2;$l++)
	  $cnt+=(substr($hata[$i+$k],$j+$l,1)==substr($template[$k],$l,1))?1:0;
      
      if($cnt==4)
	$cnt4++;
      if($cnt==3)
	{
	for($k=0;$k<2;$k++)
	  for($l=0;$l<2;$l++)
	    if(substr($hata[$i+$k],$j+$l,1)!=substr($template[$k],$l,1))
	      {
		if(isset($result[$i+$k][$j+$l][substr($template[$k],$l,1)]))
		  $result[$i+$k][$j+$l][substr($template[$k],$l,1)]++;
		else
		  $result[$i+$k][$j+$l][substr($template[$k],$l,1)]=1;
	      }
	}
    }

$max=0;
foreach ($result as $key1 => $val1)
{
  foreach ($val1   as $key2 => $val2)
    {
      foreach($val2 as $key3 => $val3)
	{
	  $max = max($max,$val3);
	}
    }
}

printf("%d\n",$cnt4+$max);

return(0);

?>