某考试 T2 orzcyr

非常nice的一道行列式的题目。
考虑如果没有路径不相交这个限制的话,那么这个题就是一个行列式:设 a[i][j] 为从编号第i小的源点到编号第j小的汇点的路径条数,那么矩阵a[][]的行列式就是的答案,因为行列式的定义就是给行一个列的排列,贡献就是所有a[i][p[i]]再乘上 (-1)^(p[] 这个排列的逆序对数).
但是路径不相交就很恶心。。。。根本没法分开算嘛。。。。
不过逆序对可是有一个特殊性质的: 如果把 p[i] 和 p[j] swap一下,那么这个排列的逆序对数的变化值一定是奇数。
这个不难证明,因为仅有权值和下标都在交换的两个数的中间的那些数会产生逆序对变化,但是变化都是双倍的,所以仅有 (p[i].p[j]) 造成了 +/- 1的影响是奇数。
然后我们可以发现两条相交的路径 (a,b) , (c,d) 我们把交点后面的路径 swap 一下,那么就是 (a,d) , (c,b)了,原理就是上述了。
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<ctime>
#define ll long long
using namespace std;
const int maxn=605;
int a[maxn][maxn],hd[maxn],num,f[maxn];
int to[maxn*100],ne[maxn*100],X,Y,d[maxn];
int id[maxn],od[maxn],n,m,p,dy[maxn];
int ans=1; inline void addline(int x,int y){ id[y]++,od[x]++,to[++num]=y,ne[num]=hd[x],hd[x]=num;}
inline int add(int x,int y){ x+=y; return x>=p?x-p:x;}
inline void ADD(int &x,int y){ x+=y; if(x>=p) x-=p;}
inline int mul(int x,int y,const int ha){ return x*(ll)y%ha;}
inline int ksm(int x,int y){
int an=1;
for(;y;y>>=1,x=mul(x,x,p)) if(y&1) an=mul(an,x,p);
return an;
} inline void build(int u){
queue<int> q; int x;
for(int i=1;i<=n;i++) if(!id[i]) q.push(i); memcpy(d,id,sizeof(id)); while(!q.empty()){
x=q.front(),q.pop();
// cout<<x<<' '<<f[x]<<endl;
for(int i=hd[x];i;i=ne[i]){
ADD(f[to[i]],f[x]);
if(!(--d[to[i]])) q.push(to[i]);
}
} for(int i=1;i<=n;i++) if(!od[i]) a[u][dy[i]]=f[i];
} inline void xy(){
/*
for(int i=1;i<=n;i++){
for(int j=1;j<=n;j++) printf("%d ",a[i][j]);
puts("");
}
*/ for(int i=1,inv,tmp;i<=n;i++){
if(!a[i][i]){
ans=p-ans;
for(int j=i+1;j<=n;j++) if(a[j][i]){
for(int k=i;k<=n;k++) swap(a[i][k],a[j][k]);
break;
}
} ans=mul(ans,a[i][i],p);
inv=ksm(a[i][i],p-2); for(int j=i+1;j<=n;j++) if(a[j][i]){
tmp=a[j][i]*(ll)inv%(const int)p;
for(int k=i;k<=n;k++) ADD(a[j][k],p-mul(a[i][k],tmp,p));
}
}
} inline void solve(){
for(int i=1;i<=n;i++) if(!od[i]) dy[i]=++Y;
for(int i=1;i<=n;i++) if(!id[i]){
memset(f,0,sizeof(f)),f[i]=1;
X++,build(X);
} /*
for(int i=1;i<=X;i++){
for(int j=1;j<=X;j++) printf("%d ",a[i][j]);
puts("");
}
*/ n=X,xy();
} int main(){
freopen("orzcyr.in","r",stdin);
freopen("orzcyr.out","w",stdout); scanf("%d%d%d",&n,&m,&p); int uu,vv;
while(m--) scanf("%d%d",&uu,&vv),addline(uu,vv); solve(); printf("%d\n",ans);
// cout<<X<<' '<<Y<<endl;
return 0;
}
某考试 T2 orzcyr的更多相关文章
- 9.13 考试 T2 区间
删区间 题意: 给出一个长度为
- 某考试T2 frog
题目背景 无 题目描述 数轴上有 n 只青蛙,分别编号为 1 到 n.青蛙 i 的初始位置的坐标为 xi. 它们准备进行如下形式的移动:每轮包括 m 次跳跃,第 i 次跳跃由青蛙 ai(1 < ...
- 某考试 T2 Tree
2 树 2.1 题目描述 给一棵n 个节点的树,节点分别编号为0 到n - 1.你可以通过如下的操作来修改这棵树:首先先删去树上的一条边,此时树会分裂为两个连通块,然后在两个连通块之间加上一条新的边使 ...
- 某考试 T2 yja
2.1 Description 在平面上找 n 个点, 要求这 n 个点离原点的距离分别为 r1, r2, ..., rn. 最大化这 n 个点构成的凸包面积, 凸包上的点的顺序任意. 2.2 Inp ...
- 题解 2020.10.24 考试 T2 选数
题目传送门 题目大意 见题面. 思路 本来以为zcx.pxj变强了,后来发现是SPJ出问题了...考试的时候感觉有点人均啊...结果自己还是只想出来一半. 我们假设 \(f(x)=(\lfloor\f ...
- 2019.3.7考试T2 离线数论??
$ \color{#0066ff}{ 题目描述 }$ 一天,olinr 在 luogu.org 刷题,一点提交,等了一分钟之后,又蛙又替. olinr 发动了他的绝招,说:"为啥啊???&q ...
- 2019.2.26考试T2 矩阵快速幂加速DP
\(\color{#0066ff}{题解 }\) 可以发现, 数据范围中的n特别小,容易想到状压 可以想到类似于状压DP的思路,按列进行转移 那么应该有3维,\(f[i][j][k]\)代表到第i列, ...
- 2019.2.10考试T2, 多项式求exp+生成函数
\(\color{#0066ff}{ 题目描述 }\) 为了减小文件大小,这里不写一堆题目背景了. 请写一个程序,输入一个数字N,输出N个点的森林的数量.点有标号. 森林是一种无向图,要求图中不能存在 ...
- 某考试 T2 Seg
Seg [问题描述]数轴上有n条线段,第i条线段的左端点是a[i],右端点是b[i].Bob发现1~2n共2n个整数点,每个点都是某条线段的端点.这些线段有如下两类特点:1 x y,表示第x条线段和第 ...
随机推荐
- WCF分布式开发步步为赢(13):WCF服务离线操作与消息队列MSMQ
之前曾经写过一个关于MSMQ消息队列的文章:WCF分布式开发必备知识(1):MSMQ消息队列 ,当时的目的也是用它来作为学习WCF 消息队列MSMQ编程的基础文章.在那篇文章里,我们详细介绍了MSMQ ...
- HDU4185:Oil Skimming(二分图最大匹配)
Oil Skimming Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Tota ...
- 继承spring的validator接口,实现对数据的校验
在org.springframework.validation这个包中提供了一些对数据校验的方法,其中Validator接口是其中的一个. 现在用Validator接口,完成对数据的校验. 第一步:先 ...
- selenium 获取某个元素的html
<table> <tbody id="tb-37327761306"> <tr class="sep-row"><td ...
- Java之戳中痛点 - (5)switch语句break不能忘以及default不同位置的用法
先看一段代码: public class Test{ public static void main(String[] args){ System.)); } } public static Stri ...
- PHP代码优化小笔记
1.十万级以上次执行情况,方法可以被静态化,考虑声明为静态.html静态页面速度更快 2.echo 替换print:echo时逗号连接符替换点号连接符 3.循环之前设置循环最大次数,循环参数不要使用函 ...
- nginx的常规配置
程序员们,在北上广你还能买房吗? >>> nginx的常规配置 nginx的使用非常简单,只需要配置好我们需要的各种指令,就能跑起来.如果你需要添加模块,还需要添加模块方面的配 ...
- 膨胀、腐蚀、开、闭(matlab实现)
膨胀.腐蚀.开.闭运算是数学形态学最基本的变换. 本文主要针对二值图像的形态学 膨胀:把二值图像各1像素连接成分的边界扩大一层(填充边缘或0像素内部的孔): B=[0 1 0 1 1 1 ...
- bzoj 1412 最小割 网络流
比较明显的最小割建模, 因为我们需要把狼和羊分开. 那么我们连接source和每个羊,流量为inf,代表这条边不能成为最小割中的点,同理连接每个狼和汇,流量为inf,正确性同上,那么对于每个相邻的羊和 ...
- 为什么VS没有提供平win64程序编写项
最近在学习C++和MFC编程,突然有个疑问,为什么每次新建项目时,都只有win32 console application,从来没见过win64的选项,于是去网上查了查,下面是我找到的几个答案: 作者 ...