。。。最近考了一道数学题。是典型的隔板问题。

P.S.最近八中oj上面没有系统地刷过题

题面可以直接转化为m个球分到n个箱子,每个箱子至少放1个,前n1个箱子的球数必须满足全部小于等于A[i],接着n2个必须大于等于A[i],剩下随意,问方案。

在没有约束时,答案自然是C(M-1,N-1),这个用插板法很好想>0<

考虑第二种约束,我们只要先提前在篮子里钦定A[i]-1个球,那么剩下随便放就一定能满足了。

对付第一种约束,我们用容斥原理来实现。所有方案数-至少有一个错误+至少两个错误-至少三个错误······

设w(k)为至少前面有k个篮子产生错误的方案数,我们可以在对应错误箱子放A[i]个,进行插板。这个dfs一下就ok了,因为n1,n2非常小!!!

但是n,m可以很大,p也不是质数所以用不了Lucas。所以可以用组合数模。

但是我不会。。要用到很多奇怪的定理比如说中国剩余定理。

#include<cstdio>
#include<algorithm>
#define ll long long
using namespace std;
ll f[],a[],b[],c[],d[],e[],pri[+],fac[+];
+];
ll cnt,t,x,y,top,tot,n1,n,m,n2,p,pp,ans;
ll quickmi(ll x,ll y,ll p)
{
    );)return x%p;
    ll tmp=,a=x;
    )
    {
        ==){tmp=tmp*a%p;} a=a*a%p;y/=;
    }   return tmp;
}
ll gcd(ll a,ll b,ll &x,ll &y){
    ){
        x=;y=;return a;
    }else{
        ll tmp=gcd(b,a%b,x,y);
        ll t=x;x=y;y=t-a/b*y;return tmp;
    }
}
ll calcfac(ll n,ll p,ll pp){
    if (n<pp) return fac[n];
    ll t=quickmi(fac[p-],n/p,p);
    t=t*fac[n%p]%p;
    cnt+=n/pp;
    t=t*calcfac(n/pp,p,pp)%p;
    return t;
}
ll getni(ll xx,ll yy){//exgcdÇóxx¹ØÓÚyyµÄÄæÔª
    ll tmp=gcd(xx,yy,x,y);
    return (x%yy+yy)%yy;
}
ll calc(ll x,ll y,ll p,ll pp)
{
    fac[]=;
    ;i<=p-;i++)
      )fac[i]=fac[i-];]*i%p;
    cnt=;
    ll A=calcfac(y,p,pp);ll tot=cnt;cnt=;
    ll B=calcfac(x,p,pp);B=B*calcfac(y-x,p,pp)%p;
    B=getni(B,p);
    return A*B%p*quickmi(pp,tot-cnt,p)%p;
}
ll comb(ll x,ll y,ll p){
    ;
    ;i<=top;i++)a[i]=calc(x,y,d[i],e[i]);
    ;i<=top;i++)b[i]=getni(c[i],d[i]);
    ll t=;
    ;i<=top;i++)t=(t+a[i]*b[i]%p*c[i]%p)%p;
    return t;
}
void dfs(ll id,ll m,ll cnt){
    ){
        ll t=comb(n-,m-,p);
        //printf("<>==%lld %lld %lld\n",m,n,t);
        ==)ans=(ans-t+p)%p;else ans=(ans+t)%p;
        return;
    }
    dfs(id+,m,cnt);
    ,m-f[id],cnt+);
}
int main()
{
    int cas;
    scanf("%d%lld",&cas,&p);
    ;i<=;i++)
    {
        )tot++,pri[tot]=i;
        ;j<=tot;j++){
            )break;
            flag[pri[j]*i]=;
            )break;
        }
     }
    pp=p; top=;
    ;i<=tot;i++){
        ){
            top++;d[top]=;e[top]=pri[i];
            ){
               d[top]*=pri[i];
               pp/=pri[i];
            }
        }
    }
    ;i<=top;i++)c[i]=p/d[i];
    while(cas--)
    {
        scanf("%lld%lld%lld%lld",&n,&n1,&n2,&m);
        ;i<=n1;i++)scanf("%lld",&f[i]);
        ;i<=n2;i++){
            ll x;scanf("%lld",&x);
            )m-=x-;
        }
        if(m<n1){
            printf("0\n");continue;
        }
        ans=;
        dfs(,m,);
        printf("%lld\n",ans);
    }
}

bzoj3129

