5,443
个编辑
更改
跳到导航
跳到搜索
第243行：
第243行： − +
→充分性的形式化
以及系统级确定性系数
以及系统级确定性系数
<math>det=\sum\limits_{c\in C}P(c) det(c)=\sum\limits_{e\in E, c\in C}P(e,c) det(e,c)=1-\frac{\sum\limits_{c\in C}P(c) H(e\mid c)}{\log_2n} </math>
<math>det=1-\frac{\sum\limits_{c\in C}P(c) H(E \mid c)}{\log_2n} </math>
==== 必要性的形式化 ====
==== 必要性的形式化 ====