English
Related papers

Related papers: Compressed Game Solving

200 papers

The past decade has seen a rapid increase in the level of research interest in procedural content generation (PCG) for digital games, and there are now numerous research avenues focused on new approaches for driving and applying PCG…

Human-Computer Interaction · Computer Science 2022-10-06 Oliver Withington , Laurissa Tokarchuk

We consider the problem of learning discriminative representations for data in a high-dimensional space with distribution supported on or around multiple low-dimensional linear subspaces. That is, we wish to compute a linear injective map…

Machine Learning · Statistics 2022-10-07 Druv Pai , Michael Psenka , Chih-Yuan Chiu , Manxi Wu , Edgar Dobriban , Yi Ma

Game Theory studies situations in which multiple agents having conflicting objectives have to reach a collective decision. The question of a compact representation language for agents utility function is of crucial importance since the…

Computer Science and Game Theory · Computer Science 2014-04-30 Thi-Van-Anh Nguyen , Arnaud Lallouet

Using semi-tensor product of matrices, the structures of several kinds of symmetric games are investigated via the linear representation of symmetric group in the structure vector of games as its representation space. First of all, the…

Computer Science and Game Theory · Computer Science 2017-03-09 Daizhan Cheng , Ting Liu

We introduce a compressed representation of sets of sets that exploits how much they differ from each other. Our representation supports access, membership, predecessor and successor queries on the sets within logarithmic time. In addition,…

Data Structures and Algorithms · Computer Science 2026-02-02 Travis Gagie , Meng He , Gonzalo Navarro

Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish the existence of winning…

Logic in Computer Science · Computer Science 2024-05-16 Anne-Kathrin Schmuck , Philippe Heim , Rayna Dimitrova , Satya Prakash Nayak

In reinforcement learning, we encode the potential behaviors of an agent interacting with an environment into an infinite set of policies, the policy space, typically represented by a family of parametric functions. Dealing with such a…

Machine Learning · Computer Science 2022-02-23 Mirco Mutti , Stefano Del Col , Marcello Restelli

Vector similarity search plays a pivotal role in modern information retrieval systems, especially when powered by transformer-based embeddings. However, the scalability and efficiency of such systems are often hindered by the high…

Information Retrieval · Computer Science 2026-02-03 Kushagra Agrawal , Nisharg Nargund , Oishani Banerjee

Learning Spaces are certain set systems that are applied in the mathematical modeling of education. We propose a suitable compression (without loss of information) of such set systems to facilitate their logical and statistical analysis.…

Data Structures and Algorithms · Computer Science 2017-08-14 Marcel Wild

In this paper, we introduce an agent-based representation of games, in order to propose a compact representation for multi-party games in game theory. Our method is inspired by concepts in process theory and process algebra. In addition, we…

Computer Science and Game Theory · Computer Science 2021-10-28 Omid Gheibi , Rasoul Ramezanian

We present a general way of defining various reduction games on \omega\ which "represent" corresponding topologically defined classes of functions. In particular, we will show how to construct games for piecewise defined functions, for…

Logic · Mathematics 2011-12-01 Luca Motto Ros

Two-player graph games have found numerous applications, most notably in the synthesis of reactive systems from temporal specifications, but also in verification. The relevance of infinite-state systems in these areas has lead to…

Logic in Computer Science · Computer Science 2023-11-08 Philippe Heim , Rayna Dimitrova

Recent successes of game-theoretic formulations in ML have caused a resurgence of research interest in differentiable games. Overwhelmingly, that research focuses on methods and upper bounds on their speed of convergence. In this work, we…

Machine Learning · Computer Science 2020-09-16 Adam Ibrahim , Waïss Azizian , Gauthier Gidel , Ioannis Mitliagkas

Network games provide a natural machinery to compactly represent strategic interactions among agents whose payoffs exhibit sparsity in their dependence on the actions of others. Besides encoding interaction sparsity, however, real networks…

Computational Engineering, Finance, and Science · Computer Science 2021-01-22 Kun Jin , Yevgeniy Vorobeychik , Mingyan Liu

We study multi-agent general-sum Markov games with nonlinear function approximation. We focus on low-rank Markov games whose transition matrix admits a hidden low-rank structure on top of an unknown non-linear representation. The goal is to…

Machine Learning · Computer Science 2022-11-01 Chengzhuo Ni , Yuda Song , Xuezhou Zhang , Chi Jin , Mengdi Wang

We present a new graph compressor that works by recursively detecting repeated substructures and representing them through grammar rules. We show that for a large number of graphs the compressor obtains smaller representations than other…

Data Structures and Algorithms · Computer Science 2017-04-19 Sebastian Maneth , Fabian Peternek

In addressing the challenge of exponential scaling with the number of agents we adopt a cluster-based representation to approximately solve asymmetric games of very many players. A cluster groups together agents with a similar "strategic…

Computer Science and Game Theory · Computer Science 2012-06-18 Sevan G. Ficici , David C. Parkes , Avi Pfeffer

In the context of the compressed sensing problem, we propose a new ensemble of sparse random matrices which allow one (i) to acquire and compress a {\rho}0-sparse signal of length N in a time linear in N and (ii) to perfectly recover the…

Information Theory · Computer Science 2013-04-15 Maria Chiara Angelini , Federico Ricci-Tersenghi , Yoshiyuki Kabashima

Decomposition, i.e. independently analyzing possible subgames, has proven to be an essential principle for effective decision-making in perfect information games. However, in imperfect information games, decomposition has proven to be…

Computer Science and Game Theory · Computer Science 2014-04-22 Neil Burch , Michael Johanson , Michael Bowling

This paper studies the complexity of computing a representation of a simple game as the intersection (union) of weighted majority games, as well as, the dimension or the codimension. We also present some examples with linear dimension and…

Computer Science and Game Theory · Computer Science 2016-02-16 Sascha Kurz , Xavier Molinero , Martin Olsen , Maria Serna
‹ Prev 1 2 3 10 Next ›