Está en la página 1de 7

Optimal distribution of habitational units in a

cooperative:
a mathematical application to optimize satisfaction

Martín Prino, Ezequiel Sánchez, Héctor Cancela


Facultad de Ingeniería
Universidad de la República
Montevideo, Uruguay
marpri3210@gmail.com, eze91@outlook.com, cancela@fing.edu.uy

Abstract—This work presents an application of las etapas: construidas, en obra y en formación, abarcando miles
mathematical programming methods and their implementation de familias. El último Censo Nacional de Cooperativas y
in free software tools to develop a support tool for the Sociedades de Fomento Rural, realizado entre 2008 y 2009, da
assignment of habitational units in a cooperative. In Uruguay cuenta de 611 cooperativas de vivienda activas en el país,
building and housing cooperatives have a history of developing abarcando más de 20000 socios [2], lo que corresponde
housing solutions, at lower prices and higher quality levels than aproximadamente a un 2% de todos los hogares del país. Entre
possible with traditional approaches. In these cooperatives, it sus objetivos, las federaciones buscan organizar la demanda
is usual that, once the houses are built, the assignment to habitacional, y generar soluciones que, a partir de la
participación activa de los cooperativistas, y eliminando la
members is done randomly (ie, holding a lottery). In this work
intermediación, logren la construcción de viviendas a costos
we develop a computational tool that can take into account the
accesibles y con alta calidad de ejecución. Asimismo, ambas
stated preferences of the cooperative members and generate entidades promueven junto con otras organizaciones la defensa
assignments that maximize their satisfaction, with results of y promoción del cooperativismo y sus valores en las más
much higher satisfaction levels than those achieved using the diversas áreas de actividad.
traditional lottery method.
Toda cooperativa de vivienda debe resolver diversos
Keywords—housing; user preferences; mathematical desafíos para la concreción de sus objetivos, desde su
programming; optimization; decision making support. conformación inicial, obtención de terreno, diseño del proyecto
habitacional, obtención de recursos, edificación, hasta la etapa
de convivencia, ya que son organizaciones que mantienen su
estructura y funcionamiento colectivo aún ya construidas y
I. INTRODUCCIÓN habitadas las viviendas. Un momento muy particular en la vida
Uruguay tiene una extensa experiencia en las soluciones de una cooperativa es la asignación de unidades habitacionales
cooperativas de vivienda [1]. Las primeras cooperativas de a los cooperativistas. En la realidad uruguaya, la práctica
vivienda en el país aparecen en 1966 a partir de tres experiencias habitual es que durante el proyecto se definen unas pocas
promovidas por el Centro Cooperativista Uruguayo (CCU), en categorías de viviendas requeridas (en cuanto a tamaño, número
localidades del interior del país. En 1968, el Parlamento de habitaciones, etc.), realizándose varias unidades de cada tipo,
uruguayo aprueba la Ley Nacional de Vivienda, que establece equivalentes en sus prestaciones, pero que pueden tener distintas
un marco jurídico para la promoción de programas de vivienda características en cuanto a su ubicación geográfica (frente o
social, institucionalizando el sistema cooperativo de vivienda, a fondo del terreno, accesos, altura en el caso de edificaciones de
través de dos modalidades de gestión (la ayuda mutua y el ahorro varios pisos, etc.). Una vez finalizada o muy próximo a
previo) y dos formas de tenencia (las cooperativas de usuarios y finalizarse la construcción de las mismas, es habitual efectuar un
las de propietarios). sorteo al azar dentro de cada categoría, para asignar las viviendas
a las familias, sin tener en cuenta las eventuales preferencias de
Actualmente coexisten dos grandes federaciones nacionales,
las mismas al respecto, lo que genera insatisfacciones y
la Federación de Cooperativas de Vivienda (FECOVI,
tensiones. Si bien los cooperativistas, luego del sorteo, pueden
http://www.fecovi.coop/), cuya actividad comprende
intercambiar unidades, no resulta sencillo encontrar cambios que
cooperativas orientadas al ahorro previo; y la Federación
mejoren la satisfacción de los involucrados, por lo que la
Uruguaya de Cooperativas de Vivienda por Ayuda Mutua
situación final deja que desear al respecto.
(FUCVAM, http://www.fucvam.org.uy/). Ambas federaciones
reúnen una cantidad muy importante de cooperativas en todas

978-1-5090-1633-4/16/$31.00 ©2016 IEEE


Este artículo reporta los resultados de un trabajo realizado conceptual, basado en teoría de juegos, de las propiedades de
por los estudiantes Ezequiel Sánchez y Martín Prino como parte estabilidad de una asignación arbitraria, y del funcionamiento de
de sus estudios de Ingeniería en Computación en la Facultad de mecanismos de mercado o de asignación secuencial para
Ingeniería, Universidad de la República, con la supervisión del encontrar asignaciones estables (es decir, aquellas en las que los
docente Héctor Cancela, motivado por la situación de la involucrados no pueden realizar intercambios entre sí y mejorar
cooperativa Virazón (integrante de FECOVI), y que busca dar su satisfacción). Ejemplos de estos trabajos son los artículos
una solución más efectiva para el problema de la distribución de [4,5,6,7,8]; en todos ellos, el criterio esencial es el de estabilidad
viviendas, basada en el uso de modelos de optimización. En la de las asignaciones, pero ninguno tiene en cuenta una
Sección II reportamos en detalle el problema, y antecedentes optimización a nivel global de la satisfacción. Hay otros
vinculados al mismo, y presentamos los modelos de trabajos, vinculados a la asignación de estudiantes a
optimización desarrollados para resolver el mismo. En la habitaciones en dormitorios estudiantiles, entre los cuales
Sección III presentamos la herramienta de software desarrollada, citamos [9] y [10]; estos trabajos, si bien incorporan la
que incluye estos modelos, y reportamos resultados de la satisfacción de los usuarios de una manera más directa, incluyen
aplicación de la misma en un caso de estudio generado en base una cantidad adicional de reglas y restricciones importante, lo
a datos reales de la mencionada cooperativa. Por último, en la que complejiza su resolución (inclusive en el segundo trabajo se
Sección IV presentamos las conclusiones y trabajo futuro. utiliza una metaheurística, dado que el modelo no es resoluble
de manera exacta en tiempos razonables). Finalmente, hay
II. DESCRIPCIÓN DEL PROBLEMA trabajos como [11] que se enfocan en la definición previa, pero
A. Elementos básicos y antecedentes a nivel sectorial (no de una cooperativa) de la tipología de
viviendas a construir, pero no son aplicables a un caso en el que
Tal como se comentó en la introducción, en la realidad las viviendas ya han sido definidas y construidas. Ninguno de
uruguaya durante la mayor parte del proceso constructivo en una los trabajos encontrados es aplicable entonces directamente al
cooperativa de viviendas, los cooperativistas desconocen cuál problema bajo estudio, que es una variante del problema de
será su vivienda al final. Pocos meses antes de la finalización de matching, ampliamente discutido en teoría de la computación
dicha etapa constructiva, tradicionalmente se resuelve la [12].
distribución por sorteo.
B. Modelado formal y propuestas de solución
Si denotamos por N el número total de viviendas (y de
socios cooperativistas), podemos representar por S el nivel de A partir de las características del problema, se entendió
satisfacción de un cooperativista al obtener una vivienda factible el formularlo como una variante de un problema de
tomando el valor N en el caso de serle asignada la vivienda de asignación lineal, representado utilizando programación lineal
su mayor preferencia, y el valor 1 en el caso de serle asignada a entera, para la que existen diversos algoritmos en la literatura y
la de su menor preferencia, recorriendo los valores intermedios herramientas tanto libres como comerciales que permiten su
(sin repetición) para las restantes. En el caso de un sorteo resolución numérica.
equiprobable de las viviendas el valor esperado de S con el Podemos representar los principales elementos de la situación
método del sorteo es N/2.
planteada como un grafo dirigido G= (C䴔V ; X ) , donde el
Como alternativa al método tradicional por sorteo es posible conjunto C representa a las familias y el conjunto V a las
construir un modelos de asignación o distribución de viviendas viviendas. El conjunto de nodos del grafo es la unión de los
a cooperativistas que, suponiendo conocidas las preferencias de conjuntos disjuntos C y V . Ambos conjuntos tienen la misma
cada persona o familia, optimice su satisfacción, basándose en cantidad de elementos, que denotaremos por N. Los valores
el hecho de que la escala de valores que aplican los interesados x ij son variables de decisión, que toman el valor 1 si la familia
al definir sus preferencias de vivienda varía, en muchos casos
significativamente, de persona a persona en un mismo complejo i tiene asignada la vivienda j y 0 en otro caso, para todo i en C,
habitacional. Dicho modelo de asignación mejorará la x
j en V y ij en X; un solución consiste en biyección entre
satisfacción de los cooperativistas, y buscará asignaciones
estables (en el sentido que no existirá ninguna combinación de familias y viviendas (por lo tanto, una asignación que para cada
usuarios que, cambiando las asignaciones entre sí, puedan familia determina una única vivienda y para cada vivienda, una
mejorar todos a la vez sus satisfacciones personales). única familia).
Asimismo se definen los valores de prioridad
p
ij , que
Como antecedentes nacionales, el Ing. Adrián Manera
desarrolló en 1983 un modelo de asignación por programación expresan la prioridad dada por la familia i a la vivienda j (donde
lineal para una cooperativa de vivienda, modelo que fue aplicado 1 es la máxima prioridad, y N es la mínima prioridad).
implementando el método simplex para su resolución [3]. Esta Una solución factible al problema de distribución de viviendas
solución fue aplicada en una única instancia, y lamentablemente
está dada por asignación de valores a las variables ij , que
x
no se han preservado ni los detalles del modelo, ni su
cumpla la propiedad que todas las familias tengan asignada una,
implementación computacional.
y solo una, vivienda; y a la vez que las viviendas tengan una, y
Una búsqueda bibliográfica ha resultado en varios trabajos solo una, familia asignada.
publicados a nivel internacional, pero que apuntan a un enfoque

978-1-5090-1633-4/16/$31.00 ©2016 IEEE


Dado que hay una gran cantidad de soluciones factibles, el x ij son el 1 (vivienda j asignada a la familia i) o 0 (vivienda j
desafío es definir aquellas que mejoran la satisfacción de los
no asignada a la familia i). Esta restricción es esencial para la
cooperativistas. Para esto, se consideraron dos planteos posibles;
formulación, y es la que hace que el problema se clasifique
en el primero, se buscó optimizar la satisfacción promedio de los
dentro de la familia de la Programación Lineal Entera.
interesados, y como objetivo subsidiario minimizar las
diferencias de satisfacción entre cooperativistas, representado a
través de la maximización de la satisfacción del cooperativista
menos satisfecho. En una segunda opción, se consideró como
objetivo principal el maximizar la “mínima satisfacción”
garantizada a todos los cooperativistas (es decir, buscar
maximizar la satisfacción mas baja), y como objetivo subsidiario
el maximizar la satisfacción promedio. A continuación se
presentan ambas formulaciones.
C. Modelo inicial
Como se reportó, el primer modelo formulado apunta a
maximizar la satisfacción promedio (lo que es equivalente a
optimizar la satisfacción global medida como la suma de
satisfacciones individuales). Dado que, alcanzado dicho
objetivo, pueden existir varias soluciones con igual valor de
satisfacción promedio, se aplica en una segunda etapa un
problema de optimización adicional, que busca, dentro de ese
conjunto de soluciones, encontrar aquellas que además reducen
las diferencias entre satisfacción de los cooperativistas. Si bien En la segunda etapa, conocido el valor óptimo S de las
este segundo objetivo podría plantearse como la minimización satisfacciones globales calculado en la primer etapa, se formula
de la varianza de la satisfacción, esto implicaría un modelo no el siguiente problema:
lineal, por lo que en su lugar se utiliza la maximización de la
satisfacción del cooperativista menos satisfecho.
En este caso, la función objetivo es optimizar la variable
La formulación matemática se realiza en dos etapas. La auxiliar z, que corresponde a la satisfacción del cooperativista
primer etapa tiene la formulación siguiente: “menos satisfecho”; expresado en términos de sus prioridades,
por lo que se busca que la satisfacción sea lo mayor posible (es
decir, que la prioridad de la vivienda asignada sea lo más cercana
a 1 posible). Las restricciones siguientes dan las características
de la solución. La primer restricción indica que la variable
auxiliar z será peor o igual que la satisfacción de cada uno de los
cooperativistas (lo que permite que la optimización mejore la
satisfacción del que se encuentre peor de todos). La segunda y
tercera restricciones ya fueron explicadas en el modelo anterior.
La cuarta restricción garantiza que la satisfacción alcanzada en
este nuevo modelo no sea peor que la satisfacción óptima
calculada en la etapa previa, esto garantiza que el buscar mejorar
La función objetivo, cuyo valor óptimo es denotado S, la equidad de la solución no empeore el valor promedio de
corresponde a la suma de las prioridades de las asignaciones satisfacción ya calculado. Finalmente se dan restricciones sobre
realizadas a cada cooperativista. Como la mayor prioridad es la el dominio de las variables, ya explicado en el caso de las
de menor valor (1), en la formulación se busca minimizar la x
variables ij , y que en el caso de la variable z corresponde al
suma (que corresponde a maximizar la satisfacción de los dominio de los números reales.
cooperativistas). La formulación corresponde a la satisfacción
global, acumulada, de todos los cooperativistas; dado que la En resumen, el primer modelo propuesto para generar una
statisfacción promedio es igual a este valor dividido la cantidad asignación fue:
de cooperativistas, N constante. La función objetivo está sujeta 1. Buscar la asignación que maximice la satisfacción global
al cumplimiento de tres restricciones, expresadas en las tres (equivalente también a maximizar la satisfacción promedio).
ecuaciones siguientes; la primera corresponde a exigir que las
soluciones consideradas cumplan la propiedad que todas las 2. Tomando como cota a alcanzar la satisfacción global
familias tengan asignada una, y solo una, vivienda. La segunda obtenida en la parte anterior, buscar una de las asignaciones en
ecuación corresponde a exigir que cada vivienda tenga una, y la que la peor asignación sea la mejor posible.
solo una, familia asignada. La tercer restricción indica que los
dos únicos valores permisibles para las variables de asignación

978-1-5090-1633-4/16/$31.00 ©2016 IEEE


D. Modelo alternativo Aquí el objetivo es optimizar la satisfacción global, sujeto a
En el desarrollo del proyecto y pruebas realizadas, surgió una que la satisfacción de cada uno de los cooperativistas no puede
discusión sobre el orden en el cual se debían priorizar los dos ser peor que la cota hallada en la etapa precedente (tercer
objetivos utilizados en el modelo recién descrito. Como restricción), además de las restricciones habituales ya
alternativa, se decidió explorar una reformulación del modelo comentadas.
en el cual la optimización se diera en las dos siguientes etapas: III. HERRAMIENTA DESARROLLADA Y RESULTADOS
1. Como primer paso se busca minimizar la insatisfacción de COMPUTACIONALES
cada uno de los cooperativistas, es decir, se busca una asignación
en la que el cooperativista menos satisfecho con la vivienda A. Herramienta desarrollada
asignada tenga el mayor nivel de satisfacción mayor posible. Un objetivo esencial del proyecto era plasmar los modelos
propuestos dentro de una aplicación informática, que permitiera
2. Tomando como cota superior el nivel de insatisfacción que que una cooperativa pudiera utilizar los mismos para resolver la
se obtiene de la solución dada por el modelo anterior, se busca distribución de viviendas.
la asignación que maximice la satisfacción global respetando esa
cota. Los requisitos fijados para la aplicación es que fuera fácil de
instalar y de usar, multiplataforma, accesible (que pueda ser
Podemos ver que de esta forma también se minimiza usado por otros interesados), confiable y robusta. Asimismo, se
indirectamente la insatisfacción (siendo todas las satisfacciones buscaba que fuera una herramienta de código abierto, cuya
mejores que la peor cota). Luego de esto simplemente se busca evolución pudiera quedar en manos de la comunidad interesada.
la mejor asignación que no empeore esa insatisfacción Para atacar todos estos requerimientos se tomaron las siguientes
encontrada con el primer modelo. decisiones:
En esta nueva formulación, la primer etapa corresponde al • Utilizar las herramientas más estándares posibles, que
programa de optimización siguiente: estén disponibles en varios sistemas operativos.
• Introducir la mínima cantidad de dependencias.
• Manejar el input y el output de datos a través de
archivos, sin contar con una interfaz gráfica más que a
través de la consola.
• Utilización de un repositorio central donde se pueda
descargar al programa y centralizar los esfuerzos de
colaboración.
Teniendo en cuenta estas pautas, la herramienta fue
construida utilizando Python https://www.python.org/ para
programar el ingreso de datos y construcción del modelo, y el
paquete GLPK (GNU Linear Programming Kit,
https://www.gnu.org/software/glpk/ ) para la resolución de los
problemas de programación lineal entera formulados.
En este caso la función objetivo en la primer etapa Originalmente se consideró utilizar pyGLPK para conectar
corresponde a buscar que la mayor insatisfacción sea lo menor ambas herramientas, pero finalmente se optó por no usarlo ya
posible; respetando las mismas restricciones ya vistas. que introducía una dependencia de librería extra al programa y
En la segunda etapa, se resuelve el siguiente problema, no permitía visualizar los resultados intermedios. Por lo tanto,
donde S es el valor calculado en la etapa anterior: se optó por organizar la comunicación entre los programas
realizados en Python y los modelos resueltos con GLPK a través
de archivos. Tal como se comenta en la sección III.C, GLPK
logró resolver de manera exacta las instancias de los problemas
estudiados en tiempos muy cortos, por lo que no fue necesario
recurrir a métodos heurísticos, que no pueden garantizar
soluciones óptimas, y sólo son interesantes para problemas que
por su tamaño y complejidad no puedan ser resueltos de manera
óptima por solvers exactos de programación matemática.
El tipo de programa que pareció más adecuado es uno que
corra en consola, lo más simple y claro posible, que reciba como
entrada un archivo .csv con las preferencias y devuelva un
archivo de texto con la asignación final de viviendas.

978-1-5090-1633-4/16/$31.00 ©2016 IEEE


La herramienta desarrollada está disponible en 55 901 3
https://github.com/eze91/MTAV bajo una licencia GNU de 63 1102 4
código abierto que permite a cualquiera utilizar el software, el 65 402 2
código o partes del mismo, y generar programas derivados sin 71 302 2
limitaciones. 81 301 1
83 902 3
B. Caso de estudio 86 701 2
Según lo transmitido por Sofía Bertullo y Patricia Lagos, 90 401 2
integrantes de la cooperativa que fueron el contacto con el 94 802 3
98 1002 4
equipo del proyecto, “Virazón es una cooperativa que nuclea a
99 602 2
50 familias, en departamentos de 2, 3 y 4 dormitorios. Su 101 702 1
fundación data de diciembre de 2007. En el año 2010 adquiere 104 1202 4
el terreno municipal ubicado en José María Roo y Zelmar 105 801 2
Michelini para la futura construcción. A partir de allí se 109 601 7
comienza a trabajar para finalizar el proyecto de construcción y 111 501 9
así poder presentarlo en el MVOTMA para su aprobación y 113 502 7
obtención del préstamo para la construcción. En el año 2013 se _____________________________________________________________________________

obtiene el préstamo y en Junio de 2014 se comienza con la Tabla 1 - Asiganación modelo inicial.
construcción de la cooperativa.
Esta obra tiene como particularidad que es un edificio de 13 La satisfacción global de esta solución (es decir, la suma
pisos, ya que mayoritariamente las construcciones son bloques de todas las preferencias) es 59, correspondiente a una
de no más de 4 pisos. Ya hace 2 años y medio que están en satisfacción promedio de 2,95. La satisfacción mínima (la del
proceso de Obra, y se espera poder finalizarla y hacer entrega de cooperativista con peor asignación) es 9, correspondiente al
los apartamentos en Agosto de este año (2016).” [11] Socio 111.
Se realizó a partir de estos resultados un análisis tanto de
Para probar los algoritmos y software desarrollado, se los datos de entrada, como de la solución obtenida. Lo primero
decidió construir un caso de estudio. En una reunión con las que corresponde señalar a partir de la Tabla 1 es que existe una
cooperativistas se definió un conjunto representativo de veinte polarización bastante alta en algunos grupos de viviendas, con
viviendas, acordándose que se relevarían las preferencias de la 301 siendo la preferida con 9 de los 20 cooperativistas
igual cantidad de cooperativistas. Para esto se les enviaron eligiéndola en primer lugar. En el caso opuesto está la 402 con
instrucciones sobre cómo proveer de los datos para esta prueba, 8 familias que la eligen como última opción y 7 como penúltima
a través de una planilla con las preferencias (haciendo el opción. Esta polarización claramente tiene impacto sobre el
relevamiento a las familias). La planilla con las las preferencias nivel de satisfacción que puede obtenerse. Como se señala más
de estas 20 familias se presenta en la tabla 1, incluida al final del adelante, no es posible lograr una asignación en la cual los
trabajo. cooperativistas tengan asignada una de sus 3 primeras
C. Pruebas realizadas y resultados obtenidos preferencias.
Pese a lo anterior los resultados que se obtienen son muy
Para verificar el correcto funcionamiento de los modelos, se buenos, obteniéndose un promedio ligeramente menor a 3.
desarrolló un primer conjunto de pruebas de validación, Observamos que hay sólo 2 familias con una asignación con
consistentes en cuatro casos diferentes, todos con cinco preferencia 7 y una con 9, preferencias que podrían catalogarse
viviendas y cinco familias (cuya solución óptima era verificable como 'no tan buenas'. Las restantes familias obtienen una
de manera manual, dado el tamaño de las instancias). En los vivienda con satisfacción 4 o menos. Un análisis adicional
cuatro casos se verificó que las dos versiones de modelos de los datos de preferencias permite observar que el valor
desarrolladas daban las soluciones esperadas, respetando las mínimo posible en cualquier asignación es 8. En efecto, en las
restricciones de los problemas y optimizando las preferencias. viviendas 401 y 501 solo hay 2 preferencias menores a 8, que
Tras estas pruebas iniciales, se trabajó directamente con corresponden a la misma familia (Socio 90). Estas dos
los datos relevados por la cooperativa. En primera instancia se viviendas hay que asignarlas a alguna familia, así que, luego de
aplicó el modelo inicial, obteniéndose la asignación que se asignar una a esta familia, la otra vivienda necesariamente
presenta a continuación (incluyendo la familia involucrada, la deberá ser asignada a otra familia (que como vimos tienen todas
vivienda asignada, y el orden de preferencia que se había preferencias mayor o igual que 8). Si bien el mejor valor posible
declarado para esa vivienda): para alguna de esas dos viviendas es el 8, al tener como primer
objetivo el llegar al mejor valor global (o promedio), y recién
Familia N.º Vivienda Preferencia como segundo objetivo el minimizar la máxima insatisfacción
_____________________________________________________________________________

09 1101 1
la asignación realizada sólo consigue asignar esta unidad con
36 1201 1
valor de 9.
54 1001 1

978-1-5090-1633-4/16/$31.00 ©2016 IEEE


El haber detectado que en esta solución aparece un Se observa que la asignación con cualquiera de las dos
cooperativista con una insatisfacción relativamente alta motivó opciones del programa de optimización es casi 5 veces mejor
el desarrollo del modelo alternativo, presentado en la Sección que la aleatoria, habiendo una sola familia que tiene mejor
II-D. Como se señaló en esa sección el modelo alternativo asignación en la asignación que la anterior (Socio 94, que antes
prioriza lograr que la asignación sea más equitativa (busca la obtenía la 3ª y ahora la 2ª preferencia). Del análisis de los datos
asignación donde haya la menor diferencia entre las de preferencias se observó que en una asignación aleatoria, la
preferencias más altas y más bajas que poseen las familias), y probabilidad de que la satisfacción mínima sea 20 o 19 (es decir,
en segunda instancia busca maximizar la satisfacción global que a una familia le toque una de sus peores preferencias) es
pero respetando ese tope en las preferencias. mayor al 80% (por cómo se dispusieron las preferencias para el
apartamento 402).
Familia N.º Vivienda Preferencia
_____________________________________________________________________________ IV. CONCLUSIONES Y TRABAJO FUTURO
09 501 8 Como resultado del proyecto, se logró un producto que si
09 501 8 bien al momento de escribir este trabajo no se ha utilizado de
36 1201 1 manera definitiva, se ha probado con datos reales y validado con
54 1001 1 los cooperativistas. La cooperativa con la que se ha trabajado
55 1101 1 aún no ha realizado la asignación pero ha manifestado su
63 1102 2 intención de utilizar nuestra aplicación en el momento de
65 402 2
hacerlo (programado para la segunda mitad de este año, 2016).
71 702 3
81 1202 4 La aplicación desarrollada se encuentra disponible en github
83 802 2 en la dirección www.github.com/eze91/MTAV tanto para que
86 701 2 sea utilizada por los cooperativistas como para que quien desee
90 401 2 continuar con el desarrollo o utilizar parte del mismo dentro de
94 302 1 otro sistema o aplicación. Además en el repositorio se encuentra
98 1002 4 un conjunto de documentos acerca de la instalación,
99 602 2 instrucciones de uso, metodología utilizada, licencia y cómo
101 902 3 colaborar con el desarrollo.
104 301 1
105 801 2 Como conclusión general, creemos que se cumplió con los
109 901 4 objetivos planteados. No solamente se desarrolló un modelo
111 601 8 para el problema planteado, sino que se construyó y validó, en
113 502 7 diálogo con los cooperativistas, una aplicación que contempla
_____________________________________________________________________________ desde el ingreso de datos hasta la presentación de resultados,
Tabla 2 - Asiganación modelo aleternativo junto a documentación auxiliar de ayuda. Como ya se ha
señalado se utilizaron herramientas libres, como requerido. Los
Aplicando este nuevo enfoque, se consiguió una solución resultados obtenidos fueron muy superiores a los esperables a
con satisfacción global 60 y satisfacción promedio 3.0, apenas través del sorteo, lo que resultará en un claro beneficio para las
por debajo de la anterior; pero que en cambio mejora la cooperativas que utilicen la herramienta para asignar las
satisfacción mínima, que llega a 8 (que es el mejor valor que se viviendas. Si bien durante este proyecto se generó una guía de
puede obtener, como comentamos antes, dada la estructura de usuario para la instalación, una mejora pendiente es simplificar
las preferencias de los cooperativistas). el proceso de instalación y generar una interfaz de usuario más
Los resultados de ambas versiones se trasladaron a los amigable.
cooperativistas a los efectos de conocer su opinión acerca de Como trabajo futuro, se podría estudiar variantes del modelo
cuál era la mejor solución. Con estos elementos optamos por que permitan generar no una, sino todas las soluciones que son
mantener esta nueva versión ya que entendemos que se ajusta equivalentes en las funciones objetivo y restricciones
mejor a los principios del cooperativismo. Si bien en este caso planteadas. Sería posible obtener la lista completa de estas
optar por el modelo alternativo no resulta en una disminución soluciones (si bien su número puede ser grande), y utilizarlas
importante de la satisfacción total, no es posible generalizar esta para refinar la asignación, por ejemplo buscando las que
situación; podría ocurrir que buscar una asignación más cumplan algún criterio adicional. También sería posible estudiar
equitativa tenga un mayor impacto en la satisfacción global, variantes en que las preferencias sean establecidas permitiendo
dependerá en gran medida de las preferencias expresadas. “empates”, es decir grupos de viviendas con equivalente
Para completar el análisis, se realizó una asignación preferencia, lo que puede ser apropiado para cooperativas con
aleatoria (simulando el sorteo, método tradicional) de las muchos socios y viviendas, en donde el ingreso de un orden total
viviendas a las familias; en ese caso, se obtuvo una solución con entre cada par de viviendas puede ser demasiado exigente.
satisfacción global 250 (promedio 12,5), y satisfacción mínima AGRADECIMIENTOS
20.

978-1-5090-1633-4/16/$31.00 ©2016 IEEE


Agradecemos al Ing. Adrián Manera por haber planteado la [5] S. Bade, Serial dictatorship: The unique optimal allocation
problemática de este proyecto y realizado el contacto con la rule when information is endogenous. Theoretical
Economics, vol. 10, pp. 385–410, 2015.
cooperativa Virazón, además de haber compartido su
experiencia personal sobre la factibilidad del uso de técnicas de [6] I. Ekeland, A. Galichon, The housing problem and revealed
preference theory: duality and an application. Economic
optimización para resolver esta problemática. Agradecemos Theory, vol. 54(3), pp. 425-441, November 2013.
asimismo a los integrantes de la cooperativa Virazón por la [7] H. ø. Ergin, Consistency in house allocation problems,
colaboración para llevar adelante el proyecto, y en particular por Journal of Mathematical Economics, vol. 34(1), pp. 77-97,
haber aportado datos de sus preferencias para la realización del August 2000.
caso de estudio; y muy particularmente a Sofía Bertullo y [8] P. Krysta, D. Manlove, B. Rastegari, and J. Zhang, Size
Patricia Lagos, que junto con Adrián Manera participaron en versus truthfulness in the house allocation problem. In
varias reuniones de discusión del proyecto y cuyo apoyo y Proceedings of the fifteenth ACM conference on
Economics and computation (EC '14). ACM, New York,
compromiso fue esencial para la realización del mismo. NY, USA, 453-470, 2014.
[9] N. Perach, J. Polak, U. G. Rothblum. A stable matching
model with an entrance criterion applied to the assignment
REFERENCIAS of students to dormitories at the Technion. International
Journal of Game Theory, vol. 36(3), pp. 519-535, March
[1] B. Nahoum, Cuatro décadas de cooperativas de vivienda en 2008.
Uruguay: Cambios y permanencias, Revista OSERA, nro. [10] N. T. Trung, T. N. Tuan and D. T. Anh, Informed
3, 11 páginas., 2010. Accesible en Simulated Annealing for Optimizing Dorm Room
http://www.empresasrecuperadas.org/revista.php. Fecha Assignments, in First Asian Conference on Intelligent
de acceso: 28/5/2016. Information and Database Systems, ACIIDS 2009, Dong
[2] Censo Nacional de Cooperativas y Sociedades de Fomento Hoi, 2009, pp. 265-270.
Rural 2008-2009, Instituto Nacional de Estadística, 2009. [11] J. Vallejos Arcos, Patrones de composición familiar y
Disponible en superficie construida para optimizar la asignación de
http://www.ine.gub.uy/documents/10181/326048/Censo+ viviendas sociales, Revista INVI, vol. 15(40) pp. 59-66,
Nacional+de+Cooperativas+y+Sociedades+de+Fomento+ September 2009. Accesible en
Rural+2008+-+2009/9c5138e8-e330-4363-a455- http://www.revistainvi.uchile.cl/index.php/INVI/article/vi
4d9ad936fd86 Fecha de acceso: 28/5/2016. ew/262. Fecha de acceso: 28/5/2016.
[3] A. Manera, Comunicación personal. Noviembre 2015. [12] M.D. Plummer L. Lovász (eds). Matching Theory.
[4] D. J. Abraham, K. Cechlárová, D. F. Manlove, K. Elsevier, 1986.
Mehlhorn, Pareto Optimality in House Allocation [13] S. Bertullo y P. Lagos. Comunicación personal. Diciembre
Problems. Included in Algorithms and Computation, R. 2015.
Fleischer, G. Trippen(eds), Volume 3341 of Lecture Notes
in Computer Science, pp 3-15, 2004.

Anexo A – material adicional


Tabla 1 – Preferencias de los cooperativistas

978-1-5090-1633-4/16/$31.00 ©2016 IEEE

También podría gustarte