Abstract
We consider an environment in which several independent service providers can collaborate by pooling their critical, low-utilization resources that are subject to unavailability. We examine the allocation of the joint profit for such a pooled situation by studying an associated cooperative game. For this game, we will prove non-emptiness of the core, present a population monotonic allocation scheme and show convexity under some conditions. Moreover, four allocation rules will be introduced and we will investigate whether they satisfy monotonicity to availability, monotonicity to profit, situation symmetry and game symmetry. Finally, we will also investigate whether the payoff vectors resulting from those allocation rules are members of the core.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we will investigate situations in which several independent service providers keep the same type of critical, low-utilization resources that are subject to unavailability. For instance, one can think of a railway setting with several contractors, each having one tamping machine. Tamping machines are critical resources as they repair unstable, and so unusable, railway tracks. As only a few railway tracks become unstable per year and tamping takes some hours only, the utilization of tamping machines is relatively low. However, tamping machines sometimes fail, are in repair and as a consequence are unavailable for some weeks. One can also think of a setting with several maintenance companies, each having one repairman with specific knowledge for one and the same type of highly profitable machine. Repairmen are critical resources as they repair those machines. As machines break down only a few times per year and repair takes some hours only, utilization of repairmen is relatively low. However, due to, for example, vacation or illness, repairmen may be unavailable for several weeks. In both examples, it is possible that demand occurs for an unavailable resource. For the railway setting, this leads to an inoperative part of the railway network and as a consequence to high social costs. For the specialized repairmen setting, this leads to down time of the machine which may be very costly as well. As the fraction of time resources are utilized is relative small, and so it is very unlikely that two or more service providers need a resource simultaneously, pooling of resources may be a natural option here. In particular, by pooling of resources, more service can be provided upon request and so additional profit can be realized in the long run. This may encourage the service providers to pool their resources.
We will examine such a pooled situation by considering a stylized model of reality. In this model, we assume that (i) resources switch between being available and unavailable according to underlying stochastic processes, (ii) it does not occur that two or more service providers need a resource simultaneously, (iii) transshipments of resources between service providers occur instantaneously at zero costs and (iv) the profit of each service provider depends non-decreasingly on the long-run fraction of time that at least one resource is available. The first assumption is realistic as there is no reason to assume that unavailability of a resource of a service provider would affect the unavailability of a resource of another service provider. The second assumption is a good approximation of reality when the fraction of time resources are utilized is relative small, which implies that it is unlikely that two or more service providers need a resource simultaneously. The third assumption is realistic in settings wherein service providers are located close (enough) to each other or wherein substantial time is needed to prepare the environment for service. For the latter one, the Dutch railway setting is a good example as it already may take hours to create a safe work environment for tamping. Transshipment costs can be neglected as they are usually small relative to costs for unavailability. The last assumption is realistic in settings wherein service providers operate for a sufficient long time. In this paper, we analyse general non-decreasing profit functions as well as linear profit function, specifically. Nonlinear profit functions fit well in situations, such as the Dutch railway setting, wherein service providers operate based on performance based contracts that reward service providers more as availability increases. Linear profit functions fit well for situations with highly profitable machines for which downtime costs increase proportional to the unavailability of the machines. Under these four assumptions, the model relies on two components only: the long-run fraction of time that at least one resource is available and the profit functions of the service providers.
Although pooling of resources may generate additional profit, it is unclear yet how to allocate this amongst the participating service providers. The use of cooperative game theory can be helpful in here. In particular, we will introduce a cooperative game in order to examine the allocation of the additional profit for such a pooled situation. For this cooperative game, which we will call an availability game, we will contribute in the following way. We will show that there always exists an allocation of the joint profit that cannot be improved upon by any subgroup of players, i.e. any coalition. In this case, the so-called core of the associated game is non-empty. Moreover, we present an allocation of the joint profit for every possible coalition such that each player’s payoff increases as the coalition to which the player belongs grows larger, i.e. we present a population monotonic allocation scheme. In addition, we will present conditions that ensure that each player’s marginal contribution increases as the coalition to which he or she belongs grows larger, i.e. convexity of the associated game. We will also introduce four different allocation rules and investigate whether the payoff vectors resulting from those allocation rules increase for an increasing availability and increasing profit, i.e. satisfy monotonicity to profit and monotonicity to availability. Furthermore, we will investigate whether the payoff vectors resulting from those allocation rules are the same for players that have the same profit function and availabilities, i.e. satisfy situation symmetry, and are the same for players that have the same payoff for every possible coalition, i.e. satisfy game symmetry. Finally, we will also investigate whether the payoff vectors resulting from those allocation rules are members of the core.
This paper can be positioned at the interface of cooperative game theory and operations research problems. In the literature, this research area is summarized under the heading of operations research (OR) games. An overview of OR games can be found in Borm et al. (2001). They divide OR games in five categories, namely connection, routing, scheduling, production and inventory. Availability games are mostly overlapping with the last category. Recent publications in this category focus on economic order quantity situations (Meca et al. 2004), economic lot sizing situations (Van Heuvel et al. 2007; Drechsel and Kimms 2011), newsvendor situations (Özen et al. 2008), truckload delivery situations (Hezarkhani et al. 2016; Li et al. 2016) and spare parts situations (Karsten et al. 2012; Karsten and Basten 2014; Karsten et al. 2015). Recently, Bachrach et al. (2011, 2012, 2013) introduced and investigated a new class of operations research games, called cooperative reliability games, which comes closer to our work. Those games consider a directed network with one sink and one source, where each link is controlled by a self-interested agent. Those links are subject to failures with some fixed probability. The agents can form coalitions to obtain connectivity from the sink to the target node. A fixed reward, which is equal to the probability of achieving connectivity for that coalition, should then be divided amongst the participating agents. In particular, Bachrach et al. (2011) focused on how to approximate the Shapley value for large networks and Bachrach et al. (2012, 2013) focused on when cooperative reliability games are convex and balanced. The key difference with their work is that Bachrach et al. (2011, 2012, 2013) assumed that the reward obtained per coalition depends on a single societal profit function only, while in our model it is assumed that the reward obtained per coalition depends on the sum of the profit functions of all players of that coalition. So, results of Bachrach et al. (2011, 2012, 2013) are not applicable here.
The remainder of this paper is as follows. We start in Sect. 2 with preliminaries on cooperative game theory. In Sect. 3, we introduce cooperative availability games and show general properties regarding those games. In Sect. 4, we introduce four different allocation rules and investigate them on several properties. Finally, we draw conclusions and suggest directions for future research in Sect. 5.
2 Preliminaries on cooperative game theory
In this section, we provide some basic elements of cooperative game theory. Consider a finite set N of players and a function \(v : 2^N \rightarrow \mathbb {R}\) called the characteristic function, with \(v(\emptyset )=0\). The pair (N, v) is called a cooperative game with transferable utility, shortly called a game. A subset \(M \subseteq N\) is a coalition and v(M) is the worth coalition M can achieve by itself. The worth can be transferred freely amongst the players. The set N is called the grand coalition. For a coalition \(M \subseteq N\), the subgame \(( M,v_M)\) is the game with player set M and characteristic function \(v_M\) with \(v_M(K) = v(K)\) for all \(K \subseteq M\). A game (N, v) is monotonic if the value of every coalition is at least the value of any of its subcoalitions, i.e. v(M) \(\le \) v(K) for all M, K \(\subseteq N\) \(\text{ with }\) \(M \subseteq K.\) When the value of the union of any two disjoint coalitions is larger than or equal to the sum of the values of these disjoint coalitions, a game (N, v) is superadditive, i.e. \(v(M) + v(K)\le v(M \cup K)\) for all \(M, K \subseteq N\) with \(M \cap K\) \(= \emptyset \). A game (N, v) is convex if the marginal contribution of any player to any coalition is less than his marginal contribution to a larger coalition, i.e. \(v(K \cup \{i\}) - v(K) \ge v(M \cup \{i\}) - v(M)\) for all \(M \subseteq K \subseteq N \backslash \{i\}\) and all \(i \in N\).
An allocation for a game (N, v) is an N-dimensional vector \(x \in \mathbb {R}^N\) describing the payoffs to the players, where player \(i \in N\) receives \(x_i\). An allocation is called efficient if \(\sum _{i \in N}x_i = v(N)\). This implies that all worth is divided amongst the players of the grand coalition N. An allocation is individual rational if \(x_i \ge v(\{i\})\) for all \(i \in N\) and stable if no group of players has an incentive to leave the grand coalition N, i.e. \(\sum _{i \in M}x_i \ge v(M)\) for all \(M \subseteq N\). The set of efficient and individual rational allocations, called the imputation set of (N, v), is denoted by
The set of efficient and stable allocations, called the core of (N, v), is denoted by
Following Bondareva (1963) and Shapley (1967), a game (N, v) is called balanced if the core is non-empty. If for every \(M \subseteq N\), the corresponding subgame \((M,v_M)\) is balanced, the game is called totally balanced.
A well-known rule that associates an allocation with each game is the Shapley value, proposed by Shapley (1953). This allocation rule can be described in several ways. One is to calculate a weighted average over all marginal contributions that a player can make to any possible coalition. Formally, for any game (N, v) the Shapley value is defined by
For any game (N, v), an allocation scheme \(y = (y_{i,M})_{M \subseteq N, i \in M}\) specifies how to allocate the worth of every coalition. A population monotonic allocation scheme (PMAS), introduced by Sprumont (1990), is an allocation scheme \((y_{i,M})_{M \subseteq N, i \in M}\) that is efficient, i.e. \(\sum _{i \in M}y_{i,M} = v(M)\) for all \(M \subseteq N\), and monotonic, i.e. \(y_{i,M} \le y_{i,K}\) for all \(M,K \subseteq N \text { with } M \subseteq K\) and all \(i \in M\). If a game (N, v) admits a PMAS y, then it is totally balanced and its allocation for the grand coalition, \((y_{i,N})_{i \in N}\), is a member of the core.
3 Model description
In this section, we introduce our model of the underlying situation, which we call an availability situation. Moreover, we define the cooperative game to which we will refer as the associated availability game.
3.1 Availability situations
Consider an environment with N a finite set of independent service providers, each providing the same service with a single interchangeable resource (for example a tamping machine or a repairman). For each service provider \(i \in N\), we assume that its resource can switch between two states, namely available and unavailable, according to an underlying stochastic process, in which \(A_i \in (0,1)\) represents the resulting long-run fraction of time that the resource of player i is available.
Remark 1
An example of such a stochastic process is the one in which the resource of any service provider \(i \in N\) starts in state available for a fixed time unit, for example a day or an hour, and then, at the end of each time unit in which the resource is available, switches to state unavailable with probability \(p_i^{a} \in (0,1)\) or remains in the same state with probability \(1-p_i^{a}\) and, at the end of each time unit in which the resource is unavailable, switches to state available with probability \(p_i^{u} \in (0,1)\) or remains in the same state with probability \(1-p_i^{u}\). For such a (discrete time) stochastic process, one can determine easily that the steady-state probability of being available is \(\frac{p^u_i}{p^a_i +p^u_i}\) and it holds, with probability 1, that the long-run fraction of time that the resource is available converges to this steady-state probability. Here, with \(Z_i^T\) the number of time units up to and including time unit T for which the resource is available, the long-run fraction of time that the resource is available is defined as \(\lim _{T \rightarrow \infty } Z_i^T/T\).
From now on, we refer to \(A_i\) as the availability and to \(1-A_i\) as the unavailability. We assume that the profit function of each service provider depends on its availability. Let \(P_i : [0,1] \rightarrow \mathbb {R}_+ \) be this non-decreasing profit function. So, for availability \(A_i\) service provider \(i \in N\) receives a profit of \(P_i(A_i)\). We assume that there exists a \(j \in N\) for which \(P_j(1) - P_j(A_j) > 0\). To analyse this setting, we define an availability situation as a tuple (N, A, P) with N, \(A = (A_i)_{i \in N}\), and \(P = (P_i)_{i \in N}\) as described above. We use \(\theta \) to refer to an availability situation \(\theta = (N,A,P)\) and \(\theta '\) to refer to availability situation \(\theta ' = (N',A',P')\). The set of availability situations is denoted by \(\Theta \).
3.2 Availability games
The service providers, from now on called players, can protect against unavailability by pooling their resources. We assume that transshipments of resources between two or multiple players occur instantaneously at zero costs. Moreover, we assume that no two or more players will demand for a resource simultaneously, and so, the new availability of player i as part of coalition M becomes the long-run fraction of time that at least one resource is available. We define this long-run fraction of time that at least one resource of coalition M is available for any player \(i \in M\) as follows
Remark 2
For example, for multiple stochastic processes like the one presented in Remark 1, the relationship in (1) holds with probability 1, whenever the probabilities of the different players are independent. This follows as a similar relationship holds for the steady-state probabilities. Note there may exist several other (types of) stochastic processes for which (1) holds.
As profit depends on this availability (only), the profit of player i as part of coalition M becomes \(P_i(A_i^M)\), and thus, the profit of coalition M becomes \(\sum _{i \in M} P_i(A_i^M)\). Now, we can define a game corresponding to an availability situation \(\theta \).
Definition 1
For any availability situation \(\theta = (N,A,P)\), the game \((N,v^{\theta })\) with
for all \(M \in 2^N \backslash \{ \emptyset \}\) and \(v^{\theta }(\emptyset ) = 0\) is called the associated availability game.
Example 1
Consider availability situation \(\theta \in \Theta \) with \(N = \{1, 2, 3\}\), \(A_1 = 0.6, A_2 = 0.9, A_3 = 0.5,\) \(P_1(x) = x, P_2(x) = 2x\) and \(P_3(x) = 7x\). In Table 1, the related availabilities and corresponding profits for \((N,v^{\theta })\) are presented per coalition. \(\diamond \)
3.3 General properties
In this section, we will present general properties for availability games. The following two lemma’s will be used frequently. The first lemma states that the availability of a coalition is at least the availability of any of its subcoalitions, while the second lemma states that the profit of a coalition is at least the profit of any of its subcoalitions.
Lemma 1
For every availability situation \(\theta \in \Theta \), it holds that for any \(M,K \subseteq N\) with \(M\subseteq K\)
Proof
Let \(\theta \in \Theta \) be an availability situation and \(M,K \subseteq N\) with \(M \subseteq K\). We have \(0 \le 1-A_i \le 1\) for all \(i \in N\) and consequently
where the inequality uses \(0 \le \prod _{i \in M} (1-A_i) \le 1\) for all \(M \subseteq N\). \(\square \)
Lemma 2
For every availability situation \(\theta \in \Theta \) with \(M,K \subseteq N\), \(M \subseteq K\) and \(i \in M\), it holds that
Proof
Let \(\theta \in \Theta \) be an availability situation. Then
where the inequality is a result of (i) Lemma 1 and (ii) the non-decreasing property of \(P_i\). The first and last equality follow from (1). \(\square \)
As a result of Lemma 2, we can now claim that availability games are monotonic: the value of a coalition is at least the value of any of its subcoalitions.
Proposition 1
Every availability game \((N,v^{\theta })\) is monotonic.
Proof
Let \(\theta \in \Theta \) be an availability situation and \((N,v^{\theta })\) be the corresponding availability game. Now, let \(M,K \subseteq N\) with \(M\subseteq K\). Then
The first and last equality hold by definition. The first inequality holds by Lemma 2 and the second one holds as \(P_i(x) \in \mathbb {R}_+\) for all \(x \in [0,1]\). \(\square \)
In addition, we are able to show that every availability game \((N,v^{\theta })\) is superadditive: the value of the union of disjoint coalitions is larger than or equal to the sum of the values of these coalitions.
Proposition 2
Every availability game \(( N,v^{\theta })\) is superadditive.
Proof
Let \(\theta \in \Theta \) be an availability situation and \((N,v^{\theta })\) be the corresponding availability game. Let \(M, K \subseteq N\) with \(M \cap K = \emptyset \). Then
where the inequality holds by Lemma 2. \(\square \)
Superadditivity does not suffice to conclude that there always exists an allocation that divides total profit completely such that it cannot be improved upon by any coalition, i.e. the core is non-empty. Following Shapley (1953), convexity of a game is a sufficient condition for core non-emptiness. A game is convex if each player’s marginal contribution increases as the coalition to which he or she belongs grows larger. The next example shows that availability games are not convex in general.
Example 2
Consider the situation of Example 1. Observe that \(v(\{1,2,3\})\) \(-v(\{2,3\})\) \(= 9.80 \) \(- 8.55\) \(= 1.25\) \(< 2.90\) \(= 6.40\) \(- 3.50\) \(= v(\{1,3\})\) \(- v(\{3\})\) and we can conclude that the game is not convex. \(\diamond \)
Despite that availability games are not convex in general, non-emptiness of the core can still be proved.
Theorem 1
Every availability game \((N, v^{\theta })\) has a non-empty core.
Proof
Let \(\theta \in \Theta \) be an availability situation and \((N,v^{\theta })\) be the corresponding availability game. Let \((x_i)_{i \in N}\) be the allocation with
First, observe that
and thus, the allocation is efficient. Secondly, observe that for any \(M \subseteq N\)
where the inequality holds by Lemma 2. Given that \(\sum _{i \in M} x_i \ge v^{\theta }(M)\), the allocation is stable as well. Hence, \((x_i)_{i \in N}\) is an efficient and stable allocation and thus always a member of the core. The core is non-empty. \(\square \)
We can also claim that availability games have a population monotonic allocation scheme (PMAS): there exists an allocation of the joint profit for every possible coalition such that each player’s payoff increases as the coalition to which the player belongs grows larger.
Theorem 2
For every availability situation \(\theta \in \Theta \) allocation scheme \((a_{i,M})_{M \subseteq N, i \in M}\), given by
is a population monotonic allocation scheme (PMAS) for \((N,v^{\theta })\).
Proof
Let \(\theta \in \Theta \) be an availability situation. Then, observe that
for all \(M \subseteq N\). Secondly, observe that for any \(M, K\subseteq N\) with \(M \subseteq K\) and \(i \in M\) we have
and so \((a_{i,M})_{i \in M, M \subseteq N}\) is a PMAS. \(\square \)
Following Sprumont (1990), every game with a PMAS is totally balanced. A game is totally balanced if all of its subgames have non-empty cores. Since every availability game has a PMAS, it is totally balanced as well.
Corollary 1
Every availability game \((N,v^{\theta })\) is totally balanced.
In Example 2, it is illustrated that availability games are not convex in general. However, it is of interest to investigate if there exist necessary and sufficient conditions for a class of availability situations for which convexity can be ensured. We will investigate the class of availability situations with linear profit functions, i.e. the class of availability situations for which for every player \(i \in N\), there exists a \(p_i \in \mathbb {R}_+\) such that \(P_i(x) = p_ix\) for all \(x \in [0,1]\). These situations will be called linear availability situations.Footnote 1 The set of linear availability situations will be denoted by \(\Theta ^L\).
Definition 2
Let \(\theta \in \Theta ^L\) be a linear availability situation. Then function \(\mathscr {L}_{ij}(\theta )\) is defined by
Theorem 3
For every linear availability situation \(\theta \in \Theta ^L\) with \( \vert N \vert \ge 2\) , the corresponding game \((N,v^{\theta })\) is convex if and only if
Proof
See AppendixFootnote 2.
Example 3
Consider the (linear) availability situation of Example 1. Note that \(p_1=1, p_2=2\) and \(p_3=7\). Then, \(\mathscr {L}_{12}(\theta )\) is given by
As derived directly in Example 2, the game is indeed not convex. \(\diamond \)
For linear availability situations \(\theta \in \Theta ^L\) with \(p_i = \overline{p} \in \mathbb {R}_+\) for all \(i \in N\), Theorem 3 reduces to an easier result.
Corollary 2
For every linear availability situation \(\theta \in \Theta ^L\) with \(N = \{1, 2, ..., n\}\) with \(n \ge 2\), \(p_i = \overline{p} \in \mathbb {R}_{+}\) for all \(i \in N\), and \( A_1 \ge A_2 \ge \cdots \ge A_n\), the corresponding availability game \((N,v^{\theta })\) is convex if and only if
Proof
See Appendix.
Corollary 2 states that, under specific conditions, the corresponding availability game is convex. For example, availability games with only few players are more likely to be convex than games with many players (under the same highest and second highest availabilities). This may be due to the following effect. The additional profit player \(i \in N\) generates when another player \(j \in N \backslash \{i\} \) enters the coalition decreases by the size of the coalition player \(i \in N\) belongs to. This effect may occur for linear availability situations \(\theta \in \Theta ^L\) where availabilities (and profits) are constant as well.
Corollary 3
For every linear availability situation \(\theta \in \Theta ^L\) with \(N = \{1, 2, ..., n\}\) with \(n \ge 2\), \(A_i = \overline{A}\) for all \(i \in N\), and \(p_1 \le p_2 \le \cdots \le p_n\), the corresponding availability game \((N,v^{\theta })\) is convex if and only if
Proof
See Appendix.
Corollary 4
For every linear availability situation \(\theta \in \Theta ^L\) with \(N = \{1, 2, ..., n\}\) with \(n \ge 2\), \(p_i = \overline{p} \in \mathbb {R}_+\), and \(A_i = \overline{A}\) for all \(i \in N\), the corresponding availability game \((N,v^{\theta })\) is convex if and only if
Proof
See Appendix.
Corollaries 2, 3 and 4 can be used to investigate quickly whether games are convex and as a consequence to conclude whether the core is non-empty.
4 Allocation rules
In the proof of Theorem 1, an interesting allocation per availability situation, which can be seen as an allocation rule, is presented. Despite that the payoff vector resulting from this allocation rule is a core member of every availability situation, it will not necessarily satisfy any other (appealing) property. Even stronger, there may exist other allocation rules that (i) allocate total profit based on other criteria, (ii) satisfy interesting properties and (iii) have a payoff vector that is a core member for every availability situation as well. For that reason, we will introduce three other (interesting) allocation rules for availability situations. For the, in total, four allocation rules, we will investigate if they satisfy monotonicity to availability, monotonicity to profit, situation symmetry and game symmetry. Finally, we will also investigate the core membership of the payoff vectors resulting from the allocation rules.
4.1 Four allocation rules
First, we will formally introduce an allocation rule defined on availability situations.
Definition 3
An allocation rule on availability situations is defined as a mapping \(\gamma \) that assigns to any availability situation \(\theta \in \Theta \) a vector \(\gamma (\theta ) \in \mathbb {R}^N\).
We will only pay attention to allocation rules that divide the total profit, i.e. \(\sum _{i \in N}\gamma _i(\theta ) = v^{\theta }(N)\) for any availability situation \(\theta \in \Theta \). The total profit that can be generated only depends on (i) the availabilities and (ii) the profit functions of the different players. In what follows, we will first introduce three intuitive allocation rules, each depending on the availabilities and profit functions of the different players of the corresponding availability situation. Thereafter, we will present the fourth allocation rule which is based on a well-known allocation rule for cooperative games, namely the Shapley value.
The first allocation rule (which is introduced in the proof of Theorem 1 as an allocation for every availability situation) will allocate to every player the profit, he or she generates with its own profit function while being part of the grand coalition. It is based on the idea that a player that generates more profit than another player under the same availability should also be rewarded more. This allocation rule, which we call Own Profit (OP), is described for any availability situation \(\theta \in \Theta \) by
A possible drawback of the first allocation rule is that players are not rewarded directly for the impact of their own availability (on the profit functions of others). The second allocation rule overcomes this by allocating the total profit proportional to the availabilities of the players. The idea behind this allocation rule is that the more a player is available, the more it can help others, and for this, it will be rewarded. Formally, for every availability situation \(\theta \in \Theta \), this allocation rule, which we call Proportional to Availability (PA), is defined by
A possible drawback of the second allocation rule is that players are not rewarded directly for the profit generated with their own profit function while being part of the grand coalition. The third allocation rule will not overcome this (nor the other) drawback. However, it tries to find another intuitive way of dividing the profit based on the availabilities and profit functions. This allocation rule will first allocate the individual profit, i.e. the profit that every player would obtain in the individual situation, to every player. In fact, every player will be rewarded for their own availability and profit function. Then, the remaining part of the total profit, i.e. the surplus, will be divided proportional to the players’ profit loss due to unavailability. We measure the profit loss due to unavailability as the difference in profit a player can bring in with 100% availability and with their (own) individual availability. The idea behind this part is that players are rewarded for their profit potential they can bring with 100% availability. Formally, for every availability situation \(\theta \in \Theta \) this allocation rule, which we call Surplus Proportional to profit Potential (SPP), is defined byFootnote 3
The last allocation rule that will be introduced is the Shapley value. The Shapley value (Shapley 1953) is a well-known (and accepted) allocation rule for cooperative games. It is the only one that satisfies the efficiency, monotonicity, symmetry and dummy property simultaneously. We will define the Shapley Value (SV) for every availability situation \(\theta \in \Theta \) by
4.2 Properties of allocation rules
In this section, we will investigate whether the allocation rules satisfy intuitive properties as monotonicity to availability, monotonicity to profit, situation symmetry and game symmetry. Finally, we will also investigate whether the payoff vectors resulting from the allocation rules are core members.
4.2.1 Monotonicity to availability
Suppose the availability of a player increases. Then, this specific player is able to generate more profit. Moreover, as the total availability increases, other players can generate more profit as well. Hence, it is natural to assume that players do not expect decreases in their allocations. We will investigate whether the allocation rules will allocate to all players not less when the availability of any player increases, i.e. satisfy monotonicity to availability.
Definition 4
An allocation rule \(\gamma \) satisfies monotonicity to availability on \(D \subseteq \Theta \) if for any two availability situations \(\theta , \theta ' \in D\), where \(\theta \) and \(\theta '\) coincide except for the availability of player j with \(A_j \le A_j'\)
The following example will show that allocation rules PA, SPP and SV do not satisfy monotonicity to availability on \(\Theta \).
Example 4
Consider availability situation \(\theta \in \Theta \) with \(N = \{1,2,3\}\), \(A_1 = 0.5\), \(A_2 =0.5\), \(A_3 =0.5\) and
Moreover, consider situation \(\theta ' \in \Theta \), which coincides with \(\theta \) except that \(A_3' = 0.75\). In Table 2, the four allocations regarding those two situations \(\theta \) and \(\theta '\) are depicted for all three players.
Allocation rules PA, SPP and SV do not satisfy monotonicity to availability, since
Note that this example can also be constructed with continuous profit functions.\(\diamond \)
Proposition 3
Allocation rule OP satisfies monotonicity to availability on \(\Theta \).
Proof
See Appendix.
For linear availability situations, we obtain different results regarding monotonicity to availability. The following example will be used to show that allocation rules PA and SV do not satisfy monotonicity to availability on \(\Theta ^L\).
Example 5
Consider the (linear) availability situation \(\theta \in \Theta ^L\) of Example 1. Moreover, consider situation \(\theta ' \in \Theta ^L\), which coincides with \(\theta \) except that \(A_1' = 0.8\) now. In Table 3, the four allocations regarding those two situations \(\theta \) and \(\theta '\) are depicted for all three players. All numbers are rounded to two decimals.
Allocation rules PA and SV do not satisfy monotonicity to availability, since
Proposition 4
Allocation rules OP and SPP satisfy monotonicity to availability on \(\Theta ^L\).
Proof
See Appendix.
4.2.2 Monotonicity to profit
Suppose the profit function of a player changes such that the difference between the outcomes of the old and the new profit function is non-decreasing in the argument, i.e. in (total) availability. Then, this specific player is able to generate more profit. Despite that the other players will not generate more profit themselves, they are responsible (in terms of availability) for the (extra) profit of the specific player as well. Hence, it is natural to assume that players do not expect decreases in their allocations. We will investigate whether the allocation rules will allocate to all players not less when the difference between the outcome of the new and old profit function of a specific player is non-decreasing in (total) availability, i.e. satisfy monotonicity to profit.
Definition 5
An allocation rule \(\gamma \) satisfies monotonicity to profit on \(D \subseteq \Theta \) if for any two availability situations \(\theta , \theta ' \in D\), where \(\theta \) and \(\theta '\) coincide except for the profit of player j with \(P_j'(x) - P_j(x)\) non-decreasing in x,
The following example will show that allocation rule SPP does not satisfy monotonicity to profit on \(\Theta ^L\).
Example 6
Consider an availability situation \(\theta \in \Theta ^L\) with \(N = \{1,2,3\}, A_1 = 0.6,\) \(A_2 =0.7, A_3 =0.5, p_1=1, p_2=3\) and \(p_3=9\). Moreover, consider situation \(\theta ' \in \Theta ^L\), which coincides with \(\theta \) except that \(p_1' = 10\) now. In Table 4, the four allocations regarding those two situations \(\theta \) and \(\theta '\) are depicted for all three players. Note that all numbers are rounded to two decimals.
Allocation rule SPP does not satisfy monotonicity to profit, since
Proposition 5
Allocation rules OP, PA and SV satisfy monotonicity to profit on \(\Theta \).
Proof
See Appendix.
4.2.3 Situation symmetry
Suppose that two players have the same profit function and availability. Then, those players both generate the same profit and both help other players (in terms of availability) in the same way. Hence, it is natural to assume that those players expect the same allocation. We will investigate whether the allocation rules will indeed allocate the same to both players, i.e. satisfy situation symmetry. For this, we will introduce some new definitions.
Definition 6
For any availability situation \(\theta \in \Theta \), players \(i,j \in N\) with \(i \not =j\) are called situation symmetric if
Definition 7
An allocation rule \(\gamma \) satisfies situation symmetry on \(D \subseteq \Theta \) if for all \(\theta \in D\) and all situation symmetric players \(i,j \in N\) with \(i \ne j\) it holds that
Proposition 6
Allocation rules OP, PA, SPP and SV satisfy situation symmetry on \(\Theta \).
Proof
See Appendix.
4.2.4 Game symmetry
Suppose that player i and player j have the same individual profit, but not necessarily the same profit functions and availabilities. Moreover, assume that the total profit of any coalition including player i equals the total profit of the same coalition including player j rather than i. So, both players are symmetric, but now in terms of the corresponding availability game. Hence, it is natural to assume that both players expect the same allocation. We will investigate whether the allocation rules will allocate the same to both players, i.e. satisfy game symmetry. We will first introduce the definition of symmetric players in terms of availability games.
Definition 8
For any availability situation \(\theta \in \Theta \) players \(i,j \in N\) with \(i \ne j\) are called game symmetric if for the corresponding availability game \((N,v^{\theta }\))
Definition 9
An allocation rule \(\gamma \) satisfies game symmetry on \(D \subseteq \Theta \) if for all \(\theta \in D\) and all game symmetric players \(i,j \in N\) with \(i \ne j\) it holds that
The following example will show that allocation rules OP, PA and SPP do not satisfy game symmetry on \(\Theta ^L\).
Example 7
Consider a linear availability situation \(\theta \in \Theta ^L\) with \(N = \{1,2,3\}, A_1 = 0.7\), \(A_2 = 0.8, A_3 = 0.9, p_1= 9, p_2= 40\) and \(p_3 =7\). Then \(v^{\theta }(\{1\}) = 6.3 = v^{\theta }(\{3\})\) and \(v^{\theta }(\{1,2\}) = 40.06 = v^{\theta }(\{2,3\})\), and thus, we can conclude that players 1 and 3 are game symmetric. The corresponding allocations are presented in Table 5. All numbers are rounded to two decimals.
The allocation rules OP, PA and SPP do not satisfy game symmetry, since
Proposition 7
Allocation rule SV satisfies game symmetry on \(\Theta \).
Proof
Let \(\theta \in \Theta \) be an availability situation. Moreover, let \(i,j \in N\) with \(i \not =j\) be two game symmetric players in \((N,v^{\theta })\). Following Shapley (1953), it holds that \(\Phi _i(N,v^{\theta }) = \Phi _j(N,v^{\theta })\). As a consequence, \(\hbox {SV}_i(\theta ) = \Phi _i(N,v^{\theta }) = \Phi _j(N,v^{\theta }) = \hbox {SV}_j(\theta )\), which concludes that SV satisfies game symmetry. \(\square \)
4.2.5 The core
In Sect. 3.3, we already investigated the non-emptiness of the core. This result was based on finding a payoff vector that always belongs to the core. Now, we will investigate whether the payoff vectors resulting from the allocation rules are always members of the core as well.
The following example will show that there exists an availability situation \(\theta \in \Theta \) for which payoff vectors PA\((\theta )\), SPP\((\theta )\) and SV\((\theta )\) are not core elements.
Example 8
Consider the availability situation of Example 4. Then, the corresponding game \((N,v^{\theta })\) is given by \(v^{\theta }(\{1\}) = v^{\theta }(\{2\}) = v^{\theta }(\{3\}) = \frac{1}{2}\), \( v^{\theta }(\{1,3\}) = v^{\theta }(\{2,3\}) = 1 \frac{1}{2} \), \( v^{\theta }(\{1,2\}) = 1 \) and \( v^{\theta }(\{1,2,3\}) = 2\). The payoff vectors resulting from allocation rules PA, SPP and SV (see Table 2) are not elements of the core, since
\(\diamond \)
From the proof of Theorem 1, the following result is obtained immediately.
Corollary 5
For every availability situation \(\theta \in \Theta \), it holds that
The following example will show that there exists a linear availability situation \(\theta \in \Theta ^L\) for which payoff vectors PA\((\theta )\) and SV\((\theta )\) are not core elements.
Example 9
Consider the (linear) availability situation \( \theta \in \Theta ^L\) of Example 1. The related allocations are presented in Table 6. All values are rounded to two decimal places.
The payoff vectors resulting from allocation rules PA and SV are not elements of the core, since
\(\diamond \)
Based on Corollary 5 and Example 9, it remains to investigate whether payoff vectors resulting from SPP are core members. We make use of the following lemma.
Lemma 3
Let \(\theta \in \Theta ^L\) be a linear availability situation with \(x_i = 1-A_i\) for all \(i \in N\). Then for all \(M \subseteq N\) it holds that
Proof
See Appendix.
Proposition 8
For every availability situation \(\theta \in \Theta ^L\) it holds that
Proof
See Appendix.
Following Shapley (1953), the Shapley value is a member of the core if the corresponding game is convex. In Theorem 3, necessary and sufficient conditions are given for convexity of games associated with linear availability situations. Combining them leads to our last result immediately.
Corollary 6
For linear availability situations \(\theta \in \Theta ^L\) with \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j \in N\) and \(i \ne j\), SV\((\theta )\) is a member of the core of \((N,v^{\theta })\).
5 Conclusions and future research
We formulated a stylized model of reality in which several independent service providers can collaborate by pooling their critical, low-utilization resources that are subject to unavailability. We examined the allocation of the joint profit for such a pooled situation by studying an associated cooperative game. For this game, we proved that there always exists an allocation of the joint profit that cannot be improved upon by any coalition. In addition, we showed that there exists an allocation of the joint profit for every possible coalition such that each player’s payoff increases as the coalition to which the player belongs grows larger. Moreover, we discussed four allocation rules and investigated whether they satisfy intuitive properties such as monotonicity to availability, monotonicity to profit, situation symmetry and game symmetry. Next to that, we investigated whether the payoff vectors resulting for those allocation rules are core members. In Tables 7 and 8, all results have been summarized.
With respect to the original underlying real-life examples (of tamping machines and specialized repairmen needed for highly profitable machines), these results provide operational insights. For instance, as (in terms of the game) there always exists an allocation of the joint profit that cannot be improved upon by any coalition, investigating collaboration between several contractors or maintenance companies is a worthwhile endeavour. However, it is likely that intuitive and simply-to-implement allocations rules, such as PA and SPP who divide profit proportionally to criteria such as availability and profit, may have some shortcomings in practice. For instance, it is well possible that the payoff vectors of these allocation rules may not be part of the core as well as that they may lack the monotonicity to availability property, which implies that an increase in the availability not necessarily implies an increase in the profit allocation. A possible drawback of allocation rule SV is its implementation, as it requires calculating the values of all coalitions, which may be problematic as this increases exponentially in the number of players. Oppositely, it seems that allocation rule OP, which allocates the profit, he or she generates with its own profit function while being part of the grand coalition, is a good starting point as it is easy to implement, core-guaranteed and dominates allocation rules PA and SPP in terms of the investigated properties.
For further research, it would be interesting to study the following extensions. First, one could look at an extended model with the property that two or more service providers may demand for a resource simultaneously. In this case, it is not always possible (anymore) that another resource can take over demand. Moreover, we can extend the model by including that (i) the individual resource availability depends on the number of parties that participate in the pool and (ii) exchange costs are included for transporting resources to other parties in case of pooling of the resources.
Notes
Availability games originating from linear availability situations with \(p_j >0\) for some \(j \in N\) and \(p_i = 0\) for all \(i \in N \backslash \{j\}\) may be recognized as big boss games (see Muto et al. 1988). As a consequence, availability games originating from linear availability situation may be recognized as linear combinations of big boss games. This does not hold for availability games in general.
For the sake of readability, lengthy proofs are presented in the appendix.
One can also be interested in the situation wherein the profit loss due to unavailability is with respect to \(A^N\) (rather than 100%). Then, allocation rule SSP boils down to OP.
References
Bachrach Y, Meir R, Feldman M, Tennenholtz M (2011) Solving cooperative reliability games. In: Cozman FG, Pfeffer A (eds) Uncertainty in artificial intelligence. AUAI Press, Corvallis, Oregon, pp 27–34
Bachrach Y, Kash I, Shah N (2012) Agent failures in totally balanced games and convex games. In: Goldberg PW (ed) Internet and network economics. WINE 2012. Lecture notes in computer science. Springer, Berlin, pp 15–29
Bachrach Y, Porat E, Rosenschein J (2013) Sharing rewards in cooperative connectivity games. J Artif Intell Res 47:281–311
Bondareva O (1963) Some applications of linear programming methods to the theory of cooperative games. Probl Kibern 10:119–139
Borm P, Hamers H, Hendrickx R (2001) Operations research games: a survey. Top 9(2):139–199
Drechsel J, Kimms A (2011) Cooperative lot sizing with transshipments and scarce capacities: solutions and fair cost allocations. Int J Prod Res 49(9):2643–2668
Hezarkhani B, Slikker M, Van Woensel T (2016) A competitive solution for cooperative truckload delivery. OR Spectr 38(1):51–80
Karsten F, Basten R (2014) Pooling of spare parts between multiple users: how to share the benefits? Eur J Oper Res 233(1):94–104
Karsten F, Slikker M, van Houtum G (2012) Inventory pooling games for expensive, low-demand spare parts. Nav Res Logist 59(5):311–324
Karsten F, Slikker M, Van Houtum G (2015) Resource pooling and cost allocation among independent service providers. Oper Res 62(2):476–488
Li J, Cai X, Zeng Y (2016) Cost allocation for less-than-truckload collaboration among perishable product retailers. OR Spectr 38(1):81–117
Meca A, Timmer J, Garcıa I, Borm P (2004) Inventory games. Eur J Oper Res 156(1):127–139
Muto S, Nakayama M, Potters J, Tijs S (1988) On big boss games. Econ Stud Q 39(4):303–321
Özen U, Fransoo J, Norde H, Slikker M (2008) Cooperation between multiple newsvendors with warehouses. Manuf Serv Oper Manag 10(2):311–324
Shapley L (1953) A value for n-person games. In: Tucker A, Kuhn H (eds) Contributions to the theory of games II. Princeton University Press, Princeton, pp 307–317
Shapley L (1967) On balanced sets and cores. Nav Res Logist Q 14(4):453–460
Sprumont Y (1990) Population monotonic allocation schemes for cooperative games with transferable utility. Games Econ Behav 2(4):378–394
Van den Heuvel W, Borm P, Hamers H (2007) Economic lot-sizing games. Eur J Oper Res 176(2):1117–1130
Acknowledgements
We thank the review team for their helpful comments. This article is based upon work supported by the Netherlands Organisation for Scientific Research (NWO) and ProRail (438-12-305).
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
Proof of Theorem 3
Let \(\theta \in \Theta ^L\) be a linear availability situation with \(\vert N \vert \ge 2\) and \((N,v^{\theta })\) be the corresponding availability game. We will show that the corresponding availability game is convex if and only if \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j \in N\) with \(i \not =j\).
\((\Rightarrow )\) Suppose the availability game is convex, i.e. (Shapley 1953), then
for all \(i,j \in N\) with \(i \ne j\) and all \(M \subseteq N \backslash \{i,j\}\). Let \(i,j \in N\) with \(i \ne j\) and \(M \subseteq N \backslash \{i,j\}\). Based on (4), it holds that
where the first equality follows by definition. The second equality follows by combining all terms \(k \in M \cup \{j\}\) from the first and second summation into one summation and combining all terms \(k \in M\) from the third and fourth summation into one summation. In the two new summations, we combine the product terms and use that \(A_i = 1 - (1 - A_i)\). Finally, we write down the terms that are left from the original summations. In the third equality, the product term \(\prod _{l \in M \cup j} (1-A_l)\) is taken out of the first and second term and the product term \(\prod _{l \in M} (1-A_l)\) is taken out of the third and fourth term. Moreover, \(p_i \cdot 1\) and \(-p_i \cdot 1\) cancel out against each other. In the fourth equality, the product term \(\prod _{l \in M} (1-A_l)\) is taken out of the whole equality and \(-p_i(1-A_i)\) is written as \(p_iA_i-p_i\), where \(p_iA_i\) is finally included in the summation.
As \(A_i \in (0,1)\) for all \(i \in N\), it holds that \(\prod _{l \in M} (1-A_l) > 0\). If the last expression is divided by \(\prod _{l \in M} (1-A_l)\), we obtain
This is equivalent to
As \(i,j \in N\) with \(i \not =j\) and \( M \subseteq N \backslash \{i,j\}\) were chosen arbitrarily, (5) holds for any \(i,j \in N\) with \(i \not =j\) and all \(M \subseteq N \backslash \{i,j\}\). In particular, (5) holds for any \(i,j \in N\) with \(i \not =j\) and \(M = N \backslash \{i,j\}\). For \(M = N \backslash \{i,j\}\), the left side of (5) coincides with \(\mathscr {L}_{ij}(\theta )\) and thus \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j\in N\) with \(i \not = j\).
\((\Leftarrow )\) Now, we assume that
for all \(i,j \in N\) with \(i \ne j\). Then, for a given \(i,j \in N\) with \(i \ne j\) it holds that
Now, let \(M \subseteq N \backslash \{i,j\}\). As \(\sum _{k \in M \cup \{i,j\}}p_k A_i \le \sum _{{k \in N}} p_k A_i\), we can conclude that
This implies that
Multiplying the last expression by \(\prod _{l \in M}(1-A_l) >0\) results in
From proof (\(\Rightarrow \)), we know that this inequality coincides with
As \(i,j \in N\) with \(i \not =j\) and \( M \subseteq N \backslash \{i,j\}\) were chosen arbitrarily, we can conclude that (6) holds for any \(i,j \in N\) with \(i \ne j\) and all \(M \subseteq N \backslash \{i,j\}\). Using recursive arguments, it can be seen that (6) is sufficient to show convexity. \(\square \)
Proof of Corollary 2
Let \(\theta \in \Theta ^L\) be a linear availability situation with \(N = \{1, 2, ..., n\}\) with \(n\ge 2\), \(p_i = \overline{p} \in \mathbb {R}_{+}\) for all \(i \in N\) and \( A_1 \ge A_2 \ge \cdots \ge A_n\). Let \((N,v^{\theta })\) be the corresponding availability game. We will show that the corresponding availability game is convex if and only if \( \vert N \vert A_1 A_2 - A_1 - A_2 \le 0.\)
(\(\Rightarrow \)) Suppose the corresponding availability game is convex. Then, by Theorem 3, \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j \in N\) with \(i \ne j\) and so
As \(\overline{p} \in \mathbb {R}_+\), we derive
which concludes this part of the proof.
(\( \Leftarrow \)) Suppose that \( \vert N \vert A_1 A_2 - A_1 - A_2 \le 0\). Then, it holds that
As \( 0 \le A_2 \le A_1 <1\), this implies that \(\frac{1}{2} \vert N \vert A_2 - 1 \le 0 \) and \(\frac{1}{2} \vert N \vert A_1 - 1 \le 0\) or \(\frac{1}{2} \vert N \vert A_2 - 1 \le 0 \) and \(\frac{1}{2} \vert N \vert A_1 - 1 \ge 0\). We will now investigate those different cases.
- Case 1. :
-
\(\frac{1}{2} \vert N \vert A_2 - 1 \le 0 \) and \(\frac{1}{2} \vert N \vert A_1 - 1 \le 0\).
As \(\frac{1}{2} \vert N \vert A_1 - 1 \le 0\), it holds that \(\frac{1}{2} \vert N \vert A_j - 1 \le \frac{1}{2} \vert N \vert A_1 - 1 \le 0\) for all \(j \in N.\) As \(A_i \in (0,1)\) for all \(i \in N\), it holds that \(A_i (\frac{1}{2} \vert N \vert A_j - 1 ) \le 0\) for all \(i,j \in N\). So, for all \(i,j \in N\) with \(i \not =j\), it holds that
$$\begin{aligned} A_i \left( \frac{1}{2}\vert N \vert A_j - 1 \right) + A_j \left( \frac{1}{2} \vert N \vert A_i - 1\right) \le 0. \end{aligned}$$ - Case 2. :
-
\(\frac{1}{2} \vert N \vert A_2 - 1 \le 0 \) and \(\frac{1}{2} \vert N \vert A_1 - 1 \ge 0\).
As \(A_1(\frac{1}{2} \vert N \vert A_j - 1) \le A_1 (\frac{1}{2} \vert N \vert A_2 - 1)\) for all \(j \in N \backslash \{1\}\) and \(A_j(\frac{1}{2} \vert N \vert A_1 - 1) \le \) \(A_2 ( \frac{1}{2} \vert N \vert A_1 - 1)\) for all \(j \in N \backslash \{1\}\), it holds that
$$\begin{aligned} A_1\bigg (\frac{1}{2} \vert N \vert A_j - 1\bigg ) + A_j\bigg (\frac{1}{2} \vert N \vert A_1 - 1\bigg )\le & {} A_1 \bigg (\frac{1}{2} \vert N \vert A_2 - 1\bigg )\\&+ A_2 \bigg ( \frac{1}{2} \vert N \vert A_1 - 1\bigg ) \le 0 \end{aligned}$$for all \(j \in N \backslash \{1\}\). For \( i \in N \backslash \{1\}\) and \( j \in N: j > i\), it holds that \( \frac{1}{2} \vert N \vert A_j - 1 \le \frac{1}{2} \vert N \vert A_i - 1 \le \frac{1}{2} \vert N \vert A_2 - 1 \le 0.\) Thus
Combining Case 1 and Case 2, we conclude that (8) holds for all \(i \in N\) and all \(j \in N\) with \( j > i\). Since \(\mathscr {L}_{ij}(\theta ) = \mathscr {L}_{ji}(\theta )\) for all \(i,j \in N\) with \( i \not =j\), (8) holds for all \(i,j \in N\) with \(i \not =j\). As multiplying (8) with \(\overline{p} \in \mathbb {R}_+\) will not affect the right-hand side of the inequality, it holds that \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j \in N\) with \(i \not =j\). By Theorem 3 , the corresponding availability game is convex. \(\square \)
Proof of Corollary 3
Let \(\theta \in \Theta ^L\) be a linear availability situation with \(N = \{1, 2, ..., n\}\) with \(n\ge 2\), \(A_i = \overline{A} \in (0,1)\) for all \(i \in N\) and \(p_1 \le p_2 \cdots \le p_n\). Let \((N,v^{\theta })\) be the corresponding availability game. We will show that the corresponding availability game is convex if and only if \( \overline{A} \le \frac{p_1+p_2}{\sum _{i \in N} p_i} \).
(\(\Rightarrow \)) Suppose the corresponding availability game is convex. Then, by Theorem 3, \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j \in N\) with \(i \ne j\) and so
After some rewriting, we derive
which concludes this part of the proof.
(\( \Leftarrow \)) Suppose that \( 0 < \overline{A} \le \frac{p_1+p_2}{\sum _{i \in N} p_i}\). After some rewriting, we derive
The left-hand side of (9) coincides with \(\mathscr {L}_{12}(\theta )\), and so \(\mathscr {L}_{12}(\theta ) \le 0\). Now, observe that
for all \(i,j \in N\) with \( i \not =j\). This implies that \(\mathscr {L}_{ij}(\theta ) \le 0\) for all \(i,j \in N\) with \(i \not =j\). By Theorem 3, the corresponding availability game is convex. \(\square \)
Proof of Corollary 4
Let \(\theta \in \Theta ^L\) be a linear availability situation with \(N = \{1, 2, ..., n\}\) with \(n \ge 2\), \(A_i = \overline{A} \in (0,1)\) for all \(i \in N\) and \(p_i = \overline{p} \in \mathbb {R}_+\) for all \(i \in N\). Let \((N,v^{\theta })\) be the corresponding availability game. We will show that the corresponding availability game is convex if and only if \(\overline{A} \le \frac{2}{\vert N \vert } \).
(\(\Rightarrow \)) Suppose the corresponding availability game is convex. Then, by Corollary 3, it holds that
which concludes the first part of the proof.
(\( \Leftarrow \)) Suppose that \(\overline{A} \le \frac{2}{\vert N \vert }\). This implies that
and thus, by Corollary 3, the corresponding game is convex. \(\square \)
Proof of Proposition 3
Let \(\theta \in \Theta \) be an availability situation and \(\theta ' \in \Theta \) be another availability situation that coincides with \(\theta \) except for the availability of player j, i.e. \(A_j \le A'_j\). Then, it holds for any player \(i \in N\) that
where the third equality results from \(A_k = A_k'\) for all \(k \ne j\) and \(P_i = P_i'\) for all \(i \in N\). The inequality results from \(0\le A_j \le A'_j \le 1\) with \( 0 \le \prod _{k \in N \backslash \{j\}} (1-A'_k) \le 1\), and the fact that \(P_i\) is non-decreasing. \(\square \)
Proof of Proposition 4
(i) OP From Proposition 3, it follows that allocation rule OP satisfies monotonicity to availability on \(\Theta \). As \(\Theta ^L \subseteq \Theta \), allocation rule OP satisfies monotonicity to availability on \(\Theta ^L\) as well.
(ii) SPP Let \(\theta \in \Theta ^L\) be a linear availability situation and \(\theta ' \in \Theta ^L\) be another linear availability situation that only deviates in the availability of player \(j \in N\) with \(A_j \le A'_j\). We claim that the derivative of \(\hbox {SPP}_i(\theta )\) for any player \(i \in N\) is non-negative with respect to availability \(A_j\). Note that \(P_i(1) - P_i(A_i) = p_i - p_iA_i = p_i(1-A_i)\) for all \(i \in N\).
Allocation \(\hbox {SPP}_i(\theta )\) for player \(i \in N\) can be rewritten as
As at least for one player \(k\in N\), \(p_k(1)-p_k(A_k)>0\), function \(\hbox {SPP}_i(\theta )\) is continuous and differentiable in \(A_j\). For player j, the derivative of \(\hbox {SPP}_j(\theta )\) to \(A_j\) is given by
Note that all terms are non-negative, and thus, the derivative is non-negative as well. Hence, \(\hbox {SPP}_j(\theta )\) is non-decreasing in \(A_j\). This implies that \(\hbox {SPP}_j(\theta )\) \(\le \hbox {SPP}_j(\theta ')\). Taking the derivative of \(\hbox {SPP}_i(\theta )\) to \(A_j\) with \(i \in N \backslash \{j\}\) gives
Note that all terms are non-negative, and thus, the derivative is non-negative as well. Hence, \(\hbox {SPP}_i(\theta )\) is non-decreasing in \(A_j\) for all \(i \in N \backslash \{j\}\). We conclude that \(\hbox {SPP}_i(\theta )\) \(\le \hbox {SPP}_i(\theta ')\) for all \(i \in N\). \(\square \)
Proof of Proposition 5
Let \(\theta , \theta ' \in \Theta \) be two availability situations where \(\theta \) and \(\theta '\) coincide except for the profit of player j with \(P'_j(x) - P_j(x)\) non-decreasing in x. As \(P'_k(x) - P_k(x) =0\) for all \( k \in N \backslash \{j\}\), it holds that \(P'_i(x) \ge P_i(x)\) for all \(i \in N\). Hence, it holds for all \(i \in N\) that
given that \(A_k = A_k'\) for all \(k \in N\).
In the same line, it holds that
given that \(A_k=A_k'\) for all \(k \in N\).
Finally, let \(i \in N\) and \(M \subseteq N \backslash \{i\}\). Then
where the inequality holds, as
- (i):
-
if \(j \in M\) (and thus \(j \ne i)\) then \(P'_j(y) - P'_j(x) \ge P_j(y) - P_j(x)\) for \(y\ge x\) and \(P'_l = P_l\) for all \(l \in M \backslash \{j\}\) and \(P_i' = P_i\).
- (ii):
-
if \(j \not \in M\) and \(i =j\) then \(P_l' = P_l\) for all \(l \in M\) and \(P_i' \ge P_i\).
- (iii):
-
if \(j \not \in M\) and \(i \ne j\) then \(P_l' = P_l\) for all \(l \in M\) and \(P_i' = P_i\) and so the inequality becomes equality.
As \(v^{\theta '}(M \cup \{i\}) - v^{\theta '}(M) \ge v^{\theta }(M \cup \{i\}) - v^{\theta }(M)\) for any \(i \in N\) and \(M \subseteq N \backslash \{i\}\) and given that the Shapley value of a cooperative game is a weighted average over those marginal contributions, it follows that
which concludes the proof. \(\square \)
Proof of Proposition 6
Let \(\theta \in \Theta \) be an availability situation and \(i,j \in N\) with \(i \not =j\) two players that are situation symmetric. For allocation rule OP, it holds that
as \(P_i(x) = P_j(x)\) for all \(x \in [0,1]\). For allocation rule PA, it holds that
as \(A_i =A_j\). For allocation rule SPP, it holds that
As \(P_i(x) = P_j(x)\) for all \(x \in [0,1]\) and \(A_i = A_j\). Finally, for allocation rule SV, it holds that \(P_i(x) = P_j(x)\) for all \(x \in [0,1]\) and \(A_i = A_j\). This implies that \(v^{\theta }(M \cup \{i\}) = v^{\theta }(M \cup \{j\})\) for all \(M \subseteq N \backslash \{i,j\}\). Based on Definition 8, players i and j are game symmetric. Based on Proposition 7 and Definition 9, we conclude that \(\hbox {SV}_i(\theta ) = \hbox {SV}_j(\theta )\). \(\square \)
Proof of Lemma 3
Let \(\theta \in \Theta ^L\) be a linear availability situation, \(x_i = 1-A_i\) for all \(i \in N\), and \(M \subseteq N\). Then, it holds that
Moreover, it holds that
Now, when both parts are summed, we obtain
where the equalities hold by rewriting. From the last expression, we derive
Multiplying both sides by \(\prod _{j \in M}x_j (\ge 0)\) and subsequently dividing both sides by \(\sum _{j \in N} p_jx_j (>0)\) gives
which concludes the proof. \(\square \)
Proof of Proposition 8
Let \(\theta \in \Theta ^L\) be a linear availability situation. Note that \(P_i(1) - P_i(A_i) = p_i - p_iA_i = p_i(1-A_i)\) for all \(i \in N\). It holds that
and thus, SPP\((\theta )\) is efficient. Secondly, let \(M \subseteq N\), then
where the inequality is a result of Lemma 3 with \(x_j = 1- A_j\) for all \(j \in N\). Hence, SPP\((\theta )\) is also stable and thus a member of the core. \(\square \)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Schlicher, L., Slikker, M. & van Houtum, GJ. Pooling of critical, low-utilization resources with unavailability. OR Spectrum 40, 233–263 (2018). https://doi.org/10.1007/s00291-017-0499-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00291-017-0499-6