Subadditive Set Function

In mathematics, a subadditive set function is a set function whose value, informally, has the property that the value of function on the union of two sets is at most the sum of values of the function on each of the sets. This is thematically related to the subadditivity property of real-valued functions.

Definition

Let $\Omega$ be a set and $f \colon 2^ \rightarrow \mathbb$ be a set function, where $2^\Omega$ denotes the power set of $\Omega$. The function ''f'' is ''subadditive'' if for each subset $S$ and $T$ of $\Omega$, we have $f(S) + f(T) \geq f(S \cup T)$. Note that by substitution of $T=S$ into the defining equation, it follows that $f(S) \ge 0$ for all .

Examples of subadditive functions

Every non-negative submodular set function is subadditive (the family of non-negative submodular functions is strictly contained in the family of subadditive functions).

The function that counts the number of sets required to cover a given set is subadditive. Let $T_1, \dotsc, T_m \subseteq \Omega$ such that $\cup_^m T_i=\Omega$. Define $f$ as the minimum number of subsets required to cover a given set. Formally, $f(S)$ is the minimum number $t$ such that there are sets $T_, \dotsc, T_$ satisfying $S\subseteq \cup_^t T_$. Then $f$ is subadditive.

The maximum of additive set functions is subadditive (dually, the minimum of additive functions is superadditive). Formally, for each $i \in \$, let $a_i \colon \Omega \to \mathbb$ be additive set functions. Then $f(S)=\max_ a_i(S)$ is a subadditive set function.

Fractionally subadditive set functions are a generalization of submodular functions and a special case of subadditive functions. A subadditive function $f$ is furthermore fractionally subadditive if it satisfies the following definition. For every $S \subseteq \Omega$, every $X_1, \dotsc, X_n \subseteq \Omega$, and every $\alpha_1, \dotsc, \alpha_n \in$, 1/math>, if $1_S \leq \sum_^n \alpha_i 1_$, then $f(S) \leq \sum_^n \alpha_i f(X_i)$. The set of fractionally subadditive functions equals the set of functions that can be expressed as the maximum of additive functions, as in the example in the previous paragraph.

See also

* Submodular set function
* Utility functions on indivisible goods

Citations

{{reflist,
refs=
{{cite journal , first=Uriel , last=Feige , authorlink=Uriel Feige , title=On Maximizing Welfare when Utility Functions are Subadditive , journal=SIAM Journal on Computing , volume=39 , issue=1 , year=2009 , pages=122–142 , doi=10.1137/070680977
{{cite journal , first1=Shahar , last1=Dobzinski , first2=Noam , last2=Nisan , first3=Michael , last3=Schapira , authorlink2=Noam Nisan , title=Approximation Algorithms for Combinatorial Auctions with Complement-Free Bidders , journal=Mathematics of Operations Research , volume=35 , issue=1 , year=2010 , pages=1–13 , doi=10.1145/1060590.1060681, s2cid=2685385 , citeseerx=10.1.1.79.6803

Combinatorial optimization
Approximation algorithms