English
Related papers

Related papers: Refuting Unique Game Conjecture

200 papers

Semidefinite programs (SDPs) are a framework for exact or approximate optimization that have widespread application in quantum information theory. We introduce a new method for using reductions to construct integrality gaps for SDPs. These…

Quantum Physics · Physics 2019-03-18 Aram W. Harrow , Anand Natarajan , Xiaodi Wu

In this work, we address the problem of solving a series of underdetermined linear inverse problems subject to a sparsity constraint. We generalize the spike-and-slab prior distribution to encode a priori correlation of the support of the…

Machine Learning · Statistics 2018-01-19 Michael Riis Andersen , Aki Vehtari , Ole Winther , Lars Kai Hansen

The Parameterized Inapproximability Hypothesis (PIH) asserts that no fixed parameter tractable (FPT) algorithm can distinguish a satisfiable CSP instance, parameterized by the number of variables, from one where every assignment fails to…

Computational Complexity · Computer Science 2023-11-29 Venkatesan Guruswami , Bingkai Lin , Xuandi Ren , Yican Sun , Kewen Wu

This paper examines multiplayer symmetric constant-sum games with more than two players in a competitive setting, including examples like Mahjong, Poker, and various board and video games. In contrast to two-player zero-sum games,…

Machine Learning · Computer Science 2024-10-04 Jiawei Ge , Yuanhao Wang , Wenzhe Li , Chi Jin

In this paper we consider finite-dimensional constrained Hamiltonian systems of polynomial type. In order to compute the complete set of constraints and separate them into the first and second classes we apply the modern algorithmic methods…

Numerical Analysis · Mathematics 2025-10-20 Vladimir P. Gerdt , Soso A. Gogilidze

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

The problem of computing a common point that lies in the intersection of a finite number of closed convex sets, each known to one agent in a network, is studied. This issue, known as the distributed convex feasibility problem or the…

Multiagent Systems · Computer Science 2020-08-11 Dimitris Ampeliotis , Kostas Berberidis

We consider the question of approximating Max 2-CSP where each variable appears in at most $d$ constraints (but with possibly arbitrarily large alphabet). There is a simple $(\frac{d+1}{2})$-approximation algorithm for the problem. We prove…

Data Structures and Algorithms · Computer Science 2023-09-11 Euiwoong Lee , Pasin Manurangsi

Recent work has considered natural variations of the multi-armed bandit problem, where the reward distribution of each arm is a special function of the time passed since its last pulling. In this direction, a simple (yet widely applicable)…

Machine Learning · Computer Science 2021-05-25 Alexia Atsidakou , Orestis Papadigenopoulos , Soumya Basu , Constantine Caramanis , Sanjay Shakkottai

Out-of-distribution (OOD) generalization has attracted increasing research attention in recent years, due to its promising experimental results in real-world applications. In this paper,we study the confidence set prediction problem in the…

Machine Learning · Computer Science 2024-04-01 Xin Zou , Weiwei Liu

We formulate a notion of doubly reflected BSDE in the case where the barriers $\xi$ and $\zeta$ do not satisfy any regularity assumption and with a general filtration. Under a technical assumption (a Mokobodzki-type condition), we show…

Probability · Mathematics 2018-07-19 Miryana Grigorova , Peter Imkeller , Youssef Ouknine , Marie-Claire Quenez

A $(k \times l)$-birthday repetition $\mathcal{G}^{k \times l}$ of a two-prover game $\mathcal{G}$ is a game in which the two provers are sent random sets of questions from $\mathcal{G}$ of sizes $k$ and $l$ respectively. These two sets are…

Computational Complexity · Computer Science 2016-07-12 Pasin Manurangsi , Prasad Raghavendra

We study zero-sum (combinatorial) games, within the framework of so-called Richman auctions (Lazarus et al. 1996) namely, we modify the alternating play scoring ruleset Cumulative Subtraction (CS) (Cohensius et al. 2019), to a discrete…

Computer Science and Game Theory · Computer Science 2020-03-13 Urban Larsson , Neel Patel , Ravi Kant Rai

Given a satisfiable instance of 1-in-3 SAT, it is NP-hard to find a satisfying assignment for it, but it may be possible to efficiently find a solution subject to a weaker (not necessarily Boolean) predicate than `1-in-3'. There is a…

Computational Complexity · Computer Science 2025-08-21 Andrei Krokhin , Danny Vagnozzi

The tractability conjecture for finite domain Constraint Satisfaction Problems (CSPs) stated that such CSPs are solvable in polynomial time whenever there is no natural reduction, in some precise technical sense, from the 3-SAT problem;…

Logic in Computer Science · Computer Science 2021-01-12 Libor Barto , Michael Pinsker

The results of Raghavendra (2008) show that assuming Khot's Unique Games Conjecture (2002), for every constraint satisfaction problem there exists a generic semi-definite program that achieves the optimal approximation factor. This result…

Computational Complexity · Computer Science 2013-08-12 Anindya De , Elchanan Mossel

We present a general technique, based on a primal-dual formulation, for analyzing the quality of self-emerging solutions in weighted congestion games. With respect to traditional combinatorial approaches, the primal-dual schema has at least…

Computer Science and Game Theory · Computer Science 2011-10-26 Vittorio Bilò

We consider reflected backward stochastic differential equations with two optional barriers of class (D) satisfying Mokobodzki's separation condition and coefficient which is only continuous and non-increasing. We assume that data are…

Probability · Mathematics 2021-12-02 Tomasz Klimsiak , Maurycy Rzymowski

We establish a framework that allows us to transfer results between some constraint satisfaction problems with infinite templates and promise constraint satisfaction problems. On the one hand, we obtain new algebraic results for…

Logic in Computer Science · Computer Science 2025-03-21 Antoine Mottet

Schoening presents a simple randomized algorithm for (d,k)-CSP problems with running time (d(k-1)/k)^n poly(n). Here, d is the number of colors, k is the size of the constraints, and n is the number of variables. A derandomized version of…

Computational Complexity · Computer Science 2010-05-27 Dominik Scheder
‹ Prev 1 8 9 10 Next ›