跳到主要内容

京都大学 情報学研究科 知能情報学専攻 2022年8月実施 専門科目 S-4

Author

Isidore, Passed, 祭音Myyura

Description

Let Σ={0,1}\Sigma = \{ 0, 1 \} be an alphabet for information sources. Assume that irreducible and aperiodic Markov information sources S1S_1 and S2S_2 consisting of finite numbers of states satisfy:

  • [C1] neither S1S_1 nor S2S_2 outputs any sequence including 1111, and
  • [C2] S2S_2 does not output any sequence including 00000000.

Answer all of the following subquestions from (1) to (5).

(1) Let s1,s2,,sms_1, s_2, \dots, s_m be the states of S1S_1. Draw the transition diagram of S1S_1. Assume that S1S_1 should output 00 with probability pp (0<p<10 < p < 1) when it is at state s1s_1. You must make the number of the states mm minimum.

(2) Let t1,t2,,tnt_1, t_2, \dots, t_n be the states of S2S_2. Draw the transition diagram of S2S_2. Assume that S2S_2 should output 00 with probability pp (0<p<10 < p < 1) when it is at state t1t_1 and with probability qq (0<q<10 < q < 1) when it is at state t2t_2. You must make the number of the states nn minimum. Also explain the reason why your answer satisfies [C1] and [C2].

(3) Give the transition matrix of S2S_2.

(4) Let a probability distribution (q1,,qn) (0qi1,q1++qn=1)(q_1, \dots, q_n) \ (0 \leq q_i \leq 1, q_1 + \cdots + q_n = 1) be on the states (t1,,tn)(t_1, \dots, t_n). When the distribution is stationary and p=qp = q, represent each of q1,,qnq_1, \dots, q_n with pp.

(5) Show the entropy of S2S_2 with pp when the initial distribution is equal to the stationary distribution given in (4).

Kai

(1)

(2)

(3)

(0p1p0001qq10000010)\begin{pmatrix} 0 & p & 1-p & 0\\ 0&0&1-q&q\\ 1&0&0&0\\ 0&0&1&0 \end{pmatrix}

(4)

(q1,q2,q3,q4)=1p2+p+2(1,p,1,p2)(q_{1},q_{2},q_{3},q_{4}) = \frac{1}{p^{2}+p+2}(1,p,1,p^{2})

(5)

Let H(p)H(p) denote the entropy function

H(p)=plog2p(1p)log2(1p)H(p) = -p\log_{2}p-(1-p)\log_{2}(1-p)

hence

H(S2)=q1Ht1+q2Ht2+q3Ht3+q4Ht4=1p2+p+2(Ht1+pHt2+Ht3+p2Ht4)=1p2+p+2(Ht1+pHt2)=1p2+p+2(H(p)+pH(q))=H(p)p2+p+2(p+1)\begin{aligned} H(S_{2}) &= q_{1}H_{t_{1}}+q_{2}H_{t_{2}}+q_{3}H_{t_{3}}+q_{4}H_{t_{4}}\\ &= \frac{1}{p^{2}+p+2}\left(H_{t_{1}}+pH_{t_{2}}+H_{t_{3}}+p^{2}H_{t_{4}}\right) \\ &= \frac{1}{p^{2}+p+2}\left(H_{t_{1}}+pH_{t_{2}}\right)\\ &= \frac{1}{p^{2}+p+2}\left(H(p)+pH(q)\right)\\ &= \frac{H(p)}{p^{2}+p+2}(p+1) \end{aligned}