English
Related papers

Related papers: Solving Marginal MAP Problems with NP Oracles and …

200 papers

In this paper, we present the first outer approximation algorithm for multi-objective mixed-integer linear programming problems with any number of objectives. The algorithm also works for certain classes of non-linear programming problems.…

Optimization and Control · Mathematics 2022-05-04 Fritz Bökler , Sophie N. Parragh , Markus Sinnl , Fabien Tricoire

Channel and frequency offset estimation is a classic topic with a large body of prior work using mainly maximum likelihood (ML) approach together with Cram\'er-Rao Lower bounds (CRLB) analysis. We provide the maximum a posteriori (MAP)…

Signal Processing · Electrical Eng. & Systems 2019-05-13 Mingda Zhou , Zhe Feng , Xinming Huang , Youjian , Liu

MAP is the problem of finding a most probable instantiation of a set of variables in a Bayesian network given some evidence. Unlike computing posterior probabilities, or MPE (a special case of MAP), the time and space complexity of…

Artificial Intelligence · Computer Science 2012-12-12 James D. Park , Adnan Darwiche

This paper proposes a parallel-in-time method for computing continuous-time maximum-a-posteriori (MAP) trajectory estimates of the states of partially observed stochastic differential equations (SDEs), with the goal of improving…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-16 Hassan Razavi , Ángel F. García-Fernández , Simo Särkkä

Sparse structure learning in high-dimensional Gaussian graphical models is an important problem in multivariate statistical signal processing; since the sparsity pattern naturally encodes the conditional independence relationship among…

Methodology · Statistics 2023-09-26 Ksheera Sagar , Jyotishka Datta , Sayantan Banerjee , Anindya Bhadra

In this paper, we consider two types of problems that have some similarity in their structure, namely, min-min problems and min-max saddle-point problems. Our approach is based on considering the outer minimization problem as a minimization…

Optimization and Control · Mathematics 2021-09-29 Egor Gladin , Abdurakhmon Sadiev , Alexander Gasnikov , Pavel Dvurechensky , Aleksandr Beznosikov , Mohammad Alkousa

Inverse optimization is the problem of determining the values of missing input parameters for an associated forward problem that are closest to given estimates and that will make a given target vector optimal. This study is concerned with…

Computational Complexity · Computer Science 2023-07-14 Aykut Bulut , Ted K. Ralphs

Mixed-integer linear programming (MILP) is widely employed for modeling combinatorial optimization problems. In practice, similar MILP instances with only coefficient variations are routinely solved, and machine learning (ML) algorithms are…

Optimization and Control · Mathematics 2023-03-07 Qingyu Han , Linxin Yang , Qian Chen , Xiang Zhou , Dong Zhang , Akang Wang , Ruoyu Sun , Xiaodong Luo

Given a matrix $A \in \mathbb{R}^{n\times n}$, we consider the problem of maximizing $x^TAx$ subject to the constraint $x \in \{-1,1\}^n$. This problem, called MaxQP by Charikar and Wirth [FOCS'04], generalizes MaxCut and has natural…

Data Structures and Algorithms · Computer Science 2020-12-16 Danny Hermelin , Leon Kellerhals , Rolf Niedermeier , Rami Pugatch

In this paper, we consider the maximum a posteriori (MAP) estimation for the multiple measurement vectors (MMV) problem with application to direction-of-arrival (DOA) estimation, which is classically formulated as a regularized…

Signal Processing · Electrical Eng. & Systems 2024-10-21 Tianyi Liu , Frederic Matter , Alexander Sorg , Marc E. Pfetsch , Martin Haardt , Marius Pesavento

Finding the most probable (MAP) model in SRL frameworks such as Markov logic and Problog can, in principle, be solved by encoding the problem as a `grounded-out' mixed integer program (MIP). However, useful first-order structure disappears…

Artificial Intelligence · Computer Science 2015-07-14 James Cussens

We propose an extremely versatile approach to address a large family of matrix nearness problems, possibly with additional linear constraints. Our method is based on splitting a matrix nearness problem into two nested optimization problems,…

Numerical Analysis · Mathematics 2025-08-14 Miryam Gnazzo , Vanni Noferini , Lauri Nyman , Federico Poloni

Satisfiability Modulo Counting (SMC) encompasses problems that require both symbolic decision-making and statistical reasoning. Its general formulation captures many real-world problems at the intersection of symbolic and statistical…

Artificial Intelligence · Computer Science 2024-01-02 Jinzhao Li , Nan Jiang , Yexiang Xue

In Probabilistic Logic Programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program. In this paper, we consider two other important tasks in the PLP setting: the…

Artificial Intelligence · Computer Science 2020-09-23 Elena Bellodi , Marco Alberti , Fabrizio Riguzzi , Riccardo Zese

In this paper we consider $m$ ($m \geq 1$)conjunctions of Max-atoms that is atoms of the form $\max(z,y) + r \geq x$, where the offset $r$ is a real constant and $x,y,z$ are variables. We show that the Max-atom problem (MAP) belongs to…

Combinatorics · Mathematics 2024-08-28 Chams Lahlou , Laurent Truffet

During recent decades, there has been a substantial development in optimal mass transport theory and methods. In this work, we consider multi-marginal problems wherein only partial information of each marginal is available, which is a setup…

Signal Processing · Electrical Eng. & Systems 2019-05-13 Filip Elvander , Isabel Haasler , Andreas Jakobsson , Johan Karlsson

A demanding challenge in Bayesian inversion is to efficiently characterize the posterior distribution. This task is problematic especially in high-dimensional non-Gaussian problems, where the structure of the posterior can be very chaotic…

Statistics Theory · Mathematics 2015-06-04 Tapio Helin , Martin Burger

Probabilistic inference is fundamentally hard, yet many tasks require optimization on top of inference, which is even harder. We present a new optimization-via-compilation strategy to scalably solve a certain class of such problems. In…

Programming Languages · Computer Science 2025-04-11 Minsung Cho , John Gouwar , Steven Holtzen

Many probabilistic inference tasks involve summations over exponentially large sets. Recently, it has been shown that these problems can be reduced to solving a polynomial number of MAP inference queries for a model augmented with randomly…

Artificial Intelligence · Computer Science 2013-09-27 Stefano Ermon , Carla P. Gomes , Ashish Sabharwal , Bart Selman

We present a new local approximation algorithm for computing Maximum a Posteriori (MAP) and log-partition function for arbitrary exponential family distribution represented by a finite-valued pair-wise Markov random field (MRF), say $G$.…

Artificial Intelligence · Computer Science 2007-10-03 Kyomin Jung , Devavrat Shah