51nod1446 Kirchhoff矩阵+Gauss消元+容斥+折半DFS
思路:

//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的更多相关文章
- $Gauss$消元
$Gauss$消元 今天金牌爷来问我一个高消的题目,我才想起来忘了学高消... 高斯消元用于解线性方程组,也就是形如: $\left\{\begin{matrix}a_{11}x_1+a_{12}x_ ...
- 求一个n元一次方程的解,Gauss消元
求一个n元一次方程的解,Gauss消元 const Matrix=require('./Matrix.js') /*Gauss 消元 传入一个矩阵,传出结果 */ function Gauss(mat ...
- Gauss 消元(模板)
/* title:Gauss消元整数解/小数解整数矩阵模板 author:lhk time: 2016.9.11 没学vim的菜鸡自己手打了 */ #include<cstdio> #in ...
- hdu 5755(Gauss 消元) &poj 2947
Gambler Bo Time Limit: 8000/4000 MS (Java/Others) Memory Limit: 131072/131072 K (Java/Others)Tota ...
- 【BZOJ4596】黑暗前的幻想乡(矩阵树定理,容斥)
[BZOJ4596]黑暗前的幻想乡(矩阵树定理,容斥) 题面 BZOJ 有\(n\)个点,要求连出一棵生成树, 指定了一些边可以染成某种颜色,一共\(n-1\)种颜色, 求所有颜色都出现过的生成树方案 ...
- poj 1681(Gauss 消元)
Painter's Problem Time Limit: 1000MS Memory Limit: 10000K Total Submissions: 5875 Accepted: 2825 ...
- POJ 1830 开关问题(Gauss 消元)
开关问题 Time Limit: 1000MS Memory Limit: 30000K Total Submissions: 7726 Accepted: 3032 Description ...
- bzoj4596/luoguP4336 [SHOI2016]黑暗前的幻想乡(矩阵树定理,容斥)
bzoj4596/luoguP4336 [SHOI2016]黑暗前的幻想乡(矩阵树定理,容斥) bzoj Luogu 题解时间 看一看数据范围,求生成树个数毫无疑问直接上矩阵树定理. 但是要求每条边都 ...
- loj#6072 苹果树(折半搜索,矩阵树定理,容斥)
loj#6072 苹果树(折半搜索,矩阵树定理,容斥) loj 题解时间 $ n \le 40 $ . 无比精确的数字. 很明显只要一个方案不超过 $ limits $ ,之后的计算就跟选哪个没关系了 ...
随机推荐
- LINUX-文件的权限 - 使用 "+" 设置权限,使用 "-" 用于取消
ls -lh 显示权限 ls /tmp | pr -T5 -W$COLUMNS 将终端划分成5栏显示 chmod ugo+rwx directory1 设置目录的所有人(u).群组(g)以及其他人(o ...
- led1,1s取反,led2计数10次取反
1 //利用定时器0 1s,led1取反,利用计数器1,跳10,取反 #include<reg52.h> #define uchar unsigned char #define uint ...
- PAT 1126 Eulerian Path
In graph theory, an Eulerian path is a path in a graph which visits every edge exactly once. Similar ...
- sql语句的字段转成Date
ms_sql:convert(datetime,'2010-11-13')cast('2017-01-01' as datetime) Oracle:to_date('2017-01-01') mys ...
- BZOJ5089: 最大连续子段和
维护一个序列支持以下操作:区间加,区间求最大子段和.n<=50000,m<=50000. 我TM再也不写分块了... 先分块,对于块整体加的操作,假设块里面有若干二元组(x,y),表示一个 ...
- hdu3303
分析:一个最暴力的想法是把加入到集合S的数据一个个按顺序保存起来,然后每次查询的时候由后向前计算余数,如果遇到余数为0的,就直接把时间输出,否则就一直比较到最后找余数最小时间最晚的,这样查询的时间复杂 ...
- lombok中的@ToString注解作用
Lombok是一个很好的工具,节省了很多重写方法,而@ToString就是节省了ToString方法,lombok中@ToString就是节省了我们在模型中的冗余代码下面就来举个例子 import j ...
- Ubuntu下非常规方法安装绿色软件(压缩包)
继上一篇http://www.cnblogs.com/EasonJim/p/7117567.html文章中说的常规方式安装的软件,都会自动在命令行及Dash Home中体现. 但是如果是使用压缩包进行 ...
- Android 内存管理
1.Activity中的对象生命周期勿大于Activity的生命周期.OOM演示样例代码例如以下: private static Drawable sBackground; @Override pro ...
- varnish代理server笔记
varnish是一款开源的代理server软件.和Squid的差别是採用内存进行数据缓存. 速度很的快,并且不easy崩溃.可是奔溃之后全部数据都消失,导致全部请求全部发送至后台server端,这是其 ...