[发明专利]一种基于MaxSAT最优解的联盟结构形成方法

摘要

本发明公开了一种基于MaxSAT最优解的联盟结构形成方法，该方法包括如下步骤：确定CSG问题，用MC‑nets框架将CSG问题的特征函数表示为一组规则的集合；将集合中每两个规则之间的关系划分为四种互斥的类型；将集合分为互斥的游离集与核心集，分别在其上构造一个CSG问题的子问题；将游离集上所有带有正值权重的规则集合表示最优解；将核心集上的每个规则编码为软子句，规则间的关系编码为硬子句，从而将核心集上的子问题转化为可求解的表达式，并通过MaxSAT解算器计算出最优解；合并最优解，得到CSG问题的最优解。本发明具有很强的可扩展性和执行效率，具有很高的实用价值和推广价值。

主权项

1.一种基于MaxSAT最优解的联盟结构形成方法，其特征在于，包括如下步骤：(S1)确定联盟结构形成问题CSG问题，用MC‑nets框架将CSG问题的特征函数表示为一组带权重的规则的集合R；(S2)将集合R中每两个规则之间的关系划分为四种互斥的类型，并且每两个规则间的关系有且仅能满足其中一种类型；(S3)将所有规则中同时满足条件的规则的集合表示为游离集Rf，将游离集Rf在集合R上的补集表示为核心集Rc，分别在游离集Rf和核心集Rc上构造一个CSG问题的子问题；(S4)针对游离集R_f上的子问题，将其上所有带有正值权重的规则集合表示为游离集R_f的最优解(S5)针对核心集R_c上的子问题，将核心集R_c上的每个规则编码为软子句，然后将规则间的关系编码为硬子句，从而将核心集R_c上的CSG问题的子问题转化为可求解的MaxSAT问题的表达式，并通过MaxSAT解算器计算出核心集R_c上的最优解(S6)将游离集Rf和核心集Rc上的最优解进行合并，得到CSG问题的最优解R*，即R*＝R*f∪R*c。