热门标签 | 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;
}
```

通过上述步骤和代码,我们可以有效地解决有向图中任意两点之间的可达性问题。希望这篇文章能为你提供有价值的参考。
推荐阅读
  • 扫描线三巨头 hdu1928hdu 1255  hdu 1542 [POJ 1151]
    学习链接:http:blog.csdn.netlwt36articledetails48908031学习扫描线主要学习的是一种扫描的思想,后期可以求解很 ... [详细]
  • 题目描述:给定n个半开区间[a, b),要求使用两个互不重叠的记录器,求最多可以记录多少个区间。解决方案采用贪心算法,通过排序和遍历实现最优解。 ... [详细]
  • 题目Link题目学习link1题目学习link2题目学习link3%%%受益匪浅!-----&# ... [详细]
  • golang常用库:配置文件解析库/管理工具viper使用
    golang常用库:配置文件解析库管理工具-viper使用-一、viper简介viper配置管理解析库,是由大神SteveFrancia开发,他在google领导着golang的 ... [详细]
  • 本文详细探讨了KMP算法中next数组的构建及其应用,重点分析了未改良和改良后的next数组在字符串匹配中的作用。通过具体实例和代码实现,帮助读者更好地理解KMP算法的核心原理。 ... [详细]
  • 本题探讨了一种字符串变换方法,旨在判断两个给定的字符串是否可以通过特定的字母替换和位置交换操作相互转换。核心在于找到这些变换中的不变量,从而确定转换的可能性。 ... [详细]
  • 本文介绍如何使用Objective-C结合dispatch库进行并发编程,以提高素数计数任务的效率。通过对比纯C代码与引入并发机制后的代码,展示dispatch库的强大功能。 ... [详细]
  • C++: 实现基于类的四面体体积计算
    本文介绍如何使用C++编程语言,通过定义类和方法来计算由四个三维坐标点构成的四面体体积。文中详细解释了四面体体积的数学公式,并提供了两种不同的实现方式。 ... [详细]
  • UNP 第9章:主机名与地址转换
    本章探讨了用于在主机名和数值地址之间进行转换的函数,如gethostbyname和gethostbyaddr。此外,还介绍了getservbyname和getservbyport函数,用于在服务器名和端口号之间进行转换。 ... [详细]
  • 本文探讨了如何在给定整数N的情况下,找到两个不同的整数a和b,使得它们的和最大,并且满足特定的数学条件。 ... [详细]
  • 本文探讨了 C++ 中普通数组和标准库类型 vector 的初始化方法。普通数组具有固定长度,而 vector 是一种可扩展的容器,允许动态调整大小。文章详细介绍了不同初始化方式及其应用场景,并提供了代码示例以加深理解。 ... [详细]
  • 火星商店问题:线段树分治与持久化Trie树的应用
    本题涉及编号为1至n的火星商店,每个商店有一个永久商品价值v。操作包括每天在指定商店增加一个新商品,以及查询某段时间内某些商店中所有商品(含永久商品)与给定密码值的最大异或结果。通过线段树分治和持久化Trie树来高效解决此问题。 ... [详细]
  • C++实现经典排序算法
    本文详细介绍了七种经典的排序算法及其性能分析。每种算法的平均、最坏和最好情况的时间复杂度、辅助空间需求以及稳定性都被列出,帮助读者全面了解这些排序方法的特点。 ... [详细]
  • 在前两篇文章中,我们探讨了 ControllerDescriptor 和 ActionDescriptor 这两个描述对象,分别对应控制器和操作方法。本文将基于 MVC3 源码进一步分析 ParameterDescriptor,即用于描述 Action 方法参数的对象,并详细介绍其工作原理。 ... [详细]
  • 本文介绍了在Windows环境下使用pydoc工具的方法,并详细解释了如何通过命令行和浏览器查看Python内置函数的文档。此外,还提供了关于raw_input和open函数的具体用法和功能说明。 ... [详细]
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社区 版权所有