思路:

//By SiriusRen
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;
const int mod=;
int cases,n,maxval,a[][],C[][],f[],val[],X,g[];
int top2,top,bgn,half,cnts2[],allnum[],Ans,T;
struct Node{int wei,num;Node(){}Node(int x,int y){wei=x,num=y;}}s[+(<<)],s2[+(<<)];
bool operator<(Node a,Node b){return a.wei<b.wei;}
int pow(ll x,int y){
ll res=;
while(y){
if(y&)res=res*x%mod;
x=x*x%mod,y>>=;
}return (int)res;
}
int Gauss(int n){
int f=;
for(int i=;i<=n;i++){
int j=i;while(!a[i][j]&&j<=n)j++;
if(j==n+)return ;
if(j!=i){
for(int k=;k<=n;k++)swap(a[i][k],a[j][k]);
f*=-;
}
int t=pow(a[i][i],mod-);
for(int j=i+;j<=n;j++){
int ww=1ll*a[j][i]*t%mod;
for(int k=i;k<=n;k++)a[j][k]=(a[j][k]-1ll*ww*a[i][k]%mod+mod)%mod;
}
}
ll ans=;
for(int i=;i<=n;i++)ans=ans*a[i][i]%mod;
if(f==-)ans=(mod-ans)%mod;
return ans;
}
void Kirchhoff(int x){
memset(a,,sizeof(a));
for(int i=;i<=n;i++)
if(i<=x)for(int j=max(i+,X+);j<=n;j++)a[i][j]--,a[j][i]--,a[i][i]++,a[j][j]++;
else for(int j=i+;j<=n;j++)a[i][j]--,a[j][i]--,a[i][i]++,a[j][j]++;
}
bool cmp(int x,int y){return x>y;}
void dfs(int x,int wei,int deep){
!T?s[top++]=Node(wei,deep):s2[top2++]=Node(wei,deep);
for(int i=x;i>bgn;i--)if(wei+val[i]<=maxval)dfs(i-,wei+val[i],deep+);
}
signed main(){
for(int i=;i<=;i++){
C[i][]=C[i][i]=;
for(int j=;j<i;j++)C[i][j]=(C[i-][j-]+C[i-][j])%mod;
}
scanf("%d",&cases);
while(cases--){
memset(allnum,,sizeof(allnum));
memset(cnts2,,sizeof(cnts2));
top=top2=X=bgn=Ans=T=;
scanf("%d%d",&n,&maxval);
for(int i=;i<=n;i++){
scanf("%d",&val[i]);
if(~val[i])X++;
}half=(X+)/;
for(int i=;i<=X;i++)Kirchhoff(i),f[i]=g[i]=Gauss(n-);
for(int i=X;~i;i--)
for(int j=i+;j<=X;j++)f[i]=((f[i]-1ll*C[X-i][j-i]*f[j])%mod+mod)%mod;
sort(val+,val++n,cmp),random_shuffle(val+,val++X);
dfs(half,,),sort(s,s+top);
T=,bgn=half,dfs(X,,),sort(s2,s2+top2);
for(int i=;i<top2;i++)cnts2[s2[i].num]++;
for(int i=,j=top2-;i<top;i++){
while(s[i].wei+s2[j].wei>maxval)cnts2[s2[j].num]--,j--;
for(int k=;k<=X-half;k++)(allnum[k+s[i].num]+=cnts2[k])%=mod;
}
for(int i=;i<=X;i++)Ans=(Ans+1ll*f[X-i]*allnum[i])%mod;
printf("%d\n",(Ans+mod)%mod);
}
}

