English
Related papers

Related papers: Refuting Unique Game Conjecture

200 papers

Student-Teacher Games are a model of computation in which a computationally restricted Student attempts to produce a string satisfying a refutable property, while an all-powerful Teacher refutes incorrect candidates by providing…

Computational Complexity · Computer Science 2026-02-24 Ondřej Ježil , Dimitrios Tsintsilidas

Motivated by the sequence form formulation of Koller et al. (GEB'96), this paper defines {\em bilinear games}, and proposes efficient algorithms for its rank based subclasses. Bilinear games are two-player non-cooperative single-shot games…

Computer Science and Game Theory · Computer Science 2011-09-29 Jugal Garg , Albert Xin Jiang , Ruta Mehta

We formulate a notion of doubly reflected BSDEs with a default time and two completely separated RCLL barriers. We demonstrate the existence and uniqueness of the solution. Within the defaultable setup, we introduce a type of generalized…

Probability · Mathematics 2025-07-09 Badr Elmansouri , Mohamed El Otmani

We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two aspects of the problem: defining a measure of complexity and…

Artificial Intelligence · Computer Science 2015-06-03 Denis Berthier

This paper is a contribution to the study of parity games and the recent constructions of three quasipolynomial time algorithms for solving them. We revisit a result of Czerwi\'nski, Daviaud, Fijalkow, Jurdzi\'nski, Lazi\'c, and Parys…

Computer Science and Game Theory · Computer Science 2018-10-22 Thomas Colcombet , Nathanaël Fijalkow

Sellami and Sirvent conjectured that the balanced pair algorithm fails for the following pair of Pisot substitutions: \[ \varphi_0: \begin{array}{l} a \mapsto abc b \mapsto a c \mapsto ac \end{array} \quad \text{ and } \quad \varphi_1:…

Combinatorics · Mathematics 2017-11-29 Víctor F. Sirvent , Štěpán Starosta

We study a robust Dynkin game over a set of mutually singular probabilities. We first prove that for the conservative player of the game, her lower and upper value processes coincide (i.e. She has a value process $V $ in the game). Such a…

Probability · Mathematics 2016-09-13 Erhan Bayraktar , Song Yao

For hyperbolic systems with singularities, such as dispersing billiards, Pesin theory as developed by Katok and Strelcyn applies to measures that are "adapted" in the sense that they do not give too much weight to neighborhoods of the…

Dynamical Systems · Mathematics 2023-08-17 Vaughn Climenhaga , Mark Demers , Yuri Lima , Hongkun Zhang

A class of discrete Bidding Combinatorial Games that generalize alternating normal play was introduced by Kant, Larsson, Rai, and Upasany (2022). The major questions concerning optimal outcomes were resolved. By generalizing standard game…

Computer Science and Game Theory · Computer Science 2023-10-31 Prem Kant , Urban Larsson , Ravi K. Rai , Akshay V. Upasany

In the combinatorial semi-bandit (CSB) problem, a player selects an action from a combinatorial action set and observes feedback from the base arms included in the action. While CSB is widely applicable to combinatorial optimization…

Machine Learning · Computer Science 2025-09-15 Shintaro Nakamura , Yuko Kuroki , Wei Chen

We design approximation algorithms for Unique Games when the constraint graph admits good low diameter graph decomposition. For the ${\sf Max2Lin}_k$ problem in $K_r$-minor free graphs, when there is an assignment satisfying $1-\varepsilon$…

Data Structures and Algorithms · Computer Science 2017-12-01 Vedat Levi Alev , Lap Chi Lau

Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete. Indeed, this class of complexity contains hundreds of puzzles, since people particularly appreciate completing an intractable puzzle, such as…

Artificial Intelligence · Computer Science 2019-07-02 Cédric Piette , Éric Piette , Matthew Stephenson , Dennis J. N. J. Soemers , Cameron Browne

We consider reflected backward stochastic differential equations, with two barriers, defined on probability spaces equipped with filtration satisfying only the usual assumptions of right continuity and completeness. As for barriers we…

Probability · Mathematics 2018-11-01 Mateusz Topolewski

This paper considers a game-theoretic formulation of the covert communications problem with finite blocklength, where the transmitter (Alice) can randomly vary her transmit power in different blocks, while the warden (Willie) can randomly…

Information Theory · Computer Science 2020-05-28 Alex S. Leong , Daniel E. Quevedo , Subhrakanti Dey

We prove a complexity classification theorem that classifies all counting constraint satisfaction problems ($\#$CSP) over Boolean variables into exactly three categories: (1) Polynomial-time tractable; (2) $\#$P-hard for general instances,…

Computational Complexity · Computer Science 2016-03-24 Jin-yi Cai , Zhiguo Fu

The success of adversarial formulations in machine learning has brought renewed motivation for smooth games. In this work, we focus on the class of stochastic Hamiltonian methods and provide the first convergence guarantees for certain…

We study the approximability of predicates on $k$ variables from a domain $[q]$, and give a new sufficient condition for such predicates to be approximation resistant under the Unique Games Conjecture. Specifically, we show that a predicate…

Computational Complexity · Computer Science 2008-02-19 Per Austrin , Elchanan Mossel

This paper discusses the fixed-hub single allocation problem (FHSAP). In this problem, a network consists of hub nodes and terminal nodes. Hubs are fixed and fully connected; each terminal node is connected to a single hub which routes all…

Data Structures and Algorithms · Computer Science 2014-02-19 Dongdong Ge , Zizhuo Wang , Lai Wei , Jiawei Zhang

We show that for planar dispersing billiards the return times distribution is, in the limit, Poisson for metric balls almost everywhere w.r.t. the SRB measure. Since the Poincar\'e return map is piecewise smooth but becomes singular at the…

Dynamical Systems · Mathematics 2014-11-10 Jorge Milhazes Freitas , Nicolai Haydn , Matthew Nicol

In [7] we proposed a non-generational conjectural derivation of all first class constraints (involving, only, variables compatible with canonical Poisson brackets) for realistic gauge (singular) field theories; and we verified the…

Mathematical Physics · Physics 2009-10-05 K. Rasem Qandalji