English
Related papers

Related papers: Equivalence of Probabilistic Tournament and Polyno…

200 papers

The problem of peer selection, which randomly selects a peer from a set, is commonplace in Proof-of-Stake (PoS) protocols. In PoS, peers are chosen randomly with probability proportional to the amount of stake that they possess. This paper…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-13 Quan Nguyen , Andre Cronje , Michael Kong

In late May of 2014 I received an email from a colleague introducing to me a non-transitive game developed by Walter Penney. This paper explores this probability game from the perspective of a coin tossing game, and further discusses some…

Probability · Mathematics 2014-06-10 James Brofos

We investigate an algorithm that assigns to any game in normal form an approximating game that admits an ordinal potential function. Due to the properties of potential games, the algorithm equips every game with a surrogate reward structure…

Multiagent Systems · Computer Science 2026-02-24 Philipp Lakheshar , Sharwin Rezagholi

We study evolutionary game dynamics in a well-mixed populations of finite size, N. A well-mixed population means that any two individuals are equally likely to interact. In particular we consider the average abundances of two strategies, A…

Populations and Evolution · Quantitative Biology 2009-02-24 Tibor Antal , Martin A. Nowak , Arne Traulsen

Checking two probabilistic automata for equivalence has been shown to be a key problem for efficiently establishing various behavioural and anonymity properties of probabilistic systems. In recent experiments a randomised equivalence test…

Formal Languages and Automata Theory · Computer Science 2012-01-09 Stefan Kiefer , Andrzej S. Murawski , Joël Ouaknine , Björn Wachter , James Worrell

In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible…

Classical Analysis and ODEs · Mathematics 2018-03-08 José Ginés Espín Buendía , Víctor Jiménez López

We settle the computational complexity of fundamental questions related to multicriteria integer linear programs, when the dimensions of the strategy space and of the outcome space are considered fixed constants. In particular we construct:…

Optimization and Control · Mathematics 2017-01-03 Jesús A. De Loera , Raymond Hemmecke , Matthias Köppe

We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a lifting of probabilistic bisimulation to polynomial…

Logic in Computer Science · Computer Science 2021-04-28 Giorgio Bacci , Giovanni Bacci , Kim G. Larsen , Mirco Tribastone , Max Tschaikowski , Andrea Vandin

Quality diversity (QD) is a branch of evolutionary computation that seeks high-quality and behaviorally diverse solutions to a problem. While adversarial problems are common, classical QD cannot be easily applied to them, as both the…

Neural and Evolutionary Computing · Computer Science 2026-05-18 Timothée Anne , Noah Syrkis , Meriem Elhosni , Florian Turati , Alexandre Manai , Franck Legendre , Alain Jaquier , Sebastian Risi

We calculate the probability that random polynomial matrices over a finite field with certain structures are right prime or left prime, respectively. In particular, we give an asymptotic formula for the probability that finitely many…

Dynamical Systems · Mathematics 2017-04-07 Julia Lieb

The interplay between mutation and selection plays a fundamental role in the behaviour of evolutionary algorithms (EAs). However, this interplay is still not completely understood. This paper presents a rigorous runtime analysis of a…

Neural and Evolutionary Computing · Computer Science 2010-12-15 Per Kristian Lehre , Xin Yao

In the run-up to any major sports tournament, winning probabilities of participants are publicized for engagement and betting purposes. These are generally based on simulating the tournament tens of thousands of times by sampling from…

Computation · Statistics 2023-07-21 Ulrik Brandes , Gordana Marmulla , Ivana Smokovic

Computational Social Choice (ComSoc) is a rapidly developing field at the intersection of computer science, economics, social choice, and political science. The study of tournaments is fundamental to ComSoc and many results have been…

Computer Science and Game Theory · Computer Science 2016-08-04 Nicholas Mattei , Toby Walsh

Covariance selection seeks to estimate a covariance matrix by maximum likelihood while restricting the number of nonzero inverse covariance matrix coefficients. A single penalty parameter usually controls the tradeoff between log likelihood…

Optimization and Control · Mathematics 2010-10-12 Vijay Krishnamurthy , Alexandre d'Aspremont

This paper presents a new exponential lower bound for the two most popular deterministic variants of the strategy improvement algorithms for solving parity, mean payoff, discounted payoff and simple stochastic games. The first variant…

Computer Science and Game Theory · Computer Science 2015-07-01 Oliver Friedmann

Simple stochastic games are two-player zero-sum stochastic games with turn-based moves, perfect information, and reachability winning conditions. We present two new algorithms computing the values of simple stochastic games. Both of them…

Computer Science and Game Theory · Computer Science 2015-07-01 Hugo Gimbert , Florian Horn

We study a modified prisoner's dilemma game taking place on two-dimensional disordered square lattices. The players are pure strategists and can either cooperate or defect with their immediate neighbors. In the generations each player…

Physics and Society · Physics 2007-05-23 Zhi-Xi Wu , Xin-Jian Xu , Zi-Gang Huang , Sheng-Jun Wang , Ying-Hai Wang

We study stochastic evolution of optional games on simple graphs. There are two strategies, A and B, whose interaction is described by a general payoff matrix. In addition there are one or several possibilities to opt out from the game by…

Populations and Evolution · Quantitative Biology 2014-05-19 Hyeong-Chai Jeong , Seung-Yoon Oh , Benjamin Allen , Martin A. Nowak

Let $f, f_1, \ldots, f_\nV$ be polynomials with rational coefficients in the indeterminates $\bfX=X_1, \ldots, X_n$ of maximum degree $D$ and $V$ be the set of common complex solutions of $\F=(f_1,\ldots, f_\nV)$. We give an algorithm…

Symbolic Computation · Computer Science 2014-05-08 Aurélien Greuet , Mohab Safey El Din

The probabilistic serial (PS) rule is one of the most prominent randomized rules for the assignment problem. It is well-known for its superior fairness and welfare properties. However, PS is not immune to manipulative behaviour by the…

Computer Science and Game Theory · Computer Science 2014-01-28 Haris Aziz , Serge Gaspers , Nick Mattei , Nina Narodytska , Toby Walsh