Yo diría que esto es bastante cierto. Desde un punto de vista matemático, supongamos que los emparejamientos matrimoniales se basan en el algoritmo de Matrimonio Estable. En el algoritmo de Matrimonio Estable, cualquier emparejamiento masculino-óptimo también debe ser femenino-pessimal, y viceversa (para el lema de mejora convencional). Por lo tanto, en general, alguien debe levantarse para que los emparejamientos sean estables y alguien debe estirarse. Por supuesto, hay ciertos emparejamientos cuando todos tienen sus primeras elecciones, pero esto es muy poco probable.
La única forma en que la teoría del alcalde-colono podría ser falsa es si: ambas personas alcanzan, ambas bajan, o están en el mismo nivel. No hay una manera exacta de determinar todos los criterios para elegir a un compañero, ya que el amor es una cosa complicada, pero en general tendrías parejas deshonestas (ambas quieren dejar la relación en favor de otra persona) si ambas se acercan y todos tendrían expectativas muy bajas si lo alcanzaran. Por lo tanto, se reduce al mismo nivel o niveles diferentes. El hecho es que ambos son ciertos, pero el colono-receptor es más común porque las expectativas de cada persona son únicas.
A pesar de que HIMYM es una comedia, hay algunas lecciones importantes de la vida que se pueden aprender en el programa.