洛谷 P3244 / loj 2115 [HNOI2015] 落忆枫音 题解【拓扑排序】【组合】【逆元】

组合计数的一道好题。什么非主流题目

题目背景

(背景冗长请到题目页面查看)

题目描述

不妨假设枫叶上有 \(n​\) 个穴位,穴位的编号为 \(1\sim n​\)。有若干条有向的脉络连接着这些穴位。穴位和脉络组成一个有向无环图——称之为脉络图(例如图 1),穴位的编号使得穴位 \(1​\) 没有从其他穴位连向它的脉络,即穴位 1 只有连出去的脉络;由上面的故事可知,这个有向无环图存在一个树形子图,它是以穴位 \(1​\) 为根的包含全部 \(n​\) 个穴位的一棵树——称之为脉络树(例如图 2 和图 3 给出的树都是图 1 给出的脉络图的子图);值得注意的是,脉络图中的脉络树方案可能有多种可能性,例如图 2 和图 3 就是图 1 给出的脉络图的两个脉络树方案。

5c6cfe1e60786.png

脉络树的形式化定义为:以穴位 \(r\) 为根的脉络树由枫叶上全部 \(n\) 个穴位以及 \(n-1\) 条脉络组成,脉络树里没有环,亦不存在从一个穴位连向自身的脉络,且对于枫叶上的每个穴位 \(s\),都存在一条唯一的包含于脉络树内的脉络路径,使得从穴位 \(r\) 出发沿着这条路径可以到达穴位 \(s\)

现在向脉络图添加一条与已有脉络不同的脉络(注意:连接 \(2\) 个穴位但方向不同的脉络是不同的脉络,例如从穴位 \(3\)\(4\) 的脉络与从 \(4\)\(3\) 的脉络是不同的脉络,因此,图 1 中不能添加从 \(3\)\(4\) 的脉络,但可添加从 \(4\)\(3\) 的脉络),这条新脉络可以是从一个穴位连向自身的(例如,图 1 中可添加从 \(4\)\(4\) 的脉络)。原脉络图添加这条新脉络后得到的新脉络图可能会出现脉络构成的环。

请你求出添加了这一条脉络之后的新脉络图的以穴位 \(1\) 为根的脉络树方案数。

由于方案可能有太多太多,请输出方案数对 \(1000000007\) 取模得到的结果。

输入格式

输入文件的第一行包含四个整数 \(n\)\(m\)\(x\)\(y\),依次代表枫叶上的穴位数、脉络数,以及要添加的脉络是从穴位 \(x\) 连向穴位 \(y\) 的。

接下来 \(m\) 行,每行两个整数,由空格隔开,代表一条脉络。第 \(i\) 行的两个整数为 \(u_i\)\(v_i\),代表第 \(i\) 条脉络是从穴位 \(u_i\) 连向穴位 \(v_i\) 的。

输出格式

输出一行,为添加了从穴位 \(x\) 连向穴位 \(y\) 的脉络后,枫叶上以穴位 \(1\) 为根的脉络树的方案数对 \(1000000007\) 取模得到的结果。

输入输出样例

输入样例:

4 4 4 3 
1 2 
1 3 
2 4 
3 2

输出样例:

3

数据范围与约定

对于所有测试数据,\(1\leq n\leq 100000, \ n-1 \leq m \leq \min \left(200000, \frac{n(n - 1)}{2}\right), \ 1 \leq x, y, u_i, v_i \leq n​\)

题解:

首先需要找出一个不需要拓扑排序就能解决不加边时的脉络树数量的方法。

