Budget Feasible Mechanism Design: From PriorFree to Bayesian
Abstract
Budget feasible mechanism design studies procurement combinatorial auctions in which the sellers have private costs to produce items, and the buyer (auctioneer) aims to maximize a social valuation function on subsets of items, under the budget constraint on the total payment. One of the most important questions in the field is “which valuation domains admit truthful budget feasible mechanisms with ‘small’ approximations (compared to the social optimum)?” Singer [35] showed that additive and submodular functions have a constant approximation mechanism. Recently, Dobzinski, Papadimitriou, and Singer [20] gave an approximation mechanism for subadditive functions; further, they remarked that: “A fundamental question is whether, regardless of computational constraints, a constantfactor budget feasible mechanism exists for subadditive functions.”
In this paper, we address this question from two viewpoints: priorfree worst case analysis and Bayesian analysis, which are two standard approaches from computer science and economics, respectively.

For the priorfree framework, we use a linear program (LP) that describes the fractional cover of the valuation function; the LP is also connected to the concept of approximate core in cooperative game theory. We provide a mechanism for subadditive functions whose approximation is , via the worst case integrality gap of this LP. This implies an approximation for subadditive valuations, approximation for XOS valuations, as well as for valuations having a constant integrality gap. XOS valuations are an important class of functions and lie between the submodular and the subadditive classes of valuations. We further give another polynomial time sublogarithmic approximation mechanism for subadditive functions.
Both of our mechanisms improve the best known approximation ratio . 
For the Bayesian framework, we provide a constant approximation mechanism for all subadditive functions, using the above priorfree mechanism for XOS valuations as a subroutine. Our mechanism allows correlations in the distribution of private information and is universally truthful.
1 Introduction
Consider a procurement combinatorial auction problem where there is a buyer who wants to purchase resources from a set of agents . Each is able to supply a resource at an incurred cost . The buyer has a sharp budget that gives an upper bound on the compensation that is distributed among agents, and a function describing the valuation that the buyer obtains for each subset of . This defines a natural optimization problem: find a subset that maximizes subject to . The budgeted optimization problem has been considered in a variety of domains with respect to different valuation functions, e.g., additive (a.k.a. knapsack), and submodular [37].
Agents, as selfinterested entities, may want to get as many subsidies as possible. In particular, an agent can hide his true incurred cost (which is known only to himself) and claim ‘any’ amount instead. We adopt the approach of mechanism design to manage selfinterested, but strategic, behaviors of the agents: Given submitted bids from all agents, a mechanism decides a winning set and a payment to each winner . A mechanism is called truthful (a.k.a. incentive compatible) if for every agent it is a dominant strategy to bid his true cost^{1}^{1}1The focus of our work is to consider strategic behaviors of the agents rather than the buyer. We thus assume that the information related to the buyer, i.e., budget and valuation function , is public knowledge., i.e., . Truthfulness is one of the central solution concepts in mechanism design. It ensures that every participant will behave truthfully to his best interest.
Our mechanism design problem has an important and practical ingredient: the budget, i.e., the total payment of a mechanism should be upper bounded by . The budget constraint introduces a new dimension to mechanism design and restricts the space of truthful mechanisms. For example, in singleparameter domains where the private information of every individual is a single value (which is the case in our model), a monotone allocation rule with associated threshold payments provides a sufficient and necessary condition for truthfulness [31]. However, it may not necessarily generate a budget feasible solution. Thus, a number of well known truthful designs (e.g., the seminal VCG mechanism [38, 16, 24]) do not apply, and new ideas have to be developed.
Another significant challenge due to the budget constraint is that, unlike the VCG mechanism which always generates a socially optimal solution, we cannot hope to have a solution that is both socially optimal and budget feasible even if we are given unlimited computational power. Indeed, in a simple setting like path procurement with or valuation [35], any budget feasible mechanism may have an arbitrarily bad solution. Therefore, the question that one may ask is “under which valuation domains do there exist truthful budget feasible mechanisms that admit ‘small’ approximations (compared to the socially optimal solution)?”
The answer to this question crucially depends on the properties and classifications of the valuation function under consideration. In particular, given the following function hierarchy [29]:
which one admits a positive answer? Singer [35] initiated the study of approximate budget feasible mechanism design and gave constant approximation mechanisms for additive and submodular functions. In subsequent work, Dobzinski, Papadimitriou, and Singer [20] considered subadditive functions and showed an approximation. Further, it was remarked in [20] that:
“A fundamental question is whether, regardless of computational constraints, a constantfactor budget feasible mechanism exists for subadditive functions.”
In the present paper we attempt to answer this question.
1.1 Our Results and Techniques
We address this question from two viewpoints: priorfree worst case analysis and Bayesian analysis. The former is the standard framework used in computer science: in our model, the private cost of every agent is assumed to be arbitrary without any prior knowledge. All previous research on budget feasible mechanism design, e.g. [35, 14, 20, 22] falls into this framework. The latter Bayesian analysis [31] is a classic economic approach that assumes the private information of the agents is drawn from a given priorknown distribution. Bayesian mechanism design has received a lot of attention in the computer science community in recent years, see, e.g., [27, 28, 26, 7, 11, 18, 13, 25, 5, 12, 17].
Priorfree mechanism design
Consider the following linear program (LP), where ’s are variables.
Constraints of this LP describe a fractional set cover of , where each set receives weight and we require that all agents in are covered. An important observation about this LP is that for any monotone subadditive function , the value of the optimal integral solution is precisely .
The above LP has a strong connection to the core of cost sharing games (considering instead as a cost function), which is a central notion in cooperative game theory [33]. Roughly speaking, the core of a game is a stable cooperation among all agents to share where no subset of agents can benefit by breaking away from the grand coalition. It is well known that the cores of many cost sharing games are empty. This motivates the notion of approximate core, which requires all the agents to share only an fraction of . The classic BondarevaShapley Theorem [9, 34] says that for subadditive functions, the largest value for which the approximate core is nonempty is equal to the integrality gap of the LP. Further, the integrality gap of the LP equals one (i.e., is also an optimal fractional solution) if and only if the valuation function is XOS, which is also equivalent to the nonemptiness of the core.
Given an instance of our problem with an agent set , we may consider the above LP and its integrality gap for every subinstance . We denote as the largest integrality gap among all subinstances . In other words, the gap characterizes the worst case scenario between the optimal integral and fractional solutions of the problem. We have the following result.
Theorem 1. There is a budget feasible truthful mechanism for subadditive functions with approximation ratio . In particular, for XOS functions, the mechanism has a constant approximation ratio.
Our results show an interesting connection between the budget feasible mechanism design and the integrality gap of the above linear program, as well as the existence of an approximate core. Note that the tight bound of the integrality gap is known to be [19, 8]; thus, our mechanism in the worst case has an approximation ratio of . (But for some special functions whose integrality gaps are bounded by constants, e.g., facility location [33], our mechanism gives a constant approximation.) Further, the mechanism may have exponential running time, though for some special XOS functions like matching it can be implemented in polynomial time. To remedy these issues, we further give a polynomial time sublogarithmic approximation mechanism. Both of our mechanisms improve the best known approximation ratio of [20].
Theorem 2. There is a polynomial time budget feasible truthful mechanism for subadditive functions with an approximation ratio , where is the number of agents.
Bayesian mechanism design
As a standard game theoretic model for incomplete information, Bayesian mechanism design assumes that agents’ private information (i.e., in our model) is drawn from a known distribution. In contrast to priorfree worst case analysis, if we have prior knowledge of the distribution, we can obtain more positive results in the form of constant approximation truthful mechanisms. In the Bayesian setting, we are able to answer the above question posed in [20] affirmatively.
Theorem 3. There is a constant approximation budget feasible truthful mechanism for subadditive functions for any distribution under a mild assumption^{2}^{2}2Technically, we require that the distribution has integrable marginal densities for any subset of variables (e.g., jointly independent distributions trivially satisfy this condition). The formal definition is referred to Section 4..
It should be noted that our result does not completely rely on Bayesian analysis in the following aspects.

