SCC缩点

最新推荐文章于 2024-06-12 10:00:23 发布
最新推荐文章于 2024-06-12 10:00:23 发布
阅读量688 收藏 22
点赞数 24
分类专栏： algorithms 文章标签： 图论 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/hydrogend/article/details/138547705
版权

一、P2812 校园网络【[USACO]Network of Schools加强版】

P2812 校园网络【[USACO]Network of Schools加强版】

1、算法简析

首先，建立一张有向图——学校是节点，学校间的单向线路是有向边。 Q 1 Q_1 Q1​：选出若干个节点，从这些节点出发可以到达其它的任意节点（即不考虑选出的节点），求这些节点数量的最小值。 Q 2 Q_2 Q2​：添加若干条有向边，使有向图中任意两点可以相互到达，求这些边数量的最小值。

我们知道，在强连通分量中，任意两点可以相互到达，所以对于一个强连通分量，只要有一个节点作为代表即可。因此，我们可以通过 T a r j a n Tarjan Tarjan 算法求 S C C SCC SCC，用 S C C SCC SCC 的编号建立新的节点，代替相应的强连通分量。然后建立新图，对原图进行了简化。这就是 S C C SCC SCC 缩点问题。

接下来，在缩点后的新图（无环图 D A G DAG DAG）上讨论问题。

对于 Q 1 Q_1 Q1​，若一个节点的入度为 0 0 0，则其它节点不可能到达它，所以该点必须作为起点。因此，入度为 0 0 0 的节点个数即所求。

对于 Q 2 Q_2 Q2​，要使任意两点可以相互到达，那么任意节点的出入度都不能为 0 0 0。又要使添加的边数最少，可以令出度为 0 0 0 的节点指向入度为 0 0 0 的节点。若两种节点的数量相等，则该数即所求。若数量不等，则取二者的最大值。因此出入度为 0 0 0 的节点数的最大值即所求。

2、Code

#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

const int MAX = 1e4 + 3;
int N;
vector<int> G[MAX];
int dfn[MAX], low[MAX], tot;
stack<int> S;
bool instk[MAX];
int scc[MAX], cnt; 
int din[MAX], dout[MAX];      // din[x] -- 缩点i的入度; dout[x] -- 缩点i的出度

void tarjan(int u)
{
	dfn[u] = low[u] = ++tot;
	S.push(u), instk[u] = true;
	
	for (int i = 0; i < G[u].size(); ++i)
	{
		int v = G[u][i];
		if (!dfn[v])
		{
			tarjan(v);
			low[u] = min(low[u], low[v]);
		}
		else if (instk[v])
			low[u] = min(low[u], dfn[v]);
	}
	
	if (dfn[u] == low[u])
	{
		int t;
		++cnt;
		do
		{
			t = S.top();
			S.pop(), instk[t] = false;
			scc[t] = cnt;
		} while (t != u);
	}
}

int main()
{
	#ifdef LOCAL
	freopen("test.in", "r", stdin);
	#endif
	
	cin >> N;
	for (int i = 1; i <= N; ++i)
	{
		int a;
		while (cin >> a && a)
			G[i].push_back(a);
	}
	
	// scc缩点处理 
	for (int i = 1; i <= N; ++i)
		if (!dfn[i])
			tarjan(i);
			
	// 计算出入度
	for (int i = 1; i <= N; ++i)
	{
		for (int j = 0; j < G[i].size(); ++j)
		{
			int v = G[i][j];
			if (scc[i] != scc[v])
			{
				++din[scc[v]];
				++dout[scc[i]];	
			}	
		}	
	}
	
	// 计算出入度为零的节点个数
	int a = 0, b = 0;
	for (int i = 1; i <= cnt; ++i)
	{
		if (!din[i])    ++a;
		if (!dout[i])    ++b;
	}
	
	// 问1：入度为0的节点即所求
	cout << a << endl;
	// 问2：要满足题意，则所有节点的出入度都不为0。
	// 要使使用的边最少，则将出度为0的节点指向入度为0的节点。
	// 两种节点的个数相等的情况下，两者的个数即所求。
	// 若不相等，取二者的max。
	if (cnt == 1)    cout << 0 << endl;    // 特判，此时原图就是连通的，不需要添边 
	else    cout << max(a, b) << endl; 
	
	return 0;
}

