269
个编辑
更改
跳到导航
跳到搜索
第98行：
第98行： − 所以<math>H[S]=H[g(\hat{\mathcal{R}})]\leqslant H[\hat{\mathcal{R}}] </math>+
→因果态的主要性质
根据<math>\mathcal{R} </math>的定义可知，<math>H[\vec{S}^L|\mathcal{R}]<LH[S] </math>，则<math>H[f(X)]\leqslant H[X] </math>。
根据<math>\mathcal{R} </math>的定义可知，<math>H[\vec{S}^L|\mathcal{R}]<LH[S] </math>，则<math>H[f(X)]\leqslant H[X] </math>。
所以对于所有<math>\hat{\mathcal{R}} </math>，<math>H[S]=H[g(\hat{\mathcal{R}})]\leqslant H[\hat{\mathcal{R}}] </math>
根据统计复杂度的定义可知，<math>C_\mu(\mathcal{R})\equiv H[\mathcal{R}] </math>，则<math>C_\mu(\hat{\mathcal{R}})=H[\hat{\mathcal{R}}] </math>。
根据统计复杂度的定义可知，<math>C_\mu(\mathcal{R})\equiv H[\mathcal{R}] </math>，则<math>C_\mu(\hat{\mathcal{R}})=H[\hat{\mathcal{R}}] </math>。