Truthfulness. In most of the previous works in Bayesian mechanism design regarding social welfare maximization, e.g., [26, 5, 25, 12], the considered solution concept is Bayesian truthfulness, i.e., truthtelling is in expectation an equilibrium strategy when other agents’ profiles are drawn from the known distribution. Our mechanism guarantees universal truthfulness, meaning that truthtelling is a dominant strategy of each agent for any coin flips of the mechanism and any instance of the costs. Thus universal truthfulness is a stronger solution concept than Bayesian truthfulness. Universal truthfulness in Bayesian mechanism design has also been used in, e.g. [11], but their focus was on profit maximization.

Distribution. Regarding prior knowledge of the distribution, most of the previous related works consider independent distributions, e.g., [27, 26, 5, 25]. Our mechanism applies to general distributions that allow correlations on costs. Dependency on private information is a natural phenomenon arising in practice and it has been considered for, e.g., auctions [30]. In our model where costs are private information, correlations appear to be very common. For example, if the price of crude oil goes up, the costs of producing the items for all agents may go up as well.
Techniques
In the design of budget feasible mechanisms, the major approach used in previous works [35, 14, 20] is based on a simple idea of adding agents one by one greedily and carefully ensuring that the budget constraint is not violated. Our mechanisms, from a high level structural point of view, use another simple, but powerful, approach: random sampling. We add agents into a test set with probability half for each agent and compute an (approximately) optimal budget feasible solution on . We use the agents in only for the purpose of ‘evaluation’ and none of them will be a winner. The computed solution on gives a close estimate of the optimal solution for the whole set with a high probability. We then compute a real winning set from the remaining agents using the evaluation from as a threshold.
In the Bayesian setting, random sampling is often deemed to be unnecessary, because, when we have knowledge of the distribution, it is tempting to use a ‘prior sampling’ approach to generate random virtual instances and based on them to compute a threshold. While this works well when the private cost of every agent is drawn independently, interestingly (and surprisingly), it fails when costs ’s are correlated in the distribution. We therefore still use random sampling to compute a threshold based on the sampled test set; the collected information from random sampling correctly reflects the structure of the private costs (with a high probability) even for correlated distributions. To derive a constant approximation budget feasible mechanism for subadditive functions, we first generate a cost vector sampled from the known distribution and use it as a guidance for the payments to the winners. Then we adopt our (constant approximation) mechanism for priorfree XOS functions by feeding to this mechanism another valuation , which we define as the solution of the above LP computed for the various subsets of .
Random sampling appears to be a powerful approach and has been used successfully in other domains of mechanism design, e.g., digital goods auctions [23], secretary problem [3, 2], social welfare maximization [19], and mechanism design without money [15]. It is intriguing to find applications of random sampling in other mechanism design problems.
1.2 Related Work
Our work falls into the field of algorithmic mechanism design, which is a fascinating area initiated by the seminal work of Nisan and Ronen [32]. There are many mechanism design models; see, e.g., [33], for a survey.
As mentioned earlier, the study of approximate mechanism design with a budget constraint was originated by Singer [35] and constant approximation mechanisms were given for additive and submodular functions. The approximation ratios were later improved in [14]. Dobzinski, Papadimitriou, and Singer [20] considered subadditive functions and showed an approximation mechanism. Ghosh and Roth [22] considered a budget feasible mechanism design model for selling privacy where there are externalities for each agent’s cost. All these models considered priorfree worst case analysis.
For Bayesian mechanism design, Hartline and Lucier [26] first proposed a Bayesian reduction in singleparameter settings that converts any approximation algorithm to a Bayesian truthful mechanism that approximately preserves social welfare. The blackbox reduction results were later improved to multiparameter settings in [5] and [25] independently. Chawla et al. [12] considered budgetconstrained agents and gave Bayesian truthful mechanisms in various settings. A number of other Bayesian mechanism design works considered profit maximization, e.g., [27, 7, 13, 18, 11, 17]. Ours is the first to consider Bayesian analysis in budget feasible mechanisms with a focus on the valuation (social welfare) maximization.
2 Preliminaries
In a marketplace, there are agents (or items), denoted by . Each agent has a privately known incurred cost . We denote by the cost vector of the agents. For any given subset of agents, there is a publicly known valuation , meaning the social welfare derived from . We assume that and the valuation function is monotone, i.e., for any . A centralized authority wants to pick a subset of agents with maximum possible valuation given a sharp budget to cover their incurred costs, i.e., given . We denote the optimal solution of this optimization question by (or ) and its valuation by .
We will consider XOS and subadditive functions in the paper; both are rather general classes and contain a number of well studied functions as special cases, e.g., additive, gross substitutes, and submodular.

