4fd800b3a8 2011-02-23        kinaba: #include <iostream>
4fd800b3a8 2011-02-23        kinaba: #include <sstream>
4fd800b3a8 2011-02-23        kinaba: #include <iomanip>
4fd800b3a8 2011-02-23        kinaba: #include <vector>
4fd800b3a8 2011-02-23        kinaba: #include <string>
4fd800b3a8 2011-02-23        kinaba: #include <map>
4fd800b3a8 2011-02-23        kinaba: #include <set>
4fd800b3a8 2011-02-23        kinaba: #include <algorithm>
4fd800b3a8 2011-02-23        kinaba: #include <numeric>
4fd800b3a8 2011-02-23        kinaba: #include <iterator>
4fd800b3a8 2011-02-23        kinaba: #include <functional>
4fd800b3a8 2011-02-23        kinaba: #include <complex>
4fd800b3a8 2011-02-23        kinaba: #include <queue>
4fd800b3a8 2011-02-23        kinaba: #include <stack>
4fd800b3a8 2011-02-23        kinaba: #include <cmath>
4fd800b3a8 2011-02-23        kinaba: #include <cassert>
4fd800b3a8 2011-02-23        kinaba: #include <cstring>
4fd800b3a8 2011-02-23        kinaba: using namespace std;
4fd800b3a8 2011-02-23        kinaba: typedef long long LL;
4fd800b3a8 2011-02-23        kinaba: typedef complex<double> CMP;
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: static const LL MODVAL = 1000000007;
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: LL MUL(LL x, LL y) { return (x*y)%MODVAL; }
4fd800b3a8 2011-02-23        kinaba: LL FACT(LL x) {return x<=1 ? 1 : MUL(x, FACT(x-1));}
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: class DrawingBlackCrosses { public:
4fd800b3a8 2011-02-23        kinaba: 	map<int, LL> memo;
4fd800b3a8 2011-02-23        kinaba: 	LL rec(int must, int mustNot, int i, vector<int>& mask, int full)
4fd800b3a8 2011-02-23        kinaba: 	{
4fd800b3a8 2011-02-23        kinaba: 		int key = mustNot*20+i;
4fd800b3a8 2011-02-23        kinaba: 		if( memo.count(key) )
4fd800b3a8 2011-02-23        kinaba: 			return memo[key];
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: 		if( i == mask.size() ) {
4fd800b3a8 2011-02-23        kinaba: 			if( must==0 ) {
4fd800b3a8 2011-02-23        kinaba: 				int b = 0;
4fd800b3a8 2011-02-23        kinaba: 				for(int i=0; (1<<i)<=mustNot; ++i)
4fd800b3a8 2011-02-23        kinaba: 					if( mustNot & (1<<i) )
4fd800b3a8 2011-02-23        kinaba: 						++b;
4fd800b3a8 2011-02-23        kinaba: 				return FACT(b);
4fd800b3a8 2011-02-23        kinaba: 			}
4fd800b3a8 2011-02-23        kinaba: 			else
4fd800b3a8 2011-02-23        kinaba: 				return 0;
4fd800b3a8 2011-02-23        kinaba: 		}
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: 		LL cnt = 0;
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: 		// select this row
4fd800b3a8 2011-02-23        kinaba: 		int seled   = mustNot | mask[i];
4fd800b3a8 2011-02-23        kinaba: 		int notDone = full &~ seled;
4fd800b3a8 2011-02-23        kinaba: 		for(int k=0; (1<<k)<=notDone; ++k)
4fd800b3a8 2011-02-23        kinaba: 			if( (1<<k) & notDone ) {
4fd800b3a8 2011-02-23        kinaba: 				LL c = rec(must&~(1<<k), mustNot|(1<<k), i+1, mask, full);
4fd800b3a8 2011-02-23        kinaba: 				cnt = (cnt + c) % MODVAL;
4fd800b3a8 2011-02-23        kinaba: 			}
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: 		// don't select
4fd800b3a8 2011-02-23        kinaba: 		LL c = rec(must|notDone, mustNot, i+1, mask, full);
4fd800b3a8 2011-02-23        kinaba: 		cnt = (cnt + c) % MODVAL;
4fd800b3a8 2011-02-23        kinaba: 		return memo[key] = cnt;
4fd800b3a8 2011-02-23        kinaba: 	}
4fd800b3a8 2011-02-23        kinaba: 	int count(vector <string> field)
4fd800b3a8 2011-02-23        kinaba: 	{
4fd800b3a8 2011-02-23        kinaba: 		vector<int> mask;
4fd800b3a8 2011-02-23        kinaba: 		for(int i=0; i<field.size(); ++i) {
4fd800b3a8 2011-02-23        kinaba: 			int m = 0;
4fd800b3a8 2011-02-23        kinaba: 			for(int j=0; j<field[i].size(); ++j)
4fd800b3a8 2011-02-23        kinaba: 				m |= (field[i][j]=='B')<<j;
4fd800b3a8 2011-02-23        kinaba: 			mask.push_back(m);
4fd800b3a8 2011-02-23        kinaba: 		}
4fd800b3a8 2011-02-23        kinaba: 		int full = (1<<field[0].size()) - 1;
4fd800b3a8 2011-02-23        kinaba: 		return rec(0, 0, 0, mask, full);
4fd800b3a8 2011-02-23        kinaba: 	}
4fd800b3a8 2011-02-23        kinaba: };
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: // BEGIN CUT HERE
4fd800b3a8 2011-02-23        kinaba: #include <ctime>
4fd800b3a8 2011-02-23        kinaba: double start_time; string timer()
4fd800b3a8 2011-02-23        kinaba:  { ostringstream os; os << " (" << int((clock()-start_time)/CLOCKS_PER_SEC*1000) << " msec)"; return os.str(); }
4fd800b3a8 2011-02-23        kinaba: template<typename T> ostream& operator<<(ostream& os, const vector<T>& v)
4fd800b3a8 2011-02-23        kinaba:  { os << "{ ";
4fd800b3a8 2011-02-23        kinaba:    for(typename vector<T>::const_iterator it=v.begin(); it!=v.end(); ++it)
4fd800b3a8 2011-02-23        kinaba:    os << '\"' << *it << '\"' << (it+1==v.end() ? "" : ", "); os << " }"; return os; }
4fd800b3a8 2011-02-23        kinaba: void verify_case(const int& Expected, const int& Received) {
4fd800b3a8 2011-02-23        kinaba:  bool ok = (Expected == Received);
4fd800b3a8 2011-02-23        kinaba:  if(ok) cerr << "PASSED" << timer() << endl;  else { cerr << "FAILED" << timer() << endl;
4fd800b3a8 2011-02-23        kinaba:  cerr << "\to: \"" << Expected << '\"' << endl << "\tx: \"" << Received << '\"' << endl; } }
4fd800b3a8 2011-02-23        kinaba: #define CASE(N) {cerr << "Test Case #" << N << "..." << flush; start_time=clock();
4fd800b3a8 2011-02-23        kinaba: #define END	 verify_case(_, DrawingBlackCrosses().count(field));}
4fd800b3a8 2011-02-23        kinaba: int main(){
4fd800b3a8 2011-02-23        kinaba: 
4fd800b3a8 2011-02-23        kinaba: CASE(0)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = {"."};
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = 1;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: CASE(1)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = {"BBB",
4fd800b3a8 2011-02-23        kinaba:  "BBB"};
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = 1;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: CASE(2)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = {"...",
4fd800b3a8 2011-02-23        kinaba:  "BB."};
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = 5;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: CASE(3)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = {"....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "....................",
4fd800b3a8 2011-02-23        kinaba:  "...................."};
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = 563200757;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: CASE(4)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = {"B..B",
4fd800b3a8 2011-02-23        kinaba:  "B.B.",
4fd800b3a8 2011-02-23        kinaba:  "...B",
4fd800b3a8 2011-02-23        kinaba:  "BB.B",
4fd800b3a8 2011-02-23        kinaba:  "...."};
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = 324;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: /*
4fd800b3a8 2011-02-23        kinaba: CASE(5)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = ;
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = ;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: CASE(6)
4fd800b3a8 2011-02-23        kinaba: 	string field_[] = ;
4fd800b3a8 2011-02-23        kinaba: 	  vector <string> field(field_, field_+sizeof(field_)/sizeof(*field_));
4fd800b3a8 2011-02-23        kinaba: 	int _ = ;
4fd800b3a8 2011-02-23        kinaba: END
4fd800b3a8 2011-02-23        kinaba: */
4fd800b3a8 2011-02-23        kinaba: }
4fd800b3a8 2011-02-23        kinaba: // END CUT HERE