Пустой список - это крайний случай неполного списка: человек указал, что нет совпадений для него приемлемы, поэтому гарантировано , что (а) он в конечном итоге не имеет себе равных.
Кстати, небольшая терминологическая заметка: термин «стабильный брак [проблема]», когда он не изменен, обычно обозначает исходную версию проблемы, где есть равное количество мужчин и женщины и каждый человек предоставляет полный упорядоченный список всех представителей противоположного пола. Таким образом, нет «неполных списков и связей и т. Д. c.» И, следовательно, нет пустых списков. Расширение проблемы стабильного брака может вводить поддержку неполных списков и / или связей и / или разного количества мужчин и женщин, и в этом случае они получают имена, такие как "стабильный брак [проблема] с неполными списками" и скоро. Мы могли бы даже представить себе разные расширения, у которых у всех есть «неполные списки», но им присвоены разные значения, хотя на практике я думаю, что все расширения с «неполными списками» присваивают им одинаковое значение.