birdwatcher: (Dore: Ogre)
[personal profile] birdwatcher
Obviously, not every man can marry his first-choice woman, and not every woman can marry her first-choice man. Life sucks that way. So, let's try for something weaker. Given a way of pairing off the men and women, say that it's stable if no man and woman who aren't married to each other both prefer each other to their spouses. In other words, you might despise your husband, but no man who you like better than him likes you better than his wife, so you have no incentive to leave. This is the, um, desirable property that we call "stability".
-- Scott Aaronson "Quantum Computing Since Democritus"

Date: 2017-09-05 12:09 am (UTC)
From: [identity profile] sergey-ver.livejournal.com
Вроде нет. Если A уходит от B к C, то B может стать более несчастен, то есть такой переход по Парето запрешён, а вот в соответствии с этим определением вполне может быть возможен, если A и C предпочитают быть друг с другом, а не со своими текущими партнёрами - даже если их текущие партнёры при этом станут намного несчастнее.

То есть любое "стабильное" состояние является парето-оптимальным, но обратное, вообще говоря, не верно