子图同构(SI)问题是一个计算任务,其中给出两个图G和H作为输入,并且必须确定G是否包含与H同构的子图。
这是 NP-Complete问题。
我想知道它与SAT问题的关系 特别是,我想在整个SAT求解器中解决这个问题的实例(如miniSAT)。我需要一个算法,可以在多项式时间内从SI到SAT问题进行映射,然后可以使用SAT赋值来查找从G节点到H节点的映射。
任何想法???
答案 0 :(得分:1)
SAT 2013论文“On the Resolution Complexity of Graph non-Isomorphism”中描述了图形同构问题的SAT
编码。
Minisat是最着名的SAT解决方案之一,但它有几个可能更快并且成功率更高的后继者。尝试Cryptominisat(版本2.9.5似乎比版本3更快;它支持并行线程),Riss3g或Clasp。