Subadditive (a.k.a. complement free): for any .

XOS (a.k.a. fractionally subadditive): there is a set of linear functions such that
for any . Note that the number of functions can be exponential in .
An equivalent definition [21] is whenever for any , where . That is, if every element in is fractionally covered, then the sum of the values of all subsets weighted by the corresponding fractions is at least as large as .
Note that the representation of a valuation function usually requires exponential size in . Thus, we assume that we are given an access to a demand oracle, which, for any given price vector , returns us a subset ; every such query is assumed to take unit time. The demand oracle is used in [20] as well, and it was shown that a weaker value query oracle is not sufficient [35].
Agents, as selfinterested entities, have their own objective as well; each agent may not tell his true privately known cost , but, instead, submit a bid strategically. We use mechanism design and its solution concept truthfulness to manage strategic behaviors of the agents. Upon receiving from each agent, a mechanism decides an allocation of the winners and a payment to each . We assume that the mechanism has no positive transfer (i.e., if ) and is individually rational (i.e., if ).
In a mechanism, agents bid strategically to maximize their utilities, which is if is a winner and otherwise. We say a mechanism is truthful if it is of the best interest for each agent to report his true cost, i.e., . For randomized mechanisms, we consider universal truthfulness in this paper: a randomized mechanism is called universally truthful if it takes a distribution over deterministic truthful mechanisms.
Note that our model is in a single parameter domain, as each agent has only one private parameter which is his cost. Thus, by the well known characterization of single parameter truthful mechanisms [31], designing a monotone allocation, plus the corresponding threshold payment rule, is sufficient to derive a truthful mechanism. We therefore do not specify the payments to the winners in our mechanisms explicitly.
A mechanism is said to be budget feasible if its total payment is within the budget constraint, i.e., . Our goal in the present paper is to design truthful and budget feasible mechanisms for XOS and subadditive functions in two frameworks: priorfree and Bayesian.
We first establish the following technical lemma, which is useful in the analysis of our mechanisms.
Lemma 2.1.
Consider any subadditive function . For any given subset and a positive integer , we assume that for any . Further, suppose that is divided uniformly at random into two groups and . Then, with probability of at least , we have and .
3 PriorFree Mechanism Design
In this section we consider designing budget feasible mechanisms for XOS and subadditive functions in the priorfree setting. That is, the mechanism designer has no prior knowledge of the private information of every agent, which can be an arbitrary cost, and the performance of a designed mechanism is analyzed in the worst case framework. That is, we evaluate a mechanism according to its approximation ratio, which is defined as , where is the (expected) value of a mechanism on instance and is its optimal value. (We assume without loss of generality that for any , since such an agent will never win in any budget feasible truthful mechanism.)
3.1 Constant Approximation for XOS
We will first consider XOS functions. Given an XOS function , by its definition, we assume that
for any , where each is a nonnegative additive function, i.e., .
In our mechanism, we use a random mechanism Additivemechanism for additive valuation functions as an auxiliary procedure, where Additivemechanism is a universally truthful mechanism and has an approximation factor of at most (see, e.g., Theorem B.2, [14]).
XOSrandomsample Pick each item independently at random with probability into group . Compute an optimal solution for items in given budget . Set a threshold Consider items in and find a set Find an additive function with in the XOS representation of . Run Additivemechanism for function with respect to set and budget . Output the result of Additivemechanism.
In the above mechanism, we first sample in expectation half items to form a testing group , and compute an optimal solution for given budget constraint . By Lemma 2.1, we know that and with a probability of at least . That is, we are able to learn the rough value of the optimal solution by random sampling, and still keep a nearly optimal solution formed with the remaining items. We then use the information from random sampling to compute a proper threshold for the rest of items. Specifically, we find a subset with the largest difference between its value and cost, multiplied by the threshold (in the computation of , if there are multiple choices, we break ties by any given fixed order). Finally, we use the property of XOS functions to find a linear representation of and run a truthful mechanism for linear functions with respect to .
The mechanism is designated for XOS functions; it is also used crucially as an auxiliary procedure for the more general subadditive functions in the subsequent sections. Note that the runtime of the mechanism for general XOS functions is exponential^{3}^{3}3In fact, in the second step of the mechanism, we can use any constant approximation solution (e.g., algorithm SAalgmax established in Section 3.3), which suffices for our purpose. Further, Step (4) can be done by simply asking a demand query. Hence, the mechanism can be implemented in polynomial time, if we have access to an oracle that, for any subset of items, gives a linear function with and for each . For some classic XOS problems like matching (the value of a subset of edges is the size of the largest matching induced by them), our mechanism can be implemented in polynomial time..
Note that in Step (4), the function that we maximize is simply the Lagrangian function
(note that is a fixed constant) of the original optimization problem subject to . While we do not know the actual value of the variable in the Lagrangian, a carefully chosen parameter in the sampling step with a high probability ensures that gives a constant approximation of the optimum of the Lagrangian, which is precisely the targeted value .
The linearity of the Lagrangian, together with the subadditivity of the valuations, is important in order to derive the following properties. (The threshold , subset , and additive function are defined in the XOSrandomsample.)
Claim 3.1.
For any , .
Proof.
Suppose by a contradiction that there exists a subset such that . Let . Since is an additive function, we have and . Thus,
which contradicts the definition of . ∎
The following claim says that any item in cannot manipulate the selection of the set if bidding a smaller cost. This fact is critical for the monotonicity, and thus, the truthfulness of the mechanism.
Claim 3.2.
If any item reports a smaller cost , then set remains the same.
Proof.
Let be the bid vector where reports and others remain unchanged. First we notice that for any set with , is a fixed positive value. Hence,
Further, for any set with , we have
Therefore, we conclude that ; and by the fixed tiebreaking rule, is selected as well. ∎
Our main mechanism for XOS functions is simply a uniform distribution of the mechanism XOSrandomsample and one that always picks an item from .
XOSmechanismmain With half probability, run XOSrandomsample. With half probability, pick a mostvaluable item as the only winner and pay him .
Theorem 3.1.
The mechanism XOSmechanismmain is budget feasible and truthful, and provides a constant approximation ratio for XOS valuation functions.
In the remaining of this section, we will prove the theorem. It follows from the following three lemmas.
Lemma 3.1.
XOSmechanismmain is universally truthful.
Our mechanism, at a high level point of view, has a similar flavor to the mechanism composition introduced in [1]. In particular, we may consider Steps (14) as one mechanism of choosing candidate winners and Steps (57) as the other restricted on the survived agents; then the whole mechanism is a composition of the two. It was shown in [1] that if the first mechanism is composable (i.e., truthful plus the property that any winner cannot manipulate the winner set without losing) and the second one is truthful, then the composite mechanism is truthful. In our mechanism XOSmechanismmain, composability of Steps (14) follows from Claim 3.2 and truthfulness of Steps (57) is by the property of Additivemechanism. Therefore, the mechanism is truthful.
Lemma 3.2.
XOSmechanismmain is budget feasible.
In the mechanism XOSrandomsample, the payment to each winner is the maximum amount that the agent can bid and still win. This amount is the minimum of the threshold bids in each of the intermediate steps (e.g., Step (4) and (6)). In particular, the payment is upper bounded by the threshold of the mechanism Additivemechanism in Step (6). As Additivemechanism is budget feasible [14], our mechanism XOSrandomsample is budget feasible as well. Finally, picking the largest item and paying it the whole budget are clearly a budget feasible mechanism.
Lemma 3.3.
XOSmechanismmain has a constant approximation ratio.
Proof.
Let denote the optimal winning set given budget , and let . Thus for each . By Lemma 2.1, we have with a probability of at least . Thus, we have with a probability of at least (the first inequality is because is a particular solution and is an optimal solution for set with the budget constraint).
We let be the optimal solution with respect to the item set , additive valuefunction and budget . In the following we show that is a good approximation of the actual social optimum . Consider the following two cases:

