关于在团划分问题中传递约束冗余性的研究
On the redundancy of transitivity constraints in the clique partitioning problem
AI总结：
本文识别了团划分问题0-1整数线性规划公式中一类冗余的传递约束，移除这些约束不影响最优解集，尤其在相关聚类问题中表现优异。
摘要：
在本研究中，我们识别了团划分问题0-1整数线性规划公式中一类冗余的传递约束。此类传递约束可以从公式中移除而不改变最优解集，尽管每个传递约束定义了关联的多面体的一个面。这导致了一个更小的公式，尤其在来自相关聚类问题的实例中表现优异，其中边权值来自{-1,1}。我们的计算实验显示，所得到的公式在这些实例上优于现有公式。
英文摘要：
In this study, we identify a class of redundant transitivity constraints in a 0-1 integer linear programming formulation of the clique partitioning problem. The transitivity constraints in this class can be removed from the formulation without changing the optimal solution set, although each transitivity constraint defines a facet of the associated polytope. This leads to a smaller formulation that is particularly effective for instances arising from correlation clustering, where edge weights are drawn from $\{-1,1\}$. Our computational experiments show that the resulting formulation outperforms existing formulations on such instances.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
