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.

Exact Partitioning of High-order Planted Models with a Tensor Nuclear Norm Constraint

Tensor Clustering with Planted Structures: Statistical Optimality and Computational Limits

Planted Random Number Partitioning Problem

Exact Clustering in Tensor Block Model: Statistical Optimality and Computational Limit

Convex optimization for the planted k-disjoint-clique problem

Highly Connected Graph Partitioning: Exact Formulation and Solution Methods

Convex Formulation for Planted Quasi-Clique Recovery

System partitioning on MCM using a new neural network model

High-dimensional clustering: a clique-based hypergraph partitioning framework

Multi-Linear Pseudo-PageRank for Hypergraph Partitioning

Rank-sparsity decomposition for planted quasi clique recovery

Planted Models for the Densest $k$-Subgraph Problem

Exact Vertex Migration Model of Graph Partitioning Based on Mixed 0–1 Linear Programming and Iteration Algorithm

Clustering Partially Observed Graphs via Convex Optimization

Finding Planted Subgraphs with Few Eigenvalues using the Schur-Horn Relaxation

Subnetwork Constraints for Tighter Upper Bounds and Exact Solution of the Clique Partitioning Problem

Conditional Random Fields, Planted Constraint Satisfaction, and Entropy Concentration

High-Quality Hypergraph Partitioning

Optimal and exact recovery on general non-uniform Hypergraph Stochastic Block Model

Optimizing Connected Components Graph Partitioning With Minimum Size Constraints Using Integer Programming and Spectral Clustering Techniques