Skip to main content

Graph Question - Medium Level - Question 2

 2192. All Ancestors of a Node in a Directed Acyclic Graph

You are given a positive integer n representing the number of nodes of a Directed Acyclic Graph (DAG). The nodes are numbered from 0 to n - 1 (inclusive).

You are also given a 2D integer array edges, where edges[i] = [fromi, toi] denotes that there is a unidirectional edge from fromi to toi in the graph.

Return a list answer, where answer[i] is the list of ancestors of the ith node, sorted in ascending order.

A node u is an ancestor of another node v if u can reach v via a set of edges.


Constraints:

1 <= n <= 1000

0 <= edges.length <= min(2000, n * (n - 1) / 2)

edges[i].length == 2

0 <= fromi, toi <= n - 1

fromi != toi

There are no duplicate edges.

The graph is directed and acyclic.


Analysis:


This question can be solved by constructing a graph by the edges information.

Since this question asks for the parents information, we can create a graph storing the direct parents notes. 

After having the graph, we can do a top-down dfs, to search through each sub-tree, and merge the results from all sub-trees into one vector which are the all the ancestors of the current node.

To reduce the redundant searching, a visited vector can be used to record the visiting status. Once visited once, the status will be labeled as 1, then all the following visits can return the previous result directly without searching again.

So the method can be viewed as dfs + dp in general.


Time complexity: for each node, we perform one dfs. For each dfs, we can reuse the results from previous dfs with the visited vector (dp), so the averaged time complexity for this step is O(N), where N is the number of nodes. But there is still another step in each dfs, merging ancestors into one vector, which is O(Nlog(N)) in average. So the overall time complexity is O(N^2*log(N)).

The space time complexity is O(N^2).


See the code below:


class Solution {
public:
    vector<vector<int>> getAncestors(int n, vector<vector<int>>& edges) {
        vector<vector<int>> res(n), g(n);
        vector<int> visited(n, 0);
        for(auto &a : edges) g[a[1]].push_back(a[0]);
        for(int i=0; i<n; ++i) {
            dfs(i, g, visited, res);
        }
        return res;
    }
private:
    vector<int> dfs(int i, vector<vector<int>>& g, vector<int>& vit, vector<vector<int>>& res) {
        if(vit[i]) {
            return res[i];
        }
        vit[i] = 1;
        vector<int> ret;
        for(auto &a : g[i]) {
            vector<int> one = dfs(a, g, vit, res);
            for(auto &b : one) ret.push_back(b);
            ret.push_back(a);
        }
        sort(ret.begin(), ret.end());
        vector<int> copy;
        for(auto &a : ret) {
            if(copy.empty() || copy.back() != a) copy.push_back(a);
        }
        return res[i] = copy;
    }
};


Upper Layer

Comments

Popular posts from this blog

Sweep Line

Sweep (or scanning) line algorithm is very efficient for some specific questions involving discrete intervals. The intervals could be the lasting time of events, or the width of a building or an abstract square, etc. In the scanning line algorithm, we usually need to distinguish the start and the end of an interval. After the labeling of the starts and ends, we can sort them together based on the values of the starts and ends. Thus, if there are N intervals in total, we will have 2*N data points (since each interval will contribute 2). The sorting becomes the most time-consuming step, which is O(2N*log(2N) ~ O(N*logN). After the sorting, we usually can run a linear sweep for all the data points. If the data point is labeled as a starting point, it means a new interval is in the processing; when an ending time is reached, it means one of the interval has ended. In such direct way, we can easily figure out how many intervals are in the processes. Other related information can also be obt...

Bit Manipulation - Example

  Leetcode 136 Single Number Given a non-empty array of integers nums, every element appears twice except for one. Find that single one. You must implement a solution with a linear runtime complexity and use only constant extra space. Constraints: 1 <= nums.length <= 3 * 10^4 -3 * 10^4 <= nums[i] <= 3 * 10^4 Each element in the array appears twice except for one element which appears only once. Analysis: If there is no space limitation, this question can be solved by counting easily. But counting requires additional space. Here we can use xor (^) operation based on some interesting observations:  A^A = 0, here A is any number A^0 = A, here A is any number Since all the number appears twice except one, then all the number appear even numbers will be cancelled out, and only the number appears one time is left, which is what we want. See the code below: class Solution { public: int singleNumber(vector<int>& nums) { int res = 0; for(auto ...

Algorithm Advance Outline

Who wants to read these notes? 1. the one who wants to learn algorithm; 2. the one who has a planned interview in a short amount of time, such as one month later; 3. purely out of curiosity; 4. all the rest. The primary purpose for these posts is to help anyone who wants to learn algorithm in a short amount of time and be ready for coding interviews with tech companies, such as, Amazon, Facebook, Microsoft, etc. Before you start, you are expected to already know:  1. the fundamentals of at least one programming language; 2. the fundamentals of data structures. If you do not have these basics, it is better to "google and read" some intro docs, which should NOT take large amount of time. Of course, you can always learn whenever see a "unknown" data structure or line in the codes. Remember, "google and read" is always one of keys to learning. Common algorithms: 1. Recursion 2. Binary search 3. Dynamic programming 4. Breadth-first search 5. Depth-first search...