Лемма о паросочетании в графе замен — различия между версиями

Текущая версия на 14:13, 24 апреля 2016

Перенаправление на:

@@ Строка 1: / Строка 1: @@
-{{Лемма
+#перенаправление [[Граф замен]]
-|about=
-о паросочетании в графе замен
-|statement= Пусть <tex>M = </tex> &lt; <tex> X,I </tex> &gt; &mdash;  матроид. Множества <tex>A, B \in I</tex>, причем <tex>|A| = |B|</tex>. Тогда двудольный граф <tex>G_M(A) = </tex>{ <tex>(x, y) | x \in A, y \notin A, A \ x \cup y \in I</tex>} содержит полное паросочетание на <tex>A \oplus B</tex>.
-|proof= Индукция по <tex>|A \oplus B|</tex>. База индукции очевидна.
-}}