Finding Strong Components Using Depth-First Search

Robert E. Tarjan,Uri Zwick

DOI: https://doi.org/10.48550/arXiv.2201.07197

2022-04-12

Abstract:We survey three algorithms that use depth-first search to find the strong components of a directed graph in linear time: (1) Tarjan's algorithm; (2) a cycle-finding algorithm; and (3) a bidirectional search algorithm.

Data Structures and Algorithms

What problem does this paper attempt to address?

30th International Symposium on Algorithms and Computation, ISAAC 2019, December 8-11, 2019, Shanghai University of Finance and Economics, Shanghai, China.

Pinyan Lu,Guochuan Zhang

2019-01-01

Abstract:Graph search, the process of visiting vertices in a graph in a specific order, has demonstrated magical powers in many important algorithms. But a systematic study was only initiated by Corneil et al. a decade ago, and only by then we started to realize how little we understand it. Even the apparently naïve question “which vertex can be the last visited by a graph search algorithm,” known as the end vertex problem, turns out to be quite elusive. We give a full picture of all maximum cardinality searches on chordal graphs, which implies a polynomial-time algorithm for the end vertex problem of maximum cardinality search. It is complemented by a proof of NP-completeness of the same problem on weakly chordal graphs. We also show linear-time algorithms for deciding end vertices of breadth-first searches on interval graphs, and end vertices of lexicographic depth-first searches on chordal graphs. Finally, we present 2 · nO(1)-time algorithms for deciding the end vertices of breadth-first searches, depth-first searches, and maximum cardinality searches on general graphs. 2012 ACM Subject Classification Theory of computation → Graph algorithms analysis
Finding connected components of a graph using traversals associated with iterative methods for solving systems of linear equations

A.V. Prolubnikov

2024-10-04

Abstract:To solve many problems on graphs, graph traversals are used, the usual variants of which are the depth-first search and the breadth-first search. Implementing a graph traversal we consequently reach all vertices of the graph that belong to a connected component. The breadth-first search is the usual choice when constructing efficient algorithms for finding connected components of a graph. Methods of simple iteration for solving systems of linear equations with modified graph adjacency matrices and with the properly specified right-hand side can be considered as graph traversal algorithms. These traversal algorithms, generally speaking, turn out to be non-equivalent neither to the depth-first search nor the breadth-first search. The example of such a traversal algorithm is the one associated with the Gauss-Seidel method. For an arbitrary connected graph, to visit all its vertices, the algorithm requires not more iterations than that is required for BFS. For a large number of instances of the problem, fewer iterations will be required.

Discrete Mathematics
Heuristic depth-first directional algorithm for shortest path searching in traffic networks

FANG Jia,DU Zhen-hong,ZHANG Feng,ZENG Zhi,LIU Ren-yi

DOI: https://doi.org/10.3785/j.issn.1008-9497.2013.04.021

2013-01-01

Abstract:For a large traffic network that contains a great amount of nodes,an improved algorithm based on depthfirst search is figured out.In the searching process,the algorithm firstly selects nodes according to the direction,which can largely decreases the searching area.Meanwhile,a heuristic function to calculate the value of each node is introduced and the search by choosing the node with the lowest value is extended,which improves the efficiency of depth-first search.Hence,the algorithm not only can find the shortest routine in the early time,but also provides users with some more routines in support.
Nearly Work-Efficient Parallel DFS in Undirected Graphs

Mohsen Ghaffari,Christoph Grunau,Jiahao Qu

2023-04-19

Abstract:We present the first parallel depth-first search algorithm for undirected graphs that has near-linear work and sublinear depth. Concretely, in any $n$-node $m$-edge undirected graph, our algorithm computes a DFS in $\tilde{O}(\sqrt{n})$ depth and using $\tilde{O}(m+n)$ work. All prior work either required $\Omega(n)$ depth, and thus were essentially sequential, or needed a high $poly(n)$ work and thus were far from being work-efficient.

Data Structures and Algorithms,Distributed, Parallel, and Cluster Computing
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence.

Yongzhe Zhang,Ariful Azad,Zhenjiang Hu

DOI: https://doi.org/10.1137/1.9781611976137.5

2019-01-01

