English
Related papers

Related papers: Anytime Marginal MAP Inference

200 papers

We prove that the $\alpha$-expansion algorithm for MAP inference always returns a globally optimal assignment for Markov Random Fields with Potts pairwise potentials, with a catch: the returned assignment is only guaranteed to be optimal…

Machine Learning · Statistics 2021-06-16 Hunter Lang , David Sontag , Aravindan Vijayaraghavan

Point feature map labeling is a geometric problem, in which a set of input points must be labeled with a set of disjoint rectangles (the bounding boxes of the label texts). Typically, labeling models either use internal labels, which must…

Computational Geometry · Computer Science 2015-01-28 Maarten Löffler , Martin Nöllenburg , Frank Staals

Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes…

Discrete Mathematics · Computer Science 2021-05-27 Arnaud Casteigts , Anne-Sophie Himmel , Hendrik Molter , Philipp Zschoche

Temporal dependencies between customer visits, such as synchronization constraints, pose a fundamental challenge in vehicle routing. These dependencies, which arise in applications such as home healthcare routing, aircraft scheduling, and…

Optimization and Control · Mathematics 2026-04-20 Loek van Montfort , Markus Leitner , Rosario Paradiso

We study the generalized minimum Manhattan network (GMMN) problem: given a set $P$ of pairs of two points in the Euclidean plane $\mathbb{R}^2$, we are required to find a minimum-length geometric network which consists of axis-aligned…

Data Structures and Algorithms · Computer Science 2020-04-28 Yuya Masumura , Taihei Oki , Yutaro Yamaguchi

This paper proposes an infeasible interior-point algorithm for the convex optimization problem using arc-search techniques. The proposed algorithm simultaneously selects the centering parameter and the step size, aiming at optimizing the…

Optimization and Control · Mathematics 2024-03-12 Yaguang Yang

We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test…

Discrete Mathematics · Computer Science 2015-05-15 Martin Grohe , Pascal Schweitzer

We show that for a number of parameterized problems for which only $2^{O(k)} n^{O(1)}$ time algorithms are known on general graphs, subexponential parameterized algorithms with running time $2^{O(k^{1-\frac{1}{1+\delta}} \log^2 k)}…

Data Structures and Algorithms · Computer Science 2016-10-26 Dániel Marx , Marcin Pilipczuk

We consider the problem of computing a Steiner tree of minimum cost under a hop constraint which requires the depth of the tree to be at most $k$. Our main result is an exact algorithm for metrics induced by graphs with bounded treewidth…

Data Structures and Algorithms · Computer Science 2022-10-12 Martin Böhm , Ruben Hoeksma , Nicole Megow , Lukas Nölke , Bertrand Simon

The theoretical models providing mathematical abstractions for several significant optimization problems in machine learning, combinatorial optimization, computer vision and statistical physics have intrinsic similarities. We propose a…

Data Structures and Algorithms · Computer Science 2018-04-18 Yi-Kai Wang

We introduce a new algebraic sieving technique to detect constrained multilinear monomials in multivariate polynomial generating functions given by an evaluation oracle. As applications of the technique, we show an $O^*(2^k)$-time…

Data Structures and Algorithms · Computer Science 2013-05-15 Andreas Bjorklund , Petteri Kaski , Lukasz Kowalik

Efficiently finding the maximum a posteriori (MAP) configuration of a graphical model is an important problem which is often implemented using message passing algorithms. The optimality of such algorithms is only well established for…

Artificial Intelligence · Computer Science 2012-05-14 Tony S. Jebara

Problems from metric graph theory like Metric Dimension, Geodetic Set, and Strong Metric Dimension have recently had a strong impact in parameterized complexity by being the first known problems in NP to admit double-exponential lower…

Discrete Mathematics · Computer Science 2024-06-07 Benjamin Bergougnoux , Oscar Defrain , Fionn Mc Inerney

In this paper we propose and study a new complexity model for approximation algorithms. The main motivation are practical problems over large data sets that need to be solved many times for different scenarios, e.g., many multicast trees…

Data Structures and Algorithms · Computer Science 2010-06-18 Marek Cygan , Lukasz Kowalik , Marcin Mucha , Marcin Pilipczuk , Piotr Sankowski

We consider the problem of routing on a network in the presence of line segment constraints (i.e., obstacles that edges in our network are not allowed to cross). Let $P$ be a set of $n$ points in the plane and let $S$ be a set of…

Computational Geometry · Computer Science 2019-01-03 Prosenjit Bose , Matias Korman , André van Renssen , Sander Verdonschot

We introduce a globally-convergent algorithm for optimizing the tree-reweighted (TRW) variational objective over the marginal polytope. The algorithm is based on the conditional gradient method (Frank-Wolfe) and moves pseudomarginals within…

Machine Learning · Statistics 2015-11-26 Rahul G. Krishnan , Simon Lacoste-Julien , David Sontag

Approximating the partition function of the ferromagnetic Ising model with general external fields is known to be #BIS-hard in the worst case, even for bounded-degree graphs, and it is widely believed that no polynomial-time approximation…

Data Structures and Algorithms · Computer Science 2021-08-27 Tyler Helmuth , Holden Lee , Will Perkins , Mohan Ravichandran , Qiang Wu

In a Bayesian network, we wish to evaluate the marginal probability of a query variable, which may be conditioned on the observed values of some evidence variables. Here we first present our "border algorithm," which converts a BN into a…

Artificial Intelligence · Computer Science 2014-11-25 Do Le Paul Minh

The graph isomorphism problem is theoretically interesting and also has many practical applications. The best known classical algorithms for graph isomorphism all run in time super-polynomial in the size of the graph in the worst case. An…

Quantum Physics · Physics 2011-04-26 David Rosenbaum

This article presents a strongly polynomial-time algorithm for the general linear programming problem. This algorithm is an implicit reduction procedure that works as follows. Primal and dual problems are combined into a special system of…

Optimization and Control · Mathematics 2026-03-24 Samuel Awoniyi