概率图模型PGM——D map， I map， perfect map

若F分布的每个条件独立性质都反映在A图中，则A图被称为F分布的D map。

若A图表现出的所有条件独立性质都在F分布中满足（与F分布不矛盾），则A图被称为F分布的I map。

弱A图既是F分布的D map，也是I map，则A图是B分布的完美图perfect map。