BragGame

HomePage | Memberswill go by tor | RecentChanges | Join |

( c ) base case trivial. For induction, suppose it holds for N players and Alice is The One and an arrow means "win"

A player Bob enters. Break down all the cases.

Case 1, AliceBobAlice \rightarrow Bob. Then Alice is still The One Case 2, BobAliceBob \rightarrow Alice and y,yBob\exists y, y \rightarrow Bob, then Alice is still The One Case 3, BobAliceBob \rightarrow Alice and y,Boby\forall y, Bob \rightarrow y. Because xy,yx\forall x \exists y, y \rightarrow x, it must be Bob wins some y who wins x. Then Bob is The One

(b) Not sure what is being asked (just show an example or describe all the cases). A only one The One set up is like this. For N players are Alice 1,Alice 2,,Alice NAlice_1, Alice_2, \cdots , Alice_N and ij,i<j\forall i \forall j, i&lt; j  set up Alice iAlice jAlice_i \rightarrow Alice_j .Then Alice 1Alice_1 is the only The One. A new N+1 player Bob enters. If the new arrows introduced by Bob are Alice 1BobAlice_1 \rightarrow Bob and Alice 2BobAlice_2 \rightarrow Bob and others arrows related to Bob are arbitrary, then still only one The One which is Alice 1Alice_1