Graph 证明无边图之间的编辑距离是一个度量

考虑到添加、删除或替换顶点的成本可能不同，问题在于找到两个没有边的图之间的最小编辑距离

---

有人告诉我这个距离是一个度量，有一个简单的方法来证明它。是这样吗？如何计算呢？

我将调用两个图G和H之间的距离，d（G，H）

对于任何图G，d（G，G）=0。只要所有成本都严格为正，那么对于任何G！=H、 d（G，H）>0。所以非负性是满足的

只要移除一个顶点的代价与添加一个顶点的代价相同，对于任意两个图G，H，d（G，H）=d（H，G）。因此，对称性得到了满足

最后，对于任意三个图G，H，K，d（G，K）最多是d（G，H）+d（H，K），因为可以通过首先将G编辑为H来将G编辑为K

上述标准定义了一个度量