图匹配问题系列（三）判断“相等性”

图匹配问题分为两类：精确匹配与近似匹配。我们先考虑精确图匹配问题。

比起图匹配，字符串、特征向量等的匹配相对更简单 —— 更容易判断找到的“模式”是否“相等”。这是由于它们的基本元素都是可排序的，判断相等时，按序比较计较基本元素，或者组合这样的操作就可以判断相等性。而图中的顶点和边都是无法排序的，判断图“相等”耗费的计算量也因此更大。