对于每个点 \(u(u\ge 2)\) ,假定它的入度为 \(d_i\) ,则它有 \(d_i\) 个父亲可供选择。我们只需要从上往下看,就可以发现每一层都是互相独立的,因此加边之前脉络树的数量为
\[ \prod_{i=2}^nd_i \]
此时考虑加边。正常情况下按上面的方式计数,边数为 \(n-1\) 的图的总数 \(sum\)
\[ sum=\prod_{i=2}^n\left(d_i+[i=y]\right) \]
但是实际上不是所有 \(sum\) 种方案都符合题意,由于每个点选择父亲是自由从入边选的,因此可能存在环,此时就不满足”脉络树“的定义了,而且图/树也没有明显分层。

我们考虑所有的 \(sum​\) 种方案,从中减掉包含环的那些方案。由于我们加入的边是 \(\left<x,y\right>​\),所以一定是与路径 \(y\to x​\) 成环。因此我们只需要排除那些包含 \(y\to x\) 的路径的边数为 \(n-1​\) 的图就可以了。

注意由于加了新边之后的图只有一个环,因此 \(n-1​\) 条边的图也最多只有一个环。

话再说回来,包含 \(y\to x​\) 的路径的图我们可以认为这条路径上的所有点(包括 \(x,y​\))都被钦定了一个父亲(其中 \(x​\) 的父亲认为是 \(y​\),因为要成环)。假设用 \(S=\left\{a_i\right\}​\) 表示这条路径,那么包含 \(y\to x​\) 的图种类数就是 \(\prod_{i\notin S}d_i​\)

而最终的答案就是 \(sum-\sum_{S:y\to x}\prod_{i\notin S}d_i​\)

此时考虑如何求出所有的 \(y\to x\)。可以建立原图的反向边,跑拓扑排序。设定状态 \(f_k\) 表示 \(\sum_{S:k\to x}\prod_{i\notin S}d_i\),每次从原图的边 \(\left<u,v\right>\) 转移时,即钦定了 \(v\) 的入边,所以状态转移方程为
\[ f_u=\sum_{\left<u,v\right>\in E}\frac{f_v}{d_v} \]
由于我们还要钦定 \(x\) 的入边是 \(y\),因此最终的答案是
\[ ans=sum-\frac{f_x}{d_x} \]
时间复杂度为 \(O(n)\)\(O(n\log n)\) (在线求逆元)

Code:

#include<cstdio>
#include<cstring>
#define p 1000000007
int Plus(int x,int y)
{return (x+y>=p)?(x+y-p):(x+y);}
int Mul(int x,int y)
{return 1ll*x*y%p;}
struct edge
{int n,nxt;edge(int n,int nxt){this->n=n;this->nxt=nxt;}edge(){}
}e[200000];
int head[100100],ecnt=-1;
void add(int from,int to)
{e[++ecnt]=edge(to,head[from]);head[from]=ecnt;
}
int d[100100],in[100100];
//d表示真实入度 in表示拓扑排序中的入度
int q[100100],l=0,r=0;
int f[100100],inv[100100];
int main()
{memset(head,-1,sizeof(head));inv[1]=1;for(int i=2;i<=100000;++i)inv[i]=Mul(p-p/i,inv[p%i]);int n,m,x,y,u,v;scanf("%d%d%d%d",&n,&m,&x,&y);for(int i=1;i<=m;++i){scanf("%d%d",&u,&v);add(v,u);++in[u];++d[v];}f[x]=1;int sum=1;for(int i=2;i<=n;++i){if(!in[i])q[++r]=i;f[x]=Mul(f[x],d[i]);sum=Mul(sum,d[i]+(i==y));}if(y==1){printf("%d\n",sum);return 0;}while(l<r){int k=q[++l];for(int i=head[k];~i;i=e[i].nxt){--in[e[i].n];f[e[i].n]=Plus(f[e[i].n],Mul(f[k],inv[d[k]]));if(!in[e[i].n])q[++r]=e[i].n;}}printf("%d\n",Plus(sum,p-Mul(f[y],inv[d[y]])));return 0;
}

转载于:https://www.cnblogs.com/wjyyy/p/lg3244.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/412100.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

配置msf连接postgresql数据库

