组合数学 - 车的放置 - AcWing 1309
有下面这样的一个网格棋盘,a,b,c,d 表示了对应边长度,也就是对应格子数。
当 a=b=c=d=2 时,对应下面这样一个棋盘:
要在这个棋盘上放 k 个相互不攻击的车,也就是这 k 个车没有两个车在同一行,也没有两个车在同一列,问有多少种方案。
只需要输出答案 mod 100003 后的结果。
输入格式
共一行,五个非负整数 a,b,c,d,k。
输出格式
包括一个正整数,为答案 mod 100003 后的结果。
数据范围
1 ≤ a , b , c , d , k ≤ 1000 , 保 证 至 少 有 一 种 可 行 方 案 。 1≤a,b,c,d,k≤1000,保证至少有一种可行方案。 1≤a,b,c,d,k≤1000,保证至少有一种可行方案。
输入样例:
2 2 2 2 2
输出样例:
38
分析:
先考虑规则图形:
在
下
图
中
放
入
i
个
车
。
在下图中放入i个车。
在下图中放入i个车。
先
考
虑
行
:
同
一
行
不
能
放
,
我
们
需
要
在
b
行
中
选
择
i
行
放
,
方
案
数
C
b
i
先考虑行:同一行不能放,我们需要在b行中选择i行放,方案数C_b^i
先考虑行:同一行不能放,我们需要在b行中选择i行放,方案数Cbi
再 考 虑 列 : 同 一 列 不 能 放 , 我 们 需 要 在 a 列 中 选 择 i 列 放 , 需 要 考 虑 不 同 的 顺 序 , 方 案 总 数 A a i 。 再考虑列:同一列不能放,我们需要在a列中选择i列放,需要考虑不同的顺序,方案总数A_a^i。 再考虑列:同一列不能放,我们需要在a列中选择i列放,需要考虑不同的顺序,方案总数Aai。
故 上 图 的 方 案 总 数 为 C b i × A a i 。 故上图的方案总数为C_b^i×A_a^i。 故上图的方案总数为Cbi×Aai。
注: 行 与 列 有 一 个 考 虑 顺 序 即 可 , 即 C b i × A a i = C a i × A b i 。 行与列有一个考虑顺序即可,即C_b^i×A_a^i=C_a^i×A_b^i。 行与列有一个考虑顺序即可,即Cbi×Aai=Cai×Abi。
接着考虑本题:
我 们 将 这 个 ′ ′ L ′ ′ 型 以 红 线 一 份 为 二 , 分 别 计 算 上 下 两 部 分 的 方 案 总 数 , 再 利 用 乘 法 原 理 求 整 体 的 方 案 总 数 。 我们将这个''L''型以红线一份为二,分别计算上下两部分的方案总数,再利用乘法原理求整体的方案总数。 我们将这个′′L′′型以红线一份为二,分别计算上下两部分的方案总数,再利用乘法原理求整体的方案总数。
我 们 枚 举 上 半 部 分 放 i 个 车 , 我们枚举上半部分放i个车, 我们枚举上半部分放i个车,
因 为 上 半 部 分 对 下 半 部 分 的 影 响 是 确 定 的 , 而 放 在 下 半 部 分 , 可 能 会 影 响 上 半 部 分 , 也 可 能 不 影 响 。 因为上半部分对下半部分的影响是确定的,而放在下半部分,可能会影响上半部分,也可能不影响。 因为上半部分对下半部分的影响是确定的,而放在下半部分,可能会影响上半部分,也可能不影响。
① 、 上 半 部 分 方 案 总 数 : C b i × A a i ①、上半部分方案总数:C_b^i×A_a^i ①、上半部分方案总数:Cbi×Aai
② 、 下 半 部 分 方 案 总 数 : C d k − i × A a + c − i k − i ②、下半部分方案总数:C_d^{k-i}×A_{a+c-i}^{k-i} ②、下半部分方案总数:Cdk−i×Aa+c−ik−i
整 体 的 方 案 总 数 : C b i × A a i × C d k − i × A a + c − i k − i 整体的方案总数:C_b^i×A_a^i×C_d^{k-i}×A_{a+c-i}^{k-i} 整体的方案总数:Cbi×Aai×Cdk−i×Aa+c−ik−i
本题直接定义法求组合数。
代码:
#include<iostream>
#define ll long long
using namespace std;
const int N=2010, mod=100003;
int fact[N],infact[N];
int a,b,c,d,k;
int quick_pow(int a,int b,int mod)
{
int res=1;
while(b)
{
if(b&1) res=(ll)res*a%mod;
a=(ll)a*a%mod;
b>>=1;
}
return res;
}
void Init()
{
fact[0]=infact[0]=1;
for(int i=1;i<N;i++)
{
fact[i]=(ll)fact[i-1]*i%mod;
infact[i]=quick_pow(fact[i],mod-2,mod); //等价于infact[i-1]*i^(mod-2)
}
}
int C(int a,int b)
{
if(a<b) return 0;
return (ll)fact[a]*infact[a-b]%mod*infact[b]%mod;
}
int A(int a,int b)
{
if(a<b) return 0;
return (ll)fact[a]*infact[a-b]%mod;
}
int main()
{
Init();
cin>>a>>b>>c>>d>>k;
int res=0;
for(int i=0;i<=k;i++)
res=(res+(ll)C(b,i)*A(a,i)%mod*C(d,k-i)*A(a+c-i,k-i)%mod)%mod;
cout<<res<<endl;
return 0;
}