English
Related papers

Related papers: Beyond #CSP: A Dichotomy for Counting Weighted Eul…

200 papers

Bi-objective optimization problems on matroids are in general intractable and their corresponding decision problems are in general NP-hard. However, if one of the objective functions is restricted to binary cost coefficients the problem…

Optimization and Control · Mathematics 2022-04-12 Kathrin Klamroth , Michael Stiglmayr , Julia Sudhoff

We prove complex contraction for zero-free regions of counting weighted set cover problem in which an element can appear in an unbounded number of sets, thus obtaining fully polynomial-time approximation schemes(FPTAS) via Barvinok's…

Data Structures and Algorithms · Computer Science 2022-01-03 Liang Li , Guangzeng Xie

In 2007 it was conjectured that the Constraint Satisfaction Problem (CSP) over a constraint language $\Gamma$ is tractable if and only if $\Gamma$ is preserved by a weak near-unanimity (WNU) operation. After many efforts and partial…

Computational Complexity · Computer Science 2020-05-05 Dmitriy Zhuk

The complexity of the promise constraint satisfaction problem $\operatorname{PCSP}(\mathbf{A},\mathbf{B})$ is largely unknown, even for symmetric $\mathbf{A}$ and $\mathbf{B}$, except for the case when $\mathbf{A}$ and $\mathbf{B}$ are…

Computational Complexity · Computer Science 2024-08-19 Tamio-Vesa Nakajima , Stanislav Živný

While first-order stationary points (FOSPs) are the traditional targets of non-convex optimization, they often correspond to undesirable strict saddle points. To circumvent this, attention has shifted towards second-order stationary points…

Computational Complexity · Computer Science 2026-04-03 Andreas Kontogiannis , Ioannis Panageas , Vasilis Pollatos

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

We give an efficient algorithm to strongly refute \emph{semi-random} instances of all Boolean constraint satisfaction problems. The number of constraints required by our algorithm matches (up to polylogarithmic factors) the best-known…

Computational Complexity · Computer Science 2020-09-18 Jackson Abascal , Venkatesan Guruswami , Pravesh K. Kothari

Procrustes problems are matrix approximation problems searching for a~transformation of the given dataset to fit another dataset. They find applications in numerous areas, such as factor and multivariate analysis, computer vision,…

Optimization and Control · Mathematics 2023-05-01 Terézia Fulová , Mária Trnovská

We study a broad class of polynomial optimization problems whose constraints and objective functions exhibit sparsity patterns. We give two characterizations of the number of critical points to these problems, one as a mixed volume and one…

Algebraic Geometry · Mathematics 2024-06-12 Julia Lindberg , Leonid Monin , Kemal Rose

Dealing with NP-hard problems, kernelization is a fundamental notion for polynomial-time data reduction with performance guarantees: in polynomial time, a problem instance is reduced to an equivalent instance with size upper-bounded by a…

Data Structures and Algorithms · Computer Science 2022-12-26 Matthias Bentert , René van Bevern , Till Fluschnik , André Nichterlein , Rolf Niedermeier

Unique Sink Orientations (USOs) are an appealing abstraction of several major optimization problems of applied mathematics such as for instance Linear Programming (LP), Markov Decision Processes (MDPs) or 2-player Turn Based Stochastic…

Discrete Mathematics · Computer Science 2015-01-12 Romain Hollanders , Balázs Gerencsér , Jean-Charles Delvenne , Raphaël M. Jungers

This note revisits the ideas in an earlier (2007) paper on orbifolds and branched manifolds, showing how the constructions can be simplified by using a version of the Kuranishi atlases recently developed by McDuff--Wehrheim. We first show…

Symplectic Geometry · Mathematics 2015-11-17 Dusa McDuff

We study the Constraint Satisfaction Problem CSP(A), where A is first-order definable in (Z;+,1) and contains +. We prove such problems are either in P or NP-complete.

Computational Complexity · Computer Science 2018-07-04 Manuel Bodirsky , Barnaby Martin , Marcello Mamino , Antoine Mottet

A prominent problem in scheduling theory is the weighted flow time problem on one machine. We are given a machine and a set of jobs, each of them characterized by a processing time, a release time, and a weight. The goal is to find a…

Data Structures and Algorithms · Computer Science 2023-08-14 Alexander Armbruster , Lars Rohwedder , Andreas Wiese

A semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry,…

Computational Complexity · Computer Science 2015-06-02 Peter Jonsson , Johan Thapper

In this paper, we propose and study the use of alternating direction algorithms for several $\ell_1$-norm minimization problems arising from sparse solution recovery in compressive sensing, including the basis pursuit problem, the…

Optimization and Control · Mathematics 2009-12-08 Junfeng Yang , Yin Zhang

This paper presents a deterministic algorithmic approach of exploring the solution space of the Subset Sum Problem. The algorithm presented is input-robust and structurally adaptive. Exploration is guided and narrows into areas in the…

Computational Complexity · Computer Science 2025-06-19 Thami Nkosi

We discuss the complexity of path enumeration and counting in weighted temporal graphs. In a weighted temporal graph, each edge has an availability time, a traversal time and some real cost. We introduce two bicriteria temporal min-cost…

Computational Complexity · Computer Science 2020-07-10 Petra Mutzel , Lutz Oettershagen

We consider the class of counting problems,i.e. functions in $\#$P, which are self reducible, and have easy decision version, i.e. for every input it is easy to decide if the value of the function $f(x)$ is zero. For example,…

Computational Complexity · Computer Science 2016-11-08 Eleni Bakali

Understanding spatial correlation is vital in many fields including epidemiology and social science. Lee, Meeks and Pettersson (Stat. Comput. 2021) recently demonstrated that improved inference for areal unit count data can be achieved by…

Data Structures and Algorithms · Computer Science 2026-02-10 Jessica Enright , Duncan Lee , Kitty Meeks , William Pettersson , John Sylvester
‹ Prev 1 8 9 10 Next ›