题目大意
有一个 n n n行 m m m列的表格,你可以在每个表格中填入一个 1 1 1到 k k k之间的整数,定义序列 A , B A,B A,B如下:
- 对于每一个 i = 1 , 2 , … , n i=1,2,\dots,n i=1,2,…,n, A i A_i Ai是第 i i i行的最小值
- 对于每一个 j = 1 , 2 , … , m j=1,2,\dots,m j=1,2,…,m, B i B_i Bi是第 j j j行的最大值
求有多少对不同的序列 ( A , B ) (A,B) (A,B),答案模 998244353 998244353 998244353。
题解
当 n = = 1 n==1 n==1或 m = = 1 m==1 m==1时,答案如下:
- 若 n = = 1 n==1 n==1,则答案为 k m k^m km
- 若 m = = 1 m==1 m==1,则答案为 k n k^n kn
接下来来讨论 n ≥ 2 n\geq2 n≥2且 m ≥ 2 m\geq 2 m≥2的情况。
设第
i
i
i行第
j
j
j列的数为
C
i
,
j
C_{i,j}
Ci,j,根据题意,我们可以得到:
∀
i
∈
[
1
,
n
]
,
j
∈
[
1
,
m
]
,
A
i
≤
C
i
,
j
≤
B
j
\forall i\in[1,n],j\in[1,m],A_i\leq C_{i,j}\leq B_j
∀i∈[1,n],j∈[1,m],Ai≤Ci,j≤Bj
推得 max { A i } ≤ min { B j } \max\{A_i\}\leq\min\{B_j\} max{Ai}≤min{Bj}
对于一对序列 ( A , B ) (A,B) (A,B),若满足 max { A i } ≤ min { B j } \max\{A_i\}\leq\min\{B_j\} max{Ai}≤min{Bj},则可以由以下方法来构造表格。
其中蓝色代表这个位置的数是这一行的最小值,橙色代表这个位置的数是这一列的最大值。由于
max
{
A
i
}
≤
min
{
B
j
}
\max\{A_i\}\leq\min\{B_j\}
max{Ai}≤min{Bj},所以对于表格上的任意的格子
(
i
,
j
)
(i,j)
(i,j),都满足
A
i
≤
B
j
A_i\leq B_j
Ai≤Bj,
C
i
,
j
C_{i,j}
Ci,j可以取
A
i
A_i
Ai和
B
j
B_j
Bj之间的任意值。
于是,题意就变为:求有多少对序列 ( A , B ) (A,B) (A,B),满足 A i A_i Ai和 B j B_j Bj都为 1 1 1到 k k k之间的整数,且 max { A i } ≤ min { B j } \max\{A_i\}\leq\min\{B_j\} max{Ai}≤min{Bj}。
我们可以枚举 A i A_i Ai的最大值,若最大值为 t t t,则不同的 A A A序列的数量为 ( t n − t n − 1 ) (t^n-t^{n-1}) (tn−tn−1),不同的 B B B序列的数量为 ( k − t + 1 ) m (k-t+1)^m (k−t+1)m,此时不同的序列对 ( A , B ) (A,B) (A,B)的数量为 ( t n − t n − 1 ) ⋅ ( k − t + 1 ) m (t^n-t^{n-1})\cdot(k-t+1)^m (tn−tn−1)⋅(k−t+1)m。
code
#include<bits/stdc++.h>
using namespace std;
long long n,m,k,ans;
long long mod=998244353;
long long mi(long long t,long long v){
if(t==0) return 0;
if(v==0) return 1;
long long re=mi(t,v/2);
re=re*re%mod;
if(v&1) re=re*t%mod;
return re;
}
int main()
{
// freopen("mirror.in","r",stdin);
// freopen("mirror.out","w",stdout);
scanf("%lld%lld%lld",&n,&m,&k);
if(n==1||m==1){
ans=mi(k,n+m-1);
printf("%lld",ans);
return 0;
}
for(int i=1;i<=k;i++){
ans=(ans+(mi(i,n)-mi(i-1,n)+mod)%mod*mi(k-i+1,m)%mod)%mod;
}
printf("%lld",ans);
fclose(stdin);
fclose(stdout);
return 0;
}