Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lema: S V es un conjunto independiente V \ S es un recubrimiento de aristas. Esta relaci on no se mantiene entre matchings y recubrimientos de v ertices, como lo muestra este ejemplo: M = {e3 , e4 } e4 e1 e2 X \ M = {e1 , e2 , e5 } e3
e5
R = {e1 , e3 , e4 } X \ R = {e2 , e5 }
Matching m aximo
Deniciones: Un nodo v se dice saturado por un matching M si hay una arista de M incidente a v . Dado un matching M en G , un camino alternado en G con respecto a M , es un camino simple donde se alternan aristas que est an en M con aristas que no est an en M . Dado un matching M en G , un camino de aumento en G con respecto a M , es un camino alternado entre nodos no saturados por M .
Matching m aximo
Lema: Sean M0 y M1 dos matching en G y sea G = (V , X ) con X = (M0 M1 ) (M1 M0 ). Entonces las componentes conexas de G son de alguno de los siguientes tipos: nodo aislado circuito simple con aristas alternadamente en M0 y M1 camino simple con aristas alternadamente en M0 y M1 .
Matching m aximo
Lema: Sean M0 y M1 dos matching en G y sea G = (V , X ) con X = (M0 M1 ) (M1 M0 ). Entonces las componentes conexas de G son de alguno de los siguientes tipos: nodo aislado circuito simple con aristas alternadamente en M0 y M1 camino simple con aristas alternadamente en M0 y M1 . Teorema: M es un matching m aximo de G si y s olo si no existe un camino de aumento en G con respecto a M .
Teorema: Dado un grafo G sin nodos aislados, si M es un matching m aximo de G y Re un recubrimiento m nimo de los nodos de G , entonces |M | + |Re | = n.
Teorema: Dado un grafo G sin nodos aislados, si M es un matching m aximo de G y Re un recubrimiento m nimo de los nodos de G , entonces |M | + |Re | = n.
Teorema: Dado un grafo G , si I es un conjunto independiente m aximo de G y Rn un recubrimiento m nimo de las aristas de G , entonces |I | + |Rn | = n.