We study a competitive optimization version of , the maximum size of a matching in a graph . Players alternate adding edges of to a matching until it becomes a maximal matching. One player (Max) wants that matching to be large; the other (Min) wants it to be small. The resulting sizes under optimal play when Max or Min starts are denoted and , respectively. We show that always . We obtain a sufficient condition for that is preserved under cartesian product. In general, , with equality for many split graphs, while when is a forest. Whenever is a 3-regular -vertex connected graph, , and there are such examples with . For an -vertex path or cycle, the answer is roughly .

生成讲解博客的中文版本

生成AI智能校验的中文版本