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++11 (judge verdict: Accepted)

#include<iostream>
#include<vector>
#include<cassert>
#include<numeric>
#include<algorithm>
// #include<bits/stdc++.h>
using namespace std;

typedef int Bit;
// using Bit = int;

const long long MOD = 100000;
class ModInt {
public:
  ModInt(long long n = 0) : n_(n % MOD) {while(n_ < 0) n_ += MOD;}
  friend const ModInt operator+(const ModInt& lhs, const ModInt& rhs) {return lhs.n_+rhs.n_;}
  friend const ModInt operator-(const ModInt& lhs, const ModInt& rhs) {return lhs.n_-rhs.n_;}
  friend const ModInt operator*(const ModInt& lhs, const ModInt& rhs) {return lhs.n_*rhs.n_;}
  friend ostream& operator<<(ostream& os, const ModInt& m) {return os << m.n_;}
  ModInt& operator+=(const ModInt& rhs) {return *this = *this + rhs;}
private:
  long long n_;
};
const ModInt power(const ModInt& x, int n) {
  if(!n) return 1;
  return n&1 ? x*power(x*x, n>>1) : power(x*x, n>>1);
}

bool test(Bit bit, int i) {assert(0 <= i); return bit & (1 << i);}
Bit set(Bit bit, int i)   {assert(0 <= i); return bit | (1 << i);}
Bit reset(Bit bit, int i) {assert(0 <= i); return bit & ((~0) ^ (1 << i));}

int count(const vector<string>& flag, char c) {
  return accumulate(begin(flag), end(flag), 0, [=](int sum, const string& s){
      return sum + count(begin(s), end(s), c);
    });
}

ModInt solve(const vector<string>& flag) {
  const int H = flag.size(), W = flag.front().size();
  const int BIT_MAX = 1 << W;
  vector<ModInt> cur(BIT_MAX);
  cur[0] = 1;
  for(int i = 0; i < H; ++i) for(int j = 0; j < W; ++j) {
    vector<ModInt> nex(BIT_MAX);
    for(Bit bit = 0; bit < BIT_MAX; ++bit) {
      Bit nbit = reset(bit, j);
      if(flag[i][j] == 'J' || flag[i][j] == '?') {
        if(j == W-1 || flag[i][j+1] != 'O' || i == H-1 || flag[i+1][j] != 'I') {
          if(j) nex[set(reset(nbit, j-1), j)] += cur[bit];
          else nex[set(nbit, j)] += cur[bit];
        }
      }
      if(flag[i][j] == 'O' || flag[i][j] == '?') {
        if(!j || i == H-1 || !test(bit, j-1) || flag[i+1][j-1] != 'I') {
          nex[nbit] += cur[bit];
        }
      }
      if(flag[i][j] == 'I' || flag[i][j] == '?') {
        if(!i || j == W-1 || !test(bit, j)) {
          if(j) nex[reset(nbit, j-1)] += cur[bit];
          else nex[nbit] += cur[bit];
        }
      }
    }
    cur = nex;
  }
  auto all = power(3, count(flag, '?'));
  return all - accumulate(begin(cur), end(cur), ModInt(0));
}

int main() {
  int M, N;
  cin >> M >> N;
  vector<string> flag(M);
  for(auto& i: flag) cin >> i;
  cout << solve(flag) << endl;
}