Los puntos fijos y los mandatos de huelga: cuando la intuición nos lleva al resultado equivocado
Fixed Points and Strike Mandates
En computación, a menudo buscamos puntos fijos de funciones monótonas sin preguntarnos cuál de ellos queremos. En la eliminación de valores muertos, partir de todos los valores vivos converge al mayor punto fijo, pero buscamos el menor. Un patrón similar aparece en los mandatos de huelga estudiantil en Quebec: si se parte de las uniones ya en huelga, se converge al menor punto fijo y puede haber bloqueos; en cambio, si se asume que todas las uniones con mandato están en huelga y se eliminan las que no cumplen, se alcanza el mayor punto fijo, que es el deseado.
Este patrón de converger intuitivamente hacia una solución subóptima parece surgir a menudo al calcular puntos fijos. No es necesariamente una mala elección: los valores iniciales conservadores tienden a llevar a una convergencia más rápida, y a menudo tienen la propiedad de que las soluciones intermedias son siempre correctas (factibles). Cuando necesitamos resultados rápidos, puede tener sentido conformarse con soluciones subóptimas. Sin embargo, debería ser una elección deliberada, en lugar de una consecuencia de no considerar otras posibilidades.