In this paper, we present a parallel 2-approximation Steiner minimal tree algorithm and its MPI-based distributed implementation. In place of expensive distance computations between all pairs of seed vertices, the sol...
详细信息
In this paper, we present a parallel 2-approximation Steiner minimal tree algorithm and its MPI-based distributed implementation. In place of expensive distance computations between all pairs of seed vertices, the solution we employ exploits a cheaper Voronoi cell computation. Our design leverages asynchronous processing and message prioritization to accelerate convergence of distance computations, and harnesses vertex and edge centric processing to offer fast time-to-solution. We demonstrate scalability and performance using real-world graphs with up to 128 billion edges and 512 compute nodes, and show the ability to find Steiner trees with up to one million seed vertices. Using 12 data instances, we present comparison with the state-of-the-art exact solver, SCIP-Jack, and two sequential 2-approximate algorithms. We empirically show that, on average, the total distance of the Steiner tree identified by our solution is 1.1290 times greater than the Steiner minimal tree - well within the theoretical approximation bound of 2.& COPY;2023 Elsevier Inc. All rights reserved.
This article presents I/O-efficient algorithms for topologically sorting a directed acyclic graph and for the more general problem identifying and topologically sorting the strongly connected components of a directed ...
详细信息
This article presents I/O-efficient algorithms for topologically sorting a directed acyclic graph and for the more general problem identifying and topologically sorting the strongly connected components of a directed graph G = (V, E). Both algorithms are randomized and have I/O-costs O(sort (E) center dot poly(log V)), with high probability, where sort (E) = O(E/B log(M/B) (E/B)) is the I/O cost of sorting an |E|-element array on a machine with size-B blocks and size-M cache/internal memory. These are the first algorithms for these problems that do not incur at least one I/O per vertex, and as such these are the first I/O-efficient algorithms for sparse graphs. By applying the technique of time-forward processing, these algorithms also imply I/O-efficient algorithms for most problems on directed acyclic graphs, such as shortest paths, as well as the single-source reachability problem on arbitrary directed graphs.
The physical and biological properties of a chemical molecule entity are related to its structure. One of the basic widely accepted principles in chemistry is that compounds with similar structures frequently share si...
详细信息
The physical and biological properties of a chemical molecule entity are related to its structure. One of the basic widely accepted principles in chemistry is that compounds with similar structures frequently share similar physicochemical properties and biological activities. The process of finding structural similarities between chemical structures of molecules helps to identify the common behavior of these molecules. A familiar approach to capture the structural similarity between two chemical compounds is to detect a maximal Common Connected vertex induced Subgraph (CCS) in their molecular chemical graphs. The proposed algorithm detects a maximal CCS by checking the induced property of the vertices which are collected by performing a DFS search on the tensor product graph of two input molecular chemical graphs. The DFS search will start from the node which has the highest eigenvector centrality in the tensor product graph. The significance of the proposed work is that it uses eigenvector centrality to predict the root node of the DFS search tree, so that the resulting sugraph gets more number of nodes (i.e. large size maximal CCS). The experimental results on synthetic and real chemical database, further ensure the competence of the proposed algorithm when compared with the existing works. (c) 2021 Elsevier B.V. All rights reserved.
We consider the capacitated multi-source multicast tree routing problem (CMMTR) in an undirected graph G = (V,E) with a vertex set V, an edge set E and an edge weight w(e) >= 0, e epsilon E. We are given a source s...
详细信息
We consider the capacitated multi-source multicast tree routing problem (CMMTR) in an undirected graph G = (V,E) with a vertex set V, an edge set E and an edge weight w(e) >= 0, e epsilon E. We are given a source set S epsilon V with a weight g(e) >= 0, e epsilon S, a terminal set M subset of V - S with a demand function q : M -> R+, and a real number K > 0, where g(s) means the cost for opening a vertex s is an element of S as a source in a multicast tree. Then the CMMTR asks to find a subset S' subset of S, a partition {Z(1), Z(2),..., Z(l)) of M, and a set of subtrees T-1, T-2,..., T-l of G such that, for each i, Sigma(l is an element of Zi) q(t) <= K and T-i spans Z(i) boolean OR {s} for some s epsilon S'. The objective is to minimize the sum of the opening cost of S' and the constructing cost of (T-i), i.e., Sigma(s epsilon S') g(s) + Sigma(l)(i)=1 w(T-i), where w(T-i) denotes the sum of weights of all edges in Ti. In this paper, we propose a (2puFL + PST)-approximation algorithm to the CMMTR, where puFL and PST are any approximation ratios achievable for the uncapacitated facility location and the Steiner tree problems, respectively. When all terminals have unit demands, we give a ((3/2)rho(UFL) + (4/3)rho(ST)) -approximation algorithm.
Bakalářská práce se primárně zabývá problematikou grafů a grafových algoritmů. Jedná se především o vysvětlení a rozšíření daného tématu. Velice ...
详细信息
Bakalářská práce se primárně zabývá problematikou grafů a grafových algoritmů. Jedná se především o vysvětlení a rozšíření daného tématu. Velice často jsou před nás kladeny problémy, které, ač nevědomky, řešíme využitím znalostí grafových algoritmů. Dílčím cílem mojí práce je proto demonstrovat aplikaci některých těchto metod v oblasti řešení distribučních úloh.
The detection of communities in graph datasets provides insight about a graph's underlying structure and is an important tool for various domains such as social sciences, marketing, traffic forecast, and drug disc...
详细信息
The detection of communities in graph datasets provides insight about a graph's underlying structure and is an important tool for various domains such as social sciences, marketing, traffic forecast, and drug discovery. While most existing algorithms provide fast approaches for community detection, their results usually contain strictly separated communities. However, most datasets would semantically allow for or even require overlapping communities that can only be determined at much higher computational cost. We build on an efficient algorithm, FOX, that detects such overlapping communities. FOX measures the closeness of a node to a community by approximating the count of triangles which that node forms with that community. We propose LAZYFOX, a multi-threaded adaptation of the FOX algorithm, which provides even faster detection without an impact on community quality. This allows for the analyses of significantly larger and more complex datasets. LAZYFOX enables overlapping community detection on complex graph datasets with millions of nodes and billions of edges in days instead of weeks. As part of this work, LAZYFOX's implementation was published and is available as a tool under an MIT licence at https://***/TimGarrels/LazyFox.
We present the rst fully dynamic algorithm for maintaining a minimum spanning forest in time o(rootn) per operation. To be precise, the algorithm uses O(n(1/3) log n) amortized time per update operation. The algorithm...
详细信息
We present the rst fully dynamic algorithm for maintaining a minimum spanning forest in time o(rootn) per operation. To be precise, the algorithm uses O(n(1/3) log n) amortized time per update operation. The algorithm is fairly simple and deterministic. An immediate consequence is the first fully dynamic deterministic algorithm for maintaining connectivity and bipartiteness in amortized time O(n(1/3) log n) per update, with O(1) worst case time per query.
Subgraph isomorphism problems have various important applications, while generally being NP-complete. Though Ullmann and Konishi proposed the custom circuit designs to accelerate subgraph isomorphism problem, they req...
详细信息
Subgraph isomorphism problems have various important applications, while generally being NP-complete. Though Ullmann and Konishi proposed the custom circuit designs to accelerate subgraph isomorphism problem, they require many hardware resources for large problems. This study describes the design of data-dependent circuits for subgraph isomorphism problem with evaluation results on an actual FPGA platform. Data-dependent circuits are logic circuits specialized in specific input data. Such circuits are smaller and faster than the original circuit, although it is not reusable and involves circuit generation for each input. In the present study, the circuits were implemented on Xilinx XC2V3000 FPGA, and they successfully operated at a clock frequency 25 MHz. In the case of graphs with 16 vertices, the average execution time is about 7.0% of the software executed on an up-to-date microprocessor (Athlon XP 2600+ of 2.1 GHz clock). Even if the circuit generation time is included, data-dependent circuits are about 14.4 times faster than the software (for random graphs with 16 vertices). This performance advantage becomes larger for larger graphs. Two algorithms (Ullmann's and Konishi's) were examined, and the data-dependent approach was found to be equally effective for both algorithms. We also examined two types of input graph sets, and found that the data-dependent approach shows advantage in both cases.
The problem of covering an acyclic directed graph (DAG) with node disjoint paths is discussed. Such a ''path cover'' is called ''maximal'' if the number of paths is minimum. The paralle...
详细信息
The problem of covering an acyclic directed graph (DAG) with node disjoint paths is discussed. Such a ''path cover'' is called ''maximal'' if the number of paths is minimum. The parallel computational complexity for the problem of finding a maximal path cover for a DAG [3-7, 9, 13, 17] is studied and the problem is shown to belong to class NC when either in-degree or out-degree is at most 2. From this result it can be shown that the maximal bipartite matching problem is also in class NC when the degree of one of the node sets is at most 2.
Charge separation is one of the crucial processes in the photoelectric conversion of organic photovoltaics. It is considered that organic photovoltaics have low performances because of strong Coulomb attraction. In th...
详细信息
Charge separation is one of the crucial processes in the photoelectric conversion of organic photovoltaics. It is considered that organic photovoltaics have low performances because of strong Coulomb attraction. In this work, an entropy-driven charge-separation mechanism was elucidated using a graph algorithm and dynamic Monte Carlo simulations. Helmholtz energies were decreased by entropies, and had a barrier (240-270 meV) at an electron-hole distance of 6 nm;separation efficiencies at interfaces of large donor: small acceptor domains were lower than those at large donor: large acceptor domains, which can be attributed to their higher barrier-separation was promoted by a decreased barrier.
暂无评论