Solution -「AGC 002F」「AT 2000」Leftmost Ball

\(\mathcal{Description}\)

  Link.

  给你 \(n\) 种颜色的球，每个球有 \(k\) 个，把这 \(n\times k\) 个球排成一排，把每一种颜色的最左边出现的球涂成白色(初始球不包含白色)，求有多少种不同的颜色序列。对 \(10^9+7\) 取模。

  \(n,k\le2000\)。

\(\mathcal{Solution}\)

  钦定颜色无序，并把“最左边出现的球涂成白色”理解为“放白球，前缀白球个数不小于前缀颜色个数”。设 \(f(i,j)\) 表示已经放了 \(i\) 个白球，放完了 \(j\) 中颜色的方案数。转移：

\[f(i,j)=[i\not=j]f(i-1,j)+\binom{nk-i-(j-1)(k-1)-1}{k-2}f(i,j-1)
\]

  前一项是放白球，并保证前缀白球个数不小于前缀颜色个数；后者是放完全部 \(j\) 颜色的球，并保证第一个球在白球位置（无贡献），第二个球在 \(nk\) 个位置目前最前的空位（颜色无序，必须保证颜色出现位置升序；无贡献）；其余 \(k-2\) 个球在剩下的位置任意选择放置。

  答案即为 \(n!f(n,n)\)。复杂度 \(\mathcal O(n^2)\)。

\(\mathcal{Code}\)

#include <cstdio>

const int MAXN = 2000, MAXL = MAXN * MAXN, MOD = 1e9 + 7;
int n, K, fac[MAXL + 5], ifac[MAXL + 5], f[MAXN + 5][MAXN + 5];

inline void addeq ( int& a, const int b ) { if ( ( a += b ) >= MOD ) a -= MOD; }

inline int qkpow ( int a, int b ) {
	int ret = 1;
	for ( ; b; a = 1ll * a * a % MOD, b >>= 1 ) ret = 1ll * ret * ( b & 1 ? a : 1 ) % MOD;
	return ret;
}

inline void init ( const int n ) {
	fac[0] = 1;
	for ( int i = 1; i <= n; ++ i ) fac[i] = 1ll * i * fac[i - 1] % MOD;
	ifac[n] = qkpow ( fac[n], MOD - 2 );
	for ( int i = n - 1; ~ i; -- i ) ifac[i] = ( i + 1ll ) * ifac[i + 1] % MOD;
}

inline int C ( const int n, const int m ) {
	return n < m ? 0 : 1ll * fac[n] * ifac[m] % MOD * ifac[n - m] % MOD;
}

int main () {
	scanf ( "%d %d", &n, &K );
	if ( K == 1 ) return puts ( "1" ), 0;
	init ( n * K ), f[0][0] = 1;
	for ( int i = 1; i <= n; ++ i ) {
		for ( int j = 0; j <= i; ++ j ) {
			int& cur = f[i][j];
			if ( i ^ j ) addeq ( cur, f[i - 1][j] );
			if ( j ) addeq ( cur, 1ll * f[i][j - 1]
				* C ( n * K - i - ( j - 1 ) * ( K - 1 ) - 1, K - 2 ) % MOD );
		}
	}
	printf ( "%d\n", int ( 1ll * f[n][n] * fac[n] % MOD ) );
	return 0;
}