给你一个正整数 n ,它表示一个 有向无环图 中节点的数目,节点编号为 0 到 n - 1 (包括两者)。
给你一个二维整数数组 edges ,其中 edges[i] = [fromi, toi] 表示图中一条从 fromi 到 toi 的单向边。
请你返回一个数组 answer,其中 answer[i]是第 i 个节点的所有 祖先 ,这些祖先节点 升序 排序。
如果 u 通过一系列边,能够到达 v ,那么我们称节点 u 是节点 v 的 祖先 节点。
示例 1:
输入:n = 8, edgeList = [[0,3],[0,4],[1,3],[2,4],[2,7],[3,5],[3,6],[3,7],[4,6]]
输出:[[],[],[],[0,1],[0,2],[0,1,3],[0,1,2,3,4],[0,1,2,3]]
解释:
上图为输入所对应的图。
- 节点 0 ,1 和 2 没有任何祖先。
- 节点 3 有 2 个祖先 0 和 1 。
- 节点 4 有 2 个祖先 0 和 2 。
- 节点 5 有 3 个祖先 0 ,1 和 3 。
- 节点 6 有 5 个祖先 0 ,1 ,2 ,3 和 4 。
- 节点 7 有 4 个祖先 0 ,1 ,2 和 3 。
示例 2:
输入:n = 5, edgeList = [[0,1],[0,2],[0,3],[0,4],[1,2],[1,3],[1,4],[2,3],[2,4],[3,4]]
输出:[[],[0],[0,1],[0,1,2],[0,1,2,3]]
解释:
上图为输入所对应的图。
- 节点 0 没有任何祖先。
- 节点 1 有 1 个祖先 0 。
- 节点 2 有 2 个祖先 0 和 1 。
- 节点 3 有 3 个祖先 0 ,1 和 2 。
- 节点 4 有 4 个祖先 0 ,1 ,2 和 3 。
提示:
1 <= n <= 1000
0 <= edges.length <= min(2000, n * (n - 1) / 2)
edges[i].length == 2
0 <= fromi, toi <= n - 1
fromi != toi
图中不会有重边。
图是 有向 且 无环 的。
解题思路
拓扑排序,使用map存贮。每增加一次edges[i] = [fromi, toi]时,把fromi所有祖先节点加入到toi的后续节点,注意去重。
-spec get_ancestors(N :: integer(), Edges :: [[integer()]]) -> [[integer()]].
get_ancestors(N, Edges) ->
Seq = lists:seq(1, N),
Map1 = maps:new(),
Map2 = maps:new(),
{Map11, Map22}=lists:foldl(fun(I, {M1, M2}) ->
{maps:put(I-1, [], M1), maps:put(I-1, [], M2)}
end, {Map1, Map2}, Seq),
do(Edges, Map11, Map22)
.
do([], M1, M2) ->
List = lists:sort(maps:to_list(M2)),
[lists:sort(L) || {_K, L} <- List];
do([[I,J] | L], M1, M2) ->
L1 = maps:get(I, M2),
M21 = find([J], [I | L1], [], M1, M2),
F = maps:get(I, M1) -- [J],
M11 = maps:update(I, [J | F], M1),
do(L, M11, M21).
find([], L, K,M1, M2) ->
M2;
find([J | J1], L, K, M1, M2) ->
F = maps:get(J, M1) -- K,
L1 = maps:get(J, M2),
L2 = L -- L1,
M21 = maps:update(J, L2 ++ L1, M2),
if
F =:= [] ->
find(F ++ J1, L, [J | K], M1, M21);
true ->
find(F ++ J1, L, [J|K],M1, M21)
end.