Функция множества называется дробно-субаддитивной , или XOS (не путать с OXS ), если она является максимумом нескольких неотрицательных аддитивных функций множества . Этот класс оценки был определен и назван XOS Ноамом Нисаном в контексте комбинаторных аукционов . [1] Термин дробно-субаддитивный был предложен Уриэлем Фейге. [2]
Определение
Существует конечный базовый набор элементов .
Существует функция , которая присваивает номер каждому подмножеству .
Функция называется дробно-субаддитивной (или XOS), если существует набор функций множеств, такой, что: [3]
- Каждый из них является аддитивным, т.е. он присваивает каждому подмножеству сумму значений элементов в .
- Функция является точечным максимумом функций . То есть, для каждого подмножества :
Эквивалентное определение
Название дробно-субаддитивный происходит от следующего эквивалентного определения, ограниченного неотрицательными аддитивными функциями: функция множества является дробно-субаддитивной, если для любого и любого набора с и таким, что для всех , имеем .
Связь с другими функциями полезности
Каждая субмодулярная функция множества является XOS, а каждая функция XOS является субаддитивной функцией множества . [1]
См. также: Функции полезности неделимых товаров .
Ссылки
- ^ ab Nisan, Noam (2000). "Торги и распределение на комбинаторных аукционах". Труды 2-й конференции ACM по электронной коммерции - EC '00 . стр. 1. doi :10.1145/352871.352872. ISBN 1581132727.
- ^ Фейге, Уриэль (2009). «О максимизации благосостояния, когда функции полезности являются субаддитивными». Журнал SIAM по вычислениям . 39 : 122–142. CiteSeerX 10.1.1.86.9904 . doi :10.1137/070680977.
- ^ Христодулу, Джордж; Ковач, Аннамария; Шапира, Майкл (2016). «Байесовские комбинаторные аукционы». Журнал ACM . 63 (2): 1. CiteSeerX 10.1.1.721.5346 . doi :10.1145/2835172.