二、P2341 [USACO03FALL / HAOI2006] 受欢迎的牛 G

P2341 [USACO03FALL / HAOI2006] 受欢迎的牛 G

1、算法简析

建立有向图模型：奶牛是节点，“喜欢”是有向边。因为强连通分量的定义，所以一个强连通分量中的奶牛都可能是“明星”。因此，我们进行 S C C SCC SCC 缩点处理，使原图变成 D A G DAG DAG 图。此时，若我们选择一个入度为 0 0 0 的节点作为根节点，向上拉直，就形成了一棵树（当然，原图可能是不连通的，所以也可能形成森林）。显然，树（森林）的叶子节点就是所求。换句话说，也就是出度为 0 0 0 的 S C C SCC SCC 中的节点即所求。

需要注意的是，若出度为 0 0 0 的 S C C SCC SCC 的个数大于 1 1 1，则满足条件的节点个数为 0 0 0。因为“明星奶牛”需要能被所有节点访问，若存在其它节点的出度为 0 0 0，显然就不能满足要求。也就是说，形成的树（森林）的叶子节点只能有一个。或者，出度为 0 0 0 的 S C C SCC SCC 的个数只能为 1 1 1。

2、Code

#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

ll quickin(void)
{
	ll ret = 0;
	bool flag = false;
	char ch = getchar();
	while (ch < '0' || ch > '9')
	{
		if (ch == '-')    flag = true;
		ch = getchar();
	}
	while (ch >= '0' && ch <= '9' && ch != EOF)
	{
		ret = ret * 10 + ch - '0';
		ch = getchar();
	}
	if (flag)    ret = -ret;
	return ret;
}

const int MAX = 1e4 + 3;
int N, M;
vector<int> G[MAX];
int dfn[MAX], low[MAX], tot;
stack<int> S;
bool instk[MAX];
int scc[MAX], siz[MAX], cnt;
int dout[MAX];

void tarjan(int u)
{
	dfn[u] = low[u] = ++tot;
	S.push(u), instk[u] = true;
	
	for (int i = 0; i < G[u].size(); ++i)
	{
		int v = G[u][i];
		if (!dfn[v])
		{
			tarjan(v);
			low[u] = min(low[u], low[v]);
		}
		else if (instk[v])
			low[u] = min(low[u], dfn[v]);
	}
	
	if (dfn[u] == low[u])
	{
		int t;
		++cnt;
		do
		{
			t = S.top();
			S.pop(), instk[t] = false;
			scc[t] = cnt;
			++siz[cnt];
		} while (t != u);
	}
}

int main()
{
	#ifdef LOCAL
	freopen("test.in", "r", stdin);
	#endif
	
	N = quickin(), M = quickin();
	for (int i = 0; i < M; ++i)
	{
		int a, b;
		a = quickin(), b = quickin();
		G[a].push_back(b);
	}
	
	for (int i = 1; i <= N; ++i)
		if (!dfn[i])
			tarjan(i);
			
	for (int i = 1; i <= N; ++i)
	{
		for (int j = 0; j < G[i].size(); ++j)
		{
			int v = G[i][j];
			if (scc[i] != scc[v])
			{
				++dout[scc[i]];
			}
		}
	}
	
	int sum = 0, zeros = 0; // sum -- 出度为0的SCC包含的节点个数; zeors -- 出度为0的SCC个数
	for (int i = 1; i <= cnt; ++i)
	{
		if (!dout[i])
		{
			sum += siz[i];
			++zeros;
		}
	}
	
	if (zeros > 1)    sum = 0; // 特判：若存在两个及以上的SCC出度为0，它们肯定无法相互访问，都不满足要求 
	cout << sum << endl;
	
	return 0;
}

三、P3387 【模板】缩点

P3387 【模板】缩点

1、算法简析

