Abstract:Hypergraphs are a generalization of graphs where edges (aka nets ) are allowed to connect more than two vertices. They have a similarly wide range of applications as graphs. This paper considers the fundamental and intensively studied problem of balanced hypergraph partitioning , which asks for partitioning the vertices into k disjoint blocks of bounded size while minimizing an objective function over the hyperedges. Here, we consider the two most commonly used objectives: the cut-net metric and the connectivity metric . We describe our open source hypergraph partitioner KaHyPar which is based on the successful multi-level approach – driving it to the extreme of using one level for (almost) every vertex. Using carefully designed data structures and dynamic update techniques, this approach turns out to have a very good time–quality tradeoff. We present two preprocessing techniques – pin sparsification using locality sensitive hashing and community detection based on the Louvain algorithm . The community structure is used to guide the coarsening process that incrementally contracts vertices. Portfolio-based partitioning of the contracted hypergraph then already achieves a good initial solution. While reversing the contraction process, a combination of several refinement techniques achieves a good final partitioning. In particular, we support a highly-localized local search that can directly produce a k -way partitioning and complement this with flow-based techniques that take a more global view. Optionally, a memetic algorithm evolves a pool of solution candidates to an overall good solution. We evaluate KaHyPar for a large set of instances from a wide range of application domains. With respect to quality, KaHyPar outperforms all previously considered systems that can handle large hypergraphs such as hMETIS, PaToH, Mondriaan, or Zoltan. Somewhat surprisingly, to some extend, this even extends to graph partitioners such as KaHIP when considering the special case of graphs. KaHyPar is also faster than most of these systems except for PaToH which represents a different speed–quality tradeoff.

The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions

Fast and parallel decomposition of constraint satisfaction problems

Open Problems in (Hyper)Graph Decomposition

Structural Decompositions for Problems with Global Constraints

Efficient Algorithms and New Characterizations for CSP Sparsification

Distributed Constrained Combinatorial Optimization leveraging Hypergraph Neural Networks

HyperX: A Scalable Hypergraph Framework

Hypergraphs and Decision Trees (Abstract).

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

Faster algorithms for sparse ILP and hypergraph multi-packing/multi-cover problems

Supervised Hypergraph Reconstruction

Tree-decomposable and Underconstrained Geometric Constraint Problems

An order out of nowhere: a new algorithm for infinite-domain CSPs

Fast Parallel Tensor Times Same Vector for Hypergraphs

Assigning Entities to Teams as a Hypergraph Discovery Problem

High-Quality Hypergraph Partitioning

Computational Hypergraph Discovery, a Gaussian Process framework for connecting the dots

Formal Concept Lattice Representations and Algorithms for Hypergraphs

Large Hypertree Width for Sparse Random Hypergraphs

Efficient Knowledge Base Management in DCSP