. With such assumption, we can always find a subset , such that . By Claim 3.1, we know . Then by the fact that is an optimal solution and is a particular solution with budget constraint , we have with a probability of at least .

. Then . Let ; thus, . By Lemma 2.1, we have with a probability of at least . Recall that . Then with a probability of at least , we have
In either case, we get
with a probability of at least . At the end we output the result of Additivemechanism in the last step of XOSrandomsample. We recall that Additivemechanism has an approximation factor of at most 3 with respect to the optimal solution . Thus the solution given by XOSrandomsample is at least .
On the other hand, since , the solution given by picking the largest item satisfies . Combining the two mechanisms together, our main mechanism XOSmechanismmain has a performance of at least
This completes the proof of the lemma. ∎
3.2 IntegralityGap Approximations for Subadditive
Next we use our result for XOS functions to design a truthful mechanism for subadditive functions. Let be a permutation of all possible subsets of , where is the size of the power set . We consider the following linear program for each subset , where each subset is associated with a variable .
In the above linear program, the minimum is taken over all possible nonnegative values of . If we consider each as the fraction of the cover by subset , the last constraint implies that all items in are fractionally covered. Hence, LP describes a linear program for the set cover of . For any subadditive function , it can be seen that the value of the optimal integral solution to the above LP is always . Indeed, one has and .
Let be the value of the optimal fractional solution of LP, and be the integrality gap of LP. Let ; the integrality gap gives a worst case upper bound on the integrality gap of all subsets. Hence, we have for any . The classic BondarevaShapley Theorem [9, 34] says that the integrality gap is one (i.e., is also an optimal fractional solution to the LP) if and only if is an XOS function.
Lemma 3.4.
is an XOS function.
Proof.
For any subset , consider any nonnegative vector that satisfies for any . Then, we have
The inequality above follows from the fact that for any ,
Hence, is fractionally subadditive, which is equivalent to XOS. ∎
We are now ready to present our mechanism for subadditive functions.
SAmechanismmain For each subset , compute . Run XOSmechanismmain for the instance with respect to the XOS function . Output the result of XOSmechanismmain.
Theorem 3.2.
The mechanism SAmechanismmain is budget feasible and truthful, and provides an approximation ratio of for subadditive functions, where is the largest integrality gap of LP for all .
Proof.
Note that the valuation is public knowledge and utilities of agents do not depend on ; thus computing and running XOSmechanismmain with respect to do not affect truthfulness. The claim then follows from Theorem 3.1 and the fact that for any (i.e., by using instead of we lose at most factor of in the approximation ratio). ∎
3.3 SubLogarithmic Approximations for Subadditive
In this section, we give another mechanism for subadditive functions based on the ideas of random sampling and cost sharing. In contrast to the previous section, the mechanism runs in polynomial time and has an approximation ratio, improving the previously best known ratio [20]. Our mechanism relies on a constant factor approximation algorithm for subadditive function maximization under a knapsack constraint, which may have its own interest.
3.3.1 Subadditive Maximization with Budget
We first give an algorithm that approximates given that . That is, we ignore for a while strategic behaviors of the agents and consider a pure optimization problem. Dobzinski et al. [20] considered the same question and gave a 4approximation algorithm for the unweighted case (i.e., the restriction is on the size of a selected subset). Our algorithm extends their result to the weighted case and runs in polynomial time if we are given a demand oracle^{4}^{4}4Independent to our work, Badanidiyuru et al. [4] gave a approximation algorithm to the same weighted problem..
SAalgmax Let and For each Set for each , and find . Let . If , then continue to next . Else, in decreasing order of put items from into while preserving the budget constraint. Output: with the largest value for all .
Lemma 3.5.
SAalgmax is an approximation algorithm for subadditive maximization given a demand oracle.
Proof.
Let be an optimal solution. Note that and . For all , we first prove that the algorithm will generate a nonempty set with . Since is the maximum set returned by the oracle, we have
Hence, . If , then and we are done. Otherwise, by the greedy procedure of picking items from to , we are guaranteed that . Assume for contradiction that . Then
The later contradicts to the definition of , since is then better than . Thus, we always have for each . Since the algorithm tries all possible (including one with ) and outputs the largest , the output is guaranteed to be within a factor of 8 to the optimal value . ∎
Note that we can actually modify the algorithm to get a approximation with running time polynomial in and . To do so one may simply replace by a larger set . Both algorithms suffice for our purpose; for the rest of the paper, for simplicity we will use the 8approximation algorithm to avoid the extra parameter in the description.
We will use SAalgmax as a subroutine to build a mechanism SArandomsample for subadditive functions in the next subsection. When there are different sets maximizing , we require that the demand query oracle always returns a fixed set . This property is important for the truthfulness of our mechanism. To implement this, we set a fixed order on all the items . We first compute
If , we know that there is a subset without that gives us the maximum; thus, we ignore for further consideration. If , we know that should be in any optimal solution; hence, we keep and proceed with the process iteratively for . This process clearly gives a fixed outcome that maximizes .
3.3.2 Mechanism
Let us first consider the following mechanism based on random sampling and cost sharing.
SArandomsample Pick each item independently at random with a probability of into group . Run SAalgmax for items in group , and let be the value of the returned subset. For to Run SAalgmax on the set where each item has cost , denote the output by . If Output as the winning set and pay to each item in . Halt. Output .
In the above mechanism, we again first sample in expectation half of the items to form a testing group , and then use SAalgmax to compute an approximate solution for the items in given the budget constraint . As can be seen in the analysis of the mechanism, the computed value is in expectation within a constant factor of the optimal value of the whole set . That is, we are able to learn the rough value of the optimal solution by random sampling. Next we consider the remaining items and try to find a subset with a relatively big value in which every item is willing to “share” the budget at a fixed share . (This part of our mechanism can be viewed as a reversion of the classic cost sharing mechanism.) Finally, we use the information from random sampling as a benchmark to determine whether should be a winning set or not.
The final mechanism for subadditive functions is described as follows.
SAmechanismmain2 With half probability, run SArandomsample. With half probability, pick a mostvaluable item as the only winner and pay him .
Theorem 3.3.
SAmechanismmain2 runs in polynomial time given a demand oracle and is a truthful budget feasible mechanism for subadditive functions with an approximation ratio of .
The proof of the Theorem 3.3 is given in the appendix.
4 Bayesian Mechanism Design
In this section, we study budget feasible mechanisms for subadditive functions from a standard economics viewpoint, where the costs of all agents are drawn from a prior known distribution . More specifically, the mechanism designer and all participants know in advance from which the real cost vector is drawn. However, each is the private information of agent . Distribution is given on the probability space with the corresponding density function on . We allow dependencies on the agents’ costs in and consider the distributions that have integrable marginal densities for any subset of variables^{5}^{5}5We need some mild technical restriction on in order to sample a conditioned random variable. We assume that the density function of is integrable over each subset of its variables for any choice of the rest parameters, i.e., is bounded. This condition is reminiscent of integrability of marginal density functions (see, e.g., page 331 of [36]), though in our case we require a slightly stronger condition.; this includes, e.g., independent distributions as special cases.
Every agent submits a bid as before and seeks to maximize his own utility. We again consider universally truthful mechanisms, i.e., for every coin flips of the mechanism and each cost vector, truthtelling is a dominant strategy for every agent. The performance of a mechanism is measured by . We compare a mechanism with the optimal expected value ; we say mechanism is a (Bayesian) approximation if .
In this section: Let denote the winning set in an optimal solution when the valuation function is , the cost vector is , and the agent set is (the parameters are omitted if they are clear from the context); let denote the value of .
Our mechanism is as follows.
SABayesianmechanism With a probability of , let a mostvaluable item be the only winner and pay him . With a probability of , run the following: Pick each item independently at random with a probability of into group . Compute an optimal solution for items in given budget . Set a threshold For items in find a set Sample a cost vector conditioned on for each , and If , let all with be the winners. If , run XOSmechanismmain w.r.t. valuation , set , cost , budget . Output the result of XOSmechanismmain.
In the mechanism, Steps (13) are the same as XOSrandomsample where we randomly sample a test group and generate a threshold value . In Steps (47), we consider a specific subset and select winners only inside of it. Step (5) helps to give us a guidance on the threshold payments of the winners (see more discussions below). Step (7) runs XOSmechanismmain on the function (defined as the optimal value of the LP ()), which is XOS according to Lemma 3.4.
A few remarks about the mechanism are in order.