Abstract:This paper presents a new distributed-memory algorithm called FastSV for finding connected components in an undirected graph. Our algorithm simplifies the classic Shiloach-Vishkin algorithm and employs several novel and efficient hooking strategies for faster convergence. We map different steps of FastSV to linear algebraic operations and implement them with the help of scalable graph libraries. FastSV uses sparse operations to avoid redundant work and optimized MPI communication to avoid bottlenecks. The resultant algorithm shows high-performance and scalability as it can find the connected components of a hyperlink graph with over 134B edges in 30 seconds using 262K cores on a Cray XC40 supercomputer. FastSV outperforms the state-of-the-art algorithm by an average speedup of 2.21x (max 4.27x) on a variety of real-world graphs.
A Parallel Algorithm for Finding All Elementary Circuits of a Directed Graph

Wenbo Lu,Qianchuan Zhao,Cangqi Zhou

DOI: https://doi.org/10.23919/chicc.2018.8482857

2018-01-01

Abstract:Graph can be used as a significant model to simulate the real world. We can find this kind of models in many different fields, such as transportation, navigation, logistics, management and social networks. In such graphs, a circuit is often regarded as a closed-loop way by which information propagates. There are several algorithms for finding all elementary circuits. Among these algorithms, Jonson's algorithm suffers the lowest time complexity so far. In this paper, we introduce a parallel algorithm based on Johnson's algorithm. We demonstrate that it is capable to handle large-scale graphs with a computing cluster. Experiments on both synthetic and real-world data sets demonstrate the effectiveness of the proposed algorithm.
Determining 4-edge-connected components in linear time

Wojciech Nadara,Mateusz Radecki,Marcin Smulewicz,Marek Sokołowski

DOI: https://doi.org/10.48550/arXiv.2105.01699

2021-05-05

Abstract:In this work, we present the first linear time deterministic algorithm computing the 4-edge-connected components of an undirected graph. First, we show an algorithm listing all 3-edge-cuts in a given 3-edge-connected graph, and then we use the output of this algorithm in order to determine the 4-edge-connected components of the graph.

Data Structures and Algorithms
A Topological Approach to Meta-heuristics: Analytical Results on the BFS vs. DFS Algorithm Selection Problem

Tom Everitt,Marcus Hutter

DOI: https://doi.org/10.48550/arXiv.1509.02709

IF: 14.4

2015-09-09

Artificial Intelligence

Abstract:Search is a central problem in artificial intelligence, and breadth-first search (BFS) and depth-first search (DFS) are the two most fundamental ways to search. In this paper we derive estimates for average BFS and DFS runtime. The average runtime estimates can be used to allocate resources or judge the hardness of a problem. They can also be used for selecting the best graph representation, and for selecting the faster algorithm out of BFS and DFS. They may also form the basis for an analysis of more advanced search methods. The paper treats both tree search and graph search. For tree search, we employ a probabilistic model of goal distribution; for graph search, the analysis depends on an additional statistic of path redundancy and average branching factor. As an application, we use the results to predict BFS and DFS runtime on two concrete grammar problems and on the N-puzzle. Experimental verification shows that our analytical approximations come close to empirical reality.
Energy Constrained Depth First Search

Shantanu Das,Dariusz Dereniowski,Przemysław Uznański

DOI: https://doi.org/10.1007/s00453-024-01275-8

IF: 0.909

2024-10-14

Algorithmica

Abstract:Depth first search is a natural algorithmic technique for constructing a closed route that visits all vertices of a graph. The length of such a route equals, in an edge-weighted tree, twice the total weight of all edges of the tree and this is asymptotically optimal over all exploration strategies. This paper considers a variant of such search strategies where the length of each route is bounded by a positive integer B (e.g. due to limited energy resources of the searcher). The objective is to cover all the edges of a tree T using the minimum number of routes, each starting and ending at the root and each being of length at most B . To this end, we analyze the following natural greedy tree traversal process that is based on decomposing a depth first search traversal into a sequence of limited length routes. Given any arbitrary depth first search traversal R of the tree T , we cover R with routes , each of length at most B such that: starts at the root, reaches directly the farthest point of R visited by , then continues along the path R as far as possible, and finally returns to the root. We call the above algorithm piecemeal-DFS and we prove that it achieves the asymptotically minimal number of routes l , regardless of the choice of R . Our analysis also shows that the total length of the traversal (and thus the traversal time) of piecemeal-DFS is asymptotically minimum over all energy-constrained exploration strategies. The fact that R can be chosen arbitrarily means that the exploration strategy can be constructed in an online fashion when the input tree T is not known in advance. Each route can be constructed without any knowledge of the yet unvisited part of T . Surprisingly, our results show that depth first search is efficient for energy constrained exploration of trees, even though it is known that the same does not hold for energy constrained exploration of arbitrary graphs.