51nod1446 Kirchhoff矩阵+Gauss消元+容斥+折半DFS的更多相关文章

  1. $Gauss$消元

    $Gauss$消元 今天金牌爷来问我一个高消的题目,我才想起来忘了学高消... 高斯消元用于解线性方程组,也就是形如: $\left\{\begin{matrix}a_{11}x_1+a_{12}x_ ...

  2. 求一个n元一次方程的解,Gauss消元

    求一个n元一次方程的解,Gauss消元 const Matrix=require('./Matrix.js') /*Gauss 消元 传入一个矩阵,传出结果 */ function Gauss(mat ...

  3. Gauss 消元(模板)

    /* title:Gauss消元整数解/小数解整数矩阵模板 author:lhk time: 2016.9.11 没学vim的菜鸡自己手打了 */ #include<cstdio> #in ...

  4. hdu 5755(Gauss 消元) &poj 2947

    Gambler Bo Time Limit: 8000/4000 MS (Java/Others)    Memory Limit: 131072/131072 K (Java/Others)Tota ...

  5. 【BZOJ4596】黑暗前的幻想乡(矩阵树定理,容斥)

    [BZOJ4596]黑暗前的幻想乡(矩阵树定理,容斥) 题面 BZOJ 有\(n\)个点,要求连出一棵生成树, 指定了一些边可以染成某种颜色,一共\(n-1\)种颜色, 求所有颜色都出现过的生成树方案 ...

  6. poj 1681(Gauss 消元)

    Painter's Problem Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 5875   Accepted: 2825 ...

  7. POJ 1830 开关问题(Gauss 消元)

    开关问题 Time Limit: 1000MS   Memory Limit: 30000K Total Submissions: 7726   Accepted: 3032 Description ...

  8. bzoj4596/luoguP4336 [SHOI2016]黑暗前的幻想乡(矩阵树定理,容斥)

    bzoj4596/luoguP4336 [SHOI2016]黑暗前的幻想乡(矩阵树定理,容斥) bzoj Luogu 题解时间 看一看数据范围,求生成树个数毫无疑问直接上矩阵树定理. 但是要求每条边都 ...

  9. loj#6072 苹果树(折半搜索,矩阵树定理,容斥)

    loj#6072 苹果树(折半搜索,矩阵树定理,容斥) loj 题解时间 $ n \le 40 $ . 无比精确的数字. 很明显只要一个方案不超过 $ limits $ ,之后的计算就跟选哪个没关系了 ...

随机推荐

  1. python re模块与正则

    1. re模块 1.1 转义符 正则表达式中的转义符在python的字符串中也刚好有转移的作用,但是正则表达式中的转义符和字符串中的转义符并没关系,且还容易有冲突. 为了避免这种冲突,我们所有的正则都 ...

  2. react入门--------安装react

    创建一个单页面应用 Create React App是开始构建新的React单页应用程序的最佳方式. 它可以帮助您快速集成您的开发环境,以便您可以使用最新的JavaScript功能,它提供了一个很好的 ...

  3. git删除远程remote分支

    git 命令如下: git push origin --delete <远程分支名字>

  4. HDU 4923 (贪心+证明)

    Room and Moor Problem Description PM Room defines a sequence A = {A1, A2,..., AN}, each of which is ...

  5. KMP超强模板贴一份

    )== ) {         );         next[]=; ;         ;i<=n;i++) {             ]!=str[i]) j=next[j];      ...

  6. hdu 1874 dijkstra 队列实现 比数组高效特别在稀疏图

    参考  http://blog.csdn.net/zhuyingqingfen/article/details/6370561 刘汝佳白皮书 #include<stdio.h> #incl ...

  7. Build Tools主流是什么?为什么要使用它?

    Build Tools 即构建工具是一个把源代码生成可执行应用程序的过程自动化的程序(例如Android app生成apk).构建包括编译.连接跟把代码打包成可用的或可执行的形式. 1.构建工具的作用 ...

  8. 在Electron中通过ffi模块实现JavaScript调用C++动态库

    目前在网上能搜到的JS调C++动态库的实现有两种,一种是通过开发Node.js addon模块的方式实现调用,这种对于我们已有的代码实现比较复杂,需要大量的开发,因此不适用:另一种是通过FFI模块,F ...

  9. 在SAE搭建Python+Django+MySQL(基于Windows)

    为了与时俱进,工作闲余開始研究Python,刚一接触就被Python这"优雅"的语法吸引住.后来接触到了Django.尽管还没有太深入的研究.但对这样的新概念的WEB开发非常感兴趣 ...

  10. R语言学习笔记-Error in ts(x):对象不是矩阵问题解决

    1.问题 在对时间序列进行拟合操作时,发生:Error in ts(x):对象不是矩阵的错误,而直接在arima()函数中使用时没有问题的. > sample<-c2 > sampl ...