PAREOS O PAREJAMIENTOS red: Este es un problema puede reducirse a encontrar el flujo maximal en una A J1

J2 B J3 C J4 D J5 A J2 ! J5 B J2 ! J5 C J1" J3" J4 ! J5 D J2 ! J5 #up$n%ase &ue 4 personas A" B" C" ' D llenan solicitudes para cinco trabajadores j1"j2" j3" j4 ' j5( Consid)rese &ue el solicitante est* calificado para A j2 ' j5" el B esta calificado B j2 ' j5" el C j1" j3" j4 " j5 ' el D j2 ' j5 +a situaci$n puede ser modelada por el %rafo de la fi%ura anterior donde los ,)rtices representan a los solicitantes ' a los trabajos( -n lado une a un solicitante con el trabajo para el cual esta calificado( Es posible demostrar &ue no se puede parear un trabajo con cada solicitante. basta considerar &ue A" B ' D est*n calificados solo para los trabajo J2 ' J5( #i A ' B se les asi%na un trabajo" no &ueda trabajo al%uno para D( /or lo tanto no existe asi%naci$n de trabajo para A" B" C ' D( En el ejemplo anterior consiste en 0allar trabajos para las personas calificadas( -n pareo maximal determina trabajos para el m*ximo numero de personas ' se indican con l1neas %ruesas( -n pareo completo 0alla trabajo para todos los solicitantes( #e prueba &ue el %rafo anterior no es un pareo completo( +a definici$n formal es: sea G un grafo dirigido bipartido con conjuntos disjuntos de vrtices ! "# en e$ cua$ $os $ados est%n dirigidos desde $os

vrtices de v a " &cua$'uier vrtice de G esta en vrtices co(unes( -n pareo

o en "# pero no en

a(bos) un pareo para G es un conjunto de $ados E $os cua$es no tienen maximal para 2 es un pareo E &ue contiene el m*ximo numero de lados completos( -n pareo completo para 2 es un pareo o parejamiento E &ue tiene la si%uiente propiedad: #i , 3" entonces 4,"56 E" para al%7n 58( Ejemplo: En la si%uiente fi%ura el pareo con l1neas %ruesas &ue aparece en maximal ' completo( Este ejemplo tambi)n puede modelarse como un problema de redes(

A B C

5 x '

:odele el problema de esta fi%ura como un problema de redes: A J1

J2 B J3 C J4 D J5 En primer lu%ar se asi%na la capacidad 1 a cada lado del %rafo( A continuaci$n se a%re%a una superfuente a ' lados con capacidad 1 &ue ,an desde a a cada lado uno de A"B"C ' D( finalmente" se introduce un superdeposito 9 ' lados de capacidad 1 en cada lado &ue ,an de J1"J2" J3" J4 ! J5 a 9 (

El teorema si%uiente relaciona las redes pareadoras o de pareo" ' los flujos( #ea 2 un %rafo un %rafo diri%ido bipartido con conjuntos disjuntos de ,)rtices 3 ' 8" en el cual los lados est*n diri%idos de los ,)rtices de 3 a los ,)rtices de 8 4cual&uier ,)rtice de 2 est* en 3 o en 8" pero no en ambos6( (a) -n flujo en la red de parejamiento proporciona un pareo en 2( El ,)rtice , 3 es pareado con el ,)rtice 5 8 si ' solo si el flujo en el lado 4," 56 es 1( 4b6 -n flujo maximal corresponde a un pareo maximal( 4c6 -n flujo de ,alor 3 corresponde a un pareo completo( Demostraci$n sea a 496 la fuente 4o el deposito6 en la red de parejamiento ' sup$n%ase &ue se tiene un flujo dado( #up$n%ase adem*s" &ue el lado 4,"56" , 3" 5 8" tiene flujo 1( El 7nico lado &ue lle%a al ,)rtice , es 4a" ,6( Este lado debe tener flujo i%ual a 1. as1 &ue el flujo en el ,)rtice , es i%ual a 1( Debido a &ue el flujo &ue sale de , es tambi)n el 7nico lado de la forma 4," x6 &ue tiene flujo 1 es 4," 56( #imilarmente el 7nico lado de la forma 4x" 56 &ue tiene flujo 1 es 4," 56( +ue%o su E es el conjunto de los lados de forma 4,"56&ue tiene flujo 1" entonces los elementos de E no tienen ,)rtices comunes por lo tanto" E es pareo para 2( +as partes 4b6 ' 4c6 se deducen el 0ec0o de &ue l n7mero de ,)rtices en , pareados es i%ual al ,alor del flujo correspondiente( Debido a &ue un flujo maximal proporciona un parejamiento maximal en el al%oritmo" aplicado a una red de pareo" produce un parejamiento maximal( A continuaci$n se estudiara la existencia de un parejamiento completo a un %rafo diri%ido ' bipartido 2 &ue tiene conjuntos de ,)rtices 3 ' 8( si # 3" se define: ;4#6 <58l,# ' 4,"56 es un lado en 2=(

#up$n%ase &ue 2 tiene un pareo completo si #3" debe tenerse: l#l>l;4#6l( #i sucede &ue l#l>l;4#6l para todos los subconjuntos de # de 3" entonces 2 tiene un pareo completo( Ese resultado fue obtenido por primera ,e9 por el matem*tico in%l)s /0ilip ?all ' es conocido como el teore(a de casa(iento de *a$$" 'a &ue si , es un conjunto de 0ombres ' 8 uno de mujeres ' existen lados desde ,3 a 58" , ' 5 son compatibles" entonces el teorema da una condici$n en el cual cada 0ombre puede casarse con una mujer compatible con el(

REFERENCIAS ELECTRNICAS www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r77020.DOC

REFERENCIAS BIBLIOGRAFICAS JOHNSONBAUGH RICHARD MATEMATICAS DISCRETAS 4a EDICION, 1999, PRENTICE HALL, MEXICO, PAGS, 720