Problem:
JOI 旗 (JOI Flag)

問題

情報オリンピック日本委員会では，今年の日本情報オリンピック (JOI) を宣伝するために， JOI のロゴをモチーフにした旗を作ることになった．旗は「良い旗」でなければならない．「良い旗」とは，アルファベットの J, O, I のいずれかの文字を，縦 M 行，横 N 列の長方形状に並べたもので， J, O, I が以下の図のように (すなわち，J の右隣に O が，その J の下隣に I が) 並んでいる箇所が旗の少なくとも 1 か所にあるものである．

以下の図に，「良い旗」の例を 2 つ示す．

以下の図に，「良い旗」ではない例を 2 つ示す．

いま M, N の値，および旗の一部の場所について J, O, I のどの文字にするかが決まっており，入力としてその情報が与えられる．考えられる「良い旗」は何通りあるかを計算し，その数を 100000 (=105) で割った余りを出力するプログラムを作成せよ．

入力

入力は 1 + M 行からなる．

1 行目には旗の大きさを表す 2 つの整数 M, N (2 ≤ M ≤ 20, 2 ≤ N ≤ 20) が空白で区切られて書かれている．

1 + i 行目 (1 ≤ i ≤ M) には，N 文字からなる文字列が書かれている．各文字は J, O, I, ? のいずれかであり， j 文字目 (1 ≤ j ≤ N) が J, O, I のいずれかである場合は i 行 j 列の場所の文字がそれぞれ J, O, I に決まっていること， ? である場合はまだ決まっていないことを表す．

出力

考えられる「良い旗」の個数を 100000 (=105) で割った余りを 1 行で出力せよ．

入出力例

入力例 1

2 3
??O
IIJ

出力例 1

4

入力例 1 においては，以下の図の 4 通りの「良い旗」が考えられる．

入力例 2

2 2
??
??

出力例 2

3

入力例 3

3 3
??I
???
O?J

出力例 3

53

入力例 4

5 4
JOI?
????
????
????
?JOI

出力例 4

28218

入力例 4 においては，「良い旗」は 2428218 通り考えられるので，それを 100000 (=105) で割った余りである 28218 を出力する．

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

Solution in C++ (judge verdict: Memory Limit Exceeded)

#include <iostream>
#include <algorithm>
#include <tr1/unordered_map>
#include <boost/functional/hash.hpp>
#include <vector>
#include <map>
#include <stack>
#include <queue>
#include <cstdio>
#include <cstring>
#include <cmath>
using namespace std;
using namespace tr1;
using namespace boost;

#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define mp make_pair
#define pb push_back
#define all(x) (x).begin(), (x).end()
#define EPS 1e-8
#define mod 100000
#define DEB 0

/*
struct state{
  int s,c;
  state(int _s, int _c){
    s=_s; c=_c;
  }
};
struct state_eq{
  bool operator()(const state &a, const state &b)const{
    return a.s==b.s && a.c==b.c;
  }
};
struct ihash{
  size_t operator()(const state &a)const{
    size_t seed = 0;
    hash_combine(seed, a.s);
    return seed;
  }
};
*/

int h,w;
char field[32][32];
int dp[22][22][17712];
//unordered_map<state, bool, ihash, state_eq> hii;
unordered_map<int,int> hii;

int solve(int c, int S){
  if( c==w*h ) return 1;
  int x = c%w;
  int y = c/w;
  int mask = (1<<w)-1;
  int ret = 0;
  
  //unordered_map<state, int, ihash, state_eq>::iterator it;
  unordered_map<int,int>::iterator it;
  it = hii.find(S);
  int idx;
  int sz = hii.size();
  if( it==hii.end() ){
    hii.insert(mp(S,sz));
    idx = sz;
  }else{
    idx = it->second;
  }
  
  if( dp[y][x][idx]!=-1 ){
    ret = dp[y][x][it->second];
  }else{
    if( field[y][x]=='?' || field[y][x]=='J' ){
      int next;
      if( S&1 ){
	next = ((S-1)<<1)|1;
      }else{
	next = (S<<1)|1;
      }
      ret = (ret + solve(c+1, next&mask)) % mod;
    }
    if( field[y][x]=='?' || field[y][x]=='O' ){
      ret = (ret + solve(c+1, (S<<1)&mask)) % mod;
    }
    if( field[y][x]=='?' || field[y][x]=='I' ){
      if( x==w-1 || !((1<<(w-1))&S) ){
	int next;
	if( S&1 ){
	  next = (S-1)<<1;
	}else{
	  next = S<<1;
	}
	ret = (ret + solve(c+1, next&mask)) % mod;
      }
    }
    dp[y][x][idx] = ret;
  }

  return ret;
}

int main(){
  
  while(~scanf("%d%d",&h,&w)){
    hii.clear();
    memset(dp,-1,sizeof(dp));
    int all = 1;
    rep(i,h)scanf("%s",field[i]);
    rep(i,h)rep(j,w)if( field[i][j]=='?' ){
      all = (all*3) % mod;
    }

#if DEB
    rep(i,h){
      puts(field[i]);
    }
#endif
    int wr = solve(0,0);
    printf("%d\n",(all-wr+mod)%mod);
  }
  return 0;
}