93,349 research outputs found
Tree-based Coarsening and Partitioning of Complex Networks
Many applications produce massive complex networks whose analysis would
benefit from parallel processing. Parallel algorithms, in turn, often require a
suitable network partition. For solving optimization tasks such as graph
partitioning on large networks, multilevel methods are preferred in practice.
Yet, complex networks pose challenges to established multilevel algorithms, in
particular to their coarsening phase.
One way to specify a (recursive) coarsening of a graph is to rate its edges
and then contract the edges as prioritized by the rating. In this paper we (i)
define weights for the edges of a network that express the edges' importance
for connectivity, (ii) compute a minimum weight spanning tree with
respect to these weights, and (iii) rate the network edges based on the
conductance values of 's fundamental cuts. To this end, we also (iv)
develop the first optimal linear-time algorithm to compute the conductance
values of \emph{all} fundamental cuts of a given spanning tree. We integrate
the new edge rating into a leading multilevel graph partitioner and equip the
latter with a new greedy postprocessing for optimizing the maximum
communication volume (MCV). Experiments on bipartitioning frequently used
benchmark networks show that the postprocessing already reduces MCV by 11.3%.
Our new edge rating further reduces MCV by 10.3% compared to the previously
best rating with the postprocessing in place for both ratings. In total, with a
modest increase in running time, our new approach reduces the MCV of complex
network partitions by 20.4%
A note on QUBO instances defined on Chimera graphs
McGeoch and Wang (2013) recently obtained optimal or near-optimal solutions
to some quadratic unconstrained boolean optimization (QUBO) problem instances
using a 439 qubit D-Wave Two quantum computing system in much less time than
with the IBM ILOG CPLEX mixed-integer quadratic programming (MIQP) solver. The
problems studied by McGeoch and Wang are defined on subgraphs -- with up to 439
nodes -- of Chimera graphs. We observe that after a standard reformulation of
the QUBO problem as a mixed-integer linear program (MILP), the specific
instances used by McGeoch and Wang can be solved to optimality with the CPLEX
MILP solver in much less time than the time reported in McGeoch and Wang for
the CPLEX MIQP solver. However, the solution time is still more than the time
taken by the D-Wave computer in the McGeoch-Wang tests.Comment: Version 1 discussed computational results with random QUBO instances.
McGeoch and Wang made an error in describing the instances they used; they
did not use random QUBO instances but rather random Ising Model instances
with fields (mapped to QUBO instances). The current version of the note
reports on tests with the precise instances used by McGeoch and Wan
Combinatorial Continuous Maximal Flows
Maximum flow (and minimum cut) algorithms have had a strong impact on
computer vision. In particular, graph cuts algorithms provide a mechanism for
the discrete optimization of an energy functional which has been used in a
variety of applications such as image segmentation, stereo, image stitching and
texture synthesis. Algorithms based on the classical formulation of max-flow
defined on a graph are known to exhibit metrication artefacts in the solution.
Therefore, a recent trend has been to instead employ a spatially continuous
maximum flow (or the dual min-cut problem) in these same applications to
produce solutions with no metrication errors. However, known fast continuous
max-flow algorithms have no stopping criteria or have not been proved to
converge. In this work, we revisit the continuous max-flow problem and show
that the analogous discrete formulation is different from the classical
max-flow problem. We then apply an appropriate combinatorial optimization
technique to this combinatorial continuous max-flow CCMF problem to find a
null-divergence solution that exhibits no metrication artefacts and may be
solved exactly by a fast, efficient algorithm with provable convergence.
Finally, by exhibiting the dual problem of our CCMF formulation, we clarify the
fact, already proved by Nozawa in the continuous setting, that the max-flow and
the total variation problems are not always equivalent.Comment: 26 page
- …