It is tempting to remove the random sampling part, as given one may consider a ‘prior sampling’ approach: Generate some virtual instances according to and compute a threshold based on them; then apply this threshold to all agents in . Interestingly, the prior sampling approach works well in our mechanism when, e.g., all ’s are independent, but it does not work for the case when variables are dependent.
For instance, consider an additive valuation with , budget for a large , and a set of agents with the following discrete distribution over costs ( means that every ):
Note that
Then the expected optimal value is and it is equally spread over all possible costs except the last one . Roughly speaking, on a given instance , any prior estimate on that gives a constant approximation only applies to a constant number of distinct costs (the contribution of these cases to is negligible). Hence for almost all other possible costs, we get a meaningless estimate for . Therefore, the prior sampling will lead to a bad approximation ratio.

Why do we generate another cost vector in Step (5)? Recall that our target winner set is , whose value in expectation gives a constant approximation of . However, we are faced with the problems of selecting a winning set in with a sufficiently large value and distributing the budget among the winners. These two problems together are closely related to cooperative game theory and the notion of approximate core. For subadditive functions, a constant approximate core may not exist [33] (e.g., set cover gives a logarithmic lower bound [8]). Thus we might not be able to pick a winning set with a constant approximation and set threshold payments in accordance with the valuation function. The question then is: Is there any other guidance we can take to bound budget feasible threshold payments and give a constant approximation?
Our solution is to use another random vector to serve as such a guidance. (Conditions in Steps (5a) and (5b), from a high level point of view, guarantee that the vector is not too ‘far’ from for the agents in , in the sense that both vectors are derived from the same distribution. Thus, cost vectors and are distributed symmetrically and can be switched while preserving some important parameters such as and in expectation.) If (Step (6)), then we set as an upper bound on the payment of each agent ; this guarantees that we are always within the budget constraint. If , setting as an upper bound is not sufficient to ensure budget feasibility; then we adopt our approach for XOS functions with inputs subset and XOS valuation defined by .
Theorem 4.1.
SABayesianmechanism is a universally truthful budget feasible mechanism for subadditive functions and gives in expectation a constant approximation.
Budget feasibility follows simply from the description of the mechanism and the fact that XOSmechanismmain is budget feasible.
For universal truthfulness, we note that in the mechanism, the sampled vector comes from a distribution that depends on actual bid vector . To see why our mechanism takes a distribution over deterministic truthful mechanisms, we can describe all possible samples for (i) all possible cost vectors on and (ii) all possible choices of ; then we tell all flipped ’s to the agents before looking at the costs of . (Practically, we can provide all our randomness as a black box accessible by all agents.) Note that the selection rule of is monotone, and, similarly to Claim 3.2, each agent in cannot manipulate (i) the composition of given and , and (ii) the choice of , as long as he stays in . Therefore, composing the first part choosing (Step (4)) with the next monotone rule picking winners in (Steps (67)), we again get a monotone winner selection rule. Hence, the mechanism is universally truthful.
Next we give a sketch of the idea of proving the constant approximation. Details of the proof are deferred to the Appendix B.
Approximation analysis (sketch). We sketch the proof idea of the approximation ratio of the mechanism. First, similar to our analysis in Section 3.1, the optimal solution obtained from random sampling in expectation gives a constant approximation to the optimal solution . Further, we observe the following facts (which are reminiscent of Claim 3.1):
where the second inequality is based on the conditional distribution we choose for .
If and (i.e., the mechanism runs Step (7)), we can pick a subset with . By Theorem 3.1, XOSmechanismmain gives a constant approximation to the optimum of on . (This is the reason why in Step (7) of the mechanism, we run the whole XOSmechanismmain on the input instance and .) Hence,
where the first inequality follows from the fact that is a budget feasible set. Thus, the optimum of on is within a constant factor of , as well as the benchmark .
If and , we have Further, we notice that is budget feasible with respect to cost vector ; thus, XOSmechanismmain gives a constant approximation to , which in turn is within a constant factor of and .
We observe that the vectors and are restricted to the agents in and conditioned on
have exactly the same distributions. Therefore, due to such a symmetry between and , in a run of our mechanism in expectation we will have the outcome and a pair of vectors as often as the outcome and the pair . This implies that in the case when and , we get on average a value of at least , since (i) the winning sets on the two instances where