Guess which card will be the Ace of spades.

Question

Consider the following game played with an ordinary deck of 52 playing cards. The cards are shuffled and then turned over one at a time. At any time the player can guess that the next card to be turned over will be the Ace of spades; if it is, then the player wins. In addition, the player is said to win if the ace of spades has not yet appeared when only 1 card remains and no guess has yet been made. What is a good strategy; what is a bad strategy?

Solution

Every strategy has probability 1/52 of winning. To show this, we will use induction to prove the stronger result that for an n card deck, one of whose cards is the ace of spades, the probability of winning is 1/n, no matter what strategy is employed. Since this is clearly true for n = 1, assume it to be true for an n-1 card deck, and now consider an n card deck. Fix any strategy and let p denote the probability that this strategy guesses that the first card is ace of spades. Given that it does then the players probability of winning is 1/n.

** On the other hand if the strategy does not guess that first card is ace of spades, then the probability that the player wins is the probability that the first card is not the ace of spades, namely (n-1)/n, multiplied by the conditional probability of winning given that the first card is not the ace of spades. But this latter conditional probability is equal to the probability of winning when using an n-1 card deck containing a single ace of spades; it is thus, by the induction hypothesis, 1/(n-1). Hence, given that the strategy does not guess the first card, the probability of winning is

$ {{n-1}\over {n}} {{1} \over {n-1}} = {1 \over n }$

Thus, letting G be the event that the first card is guessed, we obtain that

$P(win) = P(win|G)P(G) + P(win|G^c)(1 - P(G))$

$P(win) = {1 \over n}p + {1 \over n}(1-p)$

$={1 \over n}$

My problem

I fail to understand what they are doing in the second paragraph of the solution (**).

They are essentially saying that $ P(win|G^c) = {{n-1}\over {n}} {{1} \over {n-1}} ... (1)$

But $ P(win|G^c) = {P(win \bigcap G^c) \over P(G^c)} ... (2)$

I fail to see how (2) -> (1)

Would appreciate it if someone can explain by expanding the equation correctly.

Answer 1

No real answer to your question, but an alternative way that uses induction.

---

Assumption: if the game is played with $k<n$ cards then every strategy gives probability $\frac1{k}$ to win.

Now check the strategies when $n$ cards are used.

One of them is guessing that the first card is the ace of spades and evidently it gives probability $\frac1n$ to win.

Now take another strategy and let $A$ denote the event that the first card is ace of space.

Then $$P(\text{win})=P(\text{win}\mid A)P(A)+P(\text{win}\mid A^{\complement})P(A^{\complement})=0\cdot\frac1{n}+\frac1{n-1}\frac{n-1}{n}=\frac1n$$

Here $P(\text{win}\mid A^{\complement})=\frac1{n-1}$ on base of the assumption.

Answer 2

Here is how you can write out the logic of the second paragraph using the conditional probability identities. Let us call $A$ the event that the first card is the ace of spades, and accordingly, $A^c$ that it is not (I'll also write $W$ instead of "win").

$$ P(W|G^c) = \frac{P(W \cap G^c)}{P(G^c)} = \frac{P(W \cap G^c \cap A) + P(W \cap G^c \cap A^c)}{P(G^c)}, $$ where I have used that $A$ either happens or does not. Note that the first term in the numerator is zero, because you cannot win if you didn't guess, but the ace came up ($G^c \cap A = \rm loss$).
Also note that the other term is $$ P(W \cap G^c \cap A^c) = P(W \cap (G^c \cap A^c)) = P(G^c \cap A^c) \cdot P(W|(G^c \cap A^c)) .$$ [The first step just groups events into a combined event, the second step uses the conditional probability formula in the form $P(A\cap B) = P(B)P(A|B)$.]

So we are left with $$ P(W|G^c) = \frac{P(G^c \cap A^c) \cdot P(W|(G^c \cap A^c))}{P(G^c)} = P(A^c) \cdot P(W|(G^c \cap A^c)), $$ because $A^c$ and $G^c$ are independent, so $P(G^c \cap A^c) = P(G^c)P(A^c)$ and the denominator gets cancelled.

Finally, $P(A^c) = {n-1\over n}$, while $P(W|(G^c \cap A^c)) = {1\over n-1}$ by the inductive assumption (given that you didn't guess, and the ace didn't come up, you just play out the rest of the deck, which is the same as an $(n-1)$-card game with the same rules). Thus you get $(1)$.