一.图的概念： 1.图、无向图、有向图、完全图 2.度、入度、出度 3.路径：由顶点和相邻顶点序偶构成的边所形成的序列 4.连通图、连通分量（无向图） 5.强连通图、连通分量：极大强连通子图（有向图） 二. 图的存储结构： 1.邻接矩阵 typedef struct { char vexs[maxv ...
分类：
其他好文 时间：
2020-06-14 20:53:21
阅读次数：
88
约定 我是怎么存图的呢？ 普通的邻接表。 const int N = 1e5+15; // 点数 const int M = 1e6+15; // 边数 int ct,hd[N],nt[M<<1],vr[M<<1],vl[M<<1]; void ad(int a,int b,int c) { // ...
分类：
编程语言 时间：
2020-06-03 21:57:14
阅读次数：
98
第三单元我们对JML进行了学习，并加深了对形式化设计的理解。本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。 一、JML理论基础 JML是对java程序进行规格化设计 ...
分类：
其他好文 时间：
2020-05-22 11:17:54
阅读次数：
53
对于有向图问题，如果能转化成dag那么就会好做很多，因为这题如果是dag，那么只要只存在一格出度为0的，就是答案 而强连通分量中的点都可以互达，所以进行tarjan缩点。 tarjan缩点的原理，分为四个边，树边，前向边，后向边，横叉边 dfn是时间戳，tarjan的栈中存的是祖先和已被遍历的并且能 ...
"题目链接" 题目大意 给你一个图，从0出发可以到达每个点，问从0出发访问每条边的花费，图中如果一些点可以相互到达的话，那么这些点之间的边的花费可以忽略不计。 解题思路 从相互到达的点的花费可以忽略这点来看，显然是让算强连通分量的。对于同一个强连通分量，只需要找一个最短的边，这个边连接另外一个强连通 ...
分类：
其他好文 时间：
2020-05-13 12:24:16
阅读次数：
49
链接 原题链接 算法概述 显然，对于图中任意一个强连通分量来说，只要将软件发给其中任意一个点，就可以到达该强连通分量中的其他所有点。 基于此，我们容易想到先用Tarjan算法求强连通分量，再缩点，从而简化整张图，方便我们思考。 缩完点之后这张图就变成了一张有向无环图，第一问是求将一个软件至少直接发给 ...
LINK： "Lis The Postman" 看完题觉得 虽然容易发现是有向图欧拉回路 但是觉得很难解决这个问题。 先分析一下有向图的欧拉回路：充要条件 图中每个点的入度 出度=0且整张图是一个强连通分量。 证明：首先考虑前者 这个思想是 从一个点出去必然还能回来所以可以形成回路 后者保证了图是联 ...
分类：
其他好文 时间：
2020-05-10 15:19:34
阅读次数：
79
```//对于一个有向图，连通分量：对于分量中任意两点uv，//必然可以从u走到v，也可以从v走到u//强连通分量(scc)：极大连通分量，也就是加上任何一个点之后，都不是连通分量//有向图通过缩点，转化为有向无环图(DAG)，拓扑图//缩点是指将所有连通分量缩成一个点//Tarjan算法求scc/... ...
分类：
其他好文 时间：
2020-05-08 18:02:50
阅读次数：
74
PageRank是网页重要程度计算方法，可推广到有向图结点的重要程度的计算。基本思想是在有向图上定义随机游走模型，在一定条件下，极限情况访问每个结点的概率收敛到平稳分布。 给定有n个结点强连通且非周期性的有向图，在其基础上定义随机游走模型。假设转移矩阵M，在时刻0，1，2，…，t，…访问各个结点概率... ...
分类：
编程语言 时间：
2020-05-03 16:57:56
阅读次数：
111
题目背景 缩点+DP 题目描述 给定一个 nnn 个点 mmm 条边有向图，每个点有一个权值，求一条路径，使路径经过的点权值之和最大。你只需要求出这个权值和。 允许多次经过一条边或者一个点，但是，重复经过的点，权值只计算一次。 输入格式 第一行两个正整数 n,mn,mn,m 第二行 nnn 个整数， ...
分类：
其他好文 时间：
2020-05-03 12:40:25
阅读次数：
60
