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

edit

Let   be a set and   be a set function, where   denotes the power set of  . The function f is subadditive if for each subset   and   of  , we have  .[1][2]

Examples of subadditive functions

edit
 
Everyday example of sigma sub-additivity: when sand is mixed with water, the bulk volume of the mixture is smaller than the sum of the individual volumes, as the water can lodge in the spaces between the sand grains. A similar situation with a different mechanism occurs when ethanol is mixed with water, see apparent molar property.


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   such that  . Define   as the minimum number of subsets required to cover a given set. Formally,   is the minimum number   such that there are sets   satisfying  . Then   is subadditive.

The maximum of additive set functions is subadditive (dually, the minimum of additive functions is superadditive). Formally, for each  , let   be additive set functions. Then   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   is furthermore fractionally subadditive if it satisfies the following definition.[1] For every  , every  , and every  , if  , then  . 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.[1]

See also

edit

Citations

edit
  1. ^ a b c Feige, Uriel (2009). "On Maximizing Welfare when Utility Functions are Subadditive". SIAM Journal on Computing. 39 (1): 122–142. doi:10.1137/070680977.
  2. ^ Dobzinski, Shahar; Nisan, Noam; Schapira, Michael (2010). "Approximation Algorithms for Combinatorial Auctions with Complement-Free Bidders". Mathematics of Operations Research. 35 (1): 1–13. CiteSeerX 10.1.1.79.6803. doi:10.1145/1060590.1060681. S2CID 2685385.