Solution (source code)

= Solution

The conditional <probability mass function> is
$$
P_n(x_1^n)
=\mathbb P(Y_1^n=x_1^n\mid Y_1^n\in B)
=\frac{Q^n(x_1^n)\mathbf1_{\{x_1^n\in B\}}}{Q^n(B)}.
$$