AGM算法

令 G ( V , E , L V , L E , φ ) G(V,E,L_V,L_E,\varphi) G(V,E,LV​,LE​,φ)表示一个带标签的图，其中 V V V和 E E E分别表示顶点集和边集， L V L_V LV​和 L E L_E LE​分别表示顶点和边的标签集， φ \varphi φ是一个标签函数定义了 V → L V V \to L_V V→LV​和 E → L E E

>>阅读原文<<