Теорема Эдмондса - Лоулера, формулировка, док-во в простую сторону

Теорема (Эдмондса - Лоулера):

Пусть [math]M_1=\lt X, I_1\gt [/math], [math]M_2=\lt X, I_2\gt [/math] - матроиды. Тогда [math]\max_{I \in I_1 \cap I_2 } |I| = \min_{A \subseteq X} r_1(A) + r_2(X \setminus A)[/math] Где [math]r_1[/math] и [math]r_2[/math] - ранговые функции в первом и втором матроиде соответственно.

Доказательство:

[math]\triangleright[/math]

Докажем неравенство [math]\max_{I \in I_1 \cap I_2 } |I| \le \min_{A \subseteq X} r_1(A) + r_2(X \setminus A)[/math] Выберем произвольные [math]I \in I_1 \cap I_2[/math], [math]A \subseteq X[/math] [math]|I| = |I \cap A| + |I \setminus A|[/math] [math]I \cap A[/math] и [math]I \setminus A[/math] - независимые в обоих матроидах (как подмножества независимового [math]I[/math]), значит [math]|I| = r_1(I \cap A) + r_2(I \setminus A)[/math] Но [math]r_1(I \cap A) \le r_1(A)[/math] и [math]r_2(I \setminus A) \le r_2(X \setminus A)[/math], значит [math]|I| \le r_1(A) + r_2(X \setminus A)[/math] В силу произвольности [math]I[/math] и [math]A[/math] получаем [math]\max_{I \in I_1 \cap I_2 } |I| \le \min_{A \subseteq X} r_1(A) + r_2(X \setminus A)[/math]

[math]\triangleleft[/math]