135 research outputs found
Random Geometric Graphs
We analyse graphs in which each vertex is assigned random coordinates in a
geometric space of arbitrary dimensionality and only edges between adjacent
points are present. The critical connectivity is found numerically by examining
the size of the largest cluster. We derive an analytical expression for the
cluster coefficient which shows that the graphs are distinctly different from
standard random graphs, even for infinite dimensionality. Insights relevant for
graph bi-partitioning are included.Comment: 16 pages, 10 figures. Minor changes. Added reference
High-Quality Hypergraph Partitioning
This dissertation focuses on computing high-quality solutions for the NP-hard balanced hypergraph partitioning problem: Given a hypergraph and an integer , partition its vertex set into 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.
Since the problem is computationally intractable, heuristics are used in practice - the most prominent being the three-phase multi-level paradigm: During coarsening, the hypergraph is successively contracted to obtain a hierarchy of smaller instances. After applying an initial partitioning algorithm to the smallest hypergraph, contraction is undone and, at each level, refinement algorithms try to improve the current solution.
With this work, we give a brief overview of the field and present several algorithmic improvements to the multi-level paradigm. Instead of using a logarithmic number of levels like traditional algorithms, we present two coarsening algorithms that create a hierarchy of (nearly) levels, where is the number of vertices. This makes consecutive levels as similar as possible and provides many opportunities for refinement algorithms to improve the partition. This approach is made feasible in practice by tailoring all algorithms and data structures to the -level paradigm, and developing lazy-evaluation techniques, caching mechanisms and early stopping criteria to speed up the partitioning process. Furthermore, we propose a sparsification algorithm based on locality-sensitive hashing that improves the running time for hypergraphs with large hyperedges, and show that incorporating global information about the community structure into the coarsening process improves quality. Moreover, we present a portfolio-based initial partitioning approach, and propose three refinement algorithms. Two are based on the Fiduccia-Mattheyses (FM) heuristic, but perform a highly localized search at each level. While one is designed for two-way partitioning, the other is the first FM-style algorithm that can be efficiently employed in the multi-level setting to directly improve -way partitions. The third algorithm uses max-flow computations on pairs of blocks to refine -way partitions. Finally, we present the first memetic multi-level hypergraph partitioning algorithm for an extensive exploration of the global solution space.
All contributions are made available through our open-source framework KaHyPar. In a comprehensive experimental study, we compare KaHyPar with hMETIS, PaToH, Mondriaan, Zoltan-AlgD, and HYPE on a wide range of hypergraphs from several application areas. Our results indicate that KaHyPar, already without the memetic component, computes better solutions than all competing algorithms for both the cut-net and the connectivity metric, while being faster than Zoltan-AlgD and equally fast as hMETIS. Moreover, KaHyPar compares favorably with the current best graph partitioning system KaFFPa - both in terms of solution quality and running time
Communities of Minima in Local Optima Networks of Combinatorial Spaces
In this work we present a new methodology to study the structure of the
configuration spaces of hard combinatorial problems. It consists in building
the network that has as nodes the locally optimal configurations and as edges
the weighted oriented transitions between their basins of attraction. We apply
the approach to the detection of communities in the optima networks produced by
two different classes of instances of a hard combinatorial optimization
problem: the quadratic assignment problem (QAP). We provide evidence indicating
that the two problem instance classes give rise to very different configuration
spaces. For the so-called real-like class, the networks possess a clear modular
structure, while the optima networks belonging to the class of random uniform
instances are less well partitionable into clusters. This is convincingly
supported by using several statistical tests. Finally, we shortly discuss the
consequences of the findings for heuristically searching the corresponding
problem spaces
- …