English
Related papers

Related papers: Spectral Algorithms for Unique Games

200 papers

The recent breakthrough paper by Calude et al. has given the first algorithm for solving parity games in quasi-polynomial time, where previously the best algorithms were mildly subexponential. We devise an alternative quasi-polynomial time…

Data Structures and Algorithms · Computer Science 2020-01-15 Marcin Jurdzinski , Ranko Lazic

First, we consider the problem of deciding whether a nonlocal game admits a perfect entangled strategy that uses projective measurements on a maximally entangled shared state. Via a polynomial-time Karp reduction, we show that independent…

Quantum Physics · Physics 2015-06-26 Laura Mančinska , David E. Roberson , Antonios Varvitsiotis

The optimal value computation for turned-based stochastic games with reachability objectives, also known as simple stochastic games, is one of the few problems in $NP \cap coNP$ which are not known to be in $P$. However, there are some…

Computational Complexity · Computer Science 2014-08-10 David Auger , Pierre COUCHENEY , Yann Strozecki

Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have shown that these games can be solved in quasi-polynomial time. We show that their algorithm can be implemented efficiently: we use their…

Logic in Computer Science · Computer Science 2018-01-30 John Fearnley , Sanjay Jain , Sven Schewe , Frank Stephan , Dominik Wojtczak

We present a new methodology for computing approximate Nash equilibria for two-person non-cooperative games based upon certain extensions and specializations of an existing optimization approach previously used for the derivation of fixed…

Computer Science and Game Theory · Computer Science 2009-09-28 Haralampos Tsaknakis , Paul G. Spirakis

An instance of the Constraint Satisfaction Problem (CSP) is given by a family of constraints on overlapping sets of variables, and the goal is to assign values from a fixed domain to the variables so that all constraints are satisfied. In…

Data Structures and Algorithms · Computer Science 2018-12-06 Víctor Dalmau , Marcin Kozik , Andrei Krokhin , Konstantin Makarychev , Yury Makarychev , Jakub Opršal

A general issue in computational optimization is to develop combinatorial algorithms for semidefinite programming. We address this issue when the base field is nonarchimedean. We provide a solution for a class of semidefinite feasibility…

Optimization and Control · Mathematics 2018-01-09 Xavier Allamigeon , Stéphane Gaubert , Mateusz Skomra

Cut games are among the most fundamental strategic games in algorithmic game theory. It is well-known that computing an exact pure Nash equilibrium in these games is PLS-hard, so research has focused on computing approximate equilibria. We…

Computer Science and Game Theory · Computer Science 2022-11-09 Ioannis Caragiannis , Zhile Jiang

Combinatorial optimization algorithms for graph problems are usually designed afresh for each new problem with careful attention by an expert to the problem structure. In this work, we develop a new framework to solve any combinatorial…

We study hedonic coalition formation games in which cooperation among the players is restricted by a graph structure: a subset of players can form a coalition if and only if they are connected in the given graph. We investigate the…

Computer Science and Game Theory · Computer Science 2016-03-22 Ayumi Igarashi , Edith Elkind

The complexity of computing equilibrium refinements has been at the forefront of algorithmic game theory research, but it has remained open in the seminal class of potential games; we close this fundamental gap in this paper. We first show…

Computer Science and Game Theory · Computer Science 2026-02-11 Ioannis Anagnostides , Maria-Florina Balcan , Kiriaki Fragkia , Tuomas Sandholm , Emanuel Tewolde , Brian Hu Zhang

Strong Parallel Repetition for Unique Games on Small Set Expanders The strong parallel repetition problem for unique games is to efficiently reduce the 1-delta vs. 1-C*delta gap problem of Boolean unique games (where C>1 is a sufficiently…

Computational Complexity · Computer Science 2022-09-21 Dana Moshkovitz

We address the problem of solving parity games with imperfect information on finite graphs of bounded structural complexity. It is a major open problem whether parity games with perfect information can be solved in PTIME. Restricting the…

Computer Science and Game Theory · Computer Science 2017-03-03 Bernd Puchala , Roman Rabinovich

Worst-case hardness results for most equilibrium computation problems have raised the need for beyond-worst-case analysis. To this end, we study the smoothed complexity of finding pure Nash equilibria in Network Coordination Games, a…

Computational Complexity · Computer Science 2019-02-27 Shant Boodaghians , Rucha Kulkarni , Ruta Mehta

We define a class of zero-sum games with combinatorial structure, where the best response problem of one player is to maximize a submodular function. For example, this class includes security games played on networks, as well as the problem…

Computer Science and Game Theory · Computer Science 2017-12-04 Bryan Wilder

The optimization version of the Unique Label Cover problem is at the heart of the Unique Games Conjecture which has played an important role in the proof of several tight inapproximability results. In recent years, this problem has been…

Data Structures and Algorithms · Computer Science 2016-05-02 Daniel Lokshtanov , M. S. Ramanujan , Saket Saurabh

In recent years, there has been a growing interest in games on graphs within the research community, fueled by their relevance in applications such as economics, politics, and epidemiology. This paper aims to comprehensively detail the…

Computer Science and Game Theory · Computer Science 2024-06-11 Christian Giannetti

We initiate the study of approximating the largest induced expander in a given graph $G$. Given a $\Delta$-regular graph $G$ with $n$ vertices, the goal is to find the set with the largest induced expansion of size at least $\delta \cdot…

Data Structures and Algorithms · Computer Science 2015-11-10 Shayan Oveis Gharan , Alireza Rezaei

We propose new quantum algorithms for estimating spectral sums of positive semi-definite (PSD) matrices. The spectral sum of an PSD matrix $A$, for a function $f$, is defined as $ \text{Tr}[f(A)] = \sum_j f(\lambda_j)$, where $\lambda_j$…

Quantum Physics · Physics 2024-06-11 Alessandro Luongo , Changpeng Shao

We show that the shadow vertex simplex algorithm can be used to solve linear programs in strongly polynomial time with respect to the number $n$ of variables, the number $m$ of constraints, and $1/\delta$, where $\delta$ is a parameter that…

Data Structures and Algorithms · Computer Science 2014-12-18 Tobias Brunsch , Anna Großwendt , Heiko Röglin