12,241 research outputs found
Higher-order Projected Power Iterations for Scalable Multi-Matching
The matching of multiple objects (e.g. shapes or images) is a fundamental
problem in vision and graphics. In order to robustly handle ambiguities, noise
and repetitive patterns in challenging real-world settings, it is essential to
take geometric consistency between points into account. Computationally, the
multi-matching problem is difficult. It can be phrased as simultaneously
solving multiple (NP-hard) quadratic assignment problems (QAPs) that are
coupled via cycle-consistency constraints. The main limitations of existing
multi-matching methods are that they either ignore geometric consistency and
thus have limited robustness, or they are restricted to small-scale problems
due to their (relatively) high computational cost. We address these
shortcomings by introducing a Higher-order Projected Power Iteration method,
which is (i) efficient and scales to tens of thousands of points, (ii)
straightforward to implement, (iii) able to incorporate geometric consistency,
(iv) guarantees cycle-consistent multi-matchings, and (iv) comes with
theoretical convergence guarantees. Experimentally we show that our approach is
superior to existing methods
Graph matching: relax or not?
We consider the problem of exact and inexact matching of weighted undirected
graphs, in which a bijective correspondence is sought to minimize a quadratic
weight disagreement. This computationally challenging problem is often relaxed
as a convex quadratic program, in which the space of permutations is replaced
by the space of doubly-stochastic matrices. However, the applicability of such
a relaxation is poorly understood. We define a broad class of friendly graphs
characterized by an easily verifiable spectral property. We prove that for
friendly graphs, the convex relaxation is guaranteed to find the exact
isomorphism or certify its inexistence. This result is further extended to
approximately isomorphic graphs, for which we develop an explicit bound on the
amount of weight disagreement under which the relaxation is guaranteed to find
the globally optimal approximate isomorphism. We also show that in many cases,
the graph matching problem can be further harmlessly relaxed to a convex
quadratic program with only n separable linear equality constraints, which is
substantially more efficient than the standard relaxation involving 2n equality
and n^2 inequality constraints. Finally, we show that our results are still
valid for unfriendly graphs if additional information in the form of seeds or
attributes is allowed, with the latter satisfying an easy to verify spectral
characteristic
MAP inference via Block-Coordinate Frank-Wolfe Algorithm
We present a new proximal bundle method for Maximum-A-Posteriori (MAP)
inference in structured energy minimization problems. The method optimizes a
Lagrangean relaxation of the original energy minimization problem using a multi
plane block-coordinate Frank-Wolfe method that takes advantage of the specific
structure of the Lagrangean decomposition. We show empirically that our method
outperforms state-of-the-art Lagrangean decomposition based algorithms on some
challenging Markov Random Field, multi-label discrete tomography and graph
matching problems
Semidefinite Programming Approach for the Quadratic Assignment Problem with a Sparse Graph
The matching problem between two adjacency matrices can be formulated as the
NP-hard quadratic assignment problem (QAP). Previous work on semidefinite
programming (SDP) relaxations to the QAP have produced solutions that are often
tight in practice, but such SDPs typically scale badly, involving matrix
variables of dimension where n is the number of nodes. To achieve a speed
up, we propose a further relaxation of the SDP involving a number of positive
semidefinite matrices of dimension no greater than the number
of edges in one of the graphs. The relaxation can be further strengthened by
considering cliques in the graph, instead of edges. The dual problem of this
novel relaxation has a natural three-block structure that can be solved via a
convergent Augmented Direction Method of Multipliers (ADMM) in a distributed
manner, where the most expensive step per iteration is computing the
eigendecomposition of matrices of dimension . The new SDP
relaxation produces strong bounds on quadratic assignment problems where one of
the graphs is sparse with reduced computational complexity and running times,
and can be used in the context of nuclear magnetic resonance spectroscopy (NMR)
to tackle the assignment problem.Comment: 31 page
- …