computer science, software engineering,mathematics, applied
Breadth-first heuristic search

Rong Zhou,Eric A. Hansen

DOI: https://doi.org/10.1016/j.artint.2005.12.002

IF: 14.4

2006-04-01

Artificial Intelligence

Abstract:Recent work shows that the memory requirements of A* and related graph-search algorithms can be reduced substantially by only storing nodes that are on or near the search frontier, using special techniques to prevent node regeneration, and recovering the solution path by a divide-and-conquer technique. When this approach is used to solve graph-search problems with unit edge costs, we show that a breadth-first search strategy can be more memory-efficient than a best-first strategy. We also show that a breadth-first strategy allows a technique for preventing node regeneration that is easier to implement and can be applied more widely. The breadth-first heuristic search algorithms introduced in this paper include a memory-efficient implementation of breadth-first branch-and-bound search and a breadth-first iterative-deepening A* algorithm that is based on it. Computational results show that they outperform other systematic search algorithms in solving a range of challenging graph-search problems.

computer science, artificial intelligence
Finding Paths and Cycles in Graphs

Sergey Gubin

DOI: https://doi.org/10.48550/arXiv.0709.0974

IF: 0.961

2007-09-07

Discrete Mathematics

Abstract:A polynomial time algorithm which detects all paths and cycles of all lengths in form of vertex pairs (start, finish).
Discovering Interesting Cycles in Directed Graphs

Florian Adriaens,Cigdem Aslay,Tijl De Bie,Aristides Gionis,Jefrey Lijffijt

DOI: https://doi.org/10.1145/3357384.3357970

2019-09-03

Abstract:Cycles in graphs often signify interesting processes. For example, cyclic trading patterns can indicate inefficiencies or economic dependencies in trade networks, cycles in food webs can identify fragile dependencies in ecosystems, and cycles in financial transaction networks can be an indication of money laundering. Identifying such interesting cycles, which can also be constrained to contain a given set of query nodes, although not extensively studied, is thus a problem of considerable importance. In this paper, we introduce the problem of discovering interesting cycles in graphs. We first address the problem of quantifying the extent to which a given cycle is interesting for a particular analyst. We then show that finding cycles according to this interestingness measure is related to the longest cycle and maximum mean-weight cycle problems (in the unconstrained setting) and to the maximum Steiner cycle and maximum mean Steiner cycle problems (in the constrained setting). A complexity analysis shows that finding interesting cycles is NP-hard, and is NP-hard to approximate within a constant factor in the unconstrained setting, and within a factor polynomial in the input size for the constrained setting. The latter inapproximability result implies a similar result for the maximum Steiner cycle and maximum mean Steiner cycle problems. Motivated by these hardness results, we propose a number of efficient heuristic algorithms. We verify the effectiveness of the proposed methods and demonstrate their practical utility on two real-world use cases: a food web and an international trade-network dataset.

Data Structures and Algorithms,Computational Complexity
Finding Communities in Linear Time: A Physics Approach

Fang Wu,Bernardo A. Huberman

DOI: https://doi.org/10.1140/epjb/e2004-00125-x

2003-10-27

Abstract:We present a method that allows for the discovery of communities within graphs of arbitrary size in times that scale linearly with their size. This method avoids edge cutting and is based on notions of voltage drops across networks that are both intuitive and easy to solve regardless of the complexity of the graph involved. We additionally show how this algorithm allows for the swift discovery of the community surrounding a given node without having to extract all the communities out of a graph.

Statistical Mechanics,Data Structures and Algorithms
GraphZeppelin : How to Find Connected Components (Even When Graphs Are Dense, Dynamic, and Massive)

David Tench,Evan West,Victor Zhang,Michael A. Bender,Abiyaz Chowdhury,Daniel Delayo,J. Ahmed Dellas,Martín Farach-Colton,Tyler Seip,Kenny Zhang

DOI: https://doi.org/10.1145/3643846

IF: 1.6289

2024-02-20

ACM Transactions on Database Systems

