English
Related papers

Related papers: Computational Modelling for Combinatorial Game Str…

200 papers

The exponential growth of data volumes has led to escalating computational costs in machine learning model training. However, many features fail to contribute positively to model performance while consuming substantial computational…

Machine Learning · Computer Science 2025-12-01 Chi Zhao , Jing Liu , Elena Parilina

Markov decision processes continue to gain in popularity for modeling a wide range of applications ranging from analysis of supply chains and queuing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend…

Optimization and Control · Mathematics 2023-12-07 Ali Eshragh

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, un- der the assumption that optimal worst-case…

Logic in Computer Science · Computer Science 2016-11-29 Romain Brenguier , Guillermo A. Pérez , Jean-François Raskin , Ocan Sankur

Cirquent calculus is a proof system with inherent ability to account for sharing subcomponents in logical expressions. Within its framework, this article constructs an axiomatization CL18 of the basic propositional fragment of computability…

Logic in Computer Science · Computer Science 2024-11-12 Giorgi Japaridze

We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for practical computation in…

Group Theory · Mathematics 2021-10-01 A. S. Detinko , D. L. Flannery

We apply the generalized conditional gradient algorithm to potential mean field games and we show its well-posedeness. It turns out that this method can be interpreted as a learning method called fictitious play. More precisely, each step…

Analysis of PDEs · Mathematics 2021-09-14 J Frédéric Bonnans , Pierre Lavigne , Laurent Pfeiffer

Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we…

Combinatorics · Mathematics 2014-11-11 Erik Sjöland

We initiate the study of simple games from the point of view of combinatorial topology. The starting premise is that the losing coalitions of a simple game can be identified with a simplicial complex. Various topological constructions and…

Physics and Society · Physics 2025-03-18 Ismar Volic , Leah Valentiner

Matrix games constitute a fundamental problem of game theory and describe a situation of two players with completely conflicting interests. We show how methods from statistical mechanics can be used to investigate the statistical properties…

Disordered Systems and Neural Networks · Physics 2009-10-31 J. Berg , A. Engel

Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one…

Combinatorics · Mathematics 2022-02-11 Melissa A. Huggan , Richard J. Nowakowski

Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that…

Combinatorics · Mathematics 2017-01-31 Eugene Curtin , Suho Oh

Decision-making problems can be modeled as combinatorial optimization problems with Constraint Programming formalisms such as Constrained Optimization Problems. However, few Constraint Programming formalisms can deal with both optimization…

Artificial Intelligence · Computer Science 2022-05-24 Valentin Antuori , Florian Richoux

Most research on adaptive decision-making takes a strategy-first approach, proposing a method of solving a problem and then examining whether it can be implemented in the brain and in what environments it succeeds. We present a method for…

Neural and Evolutionary Computing · Computer Science 2015-09-21 Peter Kvam , Joseph Cesario , Jory Schossau , Heather Eisthen , Arend Hintze

Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced by J. Desel and J. Esparza. We initiate the study of games for this model. We study coalition problems: can a given coalition of…

Logic in Computer Science · Computer Science 2015-09-25 Philipp Hoffmann

Recently, computational modelling became a very important research tool that enables us to study problems that for decades evaded scientific analysis. Evolutionary systems are certainly examples of such problems: they are composed of many…

Populations and Evolution · Quantitative Biology 2009-07-04 Adam Lipowski , Dorota Lipowska

Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of the moves made by the Opponent. In a situation where the…

Computer Science and Game Theory · Computer Science 2024-02-08 Sacha Huriot-Tattegrain , Glynn Winskel

The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared in the study of automata and logic, and they later became…

In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds.…

Computer Science and Game Theory · Computer Science 2014-04-02 Mario Benevides , Isaque Lima , Rafael Nader , Pedro Rougemont

In this paper we first define a new kind of potential games, called coset weighted potential game, which is a generalized form of weighted potential game. Using semi-tensor product of matrices, an algebraic method is provided to verify…

Optimization and Control · Mathematics 2019-03-01 Yuanhua Wang , Daizhan Cheng

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
‹ Prev 1 8 9 10 Next ›