Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем — различия между версиями
Строка 1: | Строка 1: | ||
{{Лемма | {{Лемма | ||
|statement = | |statement = | ||
− | Пусть <tex>G</tex> — граф замен, тогда в его подграфе, индуцированном кратчайшим путем <tex>s \rightsquigarrow t</tex>, существует единственное полное | + | Пусть <tex>G</tex> — граф замен, тогда в его подграфе, индуцированном кратчайшим путем <tex>s \rightsquigarrow t</tex>, существует единственное полное бракосочетание. |
|proof = | |proof = | ||
}} | }} |
Версия 05:53, 18 мая 2011
Лемма: |
Пусть — граф замен, тогда в его подграфе, индуцированном кратчайшим путем , существует единственное полное бракосочетание. |