Abstract:Finding the connected components of a graph is a fundamental problem with uses throughout computer science and engineering. The task of computing connected components becomes more difficult when graphs are very large, or when they are dynamic, meaning the edge set changes over time subject to a stream of edge insertions and deletions. A natural approach to computing the connected components problem on a large, dynamic graph stream is to buy enough RAM to store the entire graph. However, the requirement that the graph fit in RAM is an inherent limitation of this approach and is prohibitive for very large graphs. Thus, there is an unmet need for systems that can process dense dynamic graphs, especially when those graphs are larger than available RAM. We present a new high-performance streaming graph-processing system for computing the connected components of a graph. This system, which we call GraphZeppelin , uses new linear sketching data structures ( CubeSketch ) to solve the streaming connected components problem and as a result requires space asymptotically smaller than the space required for an lossless representation of the graph. GraphZeppelin is optimized for massive dense graphs: GraphZeppelin can process millions of edge updates (both insertions and deletions) per second, even when the underlying graph is far too large to fit in available RAM. As a result GraphZeppelin vastly increases the scale of graphs that can be processed.

computer science, information systems, software engineering
A Framework for Searching AND/OR Graphs with Cycles

Ambuj Mahanti,Supriyo Ghose,Samir K. Sadhukhan

DOI: https://doi.org/10.48550/arXiv.cs/0305001

IF: 14.4

2003-05-01

Artificial Intelligence

Abstract:Search in cyclic AND/OR graphs was traditionally known to be an unsolved problem. In the recent past several important studies have been reported in this domain. In this paper, we have taken a fresh look at the problem. First, a new and comprehensive theoretical framework for cyclic AND/OR graphs has been presented, which was found missing in the recent literature. Based on this framework, two best-first search algorithms, S1 and S2, have been developed. S1 does uninformed search and is a simple modification of the Bottom-up algorithm by Martelli and Montanari. S2 performs a heuristically guided search and replicates the modification in Bottom-up's successors, namely HS and AO*. Both S1 and S2 solve the problem of searching AND/OR graphs in presence of cycles. We then present a detailed analysis for the correctness and complexity results of S1 and S2, using the proposed framework. We have observed through experiments that S1 and S2 output correct results in all cases.
Estimating the Number of Connected Components in a Graph via Subgraph Sampling

Jason M. Klusowski,Yihong Wu

DOI: https://doi.org/10.48550/arXiv.1801.04339

2019-06-16

Abstract:Learning properties of large graphs from samples has been an important problem in statistical network analysis since the early work of Goodman \cite{Goodman1949} and Frank \cite{Frank1978}. We revisit a problem formulated by Frank \cite{Frank1978} of estimating the number of connected components in a large graph based on the subgraph sampling model, in which we randomly sample a subset of the vertices and observe the induced subgraph. The key question is whether accurate estimation is achievable in the \emph{sublinear} regime where only a vanishing fraction of the vertices are sampled. We show that it is impossible if the parent graph is allowed to contain high-degree vertices or long induced cycles. For the class of chordal graphs, where induced cycles of length four or above are forbidden, we characterize the optimal sample complexity within constant factors and construct linear-time estimators that provably achieve these bounds. This significantly expands the scope of previous results which have focused on unbiased estimators and special classes of graphs such as forests or cliques. Both the construction and the analysis of the proposed methodology rely on combinatorial properties of chordal graphs and identities of induced subgraph counts. They, in turn, also play a key role in proving minimax lower bounds based on construction of random instances of graphs with matching structures of small subgraphs.

Statistics Theory,Discrete Mathematics,Machine Learning
Finding Short Cycles in an Embedded Graph in Polynomial Time

Han Ren,Ni Cao

DOI: https://doi.org/10.48550/arXiv.0807.1620

2008-07-10

Combinatorics

Abstract:Let ${\cal{C}}_1$ be the set of fundamental cycles of breadth-first-search trees in a graph $G$ and ${\cal{C}}_2$ the set of the sums of two cycles in ${\cal{C}}_1$. Then we show that $(1) {\cal{C}}={\cal{C}}_1\bigcup{\cal{C}}_2$ contains a shortest $\Pi$-twosided cycle in a $\Pi$-embedded graph $G$;$(2)$ $\cal{C}$ contains all the possible shortest even cycles in a graph $G$;$(3)$ If a shortest cycle in a graph $G$ is an odd cycle, then $\cal{C}$ contains all the shortest odd cycles in $G$. This implies the existence of a polynomially bounded algorithm to find a shortest $\Pi-$twosided cycle in an embedded graph and thus solves an open problem of B.Mohar and C.Thomassen[2,pp112]
A Local Prime Factor Decomposition Algorithm for Strong Product Graphs

