题意
有一个网格图,给出 3 个矩形,后一个严格在前一个右上方。
在第 1 个矩形种选一个点做起点,在第 3 个矩形中选一个点做终点,求从起点走到终点,只能向右或者向上走,不能经过第 2 个矩形的方案数,对 998244353 998244353 998244353 取模。
第 1 和 3 个矩形边长 l 1 , l 3 ≤ 1 0 6 l_1,l_3 \le10^6 l1,l3≤106 , 第 2 个矩形边长 l 2 ≤ 5 ∗ 1 0 4 l_2\le 5*10^4 l2≤5∗104 ,所有点的坐标 ∀ x , y ≤ 4.5 ∗ 1 0 8 \forall x,y\le4.5*10^8 ∀x,y≤4.5∗108
思路
考虑容斥,先算出总方案数,再减去经过第 2 个矩形的方案数。
对于总方案数,是从一个矩阵走到另一个矩阵。对于经过第 2 个矩形的方案,必然会经过第 2 个矩形的下边界或者左边界,枚举经过的是哪个点,转化为一个矩形走到一个点+一个点走到一个矩形的方案数。
那么剩下的就是两个问题:点走到矩形,矩形走到矩形。
首先点走到点,假如起点和终点横坐标和纵坐标的差分别为 x , y x,y x,y ,那么方案数为 C x + y x C_{x+y}^{x} Cx+yx 。
然后是点走到矩形,用点走到点来推。假设点和矩形的最左边、最右边横坐标差为 x 1 , x 2 x1,x2 x1,x2 , y 1 , y 2 y1,y2 y1,y2 是纵坐标差,那么方案数为: ∑ i = x 1 x 2 ∑ j = y 1 y 2 C i + j j \sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}C_{i+j}^{j} i=x1∑x2j=y1∑y2Ci+jj
把组合数列项(用递推公式): C i + j j = C i + j + 1 j − C i + j j − 1 C_{i+j}^{j}=C_{i+j+1}^{j}-C_{i+j}^{j-1} Ci+jj=Ci+j+1j−Ci+jj−1
发现可以抵消很多,最后得到 ∑ j = y 1 y 2 C i + j j = C i + y 2 + 1 y 2 − C i + y 1 y 1 − 1 \sum_{j=y_1}^{y_2}C_{i+j}^{j}=C_{i+y_2+1}^{y_2}-C_{i+y_1}^{y_1-1} j=y1∑y2Ci+jj=Ci+y2+1y2−Ci+y1y1−1
同理,方案数可以化为:
∑ i = x 1 x 2 ∑ j = y 1 y 2 C i + j j = ∑ i = x 1 x 2 ( C i + y 2 + 1 y 2 − C i + y 1 y 1 − 1 ) = ∑ i = x 1 x 2 C y 2 + i + 1 i + 1 − ∑ i = x 1 x 2 C y 1 − 1 + i + 1 i + 1 = C y 2 + x 2 + 2 x 2 + 1 − C y 2 + x 1 + 1 x 1 − C y 1 + x 2 + 1 x 2 + 1 + C y 1 + x 1 x 1 \begin{aligned}\sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}C_{i+j}^{j}&=\sum_{i=x_1}^{x_2}(C_{i+y_2+1}^{y_2}-C_{i+y_1}^{y_1-1}) \\&=\sum_{i=x_1}^{x_2}C_{y_2+i+1}^{i+1}-\sum_{i=x_1}^{x_2}C_{y_1-1+i+1}^{i+1} \\&=C_{y_2+x_2+2}^{x_2+1}-C_{y_2+x_1+1}^{x_1}-C_{y_1+x_2+1}^{x_2+1}+C_{y_1+x_1}^{x_1} \end{aligned} i=x1∑x2j=y1∑y2Ci+jj=i=x1∑x2(Ci+y2+1y2−Ci+y1y1−1)=i=x1∑x2Cy2+i+1i+1−i=x1∑x2Cy1−1+i+1i+1=Cy2+x2+2x2+1−Cy2+x1+1x1−Cy1+x2+1x2+1+Cy1+x1x1
令
Δ
x
=
x
2
−
x
1
,
Δ
y
=
y
2
−
y
1
\Delta x=x_2-x_1,\Delta y=y_2-y_1
Δx=x2−x1,Δy=y2−y1 ,
令
∑
i
=
x
1
x
2
∑
j
=
y
1
y
2
C
i
+
j
j
=
D
(
x
1
,
y
1
,
Δ
x
,
Δ
y
)
\sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}C_{i+j}^{j}=D(x_1, y_1, \Delta x,\Delta y)
∑i=x1x2∑j=y1y2Ci+jj=D(x1,y1,Δx,Δy) ,那么式子可以写成:
D ( x 1 , y 1 , Δ x , Δ y ) = C x 1 + y 1 + Δ x + Δ y + 2 x 1 + Δ x + 1 − C x 1 + y 1 + Δ y + 1 x 1 − C x 1 + y 1 + Δ x + 1 x 1 + Δ x + 1 + C x 1 + y 1 x 1 D(x_1, y_1, \Delta x,\Delta y)=C_{x_1+y_1+\Delta x+\Delta y+2}^{x_1+\Delta x+1}-C_{x_1+y_1+\Delta y+1}^{x_1}-C_{x_1+y_1+\Delta x+1}^{x_1+\Delta x+1}+C_{x_1+y_1}^{x_1} D(x1,y1,Δx,Δy)=Cx1+y1+Δx+Δy+2x1+Δx+1−Cx1+y1+Δy+1x1−Cx1+y1+Δx+1x1+Δx+1+Cx1+y1x1
设第 1 个矩形的最右和最左分别距离第 3 个矩形的最左 x 1 , x 2 x_1, x_2 x1,x2,第 1 个矩形的最上和最下分别距离第 3 个矩形的最下 y 1 , y 2 y_1, y_2 y1,y2,第 3 个矩形横轴和纵轴方向边长分别为 Δ x , Δ y \Delta x,\Delta y Δx,Δy ,那么方案数表示如下:
∑ i = x 1 x 2 ∑ j = y 1 y 2 D ( i , j , Δ x , Δ y ) \sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}D(i,j,\Delta x,\Delta y) i=x1∑x2j=y1∑y2D(i,j,Δx,Δy)
化简!
∑ i = x 1 x 2 ∑ j = y 1 y 2 D ( i , j , Δ x , Δ y ) = ∑ i = x 1 x 2 ∑ j = y 1 y 2 ( C i + j + Δ x + Δ y + 2 j + Δ y + 1 − C i + j + Δ y + 1 j + Δ y + 1 − C i + j + Δ x + 1 j + C i + j j ) = ∑ i = x 1 + Δ x + 1 x 2 + Δ x + 1 ∑ j = y 1 + Δ y + 1 y 2 + Δ y + 1 C i + j j − ∑ i = x 1 x 2 ∑ j = y 1 + Δ y + 1 y 2 + Δ y + 1 C i + j j − ∑ i = x 1 + Δ x + 1 x 2 + Δ x + 1 ∑ j = y 1 y 2 C i + j j + ∑ i = x 1 x 2 ∑ j = y 1 y 2 C i + j j = D ( x 1 + Δ x + 1 , y 1 + Δ y + 1 , x 2 − x 1 , y 2 − y 1 ) − D ( x 1 , y 1 + Δ y + 1 , x 2 − x 1 , y 2 − y 1 ) − D ( x 1 + Δ x + 1 , y 1 , x 2 − x 1 , y 2 − y 1 ) + D ( x 1 , y 1 , x 2 − x 1 , y 2 − y 1 ) \begin{aligned} &\sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}D(i,j,\Delta x,\Delta y) \\=&\sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}(C_{i+j+\Delta x+\Delta y+2}^{j+\Delta y+1}-C_{i+j+\Delta y+1}^{j+\Delta y +1}-C_{i+j+\Delta x+1}^{j}+C_{i+j}^{j}) \\=&\sum_{i=x_1+\Delta x+1}^{x_2+\Delta x+1}\sum_{j=y_1+\Delta y+1}^{y_2+\Delta y+1}C_{i+j}^{j}-\sum_{i=x_1}^{x_2}\sum_{j=y_1+\Delta y+1}^{y_2+\Delta y+1}C_{i+j}^{j}-\sum_{i=x_1+\Delta x+1}^{x_2+\Delta x+1}\sum_{j=y_1}^{y_2}C_{i+j}^{j}+\sum_{i=x_1}^{x_2}\sum_{j=y_1}^{y_2}C_{i+j}^{j} \\=&D(x_1+\Delta x+1,y_1+\Delta y+1,x_2-x_1,y_2-y_1) \\&-D(x_1,y_1+\Delta y+1,x_2-x_1,y_2-y_1) \\&-D(x_1+\Delta x+1,y_1,x_2-x_1,y_2-y_1) \\&+D(x_1,y_1,x_2-x_1,y_2-y_1) \end{aligned} ===i=x1∑x2j=y1∑y2D(i,j,Δx,Δy)i=x1∑x2j=y1∑y2(Ci+j+Δx+Δy+2j+Δy+1−Ci+j+Δy+1j+Δy+1−Ci+j+Δx+1j+Ci+jj)i=x1+Δx+1∑x2+Δx+1j=y1+Δy+1∑y2+Δy+1Ci+jj−i=x1∑x2j=y1+Δy+1∑y2+Δy+1Ci+jj−i=x1+Δx+1∑x2+Δx+1j=y1∑y2Ci+jj+i=x1∑x2j=y1∑y2Ci+jjD(x1+Δx+1,y1+Δy+1,x2−x1,y2−y1)−D(x1,y1+Δy+1,x2−x1,y2−y1)−D(x1+Δx+1,y1,x2−x1,y2−y1)+D(x1,y1,x2−x1,y2−y1)
到这里公式就已经推完了,复杂度是 O ( l 2 ∗ k ) O(l_2*k) O(l2∗k) , k k k 是求组合数的复杂度。
然后离解决这道题还差一步,在计算函数 D D D 中的组合数的时候,需要求很大的阶乘。那我们分段打表,再用一个 unordered_map 就可以解决问题。表大概 1 0 4 10^4 104 左右就够了。
所以这题就完美解决啦!
其实这题一直在反复运用组合数的递推公式,没有什么高端的东西,只要耐心总是推得出来的。
推式子真好玩!考场上你推一个看看(╯°Д°)╯( ┻━┻
代码
#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
const int maxN = 9e8, siz = 2e5, N = maxN/siz, mod = 998244353;
// FAC[N+1] = {...} // 表太大了就不放了,自己打一下10s左右
unordered_map<int, int> fac;
int iii, x[7], y[7], ans;
void add(int &x, int y){x += y; if (x >= mod) x -= mod;}
void init(){
for (int i = 0; i <= N; ++ i)
fac[i*siz] = FAC[i];
}
int fpow(int x, int y){
int ret = 1;
while (y){
if (y&1) ret = 1LL*ret*x%mod;
x = 1LL*x*x%mod;
y >>= 1;
}
return ret;
}
int Fac(int x){
if (fac.find(x) != fac.end()) return fac[x];
return fac[x] = 1LL*x*Fac(x-1)%mod;
}
int iFac(int x){
return fpow(Fac(x), mod-2);
}
int C(int x, int y){
if (x < 0 || y < 0 || x < y) return 0;
return 1LL*Fac(x)*iFac(y)%mod*iFac(x-y)%mod;
}
int D(int x, int y, int dx, int dy){
int ret = 0;
add(ret, C(x+y+dx+dy+2, x+dx+1));
add(ret, mod-C(x+y+dy+1, x));
add(ret, mod-C(x+y+dx+1, y));
add(ret, C(x+y, x));
return ret;
}
int solve(){
int x1 = x[5]-x[2], x2 = x[5]-x[1];
int y1 = y[5]-y[2], y2 = y[5]-y[1];
int dx = x[6]-x[5], dy = y[6]-y[5];
int ddx = x[2]-x[1], ddy = y[2]-y[1];
int ret = 0;
add(ret, D(x1+dx+1, y1+dy+1, ddx, ddy));
add(ret, mod-D(x1, y1+dy+1, ddx, ddy));
add(ret, mod-D(x1+dx+1, y1, ddx, ddy));
add(ret, D(x1, y1, ddx, ddy));
return ret;
}
int main()
{
init();
scanf("%d", &iii);
for (int i = 1; i <= 6; ++ i) scanf("%d", &x[i]);
for (int i = 1; i <= 6; ++ i) scanf("%d", &y[i]);
ans = solve();
for (int i = x[3]; i <= x[4]; ++ i)
add(ans, mod-1LL*D(i-x[2], y[3]-y[2]-1, x[2]-x[1], y[2]-y[1])*D(x[5]-i, y[5]-y[3], x[6]-x[5], y[6]-y[5])%mod);
for (int i = y[3]; i <= y[4]; ++ i)
add(ans, mod-1LL*D(x[3]-x[2]-1, i-y[2], x[2]-x[1], y[2]-y[1])*D(x[5]-x[3], y[5]-i, x[6]-x[5], y[6]-y[5])%mod);
printf("%d\n", ans);
return 0;
}