热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

图论问题解析:POJ2762从u到v或从v到u的可达性判断(强连通分量缩点与单向连通性检测)

本文深入探讨了POJ2762问题,旨在通过强连通分量缩点和单向连通性的判断方法,解决有向图中任意两点之间的可达性问题。文章详细介绍了算法原理、实现步骤,并附带完整的代码示例。
在处理有向图中的可达性问题时,一个常见的挑战是判断任意两个节点u和v之间是否存在一条路径使得可以从其中一个节点到达另一个节点。为了高效地解决这个问题,我们可以利用强连通分量(SCC)的概念进行图的简化,并进一步判断简化后的图是否为单向连通。

### 题意解析
题目要求我们判断在一个有向图中,任意两点u和v之间是否可以通过一条路径相互到达。具体来说,就是检查是否存在一条从u到v或者从v到u的路径。

### 解决方案
1. **强连通分量缩点**:首先使用Tarjan算法将原图中的所有强连通分量进行缩点处理。每个强连通分量会被压缩成一个超级节点,从而形成一个新的有向无环图(DAG)。
2. **单向连通性判断**:接下来,我们需要判断这个新的DAG是否为单向连通。根据拓扑排序的性质,如果一个有向图是单向连通的,则其拓扑排序是唯一的。因此,我们可以通过计算入度来验证这一点。

#### 关键定理
一个有向图是单向连通的当且仅当其拓扑排序唯一。换句话说,在进行拓扑排序的过程中,不会出现多个节点同时具有零入度的情况。

#### 代码实现
以下是完整的C++代码实现,包括Tarjan算法用于求解强连通分量,以及后续的拓扑排序验证过程。

```cpp
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
typedef long long LL;
const int MAXN = 1e3 + 10;

struct Edge {
int to, next;
} edges[MAXN <<3], E[MAXN <<3];

int ID, H[MAXN];
int dfn[MAXN], low[MAXN], sccno[MAXN], head[MAXN], tot, dfs_clock, scc_cnt, in[MAXN], sccnum[MAXN];
stack S;

void init() {
ID = dfs_clock = tot = scc_cnt = 0;
memset(dfn, 0, sizeof(dfn));
memset(low, 0, sizeof(low));
memset(in, 0, sizeof(in));
memset(sccno, 0, sizeof(sccno));
memset(head, -1, sizeof(head));
memset(H, -1, sizeof(H));
}

void Tarjan(int u) {
int v;
dfn[u] = low[u] = ++dfs_clock;
S.push(u);
for (int i = head[u]; ~i; i = edges[i].next) {
v = edges[i].to;
if (!dfn[v]) {
Tarjan(v);
low[u] = min(low[u], low[v]);
} else if (!sccno[v]) {
low[u] = min(low[u], dfn[v]);
}
}
if (dfn[u] == low[u]) {
++scc_cnt;
while (true) {
int x = S.top(); S.pop();
sccno[x] = scc_cnt;
if (x == u) break;
}
}
}

void AddEdge(int u, int v) {
edges[tot] = (Edge){v, head[u]};
head[u] = tot++;
}

void new_AddEdge(int u, int v) {
E[ID] = (Edge){v, H[u]};
H[u] = ID++;
}

bool Topo() {
queue Q;
for (int u = 1; u <= scc_cnt; ++u) {
if (!in[u]) Q.push(u);
}
if (Q.size() > 1) return false;
while (!Q.empty()) {
int x = Q.front(); Q.pop();
for (int i = H[x]; ~i; i = E[i].next) {
int v = E[i].to;
in[v]--;
if (!in[v]) Q.push(v);
}
if (Q.size() > 1) return false;
}
return true;
}

int main() {
#ifndef ONLINE_JUDGE
freopen("in.txt", "r", stdin);
freopen("out.txt", "w", stdout);
#endif
int T, N, M, u, v;
scanf("%d", &T);
while (T--) {
scanf("%d%d", &N, &M);
init();
for (int i = 1; i <= M; ++i) {
scanf("%d%d", &u, &v);
AddEdge(u, v);
}
for (int i = 1; i <= N; ++i) {
if (!dfn[i]) Tarjan(i);
}
for (int u = 1; u <= N; ++u) {
for (int i = head[u]; ~i; i = edges[i].next) {
int v = edges[i].to;
if (sccno[u] != sccno[v]) {
new_AddEdge(sccno[u], sccno[v]);
in[sccno[v]]++;
}
}
}
if (Topo() || scc_cnt == 1) printf("Yes\n");
else printf("No\n");
}
return 0;
}
```

通过上述步骤和代码,我们可以有效地解决有向图中任意两点之间的可达性问题。希望这篇文章能为你提供有价值的参考。
推荐阅读
  • 题目Link题目学习link1题目学习link2题目学习link3%%%受益匪浅!-----&# ... [详细]
  • 扫描线三巨头 hdu1928hdu 1255  hdu 1542 [POJ 1151]
    学习链接:http:blog.csdn.netlwt36articledetails48908031学习扫描线主要学习的是一种扫描的思想,后期可以求解很 ... [详细]
  • 本题涉及一棵由N个节点组成的树(共有N-1条边),初始时所有节点均为白色。题目要求处理两种操作:一是改变某个节点的颜色(从白变黑或从黑变白);二是查询从根节点到指定节点路径上的第一个黑色节点,若无则输出-1。 ... [详细]
  • 题目描述:给定n个半开区间[a, b),要求使用两个互不重叠的记录器,求最多可以记录多少个区间。解决方案采用贪心算法,通过排序和遍历实现最优解。 ... [详细]
  • Codeforces Round #566 (Div. 2) A~F个人题解
    Dashboard-CodeforcesRound#566(Div.2)-CodeforcesA.FillingShapes题意:给你一个的表格,你 ... [详细]
  • 本文详细探讨了KMP算法中next数组的构建及其应用,重点分析了未改良和改良后的next数组在字符串匹配中的作用。通过具体实例和代码实现,帮助读者更好地理解KMP算法的核心原理。 ... [详细]
  • 本题探讨了一种字符串变换方法,旨在判断两个给定的字符串是否可以通过特定的字母替换和位置交换操作相互转换。核心在于找到这些变换中的不变量,从而确定转换的可能性。 ... [详细]
  • 本文详细介绍了 Dockerfile 的编写方法及其在网络配置中的应用,涵盖基础指令、镜像构建与发布流程,并深入探讨了 Docker 的默认网络、容器互联及自定义网络的实现。 ... [详细]
  • 本文探讨了《魔兽世界》中红蓝两方阵营在备战阶段的策略与实现方法,通过代码展示了双方如何根据资源和兵种特性进行战士生产。 ... [详细]
  • 本文基于刘洪波老师的《英文词根词缀精讲》,深入探讨了多个重要词根词缀的起源及其相关词汇,帮助读者更好地理解和记忆英语单词。 ... [详细]
  • C++: 实现基于类的四面体体积计算
    本文介绍如何使用C++编程语言,通过定义类和方法来计算由四个三维坐标点构成的四面体体积。文中详细解释了四面体体积的数学公式,并提供了两种不同的实现方式。 ... [详细]
  • 本文探讨了如何在给定整数N的情况下,找到两个不同的整数a和b,使得它们的和最大,并且满足特定的数学条件。 ... [详细]
  • Splay Tree 区间操作优化
    本文详细介绍了使用Splay Tree进行区间操作的实现方法,包括插入、删除、修改、翻转和求和等操作。通过这些操作,可以高效地处理动态序列问题,并且代码实现具有一定的挑战性,有助于编程能力的提升。 ... [详细]
  • 本文探讨了 C++ 中普通数组和标准库类型 vector 的初始化方法。普通数组具有固定长度,而 vector 是一种可扩展的容器,允许动态调整大小。文章详细介绍了不同初始化方式及其应用场景,并提供了代码示例以加深理解。 ... [详细]
  • 本文详细探讨了VxWorks操作系统中双向链表和环形缓冲区的实现原理及使用方法,通过具体示例代码加深理解。 ... [详细]
author-avatar
G路过的彩虹
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有