Marc Hellmuth

DOI: https://doi.org/10.48550/arXiv.1705.03817

2017-05-10

Abstract:This work is concerned with the prime factor decomposition (PFD) of strong product graphs. A new quasi-linear time algorithm for the PFD with respect to the strong product for arbitrary, finite, connected, undirected graphs is derived. Moreover, since most graphs are prime although they can have a product-like structure, also known as approximate graph products, the practical application of the well-known "classical" prime factorization algorithm is strictly limited. This new PFD algorithm is based on a local approach that covers a graph by small factorizable subgraphs and then utilizes this information to derive the global factors. Therefore, we can take advantage of this approach and derive in addition a method for the recognition of approximate graph products.

Discrete Mathematics,Combinatorics
Graphs where Search Methods are Indistinguishable

Matjaž Krnc,Nevena Pivač

DOI: https://doi.org/10.48550/arXiv.2109.00035

2021-09-06

Abstract:Graph searching is one of the simplest and most widely used tools in graph algorithms. Every graph search method is defined using some particular selection rule, and the analysis of the corresponding vertex orderings can aid greatly in devising algorithms, writing proofs of correctness, or recognition of various graph families. We study graphs where the sets of vertex orderings produced by two different search methods coincide. We characterise such graph families for ten pairs from the best-known set of graph searches: Breadth First Search (BFS), Depth First Search (DFS), Lexicographic Breadth First Search (LexBFS) and Lexicographic Depth First Search (LexDFS), and Maximal Neighborhood Search (MNS).

Discrete Mathematics,Combinatorics
A Novel Component Retrieval Method Based on Weighted Facet Tree

Ming Zhong,Yaoxue Zhang,Yuezhi Zhou,Laurence Tianruo Yang,Pengwei Tian,Linkai Weng

DOI: https://doi.org/10.1007/s11227-011-0665-6

2013-01-01

Abstract:Recently, the computing paradigm has switched from mainframe and desktop computing to ubiquitous computing; one of whose motivations is to provide intelligent, personalized and comprehensive services to users. As a solution of ubiquitous computing, Active Services has proposed to generate such services on demand by retrieving, adapting, and composing of existing service components. As the popularity of this paradigm, and hence the number of service components increases, how to efficiently retrieve components to maximally meet user requirements has become a fundamental and significant problem. However, current service components are stored dispersedly on the Internet, nor classified in a unified specification, so that traditional component retrieval methods often fail to search and rank components among several different repositories. To solve these problems, this paper proposes a novel component retrieval method based on a weighted facet tree. We first formally specify the components and user queries under facet classification space in the form of weighted trees, then design a component retrieval algorithm by matching between the trees of query and component, in which the sum of the weights of all the leaf nodes in Query Tree are calculated, and finally rank the matched components by matching degree. The experimental results show promising results in terms of retrieval accuracy and efficiency.

Finding Strong Components Using Depth-First Search

30th International Symposium on Algorithms and Computation, ISAAC 2019, December 8-11, 2019, Shanghai University of Finance and Economics, Shanghai, China.

Finding connected components of a graph using traversals associated with iterative methods for solving systems of linear equations

Heuristic depth-first directional algorithm for shortest path searching in traffic networks

Nearly Work-Efficient Parallel DFS in Undirected Graphs

FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence.

A Parallel Algorithm for Finding All Elementary Circuits of a Directed Graph

Determining 4-edge-connected components in linear time

A Topological Approach to Meta-heuristics: Analytical Results on the BFS vs. DFS Algorithm Selection Problem

Energy Constrained Depth First Search

Breadth-first heuristic search

Finding Paths and Cycles in Graphs

Discovering Interesting Cycles in Directed Graphs

Finding Communities in Linear Time: A Physics Approach

GraphZeppelin : How to Find Connected Components (Even When Graphs Are Dense, Dynamic, and Massive)

A Framework for Searching AND/OR Graphs with Cycles

Estimating the Number of Connected Components in a Graph via Subgraph Sampling

Finding Short Cycles in an Embedded Graph in Polynomial Time

A Local Prime Factor Decomposition Algorithm for Strong Product Graphs

Graphs where Search Methods are Indistinguishable

A Novel Component Retrieval Method Based on Weighted Facet Tree