Un Estudio de Las Soluciones Estables En El Modelo de Planificacion : Generalización del modelo de asignación empresas-trabajadores, donde se asignan además horas de trabajo

Baou y Balinski (2002) generalizaron el modelo de asignacin empresas-trabajadores a uno donde se planifica la asignacin determinando, adems de la asignacin de los trabajadores a las empresas, cuanto tiempo los trabajadores le dedicaran a la empresa. Una planificacin es estable si ningn par empresa-trabajador puede incrementar sus horas de trabajo juntos, perjudicando a algn agente menos deseable. En la primera parte de este trabajo, se estudia la relacin que existe entre este problema y un problema de matching y se muestra que cada planificacin estable es equivalente a cierto matching estable. En la segunda parte, usando el Teorema de Punto Fijo de Tarski (1955), se demuestra que el conjunto de planificaciones estables es un Reticulado (lattice) completo.