A set function is called fractionally subadditive, or XOS (not to be confused with OXS), if it is the maximum of several additive set functions.This valuation class was defined, and termed XOS, by Noam Nisan, in the context of combinatorial auctions.[1] The term fractionally subadditive was given by Uriel Feige.[2]
There is a finite base set of items,
M:=\{1,\ldots,m\}
There is a function
v
M
The function
v
\{a1,\ldots,al\}
aj
X\subseteqM
X
v
aj
X\subseteqM
v(X)=
l | |
max | |
j=1 |
aj(X)
The name fractionally subadditive comes from the following equivalent definition: a set function
v
S\subseteqM
\{\alphai,Ti\}
k | |
i=1 |
\alphai>0
Ti\subseteqM
\sum | |
Ti\nij |
\alphai\ge1
j\inS
v(S)\le
k | |
\sum | |
i=1 |
\alphaiv(Ti)
Every submodular set function is XOS, and every XOS function is a subadditive set function.[1]
See also: Utility functions on indivisible goods.