图 和图 的导出子图有哪些同构的问题可以看成一个约束满足问题(CSP) ,CSP的详细定义见:约束规划,约束传播和CSP问题 导出子图同构问题的形式化 简单地说,图 在 中的嵌入(embedding) 满足 (1) , (2) , (3) , 是 和 的某个导出