BackTrack 5 R3版本的Metasploit在每次的升级后总会出现奇奇怪怪的错误&#xff0c;主要是Ruby的库出错&#xff0c;网上找了一些解决的办法&#xff0c;但每次更新后又会出错&#xff0c;蛋碎。 解决方法&#xff1a; BackTrack 5中默认自动开启端口7337。 1、查看PostgreSQL端…

web文件加密

讲解以及源代码下载ASP.NET 2.0: Encrypting Connection Strings http://blogs.vertigosoftware.com/snyholm/archive/2005/12/16/1746.aspx http://msdn2.microsoft.com/en-us/library/yxw286t2.aspx中文http://msdn2.microsoft.com/zh-cn/library/yxw286t2.aspx ASP.NET 2.0:…

java开发和android开发_浅谈Java开发和Android开发的不同

Java是具有多种用例的完整开发语言&#xff0c;包括Web开发&#xff0c;PC程序开发&#xff0c;嵌入式开发等。Android开发是面向手机应用&#xff0c;使用Java较多&#xff0c;还有常用的H5跨平台混合架构模式。一&#xff0c;UI界面开发不同1)Java Swing现在Java开发基本上都…

远程上传下载文件-Xftp5

Xftp5下载 链接&#xff1a;https://pan.baidu.com/s/1Wzso_Q7mPy5uGOUlripEWg 密码&#xff1a;xfx9 安装选择家庭版 由于21端口没有开&#xff0c;所以不能选FTP, 选择SFTP&#xff0c;22端口 用哪个用户登录机会自动到该用户的家目录 连接上出先乱码问题 属性 OK. 转载于:h…

java反射 pdf_java反射学习笔记整理.pdf

java反射学习笔记整理.pdf还剩15页未读&#xff0c;继续阅读下载文档到电脑&#xff0c;马上远离加班熬夜&#xff01;亲&#xff0c;很抱歉&#xff0c;此页已超出免费预览范围啦&#xff01;如果喜欢就下载吧&#xff0c;价低环保&#xff01;内容要点&#xff1a;Java 反射笔…

变态跳台阶

题目描述 一只青蛙一次可以跳上1级台阶&#xff0c;也可以跳上2级……它也可以跳上n级。求该青蛙跳上一个n级的台阶总共有多少种跳法。题解 简要提炼思路&#xff1a; 1、有n个台阶&#xff0c;则每次可以跳1&#xff0c;2&#xff0c;3&#xff0c;&#xff0c;&#xff0c;n个…

Visual Basic .NET处理Excle表格全接触

Visual Basic .Net处理Excel表格机理和处理Word文档一样&#xff0c;也是通过互操作&#xff0c;引入COM组件来实现的&#xff0c;所以前提条件是运行本文中介绍的程序的计算机必须安装Office 2000中的Excel软件。如果计算机安装的Office 2000&#xff0c;那么这个COM组件就是M…

aspnet_UsersInRoles_GetUsersInRoles

ALTERPROCEDUREdbo.aspnet_UsersInRoles_GetUsersInRoles --查询某角色的用户ApplicationNameNVARCHAR(256), RoleNameNVARCHAR(256)ASBEGINDECLAREApplicationIdUNIQUEIDENTIFIERSELECTApplicationIdNULLSELECTApplicationIdApplicationId FROMaspnet_Applications WHERELO…

Jenkins二 安装gitlab及其使用

git --version 如果没有安装git直接源码安装即可&#xff0c;如果安装了先删除原来的git。 yum -y remove git先安装编译git需要的包。 yum install zlib-devel perl-CPAN gettext curl-devel expat-devel gettext-devel openssl-devel下载&安装 去gitlab官网 https://abou…

编程使用资源文件实现多语言页面(In Action)

需求&#xff1a;我们的ASP.NET站点需要提供多语言支持&#xff0c;考虑到我们使用的是ASP.NET2.0&#xff0c;我们可以利用资源文件来实现。 <?xml:namespace prefix o ns "urn:schemas-microsoft-com:office:office" />NOTE:这里我们使用编程的方法实现&a…

java final内存机制_Java中的内存处理机制和final、static、final static总结

装载自&#xff1a;http://blog.csdn.net/wqthaha/article/details/20923579Java程序运行在JVM上&#xff0c;可以把JVM理解成Java程序和操作系统之间的桥梁&#xff0c;JVM实现了Java的平台无关性&#xff0c;由此可见JVM的重要性。所以在学习Java内存分配原理的时候一定要牢记…

MySQL中的字符集涵义及使用方法总结(二)

五.乱码的避免最好让上述9个字符集变量值保持一致&#xff0c;或者至少“兼容”&#xff0c;同时也要考虑到OS中locale的值。当然&#xff1a;character_set_system例外&#xff0c;它是存储和表示元信息使用的字符集&#xff0c;一般都是ascii串&#xff0c;使用utf8和使用lat…

vim 多行添加注释,取消注释

转发 已经验证 https://blog.csdn.net/SuiXin_123/article/details/81393397转载于:https://www.cnblogs.com/pingg/p/10509301.html

调用未知DLL中的导出函数

不知道诸位看官是否有过这样的经历&#xff1a;在不经意之间发现一个DLL文件&#xff0c;它里边有不少有趣的导出函数——但是由于你不知道如何调用这些函数&#xff0c;所以只能大发感慨而又无能为力焉。固然有些知名的DLL可以直接通过搜索引擎来找到它的使用方式&#xff08;…

构建之法与博客首秀

问题一&#xff1a;软件的安全功能是指什么呢&#xff1f; 我看了《构建之法》第七页对飞机安全功能的的描述&#xff0c;想知道在软件中是否有类似飞机的安全功能&#xff1f;如果有&#xff0c;具体是指什么功能呢&#xff1f;我在查阅资料后只找到对软件安全的的总结(软件安…

java接口import_深入理解Java架构师在组件注册@Import导入容器(ImportSelector接口)的神操作!...

ImportSelector&#xff1a;返回需要导入的组件的全类名数组创建一个实现了ImportSelector接口的类&#xff0c;然后让入Import中。ImportSelector的实现类包含了所有需要导入到容器中的组件。public class StuConfigurationImportSerlect implements ImportSelector {Override…

java builder pool_每周10道Java面试题:String, String Pool, StringBuilder

每周10道 Java 面试题由 ImportNew 整理编译自网络。1. 写出下面代码的运行结果。int src 65536;Integer dst new Integer(65536);System.out.println(src dst);System.out.println(dst.equals(src));答案&#xff1a; true true考点&#xff1a; Integer 的 equals 实现。查…

将字符串中的字符按Z字形排列,按行输出

示例1&#xff1a; Input: s "PAYPALISHIRING", numRows 3 Output: "PAHNAPLSIIGYIR" 示例2&#xff1a; Python解决方案&#xff1a; def convert(self, s, numRows):""":type s: str:type numRows: int:rtype: str"""…

大型网络架构变迁和知识图谱

——仅供个人学习使用&#xff0c;如有侵犯版权&#xff0c;请作者联系我&#xff0c;立马处理。 【前端页面缓存】 sessionStorage,localStorage,userData,cookie, [sessionStorage] h5后出现的新技术&#xff0c;这个生命周期短&#xff0c;当页面关闭后&#xff0c;存储资源…

H265摄像头如何实现网页直播

介绍 目前安防监控行业&#xff0c;基本所有的摄像头都支持H264编码&#xff0c;但是已经有部分摄像头开始支持H265&#xff0c;并且支持H265的摄像机已经越来越多。H265相比H264有着很多优势&#xff0c;是压缩更高&#xff0c;网络传输消耗的带宽更小&#xff0c;相同码率下H…