Dies mag eher nach einer sozialwissenschaftlichen Frage als nach einer TCS-Frage klingen, ist es aber nicht. Wenn man " Randomisierte Algorithmen " liest, die das Problem der stabilen Ehe beschreiben, kann man Folgendes lesen (S. 54)
"Es kann gezeigt werden, dass es für jede Auswahl von Präferenzlisten mindestens eine stabile Ehe gibt. (Seltsamerweise ist dies in einer homosexuellen monogamen Gesellschaft mit gerader Einwohnerzahl nicht der Fall) ...."
Gibt es sehr einfache Erweiterungen des Problems der stabilen Ehe, die eine Art stabilen Zustand ermöglichen, der eine homosexuelle monogame Gesellschaft umfasst, oder eine Gesellschaft, in der eine bestimmte Untergruppe der Bevölkerung anderen Regeln folgt als die größere Gruppe?
Gibt es bejahende Algorithmen, die einen solchen Abgleich durchführen?