Combinatorial Cost Sharing
Shahar Dobzinski, Shahar Ovadia

TL;DR
This paper introduces a combinatorial cost sharing mechanism that ensures cost coverage and approximate efficiency, leveraging the potential function to handle complex multi-parameter valuation scenarios.
Contribution
It presents the Potential Mechanism combining VCG and the potential function, achieving cost coverage and approximate efficiency in complex combinatorial settings.
Findings
Mechanism always covers the cost.
Achieves approximate efficiency with subadditive costs.
Ensures approximate budget balance under specific conditions.
Abstract
We introduce a combinatorial variant of the cost sharing problem: several services can be provided to each player and each player values every combination of services differently. A publicly known cost function specifies the cost of providing every possible combination of services. A combinatorial cost sharing mechanism is a protocol that decides which services each player gets and at what price. We look for dominant strategy mechanisms that are (economically) efficient and cover the cost, ideally without overcharging (i.e., budget balanced). Note that unlike the standard cost sharing setting, combinatorial cost sharing is a multi-parameter domain. This makes designing dominant strategy mechanisms with good guarantees a challenging task. We present the Potential Mechanism -- a combination of the VCG mechanism and a well-known tool from the theory of cooperative games: Hart and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAuction Theory and Applications · Game Theory and Voting Systems · Game Theory and Applications
Combinatorial Cost Sharing
Shahar Dobzinski
Shahar Ovadia Weizmann Institute of Science. The first author is the incumbent of the Lilian and George Lyttle Career Development Chair. Work supported in part by the I-CORE program of the planning and budgeting committee and the Israel Science Foundation 4/11 and by EU CIG grant 618128. Emails: [email protected], [email protected].
Abstract
We introduce a combinatorial variant of the cost sharing problem: several services can be provided to each player and each player values every combination of services differently. A publicly known cost function specifies the cost of providing every possible combination of services. A combinatorial cost sharing mechanism is a protocol that decides which services each player gets and at what price. We look for dominant strategy mechanisms that are (economically) efficient and cover the cost, ideally without overcharging (i.e., budget balanced). Note that unlike the standard cost sharing setting, combinatorial cost sharing is a multi-parameter domain. This makes designing dominant strategy mechanisms with good guarantees a challenging task.
We present the Potential Mechanism – a combination of the VCG mechanism and a well-known tool from the theory of cooperative games: Hart and Mas-Colell’s potential function. The potential mechanism is a dominant strategy mechanism that always covers the incurred cost. When the cost function is subadditive the same mechanism is also approximately efficient. Our main technical contribution shows that when the cost function is submodular the potential mechanism is approximately budget balanced in three settings: supermodular valuations, symmetric cost function and general symmetric valuations, and two players with general valuations.
1 Introduction
In the cost sharing problem the cost of a public good (e.g., a bridge, a park, or a networking infrastructure) has to be partitioned among the players. The challenge is to decide whether to provision the public good, and if so, which players will receive usage permissions and for what prices, all while making sure that the payments cover the cost.
The problem was extensively studied in both economics and algorithmic game theory and many variants were suggested and analyzed (e.g., [17, 19, 21, 23, 2, 3, 8, 18, 16]). However, in almost all variants only a single good is considered.
In this paper we attempt to fill this lacuna and introduce combinatorial cost sharing, where multiple goods can be provisioned and both costs and preferences depend on the selected combination of goods. While combinatorial cost sharing is a natural generalization of the basic cost sharing scenario, from a technical perspective it is radically different as we leave the relatively safe single parameter world and cross the bridge to the realm of multi parameter mechanism design. Nevertheless, we will see that good mechanisms for combinatorial cost sharing do exist.
Simple Cost Sharing
The standard cost sharing setting (from now on, “simple cost sharing”) involves a set of players (), where the value of player is if player receives a usage permission and [math] otherwise. A known cost function specifies the cost of serving each subset of the players. A (direct) mechanism for this problem receives as input the valuations of the players and outputs the set of served players and the payment of every player . It is standard to assume that the mechanism is individually rational (for every , ), that (no positive transfers) and moreover if player is not served.
Work on cost sharing in the AGT community mostly focuses on incentive compatible mechanisms, either dominant strategy or groupstrategyproof, that at the very least always cover the cost. That is, in an instance where the mechanism serves the set of players, . Ideally, we will also not overcharge the players, at least not by much: a mechanism is -budget balanced if in every instance .
We look for mechanisms that are economically efficient. Economic efficiency can be interpreted in several ways, with the social welfare being the standard definition: . Unfortunately, Feigenbaum et al. [10] show that no dominant strategy and budget balanced mechanism provides a finite approximation to the social welfare, and this result holds even if we only require the mechanism to cover the cost111This impossibility is typical for mixed sign objectives, like the social welfare. The simple proof is instructive: consider two players, each with . The cost of serving any non-empty set is . The social welfare of the optimal allocation (which is to serve both players) is , whereas the social welfare of any other allocation is [math]. Therefore, in any mechanism that provides a finite approximation to the welfare both players are served. To cover the cost, one of the players, without loss of generality player , must pay . Consider now an instance with and . The mechanism is incentive compatible so player is not served. Hence, no matter whether the mechanism serves player or none of the players, the social welfare is [math]. However, the optimal social welfare is ..
To overcome this, Roughgarden and Sundararajan [23] suggest an alternative quantification of efficiency. First, one can use additive approximations, i.e., if is the allocation that maximizes the welfare, then in every instance , for some reasonable . This benchmark allows the designer to shift the focus from instances with “low” welfare – which are the raison d’etre of the impossibilities – to instances in which using a cost sharing mechanism should yield a noticeable improvement in the efficiency.
A related notion discussed in [23] is minimizing the social cost, , which is the construction cost plus the “lost value” from not serving some of the players. Interestingly, the social cost and the social welfare induce the same order on the allocations (i.e., if then ). Moreover, additive approximations to the social welfare imply multiplicative guarantees on the social cost: implies . Following [23], many papers study social cost minimization in various settings (e.g., [7, 18, 2, 3, 5, 14]. For the sake of compatibility with the literature, we state our results in terms of approximation to the social cost, but in fact we prove essentially the same guarantees with respect to the stronger notion of additive approximation.
The cost sharing literature is rich in beautiful results, but the jewel in the crown is probably the Shapley value mechanism [21], which is a groupstrategyproof mechanism that exactly shares the cost whenever is a submodular function [21]. Roughgarden and Sundararajan [23] show that it gives an approximation ratio of to the social cost. It is known that the approximation ratio of any mechanism that always covers the cost is and that this is true even if we relax the incentive compatibility requirement to strategyproofness [9]222This impossibility of [9] is stated for budget balanced mechanisms, but the proof applies even to cost recovering mechanisms..
The Model
The main purpose of this paper is to go beyond the single good setting. Toward this end, we introduce combinatorial cost sharing. We present two formulations of combinatorial cost sharing. The first is a more direct formulation which might help the reader to digest the setting more easily. The second formulation – which is the one that is studied throughout the paper – is equivalent in power but is notationally more involved. We use it since it makes the technical proofs more readable.
A First Attempt.
As in simple cost sharing, there is a set which consists of players, but now there is a set of public goods (for example, a pool, a gym, etc.). The mechanism has to decide which goods to construct and if a good is constructed, which subset of the players will be allowed to use it. Players might have complicated preferences over the goods in (e.g., a combined membership for the pool and the gym might be more valuable than the sum of the values of each membership alone), thus the private valuation of player is . Note that this assumes that there are no externalities in the sense that value of each player is determined only by the goods he is served (in particular, the value does not depend on the other players who use these services).
Let be a known function that specifies the cost of every possible combination of services. For example, is the cost of serving the first good in to the players in while serving the second good in to the players in , and so on. We stress that we do not make any assumptions on and in particular these sets are typically not disjoint.
The Main Formulation.
The issue with the first formulation is that we often would like to assume that the cost function belongs to some standard class, e.g., is submodular or subadditive. However, as defined is not even a set function (its domain is ). We thus use a different formulation that is equivalent in power. Define – for notational convenience – for each player a set with for , where each represents a permission to consume a different good. For example, if is the set of public goods that can be constructed, we define for each player a set , , and think about the ’th item in as permission for player to use the ’th public good in . In particular player is never interested in items from , for . The private valuation of player is . The cost function specifies the cost of every possible combination of services. Note that it is straightforward to express every cost function in the first formulation as a cost function in the main formulation. In particular, is now a set function (the set of items is – recall that for ), so standard notions such as subadditivity and submodularity are defined in the usual sense.
Other Requirements.
Due to the combinatorial richness of our domain, we are not able to develop good groupstrategyproof mechanisms. Instead, we focus on dominant strategy ones. Following the literature, we focus on mechanisms that satisfy individual rationality, no positive transfers and always cover the cost or maybe are even -budget balanced, for some reasonable . We naturally extend the social cost definition of [23] to multiple goods: . I.e., we still want to minimize the construction cost plus the lost value. We note that the extended definition preserves the properties discussed above, e.g., additive approximations to the welfare lead to multiplicative approximations to the social cost. We refer the reader to the preliminaries section for exact definitions.
Cost Recovering Mechanisms and the Potential Mechanism
The simple cost sharing domain is a single parameter one, where the private information of every player consists of one number. Thus, to design a dominant strategy mechanism one can focus on the quite powerful family of monotone algorithms. In fact, the literature contains powerful techniques for designing groupstrategyproof mechanisms, for various notions of groupstrategyproofness (e.g., the Moulin family of mechanisms [19] and acyclic mechanisms [18]).
In contrast, the combinatorial cost sharing domain is a multi-parameter one. The difficulty of designing useful mechanisms for multi-parameter domains is well known. The root of evil is the lack of general design techniques except the VCG family. For example, if the domain is unrestricted, then the only possible dominant strategy mechanisms are affine maximizers [22], a slight variation of VCG mechanisms. In general, more restricted domains as ours do exhibit non VCG mechanisms, but the VCG family remains the main tool at our disposal.
However, while VCG is effective for welfare maximization, in cost sharing settings we also need to cover the construction cost. Unfortunately, conventional wisdom has it that the revenue of the VCG mechanism is uncontrollable and tends to be low333Some papers attempt to control the revenue of VCG in simpler auction settings by rebating the players, e.g., [20, 13, 6]. Also relevant is the work of Blumrosen and Dobzinski [4] which is the closest in spirit to ours (and in fact is the inspiration to our work). One of their results essentially provide a cost-recovering VCG based mechanism for the excludable public good problem. Their mechanism can be derived as a special case of our constructions. [1]. The main technical contribution of this paper challenges this – we do manage to “tame” the VCG beast and obtain VCG based mechanisms that are approximately budget balanced.
For simplicity, we start our journey by constructing VCG based mechanisms that always cover the cost for simple cost sharing, so the valuation of each player can be described by a single number: if served and [math] otherwise. In general, affine maximizers can have both (multiplicative) player weights and (additive) allocations weights. The former does not seem to be very useful, so we focus on affine maximizers of the form:
[TABLE]
where is a function that does not depend on the ’s. If is the allocation that maximizes (1) for the valuation profile , then the payment of player is:
[TABLE]
where is the allocation that maximizes (1) when the valuation of player is identically [math].
When is the cost function , we get a welfare maximizing mechanism. However, it is common for this mechanism to run a deficit, e.g., in the special case of excludable public good ( for every ), if for every player , the revenue is [math].
Thus, to cover the incurred cost we need some other function . Notice that from the definition of that . Hence, the payment of the ’th player is at least . A function with the property that for every set it holds that will lead to a dominant-strategy mechanism for simple cost sharing that always collects payments that cover the incurred cost. For example, in the special case of excludable public good, we can choose , so if a set is selected the marginal cost to of each player is at least and the total payment is at least (this special case was analyzed by Blumrosen and Dobzinski [4]).
Interestingly, for every cost function the potential function of Hart and Mas-Colell [15] satisfies these properties. Given a cooperative game with a set of players and a cost function , the potential function is the unique function for which the sum of marginal contributions of every coalition equals its cost, i.e., for every , .
The potential function has several interesting properties, e.g., the marginal contribution coincides with the Shapley value of player in the coalition . In addition, it is also known that the worst-case welfare loss of the Shapley mechanism for simple cost sharing is given by [21].
We generalize and adapt the potential function to our needs: the potential function as defined in [15] considers cooperative games, i.e., the cost function defined on subsets of . Our generalization considers allocations. Specifically, we define the marginal contribution of player to the allocation by .
We set the function as in (1) to be our generalization of the potential function, and name the new mechanism, a VCG mechanism using the potential function, the *Potential Mechanism. *Notice that this gives a dominant strategy cost-recovering mechanism for every cost function . We are also able to prove efficiency guarantees if the cost function is subadditive. Combined together, we get the following general result:
**Theorem: **Let be a subadditive cost function. Then, the Potential mechanism always recovers the cost and provides an approximation ratio of to the social cost. If is submodular (or even XOS) the approximation ratio improves to .
Again, the approximation ratio is essentially tight due to the impossibility of [9]. For simple cost sharing, there is a dominant-strategy cost recovering mechanism that provides an approximation ratio of for any cost function, by running the Shapley value mechanism “on top” of the VCG mechanism [25]. Other works that focus on cost recovering mechanisms are [12, 11]. In particular, [12] handles some multi-parameter domains. However, their results are obtained via a reduction to the single parameter setting, e.g., by assuming additive valuations or considering “all or nothing” solutions. This approach leads to poor approximation ratios – linear in the number of goods.
The Main Result
The main technical effort of this work is in identifying three settings in which the potential mechanism is not only efficient and cost recovering, but also budget balanced.
**Theorem: **Let be a submodular cost function. The Potential Mechanism is -budget-balanced and provides an approximation ratio of to the social cost in each of the following settings:
- •
Supermodular valuations.
- •
General symmetric valuations and player-wise symmetric cost function444A valuation is symmetric if whenever . A cost function is player-symmetric if whenever for all ..
- •
Two players () with general valuations.
Some results were already known for some special cases of the symmetric setting, but even then submodular valuations are required: Mehta et al. [18] consider non-metric fault-tolerant uncapacitated facility location. Bleischwitz and Schoppmann [3] study metric fault tolerant uncapacitated facility location. The mechanisms of Mehta et al. and of Bleischwitz and Schoppmann are actually generalizations of Moulin mechanisms [19, 21] and rely in their core on pushing single parameter cost sharing techniques to their limit. In contrast, in the symmetric setting our mechanism does not make any assumption on the valuations, except monotonicity.
Limitations and Impossibilities
Our results are tight in several aspects. First, even for excludable public good there is an instance in which the approximation ratio of the potential mechanism is and the mechanism is budget balanced. Actually, this is true for every VCG-based mechanism that uses a symmetric function555Note that the potential mechanism is symmetric when is symmetric, and in particular is symmetric for excludable public good. (i.e., for with , ):
**Theorem: **Let be a symmetric VCG-based mechanism for the excludable public good problem (i.e., a mechanism that maximizes for some symmetric ) which always covers the incurred cost. Suppose that provides an approximation ratio of to the social cost, for some . Then, there is an instance in which both the approximation ratio is and the sum of payments collected by the mechanism is times the incurred cost.
Next we show that one cannot forgo the assumption of a restricted cost function since there is a (non-subadditive) cost function for which the approximation ratio of the potential mechanism is . Moreover, the potential mechanism is -budget-balanced for a submodular cost function and unit demand valuations (a simple case of submodular valuations). A full mapping of the families for which the potential mechanism provides good approximation ratios is an open problem.
We also show that while one have many possible choices for the function in (1), the choice to use the potential function is not arbitrary: consider a cost-recovering VCG based mechanism where is normalized. Then, for every .
Open Questions
Our work leaves many exciting questions open. We discuss some of them now.
Computational Issues.
In this work we focused on proving the existence of mechanisms with good guarantees. An interesting question is to understand whether there are mechanisms with good guarantees that are computationally efficient. We do not know the answer in general, but we do note that in the case of supermodular valuations and a submodular cost function the potential mechanism is computationally efficient whenever the value of the potential function is easy to compute. To see this, we point out that one of our results states that the potential function of a submodular cost function is submodular as well. Therefore, maximizing reduces to the problem of maximizing a supermodular function, which is equivalent to minimizing submodular function. Minimizing a submodular function can be done in polynomial time [24] assuming oracle access to the potential function.
Now observe that the potential function is easy to evaluate given the Shapley values (since the marginals of the potential function correspond to Shapley values). We conclude that in this case the potential mechanism is easy to compute whenever computing Shapley values is easy.
The Performance of the Potential Mechanism.
We identified three settings in which the potential mechanism is -budget-balanced and provides an approximation ratio of to the social cost. When the cost function is subadditive, the social cost approximation is , but it is not clear whether we get budget balance for some interesting classes of valuations. A first step in this direction will be to determine the overcharging of the potential mechanism for simple cost sharing when the cost function is subadditive.
Other Mechanisms for Combinatorial Cost Sharing.
The potential mechanism is a VCG-based mechanism. Are there non VCG-based mechanisms with good guarantees, especially for settings in which the potential mechanism fails to deliver, e.g., submodular cost and valuation functions?
The Power of GSP vs. Strategyproof Mechanisms.
We know very little about groupstrategyproof mechanisms for combinatorial cost sharing. We provide a mechanism that guarantees a poor approximation ratio of (see Section 7). Are there better groupstrategyproof mechanisms?
Impossibilities for Combinatorial Cost Sharing.
The potential mechanism provides an approximation ratio of to the social cost and is -budget-balanced for supermodular valuations and submodular cost functions. Is there a strategyproof combinatorial cost-sharing mechanism for submodular cost function and supermodular valuation functions which is -budget-balanced and provides approximation ratio of to the social cost, where ?
In particular, the only unrestricted impossibility result that applies to combinatorial cost sharing is the bound to the social cost of [9] which is proved for the restricted case of excludable public good. It seems that completely new ideas are needed to prove the optimality of the potential mechanism in richer combinatorial settings.
2 Preliminaries
In combinatorial cost sharing we have a set of players and a set of services, where for every : . Every player has a valuation function . There is a cost function that specifies the cost of every possible allocation of services. The output is where is the allocation of services to player , and is player ’s payment.
We assume that the cost function and the valuations are *monotone *(i.e., implies and ) and *normalized *(i.e., and ).
We note that since the ’s are disjoint then . Thus, we sometimes refer to functions from as functions from , e.g., will be denoted , where for each . In addition, For a vector of pairwise disjoint sets and a set we let be the vector . We similarly define the usual set operations (e.g., union) between two vectors of disjoint sets as applying this operation on all pairs of the form .
Note that simple cost sharing is a special case of combinatorial cost sharing: set for every player . In this case and we may think of as a set of served players: if . An important special case of simple cost sharing is excludable public good: for every and .
A (direct) combinatorial cost sharing mechanism takes the valuations of the players and outputs an allocation of services and prices. In this paper we consider only mechanisms that satisfy individual rationality (IR), if the mechanism charges player an amount , then . A second requirement is no positive transfers (NPT), meaning that . We now discuss other desired properties of mechanisms.
Incentive Compatibility
The focus of most this paper is in dominant-strategy mechanisms: a combinatorial cost-sharing mechanism is strategyproof or truthful (in dominant strategies), if for every player with valuation function and for every other valuation function it holds that where and are the outputs of the mechanism for and , respectively. Groupstrategyproofness will be defined when needed, in Section 7.
Budget Balance.
A cost-sharing mechanism is budget-balanced if the payments charged from the players cover exactly the incurred cost, i.e. if the mechanism’s output is then . This notion can be relaxed: a cost-sharing mechanism is -budget-balanced (for ) if for every valuation profile and every cost function the mechanism outputs a services allocation and payments vector such that .
Economic Efficiency.
Roughgarden and Sundararajan [23] suggested to quantify the inefficiency of cost-sharing mechanisms by the notion of social cost, denoted , which is the incurred cost of the mechanism plus the excluded values. We extend the definition of the social cost to the combinatorial setting:
[TABLE]
A cost sharing mechanism is a -approximation to the social cost if for every valuation profile the social cost of its outcome is at most times that of the allocation that minimizes the social cost: .
Cost and Valuation Functions
A function is submodular if for every two sets , . Equivalently, a function is submodular if for every two sets and an element it holds that . A cost function is *subadditive *if for every , . A cost function is *player-wise symmetric *if for every two allocations with for every in holds that .
is supermodular if for every two sets , it holds that . Equivalently, for every two sets and an element it holds that . A function is *symmetric *if for every two sets with it holds that . is additive if for every it holds that . is XOS if there exists additive valuations such that for every , . The class of submodular valuations is contained in the class of XOS valuations which is contained in the class of subadditive valuations, and these containments are strict.
3 The Potential Function and its Properties
The potential mechanism is an affine maximizer whose output allocation is defined by:
[TABLE]
where is a publicly known function. In this section we describe the function we use and its properties.
The function we use is an adaptation of the Potential Function of Hart and Mas-Colell [15]. Given a cooperative game with players and cost function , Hart and Mas-Colell define a potential function to be a normalized function in which the sum of discrete gradients of any set of players equals the cost . We naturally extend this definition:
Definition 3.1** (potential function for combinatorial cost sharing)**
Given a normalized cost function we define a potential function to be any normalized function with the following property:
- •
For every allocation such that , the sum of discrete gradients of the function is exactly the cost: .
Notice that for simple cost sharing the definitions of [15] and ours coincide. The proof of the next proposition essentially follows from [15]. We bring it in Appendix A.1 for completeness.
Proposition 3.2
For every normalized cost function there is a unique potential function . Moreover, it holds that .
Following [15], there are a couple of useful observations related to the potential function. First, by rearranging:
[TABLE]
Let . Notice the is the expected density (cost divided by the number of players) of a set of players that is chosen uniformly at random among all sets of size , when each player is served and player is not served at all. Thus, equals the sum of expected densities of sets of size .
A second observation (again, following [15]) is that the marginal utility equals the Shapley value of player in the cooperative game with players and cost function , where the cost of serving a set is .
We now use these observations to prove several useful properties of our potential function.
Claim 3.3
Let be a monotone cost function. The potential function is monotone as well. Furthermore, if is submodular then is submodular as well.
**Proof: ** Observe that is a sum of functions , each multiplied by a constant . Each of these functions is monotone because is monotone. Since a sum of monotone functions is monotone as well, we conclude that is monotone.
The second part of the claim is almost identical, by replacing “monotone” with “submodular” in the previous paragraph.
Next we prove that for every submodular cost function and , . We also prove a similar bound for subadditive cost functions.
Proposition 3.4
Let be an XOS (in particular, submodular) cost function. Then, for every , . If is subadditive then for every , .
**Proof: ** We will need the following folklore claim:
Claim 3.5
Let be a monotone function. Choose a set of size uniformly at random among all such sets. Then:
If is XOS then . 2. 2.
If is subadditive then .
**Proof: **(of Claim 3.5)
By the definition of an XOS valuation, there is some additive valuation such that . Moreover, for every , . Consider choosing at random a set of size . Each element is selected with probability . Let be the random variable that gets the value if is selected and [math] otherwise. Observe that:
[TABLE] 2. 2.
Let . Choose disjoint sets each of size , uniformly at random. If does not divide , construct an additional set from taking in addition to items that are chosen uniformly at random. Now choose a set by choosing one of the sets uniformly at random. Notice that by subadditivity . Thus, . The proposition follows since is a set of size which is chosen uniformly at random.
We can now prove Proposition 3.4. Fix . Obtain a function by . Observe that if is subadditive (XOS) then is subadditive (XOS). For every , let denote the expected density of a set of size in . Notice that by Claim 3.5 for XOS functions we have that . Now, if is XOS, then:
[TABLE]
The proof is similar if is subadditive:
[TABLE]
Claim 3.6
Let be a monotone cost function. Then, for every , .
**Proof: ** is monotone, so for every and we have the following bound on the average density of a random set of size : . Thus, .
4 The Main Result: The Potential Mechanism
In this section we present our main result, the Potential Mechanism. Specifically, given a cost function and its potential function , define the Potential Mechanism be the following affine maximizer:
[TABLE]
We charge player his VCG payment which is given by the formula:
[TABLE]
where is the allocation that maximizes (3) with the additional constraint . Note that there might be several allocations that maximize (3), hence the mechanism is defined up to the implementation of a tie breaking rule.
Theorem 4.1
For every valuation profile and cost function the Potential Mechanism is strategyproof, individually rational, always covers the incurred cost and satisfies no positive transfers. Moreover:
When is subadditive the mechanism provides an approximation ratio of to the social cost. When is XOS (in particular, submodular) the mechanism provides an approximation ratio of to the social cost. 2. 2.
When is submodular the mechanism is -budget-balanced in each of the following settings:
- (a)
The valuation functions are supermodular. 2. (b)
The valuation functions are symmetric and the cost function is player-wise symmetric. 3. (c)
There are two players.
Notice that the potential mechanism exhibits a “one size fits all” property: the performance guarantees improve as the more restricted the functions are although the mechanism is defined identically for all cost and valuation functions.
We note that strategyproofness, individual rationality, and no positive transfers of the potential mechanism follow directly from the properties of the VCG mechanism. The rest of the section is devoted to proving that the mechanism always recovers the cost and is approximately efficient and budget balanced in certain settings and in Section 6 we discuss some of the limitations of the potential mechanism.
The Potential Mechanism: Cost Recovering and Efficiency
Lemma 4.2
The potential mechanism always covers the incurred cost, i.e. for every outcome , it holds that .
**Proof: ** The payment of player is given by:
[TABLE]
Notice that since is one of the alternatives that are considered for , therefore
[TABLE]
summing over all players, we get
[TABLE]
where the last equality is by the definition of the potential function.
Next we prove the efficiency guarantees of the mechanism. For completeness we prove guarantees for both the social cost and additive approximations, although the latter implies the former [23].
Lemma 4.3
Let be a subadditive cost function. Then the approximation ratio of the Potential Mechanism to the social cost is . If is XOS then the approximation ratio improves to . Similarly, if is XOS and if is subadditive.
**Proof: ** We first prove the social cost guarantee for submodular :
[TABLE]
The first inequality is due to the first part of Proposition 3.4: for every XOS cost function , . The second inequality holds since maximizes (3), therefore . The last inequality is due to Proposition 3.6 which states that . The proof for subadditive is very similar except that we use the second part of Proposition 3.4.
The proof for the additive approximation guarantee is similar (using the same propositions):
[TABLE]
Interestingly, up until now we have not used the property that the ’s are disjoint. That is, consider the usual setting of a combinatorial auction with players and a set of items. Let be a function that specifies the cost of every allocation. The same proofs imply that the potential mechanism always recovers the cost in this general setting. Furthermore, if is subadditive then the output is approximately efficient.
The Potential Mechanism: Budget Balance
Most of the technical difficulty in the proof of Theorem 4.1 is showing that the mechanism is -budget-balanced. We have already shown that the potential mechanism always cover the cost (Lemma 4.2). We remain with showing that the sum of payments of the mechanism is bounded from above by times the incurred cost.
Lemma 4.4
In each one of the settings (2a), (2b) and (2c) of theorem 4.1 the following holds: for every outcome of the mechanism we have that .
Recall that the potential mechanism is defined up to a tie-breaking rule. For supermodular valuations and the proofs below work directly for any tie breaking rule. For the symmetric setting, we start with an arbitrary tie-breaking rule and modify it. We prove budget balance for the modified tie-breaking rule and see that this implies budget balance for the original tie breaking rule. The modified rule is defined as follows: for every player define an arbitrary order on and denote its elements as . If player gets items in the original rule then allocate player items . Notice that due to symmetry all costs and values remain the same, so this new allocation still maximizes the affine maximizer. Finally, observe that since that player is always indifferent between the bundles he receives in the original and modified rules, we may assume that the price of these bundles is identical as well, so his payment remains the same. Hence, budget balance for the modified rule implies budget balance for the original rule as well.
In order to prove lemma 4.4 we use the following claim:
Claim 4.5
In each one of settings (2a), (2b) and (2c) of theorem 4.1:
[TABLE]
Before providing the proof of claim 4.5 in subsection 4.1, we show how it implies lemma 4.4. **Proof: **(of lemma 4.4) Consider the sum of the payments:
[TABLE]
by claim 4.5 the RHS is bounded from above by:
[TABLE]
re-arranging, we observe that . Therefore the above equals to:
[TABLE]
By proposition 3.6 we get that . Hence, .
4.1 Proof of Claim 4.5
The proof consists of several steps: Claim 4.7 shows a lower bound on , Claim 4.8 gives an upper bound on for supermodular valuations and , and claim 4.9 gives a similar bound for the symmetric setting. The following technical claim will be used:
Claim 4.6
Let be a normalized function, and consider such that for every , and . Suppose that either (1) is supermodular or (2) for every , . Then it holds that .
**Proof: ** If is supermodular, then beginning with the first two summands of the LHS of the claim, by supermodularity of H:
[TABLE]
shifting our focus to and the third summand yields
[TABLE]
iterating the above for times shows
[TABLE]
by combining everything we get
[TABLE]
since and , the claim follows.
If for every , then without loss of generality when we have that . Thus, a similar proof can be applied on with strict equality.
The next claim bounds the sum of the ’s as they appear in Claim 4.5.
Claim 4.7
Suppose that the cost function is submodular and normalized, then
[TABLE]
**Proof: ** Since is submodular, by Proposition 3.3 it holds that is submodular as well. Hence, is supermodular and we can apply Claim 4.6 with and (observe that for every , hence ).
The next two claims bound the sum of valuations . Each of the claims refers to different settings of Theorem 4.1.
Claim 4.8
Suppose that each is supermodular or that . Then
[TABLE]
**Proof: ** Define by . It is easy to see that is normalized. Also, since , it holds that . Observe that if the ’s are supermodular then is supermodular as well. Applying claim 4.6 with and :
[TABLE]
For we have that:
[TABLE]
Claim 4.9
Suppose that each is symmetric and is a player-wise symmetric cost function. Then:
[TABLE]
**Proof: ** We prove the claim assuming the tie breaking rule described earlier. Consider the LHS of the claim and change the order of summation:
[TABLE]
Fix player and consider . By the implementation, for every . Therefore, for every it holds that . Moreover, since . Applying claim 4.6 on and :
[TABLE]
Summing over all players, we get
[TABLE]
Changing the order of summation, the RHS equals to
[TABLE]
We can now finish the proof of claim 4.5.
**Proof: **(of claim 4.5) By combining claims 4.7, 4.8 and 4.9:
[TABLE]
We define allocations: for every we let . maximizes (3) so for every . Hence:
[TABLE]
5 Limitations of VCG-Based Mechanisms
In this section we discuss some limitations of VCG-based mechanisms. We first ask whether our analysis of the potential mechanism is tight and prove that this is indeed the case. Our result is in fact more general: no symmetric VCG-based mechanism can do much better. We then show that the potential function is the “minimal” choice for in the affine maximizer in a concrete technical sense.
A word is in place regarding the definition of an affine maximizer. In general an affine maximizer does not have to maximize over all allocations. This can be implemented by setting for an allocation that is never selected by the affine maximizer. However, it is more convenient to work with a function that is monotone. This can be assumed without loss of generality: suppose that there is such that . Note that by the monotonicity of the valuations this implies that the affine maximizer never outputs . To make monotone, we can set – we still have that the affine maximizer always gives higher value to and in case of equality we can assume that is not selected by defining an appropriate tie breaking rule.
A Lower Bound for Symmetric VCG-Based Mechanisms
We show that every VCG-based mechanism that always covers the cost and uses a symmetric function does not provide better guarantees than the potential mechanism for the excludable public good problem. Note that the potential mechanism is symmetric in this setting since the potential function is symmetric if is symmetric.
Theorem 5.1
Let be a VCG-based mechanism for the excludable public good problem. I.e. is a mechanism that outputs
[TABLE]
where is normalized, monotone and symmetric function (i.e. for every two allocations with it holds that ). Suppose that always covers the cost and provides an approximation ratio of to the social cost, for some constant . Then, there is an instance in which the good is constructed at cost , the sum of payments is at least and the approximation ratio to the social cost is no better than .
In order to prove the theorem, we need the following claim.
Claim 5.2
Let be a VCG-based mechanism for the excludable public good problem where is normalized, monotone and symmetric. Suppose that always covers the cost and provides a finite approximation ratio to the social cost. Then, for every and it holds that .
**Proof: ** Fix a set and consider the valuation profile in which if and otherwise. Let be the output of the mechanism. Note that , otherwise, there exists with value , so the mechanism outputs an allocation with social cost , whereas the optimal allocation is with social cost , a contradiction to the approximation guarantee of . Therefore and by monotonicity of , . Furthermore, since maximizes (5), thus . By the same arguments, for every it holds that and . Therefore:
[TABLE]
Since is symmetric, for every it holds that . Fix a player . Since the mechanism covers the cost it holds that
[TABLE]
Therefore, .
We now turn to proving Theorem 5.1.
**Proof: **(of theorem 5.1) Note that since the mechanism provides a approximation, . Otherwise, for every , set . The optimal social cost is , serve all players, but at least one player is excluded so , a contradiction. Fix a set of size . We now divide the analysis, depending on whether there is some set , with such that .
Assume that there is a set with such that . In this case we get that . By the monotonicity of and claim 5.2 it holds that , therefore .
Choose an arbitrary set with . Consider the following valuation profile: set if , and otherwise. Observe that in this profile the mechanism does not output a set of size more than : consider some set with . By monotonicity of it holds that . Moreover it holds that , hence .
Therefore, the mechanism outputs a set of size at most , meaning that at least players among with value are not served. We get that the optimal optimal allocation is , but the social cost of the output of the mechanism is at least . Hence the approximation ratio of the mechanism is no better than .
Therefore, from now on assume that for every with it holds that . We construct a valuation profile in which the mechanism does not serve players whose sum of values is at least , hence the approximation ratio of the social cost is no better than . In addition, in the same profile the total sum of payments that the mechanism collects is at least .
Let be the minimal set that minimizes the density among all sets of size at most , i.e., for every it holds that . Notice that since the density of S, which is of size , is smaller than the density of any set of size at most .
Consider the following instance: for every set where is such that \varepsilon<\min\left\{\frac{1}{n^{3}},\min_{W^{\prime}\subset W}\left\{\frac{H(W^{\prime})}{|W^{\prime}|}-\frac{H(W)}{|W|}\right\}\right\}\. We get that , but for every , it holds that . In addition, consider a set , with players. Without loss of generality, . For every set .
We observe that the mechanism outputs and that for every , : by claim 5.2, for any two disjoint sets , , therefore for every subset and for every subset (which is of size at most ) the mechanism prefers the allocation over :
[TABLE]
where the second inequality holds since . Hence no player from is in nor in . Recall that we have already observed that for any , the mechanism prefers the empty set over since .
We get that the mechanism outputs , the only allocation that provides a non-negative value. Similarly, for every it holds that . Therefore, the payment of every player is:
[TABLE]
Summing over all we get that the sum of the payments is at least . By claim 5.2, . Recall that , therefore . Hence, the sum of payments that the mechanism collects is at least .
We now analyze the social cost in this instance. Note that whereas the optimal allocation is , with social cost . The approximation ratio to the social cost is therefore no better than .
Minimality of the Potential Function
The potential mechanism is an affine maximizer that uses the potential function as the function in the affine maximizer. Other choices for also guarantee that the mechanism will always cover the cost. However, we show that our choice of the potential function is not arbitrary in the sense that the potential function is the minimal function that always covers the cost.
Theorem 5.3
Let be a VCG-based combinatorial cost-sharing mechanism for a domain that contains additive valuations and always covers the cost. I.e., is a mechanism that outputs
[TABLE]
where is normalized and monotone. Then, for every it holds that .
**Proof: ** We first prove for the case where . Suppose toward contradiction that the theorem is false and let be a minimal allocation for which (i.e. for every strict subset , ). Define for each player the additive valuation if and otherwise. Observe that .
Consider the allocation that the mechanism outputs when the valuation profile is . It holds that for every , otherwise the value of the allocation , for , , is higher in (6). Thus, and by monotonicity .
Let , be the set of items with [math] value that the algorithm selects. Observe that but maximizes (6). This implies that . Together we have that . Similar arguments give us that for every , and .
Recall that is a minimal allocation for which , therefore for every it holds that . Combining all together, the sum of payments is given by
[TABLE]
Where the strict inequality follows due to our minimality assumption. Recall that . By the monotonicity of the cost function . We get that , a contradiction.
Now suppose that . In this case, the theorem is obviously correct for with so it remains to prove for with . Let be some maximal bundle with (i.e., for any ). Let be the function that is defined only on items in by for every . Observe that and that the affine maximizer coincides on subsets of with (6). Thus, applying the proof for finite we get that for every , . The theorem follows.
6 Limitations of the Potential Mechanism
In this section we revisit the potential mechanism and consider relaxing some of our assumptions on the valuations and on the cost function. We first show that the potential mechanism provides a bad approximation ratio to the social cost for some non-subadditive functions. We then show that the potential mechanism is not budget balanced with a submodular cost function and simple submodular valuations such as unit demand.
Proposition 6.1
In the simple cost sharing setting, there is a non-subadditive cost function such that the Potential Mechanism provides an approximation ratio of to the social cost.
**Proof: ** Consider players with for each . Let be the following non-subadditive cost function: for , and . Note that for every and . Set for every and for some small . The allocation that maximizes (3) is , whereas the optimal allocation is . Therefore, the approximation ratio is . For , the approximation ratio of the mechanism is .
Proposition 6.2
The Potential Mechanism is -budget-balanced* for submodular cost function and unit demand valuations.*
**Proof: ** Consider players where for each , . The cost function is defined as follows:
- •
if and there exists such that and for every player , . I.e., players “agree” on an index and either take the corresponding item or nothing, and player gets nothing.
- •
. In any other case, .
Clearly, is monotone. One can verify that it is also submodular.
Consider the following valuation profile: every player is unit demand with for every , where , and .
By proposition 3.6, for submodular function it holds that for every , therefore . Hence, in every allocation that maximizes (3) every player receives at least one service. By monotonicity of , is monotone as well (proposition 3.3), therefore there is an allocation that maximizes (3) where no player gets more than one service. Our goal now is to find the allocation that allocates every player one service and minimizes the potential function .
Recall that by [15] and Section 3, given an allocation , the marginal value equals the Shapley value666Recall that the Shapley value of a player is its expected marginal contribution to the cost in a random permutation. of player in the cooperative game with players and cost function , where the cost of serving a set is . For each player let denote the Shapley value of player in the coalition . We get that .
Fix some allocation where each player gets one service. For every , we have that . Therefore . When all players agree on the index we furthermore have that , since only the first player in the permutation has a positive marginal contribution to the cost.
If not all players agree on the permutation, then the marginal contribution to the cost of the first player who disagrees on the index is . Therefore, both this player and the first player has a marginal contribution of . In this case we thus have . Hence, the allocation in which every player gets at least one service that minimizes the potential function is the one in which players agree on an index and one player does not agree, e.g., . We note that . Similarly, for every the allocation that minimizes the potential function when player does not get a service and any other player gets exactly one service is , for which .
Therefore, the payment of player is given by:
[TABLE]
In total, the sum of payments is , whereas the cost is . Therefore, the potential mechanism is at least -budget-balanced in this case.
7 Groupstrategyproof Mechanisms
Recall that VCG-based mechanisms, such as the potential mechanism, are not group-strategyproof. That is, two or more players can collude and increase their profit. For example, consider the potential mechanism and the excludable public good problem. Note that two players with values do not get the service, since and . However, if they both misreport , they served and each pays , which provides a profit of for both of them.
In the single parameter setting, many papers study groupstrategyproof mechanisms (e.g., [3, 18, 19, 21]). Constructing groupstrategyproof mechanisms for a multi-parameter setting is even more challenging. In this section we present and analyze some simple groupstrategyproof mechanisms for combinatorial cost sharing. We start with recalling some standard definitions:
Weakly groupstrategyproofness requires that no subset of players can report a different valuation, and strictly increase the profit for every player in the subset:
- •
A combinatorial cost-sharing mechanism is *weakly groupstrategyproof *(WGSP) if for every subset of players and every valuation profile it holds that if for every then for some , where and are the outputs of the mechanism for and for the instance that is obtained from by setting for every , respectively.
The strongest notion is groupstrategyproofness in which every misreporting by a subset of players which strictly increases the profit of one of the members, strictly decreases the profit of another member:
- •
A combinatorial cost-sharing mechanism is *groupstrategyproof *(GSP) if for every subset of players and every valuation profile it holds that if for every then for every , where and are the outputs of the mechanism for and for the instance that is obtained from by setting for every , respectively.
Note that every mechanism that is GSP is also WGSP, and that every mechanism that is WGSP is also truthful.
7.1 The Sequential Mechanism
Here we restate the* Sequential Mechanism *[19] and identify two cases in which it is groupstrategyproof, *1-*budget-balance, and provides an approximation ratio of n to the social cost. Similarly to Section 4, the sequential mechanism provides the mentioned guarantees when the cost function is submodular and the valuations are supermodular and when the cost function is player-wise symmetric and the valuations are symmetric as well.
The Sequential Mechanism
Set for every player . 2. 2.
For player to :
- (a)
Let . 2. (b)
Allocate to player a bundle with the maximal size in . 3. (c)
Charge player : .
Theorem 7.1
Suppose that either:
The cost function is submodular and the valuation functions are supermodular. 2. 2.
The cost function is submodular and player-wise symmetric and the valuation functions are symmetric.
Then the Sequential Mechanism is group-strategyproof, 1-budget-balanced, provides an -approximation to the social cost and satisfies IR and NPT.
Lemma 7.2
For every monotone and normalized cost function and normalized valuation function the sequential Mechanism is 1-budget-balanced and satisfies IR and NPT.
**Proof: ** The mechanism satisfies individual rationality since a player can choose the empty bundle with zero payment, hence he never pays more than the value of the bundle allocated to him. By the monotonicity of the cost function, the payments are always positive. Moreover, since is normalized, the sum of payments is .
In order to prove groupstrategyproofness, we first prove claim 7.3 which states that for the combinatorial cost sharing with a submodular cost function and supermodular valuations, the union of bundles which maximize the profit also maximizes the profit.
Claim 7.3
Assume that the cost function is submodular. Consider player with supermodular valuation , and consider an allocation with for every . For each bundle , let denote the price of the bundle which is its marginal cost, i.e., . Let be two bundles that maximize player ’s profit, i.e., . Then maximizes the profit as well, that is, .
**Proof: ** Let and denote by and the unique elements in each of the bundles: , . The following holds:
[TABLE]
The first inequality is due to supermodularity of . The second inequality is by the fact that maximizes , therefore . The third inequality is by submodularity of . Note that , hence we conclude that
[TABLE]
therefore maximizes the profit as well.
Lemma 7.4
In each one of the settings (1) and (2) of theorem 7.1 the sequential mechanism is groupstrategyproof.
**Proof: ** We denote by and by the output of the mechanism given the valuation profile . Consider player . Note that nothing that players do affects player ’s prices. Hence, a strategic player chooses a bundle that maximizes his profit (which depends only on ). In case of tie-breaking, he chooses the bundle that decreases the prices for players , if such exists. We prove by induction on the players that for every , is the bundle that both maximizes his profit and always minimizes players prices.
Consider player , and assume that she chooses a bundle that maximizes her profit. Note that in setting (1) of theorem 7.1, claim 7.3 implies . Fix some choice of actions by the rest of the players given that player 1 chooses , i.e. player chooses and pays . Since is submodular, for every player it holds that
[TABLE]
i.e., every player pays no more than assuming that player 1 chooses the bundle . Recall that maximizes player 1’s profit, therefore he does not join any coalition, and takes .
We note that the proof is similar in setting (2) of theorem 7.1: in this case . Without loss of generality we can assume that since for every with it holds that and for every allocation of other players it holds that .
The proof of the inductive step for every player is similar to that of player .
Lemma 7.5
Assume that the cost function is subadditive (in particular, submodular). Then for every valuation profile the sequential mechanism guarantees an approximation ratio of .
**Proof: ** Consider a valuation profile and let be the output. Let be the allocation that minimizes the social cost. For every player it holds that:
[TABLE]
where the first inequality holds since is the bundle that maximizes the profit of player in the iteration of the mechanism, the second inequality is due to the subadditivity of and the last inequality is due to monotonicity of . Summing over all players we get:
[TABLE]
The approximation ratio is therefore:
[TABLE]
To see that the analysis is tight, consider the excludable public good problem: for every . For every , . For every player , set for arbitrary small . Then the mechanism outputs , and the social cost is . The optimal allocation is and its social cost is . Since is arbitrary small, the approximation ratio is no better than .
7.2 A Weakly Groupstrategyproof Mechanism
Recall the weaker notion of groupstrategyproofness - weakly-groupstrategyproofness (WGSP), in which there is no coalition which can get strictly better profit for every player in the coalition by misreporting valuations. Relaxing the requirement for groupstrategyproofnes, and requiring WGSP instead, allow us to use the sequential mechanism on a wider family of combinatorial cost-sharing problems and get the same guarantees.
The Sequential Mechanism for Subadditive Cost and General Valuations
Set for every player . 2. 2.
For player to :
- (a)
Allocate to player some bundle .
If there are several bundles that maximize the profit, choose the lexicographically first one. 2. (b)
Charge player : .
Theorem 7.6
Suppose that the cost function is subadditive. Then, the Sequential Mechanism is weakly-groupstrategyproof, 1-budget-balanced, and provides an approximation ratio of to the social cost.
**Proof: ** All proofs remain the same except weakly groupstrategyproofness. Recall that a coalition might deviate and choose different bundles if those bundles strictly increase the profit of every player in the coalition. We note that for every player , nothing that players do affects player ’s profit, therefore he does not deviate and chooses the bundle which is a bundle that maximize his profit.
Appendix A Missing Proofs
A.1 Proof of Proposition 3.2
Starting with , the potential function is uniquely determined by the recursion , where we denote by the number of non-empty sets of .
Next, we show that satisfies the requirements of the potential function. Clearly, since it holds that . Notice that for every we can rewrite :
[TABLE]
Consider the sum of discrete gradients:
[TABLE]
By re-arranging the above double sum, we obtain constants independent of such that
[TABLE]
Since , it suffices to show that and that for every non-empty , . Let , , observe that the summand appears in (7) exactly times with a plus sign, once for every . In each of these times the coefficient of is . If , appears in (7) exactly times with a minus sign, once for every . In each time the coefficient of is . Summing the positive and negative coefficients yields
[TABLE]
To conclude the proof, we note that does not appear in (7) with a minus sign. Thus, a similar observation shows that
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Lawrence M. Ausubel and Paul Milgrom. The lovely but lonely vickrey auction. In Combinatorial Auctions, chapter 1 . MIT Press, 2006.
- 2[2] Yvonne Bleischwitz, Burkhard Monien, and Florian Schoppmann. To be or not to be (served). In International Workshop on Web and Internet Economics , pages 515–528. Springer, 2007.
- 3[3] Yvonne Bleischwitz and Florian Schoppmann. Group-strategyproof cost sharing for metric fault tolerant facility location. In International Symposium on Algorithmic Game Theory , pages 350–361. Springer, 2008.
- 4[4] Liad Blumrosen and Shahar Dobzinski. Reallocation mechanisms. EC , 2014.
- 5[5] Janina Brenner and Guido Schäfer. Cost sharing methods for makespan and completion time scheduling. In Annual Symposium on Theoretical Aspects of Computer Science , pages 670–681. Springer, 2007.
- 6[6] Ruggiero Cavallo. Optimal decision-making with minimal waste: Strategyproof redistribution of vcg payments. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , pages 882–889. ACM, 2006.
- 7[7] Shuchi Chawla, Tim Roughgarden, and Mukund Sundararajan. Optimal cost-sharing mechanisms for steiner forest problems. In International Workshop on Internet and Network Economics , pages 112–123. Springer, 2006.
- 8[8] Rajat Deb and Laura Razzolini. Voluntary cost sharing for an excludable public project. Mathematical Social Sciences , 37(2):123–138, 1999.
