English
Related papers

Related papers: It's Not Easy Being Three: The Approximability of …

200 papers

We study a discrete version of a geometric stable marriage problem originally proposed in a continuous setting by Hoffman, Holroyd, and Peres, in which points in the plane are stably matched to cluster centers, as prioritized by their…

Data Structures and Algorithms · Computer Science 2017-04-10 David Eppstein , Michael T. Goodrich , Nil Mamano

We consider worst case time bounds for NP-complete problems including 3-SAT, 3-coloring, 3-edge-coloring, and 3-list-coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems; 3-SAT is equivalent to…

Data Structures and Algorithms · Computer Science 2007-05-23 David Eppstein

We investigate the complexity of solving stable or perturbation-resilient instances of $k$-Means and $k$-Median clustering in fixed dimension Euclidean metrics (more generally doubling metrics). The notion of stable (perturbation resilient)…

Data Structures and Algorithms · Computer Science 2024-02-01 Zachary Friggstad , Kamyar Khodamoradi , Mohammad R. Salavatipour

The classical Stable Roommates problem is to decide whether there exists a matching of an even number of agents such that no two agents which are not matched to each other would prefer to be with each other rather than with their…

Computer Science and Game Theory · Computer Science 2020-04-21 Robert Bredereck , Jiehua Chen , Ugo Paavo Finnendahl , Rolf Niedermeier

We study the approximability of two related problems on graphs with $n$ nodes and $m$ edges: $n$-Pairs Shortest Paths ($n$-PSP), where the goal is to find a shortest path between $O(n)$ prespecified pairs, and All Node Shortest Cycles…

Data Structures and Algorithms · Computer Science 2022-09-21 Mina Dalirrooyfard , Ce Jin , Virginia Vassilevska Williams , Nicole Wein

The standard proof of NP-Hardness of 3DM provides a power-$4$ reduction of 3SAT to 3DM. In this note, we provide a linear-time reduction. Under the exponential time hypothesis, this reduction improves the runtime lower bound from…

Computational Complexity · Computer Science 2020-03-03 Shrinu Kushagra

This paper studies complete $k$-Constraint Satisfaction Problems (CSPs), where an $n$-variable instance has exactly one nontrivial constraint for each subset of $k$ variables, i.e., it has $\binom{n}{k}$ constraints. A recent work started a…

Data Structures and Algorithms · Computer Science 2025-04-29 Aditya Anand , Euiwoong Lee , Davide Mazzali , Amatya Sharma

It is well known that every stable matching instance $I$ has a rotation poset $R(I)$ that can be computed efficiently and the downsets of $R(I)$ are in one-to-one correspondence with the stable matchings of $I$. Furthermore, for every poset…

Discrete Mathematics · Computer Science 2021-01-29 Christine T. Cheng , Will Rosenbaum

We study a natural generalization of stable matching to the maximum weight stable matching problem and we obtain a combinatorial polynomial time algorithm for it by reducing it to the problem of finding a maximum weight ideal cut in a DAG.…

Data Structures and Algorithms · Computer Science 2018-04-04 Tung Mai , Vijay V. Vazirani

We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations $\tau$ (the `text') and $\pi$ (the `pattern'), and the goal is to decide whether $\tau$…

Combinatorics · Mathematics 2021-08-10 Vít Jelínek , Michal Opler , Jakub Pekárek

We consider simplified, monotone versions of Not-All-Equal 3-Sat and 3-Sat, variants of the famous Satisfiability Problem where each clause is made up of exactly three distinct literals. We show that Not-All-Equal 3-Sat remains NP-complete…

Computational Complexity · Computer Science 2019-08-27 Andreas Darmann , Janosch Döcker

We present a generalization of the marriage problem underlying Hall's famous Marriage Theorem to what we call the Symmetric Marriage Problem, a problem that can be thought of as a special case of Maximal Weighted Bipartite Matching. We show…

Combinatorics · Mathematics 2020-01-22 Jonathan Lenchner

3-SAT problem is of great importance to many technical and scientific applications. This paper presents a new hybrid evolutionary algorithm for solving this satisfiability problem. 3-SAT problem has the huge search space and hence it is…

Artificial Intelligence · Computer Science 2013-06-24 Nasser Lotfi , Jamshid Tamouk , Mina Farmanbar

The stable roommates problem with $n$ agents has worst case complexity $O(n^2)$ in time and space. Random instances can be solved faster and with less memory, however. We introduce an algorithm that has average time and space complexity…

Data Structures and Algorithms · Computer Science 2015-01-22 Stephan Mertens

In the marriage problem, a variant of the bi-parted matching problem, each member has a `wish-list' expressing his/her preference for all possible partners; this list consists of random, positive real numbers drawn from a certain…

Disordered Systems and Neural Networks · Physics 2015-06-25 Th. M. Nieuwenhuizen

We introduce a new algorithm for finding stable matchings in multi-sided matching markets. Our setting is motivated by a PhD market of students, advisors, and co-advisors, and can be generalized to supply chain networks viewed as $n$-sided…

Computer Science and Game Theory · Computer Science 2021-07-07 Maximilian Mordig , Riccardo Della Vecchia , Nicolò Cesa-Bianchi , Bernhard Schölkopf

The minimum unsatisfiability version of a constraint satisfaction problem (MinCSP) asks for an assignment where the number of unsatisfied constraints is minimum possible, or equivalently, asks for a minimum-size set of constraints whose…

Computational Complexity · Computer Science 2018-05-09 Édouard Bonnet , László Egri , Bingkai Lin , Dániel Marx

The promise constraint satisfaction problem (PCSP) is a recently introduced vast generalisation of the constraint satisfaction problem (CSP) that captures approximability of satisfiable instances. A PCSP instance comes with two forms of…

Computational Complexity · Computer Science 2023-01-31 Alex Brandts , Stanislav Živný

We discuss the computational complexity of special cases of the 3-dimensional (axial) assignment problem where the elements are points in a Cartesian space and where the cost coefficients are the perimeters of the corresponding triangles…

Optimization and Control · Mathematics 2014-09-03 Ante Ćustić , Bettina Klinz , Gerhard J. Woeginger

Block Sorting is a well studied problem, motivated by its applications in Optical Character Recognition (OCR), and Computational Biology. Block Sorting has been shown to be NP-Hard, and two separate polynomial time 2-approximation…

Computational Complexity · Computer Science 2011-10-06 N. S. Narayanaswamy , Swapnoneel Roy