题意:从n*m网格图的左下角走到右上角(n,m<=10^10),有t个坐标不能经过(t<=200),只能向上向右走,问有多少种不同的走法,对p取模,
p只有两种取值,1000003(质数)和1019663265(四个质数的乘积, 3*5*6793*10007)
考试的时候有部分分…
1. n,m<=1000时,O(nm)DP即可
2.t=0的时候求一个组合数就可以了,1000003:预处理阶乘及逆元,l1019663265:lucas定理求组合数之后用CRT合并.
那么考虑t=1的情况,我们只需要把总的路径条数减去经过那个障碍点的路径条数就可以了.走法=”左下角到障碍点的走法”*”障碍点到右上角的做法”
t=2时,设两个障碍点为A,B,”总的路径条数”-“经过A的路径条数”-“经过B的路径条数”算出来的答案可能偏小,如果A,B可以同时经过,那么最终答案要加上”同时经过A,B的路径条数”
那么这道题就可以用容斥来做.方便起见给障碍点从左到右从下到上排个序,记f[i][j]表示走到了第i个障碍点且包括第i个点在内经过了j个障碍点的路径条数,枚举从左下角的哪一个点k走过来即可.转移的时候乘上一个组合数表示从k到i的走法数目.
注意循环的时候在最内层枚举j只需要O(n^2)次计算组合数,最内层枚举k需要计算O(n^3)次组合数,效率相差很大.我一开始在别的地方卡了半天常数终于在bz上卡进总时限了,但加了这个优化瞬间从10s+变成2s以内…代码里有很多卡常的痕迹,其实我在考试的时候连wys那个鬼畜的循环展开都用了然而组合数计算次数太多了还是没卡过去...
#include<cstdio>
#include<algorithm>
using namespace std;
typedef long long ll;
ll n,m;int t,mod;
int QuickPow(int a,int x){
int ans=;
for(;x;x>>=,a=a*1LL*a%mod){
if(x&)ans=ans*1LL*a%mod;
}
return ans;
}
namespace Prime{
const int maxn=;
int fac[maxn],inv[maxn];
void init(){
fac[]=;
for(int i=;i<maxn;++i)fac[i]=fac[i-]*1LL*i%mod;
inv[maxn-]=QuickPow(fac[maxn-],mod-);
for(int i=maxn-;i>=;--i){
inv[i-]=inv[i]*1LL*i%mod;
}
}
int C(ll n,ll m){
if(n<m)return ;
return fac[n]*1LL*inv[m]%mod*1LL*inv[n-m]%mod;
}
int Lucas(ll n,ll m){//printf("%lld %lld\n",n,m);
if(n<maxn)return C(n,m);
int t1=n/maxn,t2=m/maxn;
return Lucas(t1,t2)*1LL*C(n-maxn*1LL*t1,m-maxn*1LL*t2)%maxn;
}
};
namespace NotPrime{
const int maxn=,Mod=;
int p[]={,,,,};
int fac[][maxn],inv[][maxn];
int BUF3[][]={{,,,},{,,,},{,,,},{,,,}};
int BUF5[][]={{,,,,,},{,,,,,},{,,,,,},{,,,,,},{,,,,,}};
void init(){
for(int i=;i<;++i){
fac[i][]=;
for(int j=;j<p[i];++j)fac[i][j]=fac[i][j-]*1LL*j%p[i];
inv[i][p[i]-]=QuickPow(fac[i][p[i]-],p[i]-);
for(int j=p[i]-;j>=;--j){
inv[i][j-]=inv[i][j]*1LL*j%p[i];
}
}
}
int M;
int lucas(ll n,ll m,int t){
if(n<M){
if(m>n)return ;
if(!t)return BUF3[n][m];
if(t==)return BUF5[n][m];
return fac[t][n]*inv[t][m]*1LL*inv[t][n-m]%M;
}
int t1=n/M,t2=m/M;
return lucas(t1,t2,t)*lucas(n-t1*1LL*M,m-t2*1LL*M,t)%M;
}
int res[];
int CRT(){
int ans=,lcm,Inv;
for(int i=;i<;++i){
lcm=p[]/p[i];
Inv=QuickPow(lcm%p[i],p[i]-);
ans=(ans+res[i]*1LL*lcm%mod*1LL*Inv%mod)%p[];
}
return ans;
}
};
namespace Ending{
int f[][];
struct point{
ll x,y,sum;
void read(){scanf("%lld%lld",&x,&y);sum=x+y;}
bool operator <(const point &B)const{
return (x==B.x)?(y<B.y):x<B.x;
}
}P[];
void DP(int q){
using namespace NotPrime;
M=p[q];
f[][]=;long long tmp;
for(int i=;i<=t;++i){
for(int j=;j<=i;++j)f[i][j]=;
for(int k=;k<i;++k){
if(P[k].y>P[i].y)continue;
int c=lucas(P[i].sum-P[k].sum,P[i].y-P[k].y,q);
for(int j=;j<=i;++j){
f[i][j]=(f[i][j]+f[k][j-]*1LL*c%M)%M;
}
}
}
int lim=t+;
for(int k=;k<=t;++k){
tmp=;
for(int i=;i<=t;++i){
tmp+=f[i][k]*lucas(P[lim].sum-P[i].sum,P[lim].y-P[i].y,q);
}
f[lim][k]=tmp%M;
}
int ans=;
for(int k=;k<=t;++k){
if(k&)ans=(ans-f[t+][k]+M)%M;
else ans=(ans+f[t+][k])%M;
}
res[q]=ans;
}
};
int main(){
//freopen("path.in","r",stdin);
//freopen("path.out","w",stdout);
scanf("%lld%lld%d%d",&n,&m,&t,&mod); using namespace Ending;
for(int i=;i<=t;++i){
P[i].read();
}
P[].x=;P[].y=;P[t+].x=n;P[t+].y=m;P[t+].sum=n+m;
sort(P+,P+t+);
if(mod==){
using namespace Prime;
init();
f[][]=;
for(int i=;i<=t;++i){
for(int k=;k<i;++k){
for(int j=;j<=i;++j){
if(P[i].y>=P[k].y)f[i][j]=(f[i][j]+f[k][j-]*1LL*Lucas(P[i].x-P[k].x+P[i].y-P[k].y,P[i].y-P[k].y)%mod)%mod;
}
}
}
for(int k=;k<=t;++k){
for(int i=;i<=t;++i){
f[t+][k]=(f[t+][k]+f[i][k]*1LL*Lucas(P[t+].x-P[i].x+P[t+].y-P[i].y,P[t+].y-P[i].y)%mod)%mod;
}
}
int ans=;
for(int k=;k<=t;++k){
if(k&)ans=(ans-f[t+][k]+mod)%mod;
else ans=(ans+f[t+][k])%mod;
}
printf("%d\n",ans);
}else{
using namespace NotPrime;
init();
for(int i=;i<;++i)DP(i);
printf("%d\n",CRT());
}
//fclose(stdin);fclose(stdout);
return ;
}