Problem: In a sequence of coin tosses, one can keep a record of instances in which a tail is immediately followed by a head, a head is immediately followed by a head, and etc. We denote these by TH, HH, and etc. For example, in the sequence TTTHHTHTTTHHTTH of 15 coin tosses we observe that there are two HH, three HT, four TH , and five TT subsequences. How many different sequences of 15 coin tosses will contain exactly two HH, three HT, four TH, and five TT subsequences?
Solution: This is a beautifully logical problem. After thinking about what limitations you can impose on the string sequence of length $15$, you may notice a few things. For one, any valid string has exactly $9$ Ts and $6$ $H$s. you may come to believe that the string starts with $T$ and ends with $H$. Let's prove it.
Assume, for the sake of a contradiction, that the string ends with $T$. Then, we can write our string as [A]HT[B]HT[C]HT[D]T. Notice that there cannot be a $H$ in [D], otherwise, we have more than three HT. So, $H$ must go in [A], [B], or [C] and for similar reasoning as before, in each of [A], [B], and [C], we must have all $T$s procede all $H