https://atcoder.jp/contests/abc193/tasks/abc193_d

制約よりカードの枚数がたくさんあるが勝ち負けが決まるパターンは 1~9をお互いがランダムで引くので $9^2$ 通りしかないことがわかる。

あとは全体の枚数を丁寧にカウントして確率を求めるだけ。

https://atcoder.jp/contests/abc193/submissions/55733532

このようにカードが無限ではない(、言い換えるとある集合から選ぶ際、集合の要素数が有限個の)場合は全体数を適当な数減らして計算することを忘れない。

選ぶカードの通り数は $(9K-8) (9K-8)$ ではなく $(9K-8)(9K-9)$ であるということ。