3-数码问题状态图奇偶性分析与贝叶斯网络概率计算

30、证明由3 - 数码问题的状态（节点）和动作（边）组成的状态图可分为两个连通子图，且这两个子图之间没有连接。

对于3 - 数码问题，可通过 奇偶性分析 来证明。把数码排列看作一个序列，计算其 逆序数 。

逆序数定义：

在一个排列中，如果一对数的前后位置与大小顺序相反，即前面的数大于后面的数，那么它们就称为一个 逆序 。一个排列中逆序的总数就称为这个排列的 逆序数 。

在3 - 数码问题中的分析：

• 每次移动数码，逆序数的奇偶性只有两种情况。
• 每一次合法的移动（将空格向上下左右移动）， 逆序数的奇偶性保持不变 。

结论：

• 根据逆序数的奇偶性，可将所有状态分为两类。
• 相同奇偶性 的状态可以相互到达，构成一个连通子图。
• 奇偶性不同的状态之间 无法通过合法移动相互转换 ，所以这两类状态对应的子图之间没有连接。
• 即： 状态图分为两个连通子图且无连接 。

31、给定一个包含三个二元变量A、B、C的贝叶斯网络，已知P(A) = 0.2，P(B) = 0.9，以及如下条件概率表（CPT）：（a）计算P(A|B)；（b）计算P(C|A)。条件概率表：A为真、B为假时P(C) = 0.1；A为真、B为真时P(C) = 0.2；A为假、B为真时P(C) = 0.9；A为假、B为假时P(C) = 0.4。

仅根据现有条件无法计算出 $ P(A|B) $ 和 $ P(C|A) $。

• 计算 $ P(A|B) $ 需要知道 $ P(A \cap B) $
• 计算 $ P(C|A) $ 需