[SDOI2013]方程的更多相关文章

  1. bzoj3129[Sdoi2013]方程 exlucas+容斥原理

    3129: [Sdoi2013]方程 Time Limit: 30 Sec  Memory Limit: 256 MBSubmit: 582  Solved: 338[Submit][Status][ ...

  2. BZOJ_3129_[Sdoi2013]方程_组合数学+容斥原理

    BZOJ_3129_[Sdoi2013]方程_组合数学+容斥原理 Description 给定方程     X1+X2+. +Xn=M 我们对第l..N1个变量进行一些限制: Xl < = A ...

  3. 【BZOJ3129】[SDOI2013]方程(容斥,拓展卢卡斯定理)

    [BZOJ3129][SDOI2013]方程(容斥,拓展卢卡斯定理) 题面 BZOJ 洛谷 题解 因为答案是正整数,所先给每个位置都放一个就行了,然后\(A\)都要减一. 大于的限制和没有的区别不大, ...

  4. bzoj千题计划267:bzoj3129: [Sdoi2013]方程

    http://www.lydsy.com/JudgeOnline/problem.php?id=3129 如果没有Ai的限制,就是隔板法,C(m-1,n-1) >=Ai 的限制:m减去Ai &l ...

  5. [BZOJ 3129] [Sdoi2013] 方程 【容斥+组合数取模+中国剩余定理】

    题目链接:BZOJ - 3129 题目分析 使用隔板法的思想,如果没有任何限制条件,那么方案数就是 C(m - 1, n - 1). 如果有一个限制条件是 xi >= Ai ,那么我们就可以将 ...

  6. BZOJ3129 [Sdoi2013]方程 【扩展Lucas】

    题目 给定方程 X1+X2+. +Xn=M 我们对第l..N1个变量进行一些限制: Xl < = A X2 < = A2 Xn1 < = An1 我们对第n1 + 1..n1+n2个 ...

  7. BZOJ 3129 [SDOI2013]方程 (拓展Lucas)

    题目大意:给定一个方程$X_{1}+X_{2}+X_{3}+X_{4}+...+X_{n}=M$,$\forall X_{i}<=A_{i} (i<=n1)$ $\forall X_{i} ...

  8. BZOJ 3129 SDOI2013 方程

    如果没有限制,答案直接用隔板法C(m-1,n-1) 对于>=x的限制,我们直接在对应位置先放上x-1即可,即m=m-(x-1) 对于<=x的限制,由于限制很小我们可以利用容斥原理将它转化为 ...

  9. BZOJ3129: [Sdoi2013]方程

    拓展Lucas+容斥原理 #include<cstdio> #include<cstdlib> #include<algorithm> #include<cs ...

随机推荐

  1. <<< List<HashMap<String, Object>> 及 HashMap<String, Object> 的用法

    //(赋值)最简单的一种hashMap赋值方式 List<HashMap<String, Object>> aMap= new ArrayList<HashMap< ...

  2. flask初探

    为什么我们需要模板 让我们来考虑下我们该如何扩充我们这个小的应用程序. 我们希望我们的微博应用程序的主页上有一个欢迎登录用户的标题,这是这种类型的应用程序的一个"标配".忽略本应用 ...

  3. 学习MySQL之数据库操作(一)

    所有代码,均为自学时用到的测试与注释,知识细节或知识点不会面面俱到,亦不会有任何讲解,只做为自己学习复习用. ##数据库操作 ##创建数据库 myTest ,并将数据库字符集设为GBK CREATE ...

  4. [UML]UML系列——类图class的依赖关系

    相关文章          [UML]UML系列——用例图Use Case       [UML]UML系列——用例图中的各种关系(include.extend)       [UML]UML系列—— ...

  5. Android ViewPager sharedpreferences

    http://www.cnblogs.com/dwinter/archive/2012/02/27/AndroidViewPager%E5%A4%9A%E9%A1%B5%E9%9D%A2%E6%BB% ...

  6. 2、HTML 基础知识

    一.HTT(PHyper Text Markup Language)即超文本语言. 特点: 1.通过标签来定义的语言,代码都是由标签所组成 2.不区分大小写 3.由<html>开始< ...

  7. linux常用命令-用户管理命令

    useradd 用户名 passwd 用户名:修改该用户的密码 groupadd 组名 who: 查看现在登录了几个用户,得到的信息含义如下 登录用户名 登录终端 登录时间 登录终端的IP地址(如果没 ...

  8. EXCEL科学计数法转为文本格式

    1.单元格格式-->特殊-->邮政编码 2.分列:选中数据-菜单栏“数据”-“分列”-下一步-下一步-选中文本-确定即可3.公式TEXT:如果数据在A列 =TEXT(A1,,0) 向下复制 ...

  9. jstl 简单实践

    <%@ page language="java" import="java.util.*" pageEncoding="UTF-8"% ...

  10. .NET LINQ查询语法与方法语法

    LINQ 查询语法与方法语法      通过使用 C# 3.0 中引入的声明性查询语法,介绍性 LINQ 文档中的多数查询都被编写为查询表达式. 但是,.NET 公共语言运行时 (CLR) 本身并不具 ...