图的Apriori属性是否总是成立？

Question

我一直在研究这个问题。

给定一个图数据库D作为一组小图，支持的Apriori属性表示如果 模式在D中是频繁的，则其所有子图都是频繁的。考虑图挖掘问题 定义在单个图G上，其中模式P的支撑是指所有 G中与P同构的子图。Apriori属性是否仍然成立？如果是，请提供证明。 如果没有，请举一个反例。

问题的核心是在这种情况下Apriori算法是否有效。我认为我没有理由不应该工作，尽管我的研究一直未能找到反例。

先验算法在这里成立吗？还是我不知道的某些例外？

感谢您阅读。