CF293B. Distinct Paths

B. Distinct Paths

time limit per test

2 seconds

memory limit per test

256 megabytes

input

standard input

output

standard output

You have a rectangular n × m-cell board. Some cells are already painted some of k colors. You need to paint each uncolored cell one of the k colors so that any path from the upper left square to the lower right one doesn't contain any two cells of the same color. The path can go only along side-adjacent cells and can only go down or right.

Print the number of possible paintings modulo 1000000007 (109 + 7).

Input

The first line contains three integers n, m, k (1 ≤ n, m ≤ 1000, 1 ≤ k ≤ 10). The next n lines contain mintegers each — the board. The first of them contains m uppermost cells of the board from the left to the right and the second one containsm cells from the second uppermost row and so on. If a number in a line equals 0, then the corresponding cell isn't painted. Otherwise, this number represents the initial color of the board cell — an integer from 1 to k.

Consider all colors numbered from 1 to k in some manner.

Output

Print the number of possible paintings modulo 1000000007 (109 + 7).

Sample test(s)

input

2 2 4
0 0
0 0

output

48

input

2 2 4
1 2
2 1

output

0

input

5 6 10
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0

output

3628800

input

2 6 10
1 2 3 4 5 6
0 0 0 0 0 0

output

4096

暴搜即可，有一个强力剪枝，对于当前所有未出现的颜色，接下来的状态是一致的，于是只用算一次就行了。

#include <bits/stdc++.h>
using namespace std;
namespace my_useful_tools {
#define rep(_i, _k, _j) for(int _i = _k; _i <= _j;++_i)
#define foreach(_i, _s) for(typeof(_s.begin()) _i = _s.begin(); _i != _s.end();++_i)
#define pb push_back
#define mp make_pair
#define ipir pair<int, int>
#define ivec vector<int>
#define clr(t) memset(t,,sizeof t)
#define pse(t, v) memset(t, v,sizeof t)
#define brl puts("")
#define file(x) freopen(#x".in","r", stdin), freopen(#x".out","w", stdout)
	const int INF = 0x3f3f3f3f;
	typedef long long LL;
	typedef double DB;
	inline void pc(char c) { putchar(c); }
	template<class T> inline T gcd(T a, T b) { return b ==  ? a : gcd(b, a % b); }
	template<class T> inline void W(T p) { if(p < ) pc('-'), p = -p; if(p /  != ) W(p / ); pc('0' + p % ); } // warning!! slower than printf
	template<class T> inline void Wn(T p) { W(p), brl; } template<class T> inline void W(T a, T b) { W(a), pc(' '), W(b); }
	template<class T> inline void Wn(T a, T b) { W(a), pc(' '), Wn(b); }
	template<class T> inline void W(T a, T b, T c) { W(a), pc(' '), W(b), pc(' '), W(c); }
	inline char gchar() { char ret = getchar(); for(; ret == '\n' || ret == '\r' || ret == ' '; ret = getchar()); return ret; }
	template<class T> inline void fr(T&ret) { char c = ' '; int flag = ; for(c = getchar(); c != '-' && !('0' <= c && c <= '9'); c = getchar());
		if(c == '-') flag = -, ret = ; else ret = c - '0'; for(c = getchar(); '0' <= c && c <= '9'; c = getchar()) ret = ret *  + c - '0';
		ret = ret * flag;
	}
	inline int fr() { int x; fr(x); return x; }
	template<class T> inline void fr(T&a, T&b) { fr(a), fr(b); } template<class T> inline void fr(T&a, T&b, T&c) { fr(a), fr(b), fr(c); }
	template<class T> inline T fast_pow(T base, T index, T mod = , T ret = ) {
		for(; index; index >>= , base = base * base % mod) if(index & ) ret = ret * base % mod;
		return ret;
	}
	const int maxv = , maxe = ;
	struct Edge {
		int edge, head[maxv], to[maxe], next[maxe];
		Edge() { edge = ; memset(head, -, sizeof head); }
		void addedge(int u, int v) {
			to[edge] = v, next[edge] = head[u];
			head[u] = edge++;
		}
	};
};
using namespace my_useful_tools;
 
class DistinctPaths {
	static const int mod = 1e9 + ;
	static const int maxn =  + ;
	static const int maxs =  << ;
	int n, m, k;
	int a[maxn][maxn], ans, log2[maxs], f[maxn][maxn];
	int cnt[maxn];
	int dfs(int x, int y) {
		if(y == m + ) {
			y = ;
			++x;
		}
		if(x == n + ) {
			return ;
		}
		int s = f[x - ][y] | f[x][y - ];
		int ret = ;
		int calced = -;
		for(int t = (~s) & (( << k) - ); t; t -= t & (-t)) {
			int p = log2[t & -t] + ;
			if(a[x][y] ==  || a[x][y] == p) {
				++cnt[p];
				f[x][y] = s | (t & -t);
				if(cnt[p] == ) {
					if(calced == -) calced = dfs(x, y + );
					ret += calced;
				} else if(cnt[p]) {
					ret += dfs(x, y + );
				}
				--cnt[p];
				if(ret >= mod) ret -= mod;
			}
		}
		return ret;
	}
	int solve() {
		fr(n, m, k);
		if(k < n + m - )
			return ;
		rep(i, , n) rep(j, , m)
			fr(a[i][j]), ++cnt[a[i][j]];
		rep(i, , k) log2[ << i] = i;
		return dfs(, );
	}
 
public:
	void run() {
		Wn(solve());
	}
} solver;
 
int main() {
	solver.run();
 
	return ;
}