English
Related papers

Related papers: Fixed-Dimensional Energy Games are in Pseudo-Polyn…

200 papers

Recent advancements in algorithms for sequential decision-making under imperfect information have shown remarkable success in large games such as limit- and no-limit poker. These algorithms traditionally formalize the games using the…

Computer Science and Game Theory · Computer Science 2023-12-07 Vojtěch Kovařík , David Milec , Michal Šustr , Dominik Seitz , Viliam Lisý

We define a general framework of partition games for formulating two-player pebble games over finite structures. We show that one particular such game, which we call the invertible-map game, yields a family of polynomial-time approximations…

Logic in Computer Science · Computer Science 2015-03-20 Anuj Dawar , Bjarki Holm

This paper is concerned with the energy decay and the finite time blow-up of the solution to a viscoelastic wave equation with polynomial nonlinearity and weak damping. We establish explicit and general decay results for the solutions by…

Analysis of PDEs · Mathematics 2025-09-05 Qingqing Peng , Yikan Liu

The window mechanism, introduced by Chatterjee et al. for mean-payoff and total-payoff objectives in two-player turn-based games on graphs, refines long-term objectives with time bounds. This mechanism has proven useful in a variety of…

Computer Science and Game Theory · Computer Science 2022-05-10 James C. A. Main , Mickael Randour , Jeremy Sproston

Unlike normal-form games, where correlated equilibria have been studied for more than 45 years, extensive-form correlation is still generally not well understood. Part of the reason for this gap is that the sequential nature of…

Computer Science and Game Theory · Computer Science 2020-09-10 Gabriele Farina , Tuomas Sandholm

The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a third, independent approach to solving parity games in…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Karoliina Lehtinen , Udi Boker

Recently increasing penetration of renewable energy generation brings challenges for power system operators to perform efficient power generation daily scheduling, due to the intermittent nature of the renewable generation and discrete…

Optimization and Control · Mathematics 2019-10-22 Yongpei Guan , Kai Pan , Kezhuo Zhou

A recent theory shows that a multi-player decentralized partially observable Markov decision process can be transformed into an equivalent single-player game, enabling the application of \citeauthor{bellman}'s principle of optimality to…

Computer Science and Game Theory · Computer Science 2025-01-03 Johan Peralez , Aurélien Delage , Olivier Buffet , Jilles S. Dibangoye

We show that, by using multiplicative weights in a game-theoretic thought experiment (and an important convexity result on the composition of multiplicative weights with the relative entropy function), a symmetric bimatrix game (that is, a…

Computer Science and Game Theory · Computer Science 2025-04-24 Ioannis Avramopoulos

The potential energy formulation and deep learning are merged to solve partial differential equations governing the deformation in hyperelastic and viscoelastic materials. The presented deep energy method (DEM) is self-contained and…

Machine Learning · Computer Science 2022-05-05 Diab W. Abueidda , Seid Koric , Rashid Abu Al-Rub , Corey M. Parrott , Kai A. James , Nahil A. Sobh

Infinitely repeated games support equilibrium concepts beyond those present in one-shot games (e.g., cooperation in the prisoner's dilemma). Nonetheless, repeated games fail to capture our real-world intuition for settings with many…

Computer Science and Game Theory · Computer Science 2025-05-22 Henry Fleischmann , Kiriaki Fragkia , Ratip Emin Berker

In this paper, some new criteria for detecting whether a finite game is potential are proposed by solving potential equations. The verification equations with the minimal number for checking a potential game are obtained for the first time.…

Computer Science and Game Theory · Computer Science 2015-04-29 Xinyun Liu , Jiandong Zhu

We consider extensive games with perfect information with well-founded game trees and study the problems of existence and of characterization of the sets of subgame perfect equilibria in these games. We also provide such characterizations…

Computer Science and Game Theory · Computer Science 2021-06-23 Krzysztof R. Apt , Sunil Simon

Value methods for solving stochastic games with partial observability model the uncertainty about states of the game as a probability distribution over possible states. The dimension of this belief space is the number of states. For many…

Computer Science and Game Theory · Computer Science 2019-03-14 Karel Horák , Branislav Bošanský , Christopher Kiekintveld , Charles Kamhoua

For common notions of correlated equilibrium in extensive-form games, computing an optimal (e.g., welfare-maximizing) equilibrium is NP-hard. Other equilibrium notions -- communication (Forges 1986) and certification (Forges & Koessler…

Computer Science and Game Theory · Computer Science 2022-12-02 Brian Hu Zhang , Tuomas Sandholm

We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph $G = (V, E)$, with local rewards $r: E \to \ZZ$, and three types of positions: black $V_B$, white $V_W$, and random…

Data Structures and Algorithms · Computer Science 2016-10-24 Endre Boros , Khaled Elbassioni , Vladimir Gurvich , Kazuhisa Makino

We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that…

Optimization and Control · Mathematics 2018-08-21 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn

Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings include mean-payoff games, where the…

Logic in Computer Science · Computer Science 2015-09-25 Patricia Bouyer , Nicolas Markey , Mickael Randour , Kim G. Larsen , Simon Laursen

This paper provides a decomposition technique for the purpose of simplifying the solution of certain zero-sum differential games. The games considered terminate when the state reaches a target, which can be expressed as the union of a…

Optimization and Control · Mathematics 2014-09-17 Adriano Festa , Richard Vinter

We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction…

Computer Science and Game Theory · Computer Science 2016-09-15 Stéphane Le Roux , Arno Pauly