English
Related papers

Related papers: Computational Complexity of Games and Puzzles

200 papers

Nowadays the semi-tensor product (STP) approach to finite games has become a promising new direction. This paper provides a comprehensive survey on this prosperous field. After a brief introduction for STP and finite (networked) games, a…

Computer Science and Game Theory · Computer Science 2021-07-01 Daizhan Cheng , Yuhu Wu , Guodong Zhao , Shihua Fu

We define a new concept of "mistake" strategies and actions for strategic-form and extensive-form games, analyze the relationship to prior main game-theoretic solution concepts, study algorithms for computation, and explore practicality.…

Computer Science and Game Theory · Computer Science 2020-10-29 Sam Ganzfried

Empirical game-theoretic analysis (EGTA) is primarily focused on learning the equilibria of simulation-based games. Recent approaches have tackled this problem by learning a uniform approximation of the game's utilities, and then applying…

Computer Science and Game Theory · Computer Science 2022-08-15 Cyrus Cousins , Bhaskar Mishra , Enrique Areyan Viqueira , Amy Greenwald

Complex networks serve as abstract models for understanding real-world complex systems and provide frameworks for studying structured dynamical systems. This article addresses limitations in current studies on the exploration of individual…

Social and Information Networks · Computer Science 2025-10-14 Bin Pi , Liang-Jian Deng , Minyu Feng , Matjaž Perc , Jürgen Kurths

Repeated quantum game theory addresses long term relations among players who choose quantum strategies. In the conventional quantum game theory, single round quantum games or at most finitely repeated games have been widely studied, however…

Quantum Physics · Physics 2023-12-12 Kazuki Ikeda , Shoto Aoki

Kakutani's Fixed Point theorem is a fundamental theorem in topology with numerous applications in game theory and economics. Computational formulations of Kakutani exist only in special cases and are too restrictive to be useful in…

Computational Complexity · Computer Science 2023-05-26 Christos H. Papadimitriou , Emmanouil-Vasileios Vlatakis-Gkaragkounis , Manolis Zampetakis

Capacitated network bargaining games are popular combinatorial games that involve the structure of matchings in graphs. We show that it is always possible to stabilize unit-weight instances of this problem (that is, ensure that they admit a…

Discrete Mathematics · Computer Science 2024-09-05 Laura Sanità , Lucy Verberk

Game theory is the study of tractable games which may be used to model more complex systems. Board games, video games and sports, however, are intractable by design, so "ludological" theories about these games as complex phenomena should be…

Applications · Statistics 2018-11-05 Daniel E. Gilbert , Martin T. Wells

This paper surveys research on applying neuroevolution (NE) to games. In neuroevolution, artificial neural networks are trained through evolutionary algorithms, taking inspiration from the way biological brains evolved. We analyse the…

Neural and Evolutionary Computing · Computer Science 2015-11-05 Sebastian Risi , Julian Togelius

Traditionally social sciences are interested in structuring people in multiple groups based on their individual preferences. This pa- per suggests an approach to this problem in the framework of a non- cooperative game theory. Definition of…

Optimization and Control · Mathematics 2017-05-02 Dmitry Levando

Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary parity games and their generalization to parity games with…

Computer Science and Game Theory · Computer Science 2023-06-22 Sven Schewe , Alexander Weinert , Martin Zimmermann

We report the results of a game-theoretic experiment with human players who solve the problems of increasing complexity by cooperating in groups of increasing size. Our experimental environment is set up to make it complicated for players…

We study algorithms for solving Subtraction games, which sometimes are referred to as one-heap Nim games. We describe a quantum algorithm which is applicable to any game on DAG, and show that its query compexity for solving an arbitrary…

Quantum Physics · Physics 2018-08-13 Kamil Khadiev , Dmitry Kravchenko

We use ideas from distributed computing and game theory to study dynamic and decentralized environments in which computational nodes, or decision makers, interact strategically and with limited information. In such environments, which arise…

Computer Science and Game Theory · Computer Science 2017-04-06 Aaron D. Jaggard , Neil Lutz , Michael Schapira , Rebecca N. Wright

We look at intensionality from the perspective of computation. In particular, we review how game semantics has been used to characterize the sequential functional processes, leading to powerful and flexible methods for constructing fully…

Logic in Computer Science · Computer Science 2017-05-16 Samson Abramsky

We investigate two types of query games played on a graph, pair queries and edge queries. We concentrate on investigating the two associated graph parameters for binomial random graphs, and showing that determining any of the two parameters…

Combinatorics · Mathematics 2023-05-15 Dariusz Dereniowski , Przemysław Gordinowicz , Paweł Prałat

We present abstract complexity results about Coquand and Hyland-Ong game semantics, that will lead to new bounds on the length of first-order cut-elimination, normalization, interaction between expansion trees and any other dialogical…

Logic · Mathematics 2016-08-12 Federico Aschieri

A repeated game is an effective tool to model interactions and conflicts for players aiming to achieve their objectives in a long-term basis. Contrary to static noncooperative games that model an interaction among players in only one…

Computer Science and Game Theory · Computer Science 2015-01-14 Dinh Thai Hoang , Xiao Lu , Dusit Niyato , Ping Wang , Zhu Han

We study the computational complexity of distance games, a class of combinatorial games played on graphs. A move consists of colouring an uncoloured vertex subject to it not being at certain distances determined by two sets, D and S. D is…

Computational Complexity · Computer Science 2019-02-12 Kyle Burke , Silvia Heubach , Melissa Huggan , Svenja Huntemann

Using coalgebraic methods, we extend Conway's theory of games to possibly non-terminating, i.e. non-wellfounded games (hypergames). We take the view that a play which goes on forever is a draw, and hence rather than focussing on winning…

Logic in Computer Science · Computer Science 2015-07-01 Furio Honsell , Marina Lenisa