Graph SAT的子图同构
子图同构（SI）问题是一个计算任务，其中两个图G和H作为输入，必须确定G是否包含与H同构的子图 这是一个NP完全问题 我想知道它与SAT问题的关系。Graph SAT的子图同构,graph,np,isomorphism,satisfiability,Graph,Np,Isomorphism,Satisfiability,子图同构（SI）问题是一个计算任务，其中两个图G和H作为输入，必须确定G是否包含与H同构的子图 这是一个NP完全问题 我想知道它与SAT问题的关系。 特别是，我希望这个问题的实例可以通过SAT解算器（如）来解决。我需要一个算法，它可以在多项式时间内从SI映射到SAT问题，然后可以使用SAT分配来找到从G节点到H节点的映射 有什么想法吗 ASAT图同构问题的编码在论文“”中描述 Minisat是最著名的SAT解算器之一，但它有几个继任者，他们可能更快，成功率更高。试试（版本2.9.5似乎比版本3快
特别是，我希望这个问题的实例可以通过SAT解算器（如）来解决。我需要一个算法，它可以在多项式时间内从SI映射到SAT问题，然后可以使用SAT分配来找到从G节点到H节点的映射
有什么想法吗 A
SAT