图匹配是一个NP难(NP-hard)问题.基于置换矩阵是非负正交矩阵这一经典结论,提出赋权图匹配(Weighted graph matching,WGM)的双向松弛障碍规划,理论上证明新模型的解与原模型的解是一致的.该规划是一个二元连续规划,它是正交矩阵上的线性优化问题,同时也是非负矩阵上的凸二次优化问题.故设计求解新模型的交替迭代算法,并证明算法的局部收敛性.数值实验表明,在匹配精度方面,新方法强于线性规划方法和特征值分解方法.