Homomorphism is a key mapping technique between graphs that preserves their structure. Given a graph and a pattern, the subgraph homomorphism problem involves finding a mapping from the pattern to the graph, ensuring that adjacent vertices in the pattern are mapped to adjacent vertices in the graph. Unlike subgraph isomorphism, which requires a one-to-one mapping, homomorphism allows multiple vertices in the pattern to map to the same vertex in the graph, making it more complex. We propose HFrame, the first graph neural network-based framework for subgraph homomorphism, which integrates traditional algorithms with machine learning techniques. We demonstrate that HFrame outperforms standard graph neural networks by being able to distinguish more graph pairs where the pattern is not homomorphic to the graph. Additionally, we provide a generalization error bound for HFrame. Through experiments on both real-world and synthetic graphs, we show that HFrame is up to 101.91 times faster than exact matching algorithms and achieves an average accuracy of 0.962.
翻译:同态是图之间保持结构的关键映射技术。给定一个图和一个模式,子图同态问题涉及寻找从模式到图的映射,确保模式中相邻顶点被映射到图中的相邻顶点。与要求一对一映射的子图同构不同,同态允许模式中的多个顶点映射到图中的同一顶点,这使其更为复杂。我们提出了HFrame,这是首个基于图神经网络的子图同态框架,它融合了传统算法与机器学习技术。我们证明,HFrame通过能够区分更多模式与图非同态的图对,性能优于标准图神经网络。此外,我们为HFrame提供了泛化误差界。通过在真实世界图和合成图上的实验,我们表明HFrame比精确匹配算法快达101.91倍,并实现了0.962的平均准确率。