考虑E-MS算法的收敛性.首先,给出观测广义信息准则(GIC)最小值点的必要条件;其次,在模型空间有限性、参数空间紧性、Q函数连续性的条件下,证明E-MS算法产生序列的极限点满足观测GIC最小值点的必要性,是对E-MS算法全局收敛性的补充;再次,给出满足该必要条件但不满足全局收敛条件高斯图模型的一个实例;最后,证明E-MS算法的全局收敛性.