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 $ ,之后的计算就跟选哪个没关系了 ...
随机推荐
- Spring核心技术(一)——IoC容器和Bean简介
IoC容器和Bean简介 这章包括了Spring框架对于IoC规则的实现.Ioc也同DI(依赖注入).而对象是通过构造函数,工厂方法,或者一些Set方法来定义对象之间的依赖的.容器在创建这些Bean对 ...
- 如何创建新用户和授予MySQL中的权限
原创官网http://www.howtoing.com/how-to-create-a-new-user-and-grant-permissions-in-mysql/ 关于MySQL MySQL是一 ...
- hdu 1853 KM算法
#include<stdio.h> #include<math.h> #include<string.h> #define N 200 #define inf 99 ...
- [bzoj1612][Usaco2008 Jan]Cow Contest奶牛的比赛_dfs
Cow Contest奶牛的比赛 bzoj-1612 Usaco-2008 Jan 题目大意:题目链接. 注释:略. 想法: 我们对于每个点dfs,看一下比这个点大的点加上比这个点小的点是否是n-1即 ...
- Ubuntu查看系统版本的方法
1. less /etc/issue 2. less /proc/version 3. uname -a 4. lsb_release -a
- Java Number类(数据类型的包装类)
Java Number 一般地,当需要使用数字的时候,我们通常使用内置数据类型,如:byte.int.long.double等. 例如: int i = 5000; float gpa = 13.65 ...
- Office 如何打印A4不干胶标签纸
1 下载Label Expert这个软件,注意不是第一个Avery Wizard(卖家可能会送你这个软件,但是送的这款软件是简体中文版的,似乎模板不全,所以最好还是自己下,反正我最后是由于找不到对应的 ...
- Android面试题1
1.Android中intent的是? 答:实现界面间的切换,能够包括动作和动作数据.连接四大组件的纽带. 2.SAX解析xml文件的长处的是? 答:不用事先调入整个文档,占用资源少 3.在andro ...
- Android 录制屏幕的实现方法
Android 录制屏幕的实现方法 Chrome 2017-02-15 15:32:01 发布 您的评价: 5.0 收藏 0收藏 长久以来,我一直希望能够直接从Androi ...
- ios 从rgb array生成UIImage并显示,oc版
; ; const size_t Area = Width * Height; ; // rgba std::vector<uint8_t> output(Area*channles); ...