20、图模型中的无向图、条件随机场与链图模型

图模型中的无向图、条件随机场与链图模型

1. 弦图与马尔可夫网络、贝叶斯网络的关系

首先，我们可以将团 $C_1$ 设为团树的根，然后使用拓扑排序对团 $C_1, \cdots, C_k$ 进行排序，即离根更近的团优先排序。接着，按照与团排序一致的顺序对网络中的节点进行排序：若 $X_l$ 首次出现在 $C_i$ 中，$X_m$ 首次出现在 $C_j$ 中，且 $i < j$，那么在排序中 $X_l$ 必须先于 $X_m$。之后，使用算法 3.2 中的 Build - Minimal - I - Map 过程，针对得到的节点排序 $X_1, \cdots, X_n$ 和独立性关系 $I(H)$ 构建贝叶斯网络。

设 $G$ 为构建得到的网络。当 $X_i$ 被添加到图中时，$X_i$ 的父节点恰好是 $U_i = Nb_{X_i} \cap {X_1, \cdots, X_{i - 1}}$，其中 $Nb_{X_i}$ 是 $X_i$ 在图 $H$ 中的邻居节点集合。也就是说，要证明在给定 $U_i$ 的条件下，$X_i$ 与 ${X_1, \cdots, X_{i - 1}} - U_i$ 相互独立。设 $C_k$ 是团排序中 $X_i$ 所属的第一个团，则 $U_i \subset C_k$。设 $C_l$ 是有根团树中 $C_k$ 的父团，根据所选排序，$C_l$ 中的所有变量都排在 $C_k - C_l$ 中的变量之前，所以 $S_{l,k} \subset {X_1, \cdots, X_{i - 1}}$。而且，根据排序选择，${X_1, \cdots, X_{i - 1}} - U_i$ 中的任何变量都不在团树中 $C_k$ 的后代团中，它们都在 $W_{<(l,k)}$