Data Structures and Algorithms

New submissions

• New submissions

New submissions for Mon, 30 Mar 20

[1]  arXiv:2003.12110 [pdf, other]

Title: Advanced Flow-Based Multilevel Hypergraph Partitioning

Authors: Lars Gottesbüren, Michael Hamann, Sebastian Schlag, Dorothea Wagner

Comments: To appear at SEA'20

Subjects: Data Structures and Algorithms (cs.DS)

The balanced hypergraph partitioning problem is to partition a hypergraph into $k$ disjoint blocks of bounded size such that the sum of the number of blocks connected by each hyperedge is minimized. We present an improvement to the flow-based refinement framework of KaHyPar-MF, the current state-of-the-art multilevel $k$-way hypergraph partitioning algorithm for high-quality solutions. Our improvement is based on the recently proposed HyperFlowCutter algorithm for computing bipartitions of unweighted hypergraphs by solving a sequence of incremental maximum flow problems. Since vertices and hyperedges are aggregated during the coarsening phase, refinement algorithms employed in the multilevel setting must be able to handle both weighted hyperedges and weighted vertices -- even if the initial input hypergraph is unweighted. We therefore enhance HyperFlowCutter to handle weighted instances and propose a technique for computing maximum flows directly on weighted hypergraphs.
We compare the performance of two configurations of our new algorithm with KaHyPar-MF and seven other partitioning algorithms on a comprehensive benchmark set with instances from application areas such as VLSI design, scientific computing, and SAT solving. Our first configuration, KaHyPar-HFC, computes slightly better solutions than KaHyPar-MF using significantly less running time. The second configuration, KaHyPar-HFC*, computes solutions of significantly better quality and is still slightly faster than KaHyPar-MF. Furthermore, in terms of solution quality, both configurations also outperform all other competing partitioners.

[2]  arXiv:2003.12134 [pdf, other]

Title: Miniature Robot Path Planning for Bridge Inspection: Min-Max Cycle Cover-Based Approach

Authors: Michael Lin, Richard J. La

Subjects: Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)

We study the problem of planning the deployments of a group of mobile robots. While the problem and formulation can be used for many different problems, here we use a bridge inspection as the motivating application for the purpose of exposition. The robots are initially stationed at a set of depots placed throughout the bridge. Each robot is then assigned a set of sites on the bridge to inspect and, upon completion, must return to the same depot where it is stored.
The problem of robot planning is formulated as a rooted min-max cycle cover problem, in which the vertex set consists of the sites to be inspected and robot depots, and the weight of an edge captures either (i) the amount of time needed to travel from one end vertex to the other vertex or (ii) the necessary energy expenditure for the travel. In the first case, the objective function is the total inspection time, whereas in the latter case, it is the maximum energy expenditure among all deployed robots. We propose a novel algorithm with approximation ratio of $5 + \epsilon$, where $0<\epsilon<1$. In addition, the computational complexity of the proposed algorithm is shown to be $O\big( n^2+2^{m-1} n \log(n+k) \big)$, where $n$ is the number of vertices, and $m$ is the number of depots.

[3]  arXiv:2003.12293 [pdf, other]

Title: Large independent sets on random $d$-regular graphs with $d$ small

Authors: Raffaele Marino, Scott Kirkpatrick

Subjects: Data Structures and Algorithms (cs.DS)

In this paper, we present a prioritized local algorithm that computes a maximal independent set on a random $d$-regular graph with small and fixed connectivity $d$. Combining different strategies, we compute new lower bounds on the independence ratio $\forall d \in [5,100]$, $d\in \mathbb{N}$. All the new bounds improve upon the best previous bounds. Moreover, for independent set in random $3$-regular graph, we experimentally extrapolate, by finite-size analysis, the asymptotic value of the independence ratio at $\alpha_{LB}=0.445327$.

[4]  arXiv:2003.12460 [pdf, ps, other]

Title: An enhanced pinwheel algorithm for the bamboo garden trimming problem

Authors: Federico Della Croce

Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

In the Bamboo Garden Trimming Problem (BGT), there is a garden populated by n bamboos b(1), b(2), ... , b(n)$ with daily growth rates h(1) >= h(2) >= ... >= h(n). We assume that the initial heights of bamboos are zero. A gardener is in charge of the bamboos and trims them to height zero according to some schedule. The objective is to design a perpetual schedule of trimming so as to maintain the height of the bamboo garden as low as possible. We consider the so-called discrete BGT variant, where the gardener is allowed to trim only one bamboo at the end of each day. For discrete BGT, the current state-of-the-art approximation algorithm exploits the relationship between BGT and the classical Pinwheel scheduling problem and provides a solution that guarantees a 2-approximation ratio. We propose an alternative Pinwheel scheduling algorithm with approximation ratio converging to 12/7 when sum h(j) > > h(1). Also, we show that the approximation ratio of the proposed algorithm never exceeds 32000/16947 approximately 1.888. This is the first algorithm reaching a ratio strictly inferior to 19/10.

• New submissions