对于本题，我们可以先进行缩点，建立一张新的 D A G DAG DAG 图，然后在新图上寻找最大的权值之和。

注意， S C C SCC SCC 缩点后，新节点的编号满足拓扑序列。因此，可以用动态规划求最大值。

2、Code

#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

ll quickin(void)
{
	ll ret = 0;
	bool flag = false;
	char ch = getchar();
	while (ch < '0' || ch > '9')
	{
		if (ch == '-')    flag = true;
		ch = getchar();
	}
	while (ch >= '0' && ch <= '9' && ch != EOF)
	{
		ret = ret * 10 + ch - '0';
		ch = getchar();
	}
	if (flag)    ret = -ret;
	return ret;
}

const int MAX = 1e4 + 3;
int N, M, worth[MAX];
vector<int> G[MAX];
int dfn[MAX], low[MAX], tot;
stack<int> S;
bool instk[MAX];
int scc[MAX], cnt;
int nworth[MAX];         // 新图中各节点的权值 
vector<int> nG[MAX];     // 新图中的边 
int dp[MAX];             // dp[u] -- 以u为起点的路径的最大值 

void tarjan(int u)
{
	dfn[u] = low[u] = ++tot;
	S.push(u), instk[u] = true;
	
	for (int i = 0; i < G[u].size(); ++i)
	{
		int v = G[u][i];
		if (!dfn[v])
		{
			tarjan(v);
			low[u] = min(low[u], low[v]);
		}
		else if (instk[v])
			low[u] = min(low[u], dfn[v]);
	}
	
	if (dfn[u] == low[u])
	{
		int t;
		++cnt;
		do
		{
			t = S.top();
			S.pop(), instk[t] = false;
			scc[t] = cnt;
		} while (t != u);
	}
}

int main()
{
	#ifdef LOCAL
	freopen("test.in", "r", stdin);
	#endif
	
	N = quickin(), M = quickin();
	for (int i = 1; i <= N; ++i)
		worth[i] = quickin();
	for (int i = 0; i < M; ++i)
	{
		int a, b;
		a = quickin(), b = quickin();
		G[a].push_back(b);
	}
	
	for (int i = 1; i <= N; ++i)
		if (!dfn[i])
			tarjan(i);
			
	for (int u = 1; u <= N; ++u)
	{
		nworth[scc[u]] += worth[u];              // 新节点的权值 
		for (int i = 0; i < G[u].size(); ++i)
		{
			int v = G[u][i];
			if (scc[u] != scc[v])                // 存新边 
				nG[scc[u]].push_back(scc[v]);
		}
	}
	
	// SCC缩点后的新节点的编号按降序满足拓扑序列
	for (int u = 1; u <= N; ++u)
	{
		if (dp[u] == 0)    dp[u] = nworth[u];

		for (int i = 0; i < nG[u].size(); ++i)
		{
			int v = nG[u][i];
			dp[u] = max(dp[u], dp[v] + nworth[u]);
		}
	}
	
	int ans = 0;
	for (int i = 1; i <= cnt; ++i)
		ans = max(ans, dp[i]);
		
	cout << ans << endl; 
	
	return 0;
}

完

effewf
关注
  • 24
    点赞
  • 踩
  • 22
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
SCC.rar_SCC
09-23
本代码应用于串口通信的应用熟悉Tornado的集成开发环境，通过CS850（CPU是Motorola的Power PC 850）的SCC（Serial Communication Controller）端口在NMSI方式下实现HDLC（High Data Link Communication）协议的自环...
scc.rar_SCC
09-21
编译器词法分析器。没有错误处理。只实现了基本功能
指定点缩放-scc.VLX
08-15
cad指定点批量缩放图形，图元，提高画图效率。
SCC串口工具
03-12
方便使用的串口工具（Commonitor.exe）
Services Computing SCC2019
06-20
Services Computing SCC2019， 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
图论常见算法总结——prim,kruskal,dijkstra,floyed,bellman-ford,spfa
Se_ren_di_pity的博客
06-11 827
我们对到达结点u的最短路径所经历过的结点数cnt进行统计，显然cnt[u]不会超过n，若超过了n，说明已形成环路，且一定是负环。我们先建立一层外层循环，在每一次循环中，都枚举图中的m条边，并对起点到每一个结点的最短路径进行松弛更新，可以保证，每次最少更新一条边，那么在至多n-1次循环后，在循环中将不会再有边更新。任意选取一个起点u，设已加入树的结点为V，总结点为T，则每次搜索连接V与T-V的最短边，并使之加入V（即从T-V向V中加入一个新的节点），当T中所有节点访问完成，即为最小生成树。
计蒜客：C10 第四部分：深度优先搜索基础 引爆炸弹
dragonpig668899的博客
06-09 433
【代码】计蒜客：C10 第四部分：深度优先搜索基础 引爆炸弹。
【图论应用】使用多路图（multigraph）对上海地铁站点图建模，并解决最短路径问题
takedachia的博客
06-10 768
【图论应用】使用多路图（multigraph）对上海地铁站点图建模，并解决最短路径问题
ACM算法学习路线、清单
qq_45477639的博客
06-10 1782
算法与数据结构学习路线
图论第6天
weixin_41902984的博客
06-04 541
提高效率!!!两道题+看并查集。
计蒜客：C10 第四部分：深度优先搜索基础 踏青
dragonpig668899的博客
06-09 244
【代码】计蒜客：C10 第四部分：深度优先搜索基础 踏青。
最短路径Dijkstra算法详解
m0_72674633的博客
06-11 1262
最短路径Dijkstra算法知识详解
[AIGC] 图论在LeetCode算法题中的应用
程序员三木的博客
06-09 621
在深入研究示例之前，我们需要了解以下一些基本的图论概念。图是由节点（即顶点）和边构成的。每一条边都连接一对顶点。如果边有方向，称之为有向图。反之，如果边没有方向，我们称之为无向图。
图论第8天
weixin_41902984的博客
06-08 357
其实突然就对这行代码不理解了，需要做个小实验。其实就是后面可以跟一个等式。挺好挺好，默写出来啦！2.没有两个输入就是有成环。那明天开始做面试题。
图论第9天
weixin_41902984的博客
06-11 256
鉴于端午节让我迷失了三天，今天痛定思痛，不换工作之前就不玩dota了，谢幕战很高兴，土猫劣势翻盘，未来如果有时间就来两把炉石吧。先把两道新的题做完。然后改简历，明天带书去单位摸鱼。加油加油！！！要开始准备面试啦。
洛谷 B3609 [图论与代数结构 701] 强连通分量 题解 tarjan算法
一只摸鱼的bbc
06-11 978
图论 强连通分量 tarjan算法 洛谷题解 C++代码 附详细注释
牛客网刷题 | BC118 N个数之和
m0_64000959的博客
06-09 484
目前主要分为三个专栏，后续还会添加： 专栏如下： C语言刷题解析 C语言系列文章 我的成长经历感谢阅读！初来乍到，如有错误请指出，感谢！输入数字N，然后输入N个数，计算这N个数的和。第一行输入一个整数N(0≤N≤50)，第二行输入用空格分隔的N个整数。输出为一行，为第二行输入的“N个整数之和”的计算结果。使用数组的方式 先将用户输入的几个数字分别存起来定义一个变量将它数字的和加起来然后输出 代码 2 ： 输入n个数相加，应该想到循
力扣LCP 08.剧情触发时间
最新发布
Pisasama的博客
06-12 396
【代码】力扣LCP 08.剧情触发时间。
day31||第八章 贪心算法 part01● 理论基础 ● 455.分发饼干 ● 376. 摆动序列 ● 53. 最大子序和
xburner01的博客
06-09 250
思路没问题，代码仔细想想吧。尽可能把大饼干给大胃口的人，先排序是关键。
tarjan算法缩点
09-05
Tarjan算法是一种用于图的强连通分量（SCC）的缩点算法。它是由Robert Tarjan在1972年提出的。该算法可以将一个给定的有向图分解为多个强连通分量，并且将每个强连通分量缩成一个点，从而得到一个有向无环图（DAG）...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值