Математик предупреждает: забастовочные мандаты могут привести к тупику из-за ошибки в алгоритме
Fixed Points and Strike Mandates
В статье 2012 года математик показывает, как теория неподвижных точек помогает избежать тупика при забастовках. Интуитивные алгоритмы сходятся к наименьшей неподвижной точке, что может оставить студентов ждать друг друга. Правильный подход — искать наибольшую неподвижную точку, начиная со всех забастовок и удаляя неподходящие союзы.
Вместо этого мы должны начать с предположения, что все союзы (с забастовочным мандатом) бастуют, и итеративно удалять союзы, чьи условия не все выполнены, пока не достигнем наибольшей неподвижной точки.