-
Symmetric Decomposition of Asymmetric Games
Authors:
Karl Tuyls,
Julien Perolat,
Marc Lanctot,
Georg Ostrovski,
Rahul Savani,
Joel Leibo,
Toby Ord,
Thore Graepel,
Shane Legg
Abstract:
We introduce new theoretical insights into two-population asymmetric games allowing for an elegant symmetric decomposition into two single population symmetric games. Specifically, we show how an asymmetric bimatrix game (A,B) can be decomposed into its symmetric counterparts by envisioning and investigating the payoff tables (A and B) that constitute the asymmetric game, as two independent, singl…
▽ More
We introduce new theoretical insights into two-population asymmetric games allowing for an elegant symmetric decomposition into two single population symmetric games. Specifically, we show how an asymmetric bimatrix game (A,B) can be decomposed into its symmetric counterparts by envisioning and investigating the payoff tables (A and B) that constitute the asymmetric game, as two independent, single population, symmetric games. We reveal several surprising formal relationships between an asymmetric two-population game and its symmetric single population counterparts, which facilitate a convenient analysis of the original asymmetric game due to the dimensionality reduction of the decomposition. The main finding reveals that if (x,y) is a Nash equilibrium of an asymmetric game (A,B), this implies that y is a Nash equilibrium of the symmetric counterpart game determined by payoff table A, and x is a Nash equilibrium of the symmetric counterpart game determined by payoff table B. Also the reverse holds and combinations of Nash equilibria of the counterpart games form Nash equilibria of the asymmetric game. We illustrate how these formal relationships aid in identifying and analysing the Nash structure of asymmetric games, by examining the evolutionary dynamics of the simpler counterpart games in several canonical examples.
△ Less
Submitted 17 January, 2018; v1 submitted 14 November, 2017;
originally announced November 2017.
-
Using biased coins as oracles
Authors:
Toby Ord,
Tien D. Kieu
Abstract:
While it is well known that a Turing machine equipped with the ability to flip a fair coin cannot compute more that a standard Turing machine, we show that this is not true for a biased coin. Indeed, any oracle set $X$ may be coded as a probability $p_{X}$ such that if a Turing machine is given a coin which lands heads with probability $p_{X}$ it can compute any function recursive in $X$ with ar…
▽ More
While it is well known that a Turing machine equipped with the ability to flip a fair coin cannot compute more that a standard Turing machine, we show that this is not true for a biased coin. Indeed, any oracle set $X$ may be coded as a probability $p_{X}$ such that if a Turing machine is given a coin which lands heads with probability $p_{X}$ it can compute any function recursive in $X$ with arbitrarily high probability. We also show how the assumption of a non-recursive bias can be weakened by using a sequence of increasingly accurate recursive biases or by choosing the bias at random from a distribution with a non-recursive mean. We conclude by briefly mentioning some implications regarding the physical realisability of such methods.
△ Less
Submitted 23 January, 2004;
originally announced January 2004.
-
On the existence of a new family of Diophantine equations for $\bf Ω$
Authors:
Toby Ord,
Tien D. Kieu
Abstract:
We show how to determine the $k$-th bit of Chaitin's algorithmically random real number $Ω$ by solving $k$ instances of the halting problem. From this we then reduce the problem of determining the $k$-th bit of $Ω$ to determining whether a certain Diophantine equation with two parameters, $k$ and $N$, has solutions for an odd or an even number of values of $N$. We also demonstrate two further ex…
▽ More
We show how to determine the $k$-th bit of Chaitin's algorithmically random real number $Ω$ by solving $k$ instances of the halting problem. From this we then reduce the problem of determining the $k$-th bit of $Ω$ to determining whether a certain Diophantine equation with two parameters, $k$ and $N$, has solutions for an odd or an even number of values of $N$. We also demonstrate two further examples of $Ω$ in number theory: an exponential Diophantine equation with a parameter $k$ which has an odd number of solutions iff the $k$-th bit of $Ω$ is 1, and a polynomial of positive integer variables and a parameter $k$ that takes on an odd number of positive values iff the $k$-th bit of $Ω$ is 1.
△ Less
Submitted 12 October, 2003; v1 submitted 24 January, 2003;
originally announced January 2003.
-
Hypercomputation: computing more than the Turing machine
Authors:
Toby Ord
Abstract:
Due to common misconceptions about the Church-Turing thesis, it has been widely assumed that the Turing machine provides an upper bound on what is computable. This is not so. The new field of hypercomputation studies models of computation that can compute more than the Turing machine and addresses their implications. In this report, I survey much of the work that has been done on hypercomputatio…
▽ More
Due to common misconceptions about the Church-Turing thesis, it has been widely assumed that the Turing machine provides an upper bound on what is computable. This is not so. The new field of hypercomputation studies models of computation that can compute more than the Turing machine and addresses their implications. In this report, I survey much of the work that has been done on hypercomputation, explaining how such non-classical models fit into the classical theory of computation and comparing their relative powers. I also examine the physical requirements for such machines to be constructible and the kinds of hypercomputation that may be possible within the universe. Finally, I show how the possibility of hypercomputation weakens the impact of Godel's Incompleteness Theorem and Chaitin's discovery of 'randomness' within arithmetic.
△ Less
Submitted 25 September, 2002;
originally announced September 2002.