冠积图中极大匹配的整体强迫数

图 $G=(V(G), E(G))$ 的极大匹配的整体强迫集是一个集合 $S \subseteq E(G)$，使得对于 $G$ 的每对极大匹配 $M_1$ 和 $M_2$ 都有 $M_1\cap S \neq M_2 \cap S$。最小的此类集合称为最小整体强迫集，其大小即为 $G$ 的极大匹配整体强迫数 $\phi_{gm}(G)$。本文中，我们建立了图的冠积之极大匹配强迫数的下界与上界。我们还引入了一个整数线性规划模型，用于计算图的极大匹配强迫数。