对galli问题几种解答形式之间的等价性.pdfVIP

对 G a lla i 问题 几种 解答 形 式之 间的等价性 摘 要 1961年 G allai提 出如何计筧两两独立 的 道路 的最大条数 问题 ，M ader 于 I978 年给 出了第一种 的解答. 1980 年 Lovtlsz 利用拟 阵匹配公式给 出了第二种解答.20‘01 年 Schrijver 又给 出了第三种解答. 这些解答形式有着 巨大 的差异 ，本文 的 目的在 于证 明它 们之 间的 等 价 性 . 2.1 给 出了三个 引理来简化整个证 明过程 ，2.2 证 明了 M ador 形式和 Lovfe 形式 的等 价性 ，2.3 证 明了 Lov ;isz 形式与 Schrijver 形式 的等价性 ，2.4 证 明了 Schrijver 形式与 M ader 形 式 的等 价 性 . 关键词 M ader 定理 :H - 道路 ;道路族 的分离集 E q u iva len ce o f sev era l a n sw ers to G a lla is p rob lem