[发明专利]一种基于对称破坏的子图同构约束求解方法

权利要求书

1.一种基于对称破坏的子图同构约束求解方法，应用于抗AIDS化合物比对中，通过分析提取化合物中的信息构建抗AIDS化合物比对图，图中节点对应元素，边对应化学键；其特征是，具体包括步骤如下：

步骤1、模式图的自同构节点检测，即：

步骤1.1、按节点的度，将模式图的上层分区节点和下层分区节点各划分到不同的单元中，其中度相同的节点划分为同一单元；此时上层分区的单元数和下层分区的单元数均为n，具有相同度节点的上层分区单元与对应的下层分区单元具有相同的标记；

步骤1.2、当上层分区单元A_i内的节点数量大于1时，将上层分区单元A_i内的每个节点依次与对应下层分区单元B_i内的所有节点进行组合配对，并逐一判断每组配对的节点是否属于同一映射集合：

若当前配对的节点属于同一映射集合时，则对下一组配对的节点进行判断；

否则，分别将当前配对的节点中，原属于上层分区单元A_i的节点放入新建的上层分区单元A_n+i中，原属于下层分区单元B_i的节点放入新建的下层分区单元B_n+i中；

步骤1.3、对于新建的上层分区单元A_n+i和新建的下层分区单元B_n+i内的节点，观察其邻接点，为这些邻接点添加连接边标记neibor，并记录新建上层分区单元A_n+i内节点的邻接点所属单元标记；

步骤1.4、对每个邻接点的所属单元标记所对应的上层分区单元A_i和下层分区单元B_i内的节点进行分类：

对于上层分区单元A_i内的节点：将有连接边标neibor标记的节点保留在该上层分区单元A_i内，将没有连接边标neibor标记的节点从原所属单元移入到新建的上层分区单元A_2n+i中，同时记录此新建的上层分区单元A_2n+i的单元标记并存入临时标记集合Nlabel中；

对于下层分区单元B_i内的节点：将有连接边标neibor标记的节点保留在该下层分区单元B_i内，将没有连接边标neibor标记的节点从原所属单元移入到新建的下层分区单元B_2n+i中；

步骤1.5、依次选取上层分区单元A_i和对应的下层分区单元B_i：若上层分区单元A_i与下层分区单元B_i内的节点数量不一致，则转至步骤1.2；否则，转至步骤1.6；

步骤1.6、取临时标记集合Nlabel内的单元标记，找到与此单元标记对应的上层分区单元A_i，并观察上层分区单元A_i内节点的邻接点，为这些邻接点添加连接边标记neibor，并记录此上层分区单元A_i内节点的邻接点所属单元标记，并转至步骤1.4；

步骤1.7、当上层分区与下层分区的每个单元均仅包含一个节点时，若上层分区中的节点a与下层分区中的节点b的所属单元标记相同，且上层分区中的节点b与下层分区中的节点a的所属单元标记相同，则节点a和节点b为一组自同构节点，每组自同构节点形成一个映射集合；

步骤2、当模式图的所有自同构节点检测完成后，得到一系列置换，这些置换构成置换群，通过施赖埃尔一西姆斯算法对置换群进行操作，即首先通过置换群得到稳定链，其次利用稳定链求得陪集，最后，利用陪集生成节点间的约束关系；

步骤3、利用步骤2所得到的模式图中节点的约束关系，结合子图同构的通用约束，构建子图同构问题的对称破坏CSP模型，对此对称破坏CSP模型进行求解，即可得到目标图中的与模式图同构的子图，且这些解互不为对称解；

上述i∈1，2，...，n。