KADABRA is an ADaptive Algorithm for Betweenness via Random Approximation
We present KADABRA, a new algorithm to approximate betweenness centrality in directed and undirected graphs, which significantly outperforms all previous approaches on real-world complex networks. The efficiency of the new algorithm relies on two new ...
Better External Memory LCP Array Construction
The suffix array, perhaps the most important data structure in modern string processing, needs to be augmented with the longest-common-prefix (LCP) array in many applications. Their construction is often a major bottleneck, especially when the data is ...
BlockQuicksort: Avoiding Branch Mispredictions in Quicksort
It is well known that Quicksort -- which is commonly considered as one of the fastest in-place sorting algorithms -- suffers in an essential way from branch mispredictions. We present a novel approach to addressing this problem by partially decoupling ...
SimBa: An Efficient Tool for Approximating Rips-filtration Persistence via Simplicial Batch Collapse
In topological data analysis, a point cloud data P extracted from a metric space is often analyzed by computing the persistence diagram or barcodes of a sequence of Rips complexes built on P indexed by a scale parameter. Unfortunately, even for input of ...
Fully Dynamic 2-Hop Cover Labeling
The 2-hop Cover labeling of a graph is currently the best data structure for answering shortest-path distance queries on large-scale networks, since it combines low query times, affordable space occupancy, and reasonable preprocessing effort. Its main ...
Strong Steiner Tree Approximations in Practice
In this experimental study, we consider Steiner tree approximation algorithms that guarantee a constant approximation ratio smaller than 2. The considered greedy algorithms and approaches based on linear programming involve the incorporation of k-...
Linear and Efficient String Matching Algorithms Based on Weak Factor Recognition
We present a simple and very efficient algorithm for string matching based on the combination of weak factor recognition and hashing. Despite its quadratic worst-case running time, our algorithm exhibits a sublinear behaviour. We also propose some ...
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté--Todinca Algorithm
The BT algorithm of Bouchitté and Todinca based on enumerating potential maximal cliques, originally proposed for the treewidth and minimum fill-in problems, yields improved exact exponential-time algorithms for various graph optimization problems ...
Automated Congressional Redistricting
Every 10 years, when states are forced to redraw their congressional districts, the process is intensely partisan, and the outcome is rarely fair and democratic. In the past few decades, the growing capabilities of computers have offered the promise of ...
A Faster Hafnian Formula for Complex Matrices and Its Benchmarking on a Supercomputer
We introduce new and simple algorithms for the calculation of the number of perfect matchings of complex weighted, undirected graphs with and without loops. Our compact formulas for the hafnian and loop hafnian of n × n complex matrices run in O(n3 2n/2)...
Geometric Heuristics for Rectilinear Crossing Minimization
In this article, we consider the rectilinear crossing minimization problem, i.e., we seek a straight-line drawing Γ of a graph G=(V,E) with a small number of edge crossings. Crossing minimization is an active field of research [1, 10]. While there is a ...
Listing All Maximal k-Plexes in Temporal Graphs
Many real-world networks evolve over time, that is, new contacts appear and old contacts may disappear. They can be modeled as temporal graphs where interactions between vertices (which represent people in the case of social networks) are represented by ...
Fully Dynamic Graph Algorithms Inspired by Distributed Computing: Deterministic Maximal Matching and Edge Coloring in Sublinear Update-Time
We study dynamic graphs in the fully dynamic centralized setting. In this setting, the vertex set of size n of a graph G is fixed, and the edge set changes step-by-step, such that each step either adds or removes an edge. Dynamic graphs have various ...
New Exact and Heuristic Algorithms for Graph Automorphism Group and Graph Isomorphism
We describe five new algorithms, named Vsep. Four of them are for the graph automorphism group and the fifth one is for finding an isomorphism between two graphs. All nonequivalent terminal nodes-discrete partitions of the search tree are stored. This ...
Scalable Kernelization for Maximum Independent Sets
The most efficient algorithms for finding maximum independent sets in both theory and practice use reduction rules to obtain a much smaller problem instance called a kernel. The kernel can then be solved quickly using exact or heuristic algorithms—or by ...
Comparing Two Clusterings Using Matchings between Clusters of Clusters
Clustering is a fundamental problem in data science, yet the variety of clustering methods and their sensitivity to parameters make clustering hard. To analyze the stability of a given clustering algorithm while varying its parameters, and to compare ...
Fast Exact Computation of Isocontours in Road Networks
We study the problem of computing isocontours in static and dynamic road networks, where the objective is to identify the boundary of the region that is reachable from a given source within a certain amount of time (or another limited resource). ...
Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments
Given a graph G, the NP-hard Maximum Planar Subgraph problem asks for a planar subgraph of G with the maximum number of edges. The only known non-trivial exact algorithm utilizes Kuratowski’s famous planarity criterion and can be formulated as an ...
Evaluating and Tuning n-fold Integer Programming
In recent years, algorithmic breakthroughs in stringology, computational social choice, scheduling, and so on, were achieved by applying the theory of so-called n-fold integer programming. An n-fold integer program (IP) has a highly uniform block ...
Network Flow-Based Refinement for Multilevel Hypergraph Partitioning
We present a refinement framework for multilevel hypergraph partitioning that uses max-flow computations on pairs of blocks to improve the solution quality of a k-way partition. The framework generalizes the flow-based improvement algorithm of the ...
Real-time Traffic Assignment Using Engineered Customizable Contraction Hierarchies
Given an urban road network and a set of origin-destination pairs, the traffic assignment problem asks for the traffic flow on each road segment. Common solution algorithms require a large number of shortest-path computations. In this article, we ...
Multi-level Steiner Trees
- Reyan Ahmed,
- Patrizio Angelini,
- Faryad Darabi Sahneh,
- Alon Efrat,
- David Glickenstein,
- Martin Gronemann,
- Niklas Heinsohn,
- Stephen G. Kobourov,
- Richard Spence,
- Joseph Watkins,
- Alexander Wolff
In the classical Steiner tree problem, given an undirected, connected graph G=(V,E) with non-negative edge costs and a set of terminals T⊆ V, the objective is to find a minimum-cost tree E&prime ⊆ E that spans the terminals. The problem is APX-hard; the ...
Empirical Evaluation of Approximation Algorithms for Generalized Graph Coloring and Uniform Quasi-wideness
The notions of bounded expansion and nowhere denseness not only offer robust and general definitions of uniform sparseness of graphs, they also describe the tractability boundary for several important algorithmic questions. In this article, we study two ...
Finding Hamiltonian Cycle in Graphs of Bounded Treewidth: Experimental Evaluation
The notion of treewidth, introduced by Robertson and Seymour in their seminal Graph Minors series, turned out to have tremendous impact on graph algorithmics. Many hard computational problems on graphs turn out to be efficiently solvable in graphs of ...
Subjects
Currently Not Available