English
Related papers

Related papers: Min-CSPs on Complete Instances II: Polylogarithmic…

200 papers

We study the 2-ary constraint satisfaction problems (2-CSPs), which can be stated as follows: given a constraint graph $G=(V,E)$, an alphabet set $\Sigma$ and, for each $\{u, v\}\in E$, a constraint $C_{uv} \subseteq \Sigma\times\Sigma$,…

Computational Complexity · Computer Science 2018-05-11 Irit Dinur , Pasin Manurangsi

We determine the computational complexity of approximately counting the total weight of variable assignments for every complex-weighted Boolean constraint satisfaction problem (or CSP) with any number of additional unary (i.e., arity 1)…

Computational Complexity · Computer Science 2015-05-19 Tomoyuki Yamakami

We study the general scheduling problem (GSP) which generalizes and unifies several well-studied preemptive single-machine scheduling problems, such as weighted flow time, weighted sum of completion time, and minimizing the total weight of…

Data Structures and Algorithms · Computer Science 2025-11-21 Alexander Armbruster , Lars Rohwedder , Andreas Wiese

A Constraint Satisfaction Problem (CSP) is a computational problem where we are given variables and constraints about them; the question is whether the variables can be assigned values such that all constraints are satisfied. We give an…

Logic in Computer Science · Computer Science 2022-04-01 Michael Pinsker

We show that various recent algorithms for finite-domain constraint satisfaction problems (CSP), which are based on solving their affine integer relaxations, do not solve all tractable and not even all Maltsev CSPs. This rules them out as…

Computational Complexity · Computer Science 2026-01-09 Moritz Lichter , Benedikt Pago

The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc.…

Data Structures and Algorithms · Computer Science 2023-09-22 Dung T. K. Ha , Canh V. Pham , Tan D. Tran , Huan X. Hoang

We study a variant of the quantum approximate optimization algorithm [ E. Farhi, J. Goldstone, and S. Gutmann, arXiv:1411.4028] with slightly different parametrization and different objective: rather than looking for a state which…

Quantum Physics · Physics 2016-08-17 D. Wecker , M. B. Hastings , M. Troyer

Many problems are NP-hard and, unless P = NP, do not admit polynomial-time exact algorithms. The fastest known exact algorithms exactly usually take time exponential in the input size. Much research effort has gone into obtaining faster…

Data Structures and Algorithms · Computer Science 2025-01-27 Stefan Kratsch , Pascal Kunz

This paper is about minimum cost constrained selection of inputs and outputs for generic arbitrary pole placement. The input-output set is constrained in the sense that the set of states that each input can influence and the set of states…

Optimization and Control · Mathematics 2018-01-11 Shana Moothedath , Prasanna Chaporkar , Madhu N. Belur

The constraint satisfaction problem (CSP) on a relational structure B is to decide, given a set of constraints on variables where the relations come from B, whether or not there is a assignment to the variables satisfying all of the…

Logic in Computer Science · Computer Science 2014-06-03 Hubie Chen

We study the complexity of approximate counting Constraint Satisfaction Problems (#CSPs) in a bounded degree setting. Specifically, given a Boolean constraint language $\Gamma$ and a degree bound $\Delta$, we study the complexity of…

Data Structures and Algorithms · Computer Science 2020-08-21 Andreas Galanis , Leslie Ann Goldberg , Kuan Yang

Cutting and packing problems are fundamental in manufacturing and logistics, as they aim to minimize waste and improve efficiency. The Cutting Stock Problem (CSP) concerns material cutting, whereas the Bin Packing Problem (BPP) concerns…

Data Structures and Algorithms · Computer Science 2026-04-08 Renan Fernando Franco da Silva , Vinícius Loti de Lima , Rafael C. S. Schouery , Jean-François Côté , Manuel Iori

An active topic in the study of random constraint satisfaction problems (CSPs) is the geometry of the space of satisfying or almost satisfying assignments as the function of the density, for which a precise landscape of predictions has been…

Data Structures and Algorithms · Computer Science 2021-06-25 Jun-Ting Hsieh , Sidhanth Mohanty , Jeff Xu

This thesis investigates the extent to which the optimal value of a constraint satisfaction problem (CSP) can be approximated by some sentence of fixed point logic with counting (FPC). It is known that, assuming $\mathsf{P} \neq…

Logic in Computer Science · Computer Science 2020-08-10 Jamie Tucker-Foltz

Valued constraint satisfaction problems (VCSPs) are discrete optimisation problems with a $(\mathbb{Q}\cup\{\infty\})$-valued objective function given as a sum of fixed-arity functions. In Boolean surjective VCSPs, variables take on labels…

Computational Complexity · Computer Science 2020-05-15 Peter Fulla , Hannes Uppman , Stanislav Zivny

Maximum surjective constraint satisfaction problems (Max-Sur-CSPs) are computational problems where we are given a set of variables denoting values from a finite domain B and a set of constraints on the variables. A solution to such a…

Computational Complexity · Computer Science 2011-10-14 Walter Bach , Hang Zhou

Constraint Satisfaction Problems (CSPs, for short) make up a class of problems with applications in many areas of computer science. The first classification of these problems was given by Schaeffer who showed that every CSP over the domain…

Computational Complexity · Computer Science 2025-08-18 Dejan Delic , John Marcoux

Constraint Satisfaction Problems (CSPs) form a broad class of combinatorial problems, which can be formulated as homomorphism problems between relational structures. The CSP dichotomy theorem classifies all such problems over finite domains…

Logic · Mathematics 2025-08-04 Azza Gaysin

We show that several important resource allocation problems in wireless networks fit within the common framework of Constraint Satisfaction Problems (CSPs). Inspired by the requirements of these applications, where variables are located at…

Artificial Intelligence · Computer Science 2013-09-19 K. R. Duffy , C. Bordenave , D. J. Leith

In the Strip Packing problem (SP), we are given a vertical half-strip $[0,W]\times[0,\infty)$ and a set of $n$ axis-aligned rectangles of width at most $W$. The goal is to find a non-overlapping packing of all rectangles into the strip such…

Data Structures and Algorithms · Computer Science 2022-05-09 Arindam Khan , Aditya Lonkar , Arnab Maiti , Amatya Sharma , Andreas Wiese
‹ Prev 1 4 5 6 7 8 10 Next ›