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

>>阅读原文<<