English
Related papers

Related papers: Tractable Triangles and Cross-Free Convexity in Di…

200 papers

Many researchers in artificial intelligence are beginning to explore the use of soft constraints to express a set of (possibly conflicting) problem requirements. A soft constraint is a function defined on a collection of variables which…

Artificial Intelligence · Computer Science 2011-07-04 D. Cohen , M. Cooper , P. Jeavons , A. Krokhin

Optimal Morse matchings reveal essential structures of cell complexes which lead to powerful tools to study discrete geometrical objects, in particular discrete 3-manifolds. However, such matchings are known to be NP-hard to compute on…

Computational Geometry · Computer Science 2018-10-24 Benjamin A. Burton , Thomas Lewiner , João Paixão , Jonathan Spreer

Several variants of the Constraint Satisfaction Problem have been proposed and investigated in the literature for modelling those scenarios where solutions are associated with some given costs. Within these frameworks computing an optimal…

Artificial Intelligence · Computer Science 2012-09-18 Georg Gottlob , Gianluigi Greco , Francesco Scarcello

We consider a class of infinite-dimensional optimization problems in which a distributed vector-valued variable should pointwise almost everywhere take values from a given finite set $\mathcal{M}\subset\mathbb{R}^m$. Such hybrid…

Optimization and Control · Mathematics 2021-11-09 Christian Clason , Carla Tameling , Benedikt Wirth

We report new results on the complexity of the valued constraint satisfaction problem (VCSP). Under the unique games conjecture, the approximability of finite-valued VCSP is fairly well-understood. However, there is yet no characterisation…

Computational Complexity · Computer Science 2011-04-29 Peter Jonsson , Fredrik Kuivinen , Johan Thapper

The problem of computing minimally sparse solutions of under-determined linear systems is $NP$ hard in general. Subsets with extra properties, may allow efficient algorithms, most notably problems with the restricted isometry property (RIP)…

Machine Learning · Computer Science 2023-02-07 G. Welper

Problems of segmentation, denoising, registration and 3D reconstruction are often addressed with the graph cut algorithm. However, solving an unconstrained graph cut problem is NP-hard. For tractable optimization, pairwise potentials have…

Machine Learning · Computer Science 2019-11-26 Maxim Berman , Matthew B. Blaschko

In this paper, we investigate the hybrid tractability of binary Quantified Constraint Satisfaction Problems (QCSPs). First, a basic tractable class of binary QCSPs is identified by using the broken-triangle property. In this class, the…

Artificial Intelligence · Computer Science 2011-04-27 Jian Gao , Minghao Yin , Junping Zhou

A binary VCSP is a general framework for the minimization problem of a function represented as the sum of unary and binary cost functions. An important line of VCSP research is to investigate what functions can be solved in polynomial time.…

Discrete Mathematics · Computer Science 2019-07-18 Hiroshi Hirai , Yuni Iwamasa , Kazuo Murota , Stanislav Zivny

Valued constraint satisfaction problems (VCSPs) are a large class of combinatorial optimisation problems. It is desirable to classify the computational complexity of VCSPs depending on a fixed set of allowed cost functions in the input.…

Logic · Mathematics 2018-04-06 Manuel Bodirsky , Marcello Mamino , Caterina Viola

This paper considers an optimization problem for a dynamical system whose evolution depends on a collection of binary decision variables. We develop scalable approximation algorithms with provable suboptimality bounds to provide…

Optimization and Control · Mathematics 2016-10-31 Insoon Yang , Samuel A. Burden , Ram Rajagopal , S. Shankar Sastry , Claire J. Tomlin

Evolutionary multi-objective algorithms have successfully been used in the context of Pareto optimization where a given constraint is relaxed into an additional objective. In this paper, we explore the use of 3-objective formulations for…

Neural and Evolutionary Computing · Computer Science 2023-04-19 Frank Neumann , Carsten Witt

The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main…

Artificial Intelligence · Computer Science 2014-07-09 David A. Cohen , Martin C. Cooper , Páidí Creed , András Z. Salamon

Optimization problems are ubiquitous in our societies and are present in almost every segment of the economy. Most of these optimization problems are NP-hard and computationally demanding, often requiring approximate solutions for…

Optimization and Control · Mathematics 2021-06-23 James Kotary , Ferdinando Fioretto , Pascal Van Hentenryck

In extension problems of partial graph drawings one is given an incomplete drawing of an input graph $G$ and is asked to complete the drawing while maintaining certain properties. A prominent area where such problems arise is that of…

Computational Geometry · Computer Science 2020-12-15 Robert Ganian , Thekla Hamm , Fabian Klute , Irene Parada , Birgit Vogtenhuber

The problem of minimizing a multilinear function of binary variables is a well-studied NP-hard problem. The set of solutions of the standard linearization of this problem is called the multilinear set. We study a cardinality constrained…

Optimization and Control · Mathematics 2021-08-31 Rui Chen , Sanjeeb Dash , Oktay Gunluk

In many combinatorial problems one may need to model the diversity or similarity of assignments in a solution. For example, one may wish to maximise or minimise the number of distinct values in a solution. To formulate problems of this…

Artificial Intelligence · Computer Science 2014-01-17 Emmanuel Hebrard , Dániel Marx , Barry O'Sullivan , Igor Razgon

This work proposes an implementable proximal-type method for a broad class of optimization problems involving nonsmooth and nonconvex objective and constraint functions. In contrast to existing methods that rely on an ad hoc model…

Optimization and Control · Mathematics 2024-09-26 Gregorio M. Sempere , Welington de Oliveira , Johannes O. Royset

A fundamental problem in revenue management is to optimally choose the attributes of products, such that the total profit or revenue or market share is maximized. Usually, these attributes can affect both a product's market share…

Optimization and Control · Mathematics 2021-12-24 Hongzhang Shao , Anton J. Kleywegt

We provide a general framework to construct finite dimensional approximations of the space of convex functions, which also applies to the space of c-convex functions and to the space of support functions of convex bodies. We give estimates…

Numerical Analysis · Mathematics 2014-03-11 Quentin Mérigot , Edouard Oudet
‹ Prev 1 2 3 10 Next ›