English
Related papers

Related papers: An Improved Pseudo-Polynomial Upper Bound for the …

200 papers

We investigate the complexity of computing approximate Nash equilibria in anonymous games. Our main algorithmic result is the following: For any $n$-player anonymous game with a bounded number of strategies and any constant $\delta>0$, an…

Computer Science and Game Theory · Computer Science 2016-08-29 Yu Cheng , Ilias Diakonikolas , Alistair Stewart

Stochastic games with discounted payoff, introduced by Shapley, model adversarial interactions in stochastic environments where two players try to optimize a discounted sum of rewards. In this model, long-term weights are geometrically…

Computer Science and Game Theory · Computer Science 2021-10-22 Taylor Dohmen , Ashutosh Trivedi

Parity games are abstract infinite-round games that take an important role in formal verification. In the basic setting, these games are two-player, turn-based, and played under perfect information on directed graphs, whose nodes are…

Computer Science and Game Theory · Computer Science 2019-10-31 Antonio Di Stasio , Aniello Murano , Giuseppe Perelli , Moshe Y. Vardi

Subset sum is a very old and fundamental problem in theoretical computer science. In this problem, $n$ items with weights $w_1, w_2, w_3, \ldots, w_n$ are given as input and the goal is to find out if there is a subset of them whose weights…

Data Structures and Algorithms · Computer Science 2022-09-13 Hamed Saleh , Saeed Seddighin

We revisit the deadline version of the discrete time-cost tradeoff problem for the special case of bounded depth. Such instances occur for example in VLSI design. The depth of an instance is the number of jobs in a longest chain and is…

Data Structures and Algorithms · Computer Science 2021-04-22 Siad Daboul , Stephan Held , Jens Vygen

We consider infinite duration alternating move games. These games were previously studied by Roth, Balcan, Kalai and Mansour. They presented an FPTAS for computing an approximated equilibrium, and conjectured that there is a polynomial…

Computer Science and Game Theory · Computer Science 2013-04-25 Yaron Velner

We consider discrete bilevel optimization problems where the follower solves an integer program with a fixed number of variables. Using recent results in parametric integer programming, we present polynomial time algorithms for pure and…

Optimization and Control · Mathematics 2017-01-03 Matthias Köppe , Maurice Queyranne , Christopher Thomas Ryan

Parametric Timed Games (PTG) are an extension of the model of Timed Automata. They allow for the verification and synthesis of real-time systems, reactive to their environmeand depending on adjustable parameters. Given a PTG and a…

Formal Languages and Automata Theory · Computer Science 2024-01-23 Mikael Bisgaard Dahlsen-Jensen , Baptiste Fievet , Laure Petrucci , Jaco van de Pol

In this work, we consider the problem of minimising the social cost in atomic congestion games. For this problem, we provide tight computational lower bounds along with taxation mechanisms yielding polynomial time algorithms with optimal…

Computer Science and Game Theory · Computer Science 2022-05-23 Dario Paccagnan , Martin Gairing

We consider a multi-armed bandit problem where payoffs are a linear function of an observed stochastic contextual variable. In the scenario where there exists a gap between optimal and suboptimal rewards, several algorithms have been…

Data Structures and Algorithms · Computer Science 2014-07-08 José Bento , Stratis Ioannidis , S. Muthukrishnan , Jinyun Yan

In this paper, we compute the tightest possible bounds on the probability that the optimal value of a combinatorial optimization problem in maximization form with a random objective exceeds a given number, assuming only knowledge of the…

Optimization and Control · Mathematics 2022-11-24 Divya Padmanabhan , Selin Damla Ahipasaoglu , Arjun Ramachandra , Karthik Natarajan

We consider episodic reinforcement learning in reward-mixing Markov decision processes (RMMDPs): at the beginning of every episode nature randomly picks a latent reward model among $M$ candidates and an agent interacts with the MDP…

Machine Learning · Computer Science 2022-10-07 Jeongyeol Kwon , Yonathan Efroni , Constantine Caramanis , Shie Mannor

This paper introduces an explicit algorithm for computing perfect public equilibrium (PPE) payoffs in repeated games with imperfect public monitoring, public randomization, and discounting. The method adapts the established framework by…

Theoretical Economics · Economics 2024-11-05 Jasmina Karabegovic

Consider oriented graph nodes requiring periodic visits by a service agent. The agent moves among the nodes and receives a payoff for each completed service task, depending on the time elapsed since the previous visit to a node. We consider…

Computer Science and Game Theory · Computer Science 2023-05-19 David Klaška , Antonín Kučera , Vít Musil , Vojtěch Řehák

We present the first polynomial time algorithm for the f vertex fault tolerant spanner problem, which achieves almost optimal spanner size. Our algorithm for constructing f vertex fault tolerant spanner takes $O(k\cdot n\cdot m^2 \cdot W)$…

Data Structures and Algorithms · Computer Science 2020-03-09 Udit Agarwal

Traditionally quantitative games such as mean-payoff games and discount sum games have two players -- one trying to maximize the payoff, the other trying to minimize it. The associated decision problem, "Can Eve (the maximizer) achieve, for…

Logic in Computer Science · Computer Science 2014-04-21 Paul Hunter , Jean-François Raskin

One-counter MDPs (OC-MDPs) and one-counter simple stochastic games (OC-SSGs) are 1-player, and 2-player turn-based zero-sum, stochastic games played on the transition graph of classic one-counter automata (equivalently, pushdown automata…

Computer Science and Game Theory · Computer Science 2011-07-21 Tomáš Brázdil , Václav Brožek , Kousha Etessami , Antonín Kučera

We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, decidability of average-energy games with a lower-bound…

Logic in Computer Science · Computer Science 2017-01-16 Patricia Bouyer , Piotr Hofman , Nicolas Markey , Mickael Randour , Martin Zimmermann

We give polynomial time logarithmic approximation guarantees for the budget minimization, as well as for the profit maximization versions of minimum spanning tree interdiction. In this problem, the goal is to remove some edges of an…

Data Structures and Algorithms · Computer Science 2025-07-28 Rafail Ostrovsky , Yuval Rabani , Yoav Siman Tov

We consider discrete time partially observable zero-sum stochastic game with average payoff criterion. We study the game using an equivalent completely observable game. We show that the game has a value and also we come up with a pair of…

Optimization and Control · Mathematics 2014-09-16 Subhamay Saha