随着社会的工业化，数学建模和仿真在产品设计中变得越来越重要。 当前，使用Modelica进行多域统一建模是复杂系统领域的主流技术。 使用Modelica对复杂物理系统进行建模通常会产生一个高指数微分代数方程（DAE）系统。 解决之前，需要先将其转换为低指数DAE。 结构索引约简算法是流行的索引约简方法之一。 但是在某些特殊情况下，其解决方案可能不正确。 目前，组合松弛算法是解决该问题的一种广泛使用的方法。 解决最大加权匹配是组合松弛算法的重要问题之一。 本文介绍了组合松弛算法，并针对最大加权匹配问题提出了匈牙利算法的三种不同实现。 理论结果与实验结果吻合。