题目描述
给你一个下标从 0 开始的二维整数数组 pairs ,其中 pairs[i] = [starti, endi] 。如果 pairs 的一个重新排列,满足对每一个下标 i ( 1 <= i < pairs.length )都有 endi-1 == starti ,那么我们就认为这个重新排列是 pairs 的一个 合法重新排列 。
请你返回 任意一个 pairs 的合法重新排列。
注意:数据保证至少存在一个 pairs 的合法重新排列。
示例 1:
输入:pairs = [[5,1],[4,5],[11,9],[9,4]]
输出:[[11,9],[9,4],[4,5],[5,1]]
解释:
输出的是一个合法重新排列,因为每一个 endi-1 都等于 starti 。
end0 = 9 == 9 = start1
end1 = 4 == 4 = start2
end2 = 5 == 5 = start3
示例 2:输入:pairs = [[1,3],[3,2],[2,1]]
输出:[[1,3],[3,2],[2,1]]
解释:
输出的是一个合法重新排列,因为每一个 endi-1 都等于 starti 。
end0 = 3 == 3 = start1
end1 = 2 == 2 = start2
重新排列后的数组 [[2,1],[1,3],[3,2]] 和 [[3,2],[2,1],[1,3]] 都是合法的。
示例 3:输入:pairs = [[1,2],[1,3],[2,1]]
输出:[[1,2],[2,1],[1,3]]
解释:
输出的是一个合法重新排列,因为每一个 endi-1 都等于 starti 。
end0 = 2 == 2 = start1
end1 = 1 == 1 = start2
提示:
1 <= pairs.length <= 105
pairs[i].length == 2
0 <= starti, endi <= 109
starti != endi
pairs 中不存在一模一样的数对。
至少 存在 一个合法的 pairs 重新排列。
问题分析
方法一:有向图的欧拉通路
欧拉通路的起始节点:
1、如果图中所有节点的入度和出度都相等,那么从任意节点开始都存在欧拉通路;
2、如果图中存在一个节点的出度比入度恰好多 1,另一个节点的入度恰好比出度多 1,那么欧拉通路必须从前一个节点开始,到后一个节点结束。
3、除此之外的有向图都不存在欧拉通路,
本体保证了至少存在一个合法排列,因此图已经是上述的两种情况之一。
Hierholzer 算法流程如下:从起点出发,进行深度优先搜索。
每次沿着某条边从某个顶点移动到另外一个顶点的时候,都需要删除这条边(灵魂)。
如果没有可移动的路径,则将所在节点加入到结果中,并返回。
当我们顺序地考虑该问题时,我们也许很难解决该问题,因为我们无法判断当前节点的哪一个分支是「死胡同」分支。不妨倒过来思考。我们注意到只有那个入度与出度差为 1 的节点会导致死胡同。而该节点必然是最后一个遍历到的节点。我们可以改变记录的规则,当我们遍历完一个节点所连的所有节点后,我们才将该节点记录(即逆序)。
对于当前节点而言,从它的每一个非「死胡同」分支出发进行深度优先搜索,都将会搜回到当前节点。
而从它的「死胡同」分支出发进行深度优先搜索将不会搜回到当前节点。
也就是说当前节点的死胡同分支将会优先于其他非「死胡同」分支记录。
这样就能保证我们可以「一笔画」地走完所有边,最终的记录结果逆序地保存了「一笔画」的结果。我们只要将结果中的内容反转,即可得到答案。
模版有四步:
建邻接表、入度表、出度表
根据是通路还是回路判断是否要找起点start
Hierholzer 算法找路
最后将上一步找的路再逆回来
代码
class Solution {
public:
unordered_map<int, int> in, out;
unordered_map<int, vector<int>> edges;
vector<vector<int>> ans;
void dfs(int n) {
while(!edges[n].empty()) {
int v = edges[n].back();
edges[n].pop_back();
dfs(v);
ans.push_back({n, v});
}
}
vector<vector<int>> validArrangement(vector<vector<int>>& pairs) {
for(const auto& e:pairs) {
edges[e[0]].push_back(e[1]);
in[e[1]]++;
out[e[0]]++;
}
// 如果是存在出度比入度多一个的则从匹配到的点为起始点,
// 如果不存在,则为入度==出度情况,从任意点都可以,此处默认从pairs[0][0]为起始点。
int start = pairs[0][0];
// 寻找起始点只能遍历 out集合,in集合在起始点入度为0的情况下得不到统计
for (const auto& [x, outdu]: out) {
// 如果有节点出度比入度恰好多 1,那么只有它才能是起始节点
if (outdu == in[x] + 1) {
start = x;
break;
}
}
dfs(start);
reverse(ans.begin(), ans.end());
return ans;
}
};
复杂度分析
时间复杂度:O(n),其中 n 是数组pairs 的长度。图中有不超过 n+1 个节点和 n 条边,因此求解欧拉通路需要的时间为 O(n)。
空间复杂度:O(n),即为存储图需要使用的空间。