$f(i,G)_{x}$为$x$对$i$是否有贡献,即在枚举到$x$时,$i$与$x$是否强连通

事实上,$f(i,G)_{x}=1$即不经过$[1,x)$中的点且$i$与$x$强连通

首先,当存在这样的路径,即使$[1,x)$中的点全部删除两者也仍然强连通(有贡献)

同时,若不存在这样的路径,考虑任意两条$i$到$x$和$x$到$i$的路径$P_{1}$和$P_{2}$,对于$P_{1}$和$P_{2}$中编号最小的点$y$,即证明若$y<x$,则其在枚举到$x$时必然被删去

不妨假设$y$在$P_{1}$中,当枚举到$y$时显然存在走$P_{1}$从$i$到$y$的路径,以及$y$到$i$的路径(先走$P_{1}$从$y$到$i$,再走$P_{2}$从$x$到$i$),那么$y$即会被删除

综上,也就证明了前面的结论

考虑对于确定的$i$和$x$,满足$f(i,G_{j})_{x}=1$的$j$必然是一个前缀,下面求出这个前缀——

令$d(i,x,y)$表示从$i$到$x$不经过$[1,y]$的所有路径中,经过的编号最小值的最大值,那么这个前缀的范围即$[0,\min(d(i,x,x-1),d(x,i,x-1)))$,差分统计即可

(特别的,为了方便,定义$d(i,i,x)$为$m+1$)

下面考虑如何求出$d(i,x,y)$,显然其与最短路类似,且定义又与Floyd的过程相同,即从大到小枚举中转点来转移即可,复杂度为$o(n^{3}+m)$

也可以暴力计算,即枚举$x$并删去这些点,以$x$为起点对原图和反图分别求一次,同样可以用dijkstra等最短路算法,即可做到$o(nm\log n)$的复杂度

上述两种算法复杂度并不正确,但常数优秀都可以通过

下面给出两份被卡常数的代码,分别是44(Floyd)和80(Dijkstra)

 1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 1005
4 #define M 300005
5 int n,m,x,y,tot[M],f[N][N];
6 int main(){
7 scanf("%d%d",&n,&m);
8 memset(f,-1,sizeof(f));
9 for(int i=1;i<=n;i++)f[i][i]=m+1;
10 for(int i=1;i<=m;i++){
11 scanf("%d%d",&x,&y);
12 f[x][y]=i;
13 }
14 for(int i=n;i;i--){
15 for(int j=1;j<=n;j++)
16 for(int k=1;k<=n;k++)
17 if ((f[j][i]>0)&&(f[i][k]>0))f[j][k]=max(f[j][k],min(f[j][i],f[i][k]));
18 for(int j=i;j<=n;j++)
19 if ((f[i][j]>0)&&(f[j][i]>0))tot[min(f[i][j],f[j][i])-1]++;
20 }
21 for(int i=m;i;i--)tot[i-1]+=tot[i];
22 for(int i=0;i<=m;i++)printf("%d ",tot[i]);
23 }

 1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 1005
4 #define M 200005
5 struct Edge{
6 int nex,to,len;
7 }edge[M<<1];
8 priority_queue<pair<int,int> >q;
9 int E,n,m,x,y,head[2][N],d[2][N],vis[N],tot[M];
10 void add(int p,int x,int y,int z){
11 edge[E].nex=head[p][x];
12 edge[E].to=y;
13 edge[E].len=z;
14 head[p][x]=E++;
15 }
16 void calc(int p,int st){
17 memset(d[p],-1,sizeof(d[p]));
18 memset(vis,0,sizeof(vis));
19 d[p][st]=m+1;
20 q.push(make_pair(d[p][st],st));
21 while (!q.empty()){
22 int k=q.top().second;
23 q.pop();
24 if (vis[k])continue;
25 vis[k]=1;
26 for(int i=head[p][k];i!=-1;i=edge[i].nex)
27 if ((edge[i].to>=st)&&(d[p][edge[i].to]<min(d[p][k],edge[i].len))){
28 d[p][edge[i].to]=min(d[p][k],edge[i].len);
29 q.push(make_pair(d[p][edge[i].to],edge[i].to));
30 }
31 }
32 }
33 int main(){
34 scanf("%d%d",&n,&m);
35 memset(head,-1,sizeof(head));
36 for(int i=1;i<=m;i++){
37 scanf("%d%d",&x,&y);
38 add(0,x,y,i);
39 add(1,y,x,i);
40 }
41 for(int i=1;i<=n;i++){
42 calc(0,i),calc(1,i);
43 for(int j=i;j<=n;j++)
44 if ((d[0][j]>0)&&(d[1][j]>0))tot[min(d[0][j],d[1][j])-1]++;
45 }
46 for(int i=m;i;i--)tot[i-1]+=tot[i];
47 for(int i=0;i<=m;i++)printf("%d ",tot[i]);
48 }

事实上,还可以做到更优秀的复杂度,回到最初的结论

考虑先枚举$x$,并倒序加边,之后维护有多少个点$i$与$x$强连通即可

强连通即分为两部分,即$x$能到达$i$与$i$能到达$x$,且对于每一个具有单调性,即至多修改一次,因此只需要每一次能够快速找到修改的点即可(以下先考虑前者)

假设加入边$(a,b)$,若$a<x$或$b<x$显然无意义,否则分类讨论:

1.若$x$不能到达$a$或$x$能到达$b$,即目前不影响答案,但其会在以后影响答案,即加入边集

2.若$x$能到达$a$但不能到达$b$,从$b$开始dfs搜索,且在经过一条边后删除其

(关于这一做法的正确性:当一条边被经过后,若其内部没有加边显然没有再搜索的意义,而加边不妨直接对其子树内部搜索即可)

对于$i$能否到达$x$,对其反图做同样的过程即可

此时,对于每一条边仅被搜索一次,复杂度即为$o(nm)$,可以通过

另外由于常数问题,建议使用bfs,且这份代码也只能在洛谷上通过(常数问题)

 1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 1005
4 #define M 200005
5 struct Edge{
6 int nex,to,len;
7 }edge[M<<1];
8 priority_queue<pair<int,int> >q;
9 int E,n,m,x,y,head[2][N],d[2][N],vis[N],tot[M];
10 void add(int p,int x,int y,int z){
11 edge[E].nex=head[p][x];
12 edge[E].to=y;
13 edge[E].len=z;
14 head[p][x]=E++;
15 }
16 void calc(int p,int st){
17 memset(d[p],-1,sizeof(d[p]));
18 memset(vis,0,sizeof(vis));
19 d[p][st]=m+1;
20 q.push(make_pair(d[p][st],st));
21 while (!q.empty()){
22 int k=q.top().second;
23 q.pop();
24 if (vis[k])continue;
25 vis[k]=1;
26 for(int i=head[p][k];i!=-1;i=edge[i].nex)
27 if ((edge[i].to>=st)&&(d[p][edge[i].to]<min(d[p][k],edge[i].len))){
28 d[p][edge[i].to]=min(d[p][k],edge[i].len);
29 q.push(make_pair(d[p][edge[i].to],edge[i].to));
30 }
31 }
32 }
33 int main(){
34 scanf("%d%d",&n,&m);
35 memset(head,-1,sizeof(head));
36 for(int i=1;i<=m;i++){
37 scanf("%d%d",&x,&y);
38 add(0,x,y,i);
39 add(1,y,x,i);
40 }
41 for(int i=1;i<=n;i++){
42 calc(0,i),calc(1,i);
43 for(int j=i;j<=n;j++)
44 if ((d[0][j]>0)&&(d[1][j]>0))tot[min(d[0][j],d[1][j])-1]++;
45 }
46 for(int i=m;i;i--)tot[i-1]+=tot[i];
47 for(int i=0;i<=m;i++)printf("%d ",tot[i]);
48 }

[loj3501]图函数的更多相关文章

  1. matlab读图函数

    最基本的读图函数:imread imread函数的语法并不难,I=imread('D:\fyc-00_1-005.png');其中括号内写图片所在的完整路径(注意路径要用单引号括起来).I代表这个图片 ...

  2. JavaScript思维导图—函数基础

    JavaScript思维导图-来自@王子墨http://julying.com/blog/the-features-of-javascript-language-summary-maps/

  3. Django--视图函数views

    1 视图函数 一个视图函数,简称视图,是一个简单的Python 函数,它接受Web请求并且返回Web响应.响应可以是一张网页的HTML内容,一个重定向,一个404错误,一个XML文档,或者一张图片. ...

  4. django3-视图函数进阶

    1.视图函数的分类 FBV(fucntion base view) CBV(class base view) ,CBV根据定义的方法名 ,判断什么请求执行什么函数 2.FBV转换CBV (不太对劲) ...

  5. Django--视图函数

    目录 视图函数 HttpRequest对象 request属性 request常用方法 HttpResponse对象 render() redirect() JsonResponse 视图函数 一个视 ...

  6. Django-05-视图函数

    http请求中产生两个核心对象: http请求:HttpRequest对象 http响应:HttpResponse对象 所在位置:django.http 之前我们用到的参数request就是HttpR ...

  7. Django-视图函数view

    目录 1.Django的视图函数view 1.1一个简单的视图 2.CBV和FBV 3.使用Mixin(了解) 4.给视图加装饰器 4.1使用装饰器装饰FBV 4.2使用装饰器装饰CBV 5.requ ...

  8. Django-视图函数/模板渲染/过滤器

    一.Django的视图函数 一个视图函数(类),简称视图,是一个简单的Python 函数(类),它接受Web请求并且返回Web响应. 响应可以是一张网页的HTML内容,一个重定向,一个404错误,一个 ...

  9. MATLAB 颜色图函数(imagesc/scatter/polarPcolor/pcolor)

    2维的热度图 imagesc imagesc(x, y, z),x和y分别是横纵坐标,z为值,表示颜色 imagesc(theta,phi,slc); colorbar xlabel(); ylabe ...

随机推荐

  1. Go语言核心36讲(导读)--学习笔记

    目录 开篇词 | 跟着学,你也能成为Go语言高手 导读 | 写给0基础入门的Go语言学习者 导读 | 学习专栏的正确姿势 开篇词 | 跟着学,你也能成为Go语言高手 Go 语言是由 Google 出品 ...

  2. dp凸优化/wqs二分学习笔记(洛谷4383 [八省联考2018]林克卡特树lct)

    qwq 安利一个凸优化讲的比较好的博客 https://www.cnblogs.com/Gloid/p/9433783.html 但是他的暴力部分略微有点问题 qwq 我还是详细的讲一下这个题+这个知 ...

  3. ArrayList和LinkedList、及Vector对比分析

    ArrayList和LinkedList 底层结构 两者的差别主要来自于底层的数据结构不同,ArrayList是基于数组实现的,LinkedList是基于双链表实现的. 接口实现 LinkedList ...

  4. Jenkins 进阶篇 - 单元测试覆盖率

    我们做项目开发,肯定免不了要写单元测试,不管是 Java 项目.Python 项目.PHP 项目,甚至是 nodejs 项目,都应该要写单元测试,本小节就来介绍单元测试的覆盖率报告输出和展示,在后面的 ...

  5. 【二食堂】Beta - Scrum Meeting 5

    Scrum Meeting 5 例会时间:5.18 18:30~18:50 进度情况 组员 当前进度 今日任务 李健 1. 划词功能已经实现,继续开发,完善文本区域交互,调用API issue 1. ...

  6. SpringBoot小知识点

    记录SpringBoot的小知识点 一.在 Spring 上下文刷新之前设置一些自己的环境变量 1.实现 EnvironmentPostProcessor 接口 2.spring.factories ...

  7. Noip模拟6 2021.6.10

    T1 辣鸡 首先吐嘈一下,这题的测试点就离谱,不说了,附上我65分代码: 1 #include<bits/stdc++.h> 2 #define int long long 3 using ...

  8. GeoServer-Manager应用:java编码实现发布矢量数据或栅格数据至GeoServer

    目录 简介与下载 依赖 编码发布矢量数据 编码发布栅格数据 简介与下载 GeoServer-Manager是使用Java编写的面向GeoServer的客户端库,通过GeoServer的REST管理接口 ...

  9. Asp.Net mvc4 +Spring

    添加相应的引用对象.(以下全部) 修改mvc的Global.asax文件内容 需要将控制器中原来需要new出来的对象改成属性成员 添加这个属性的注入对象 再去修改spring对web.config的一 ...

  10. 正则表达式之grep

    grep 的五个参数,基本的常用的: -a :将 binary 档案以 text 档案的方式搜寻数据 -c :计算找到 '搜寻字符串' 的次数 -i :忽略大小写的不同,所以大小写视为相同 -n :顺 ...