Identical items. Suppose first that m {\displaystyle m} identical items have to be allocated fairly among n {\displaystyle n} people. Ideally, each person should receive m / n {\displaystyle m/n} items, but this may be impossible if m {\displaystyle m} is not divisible by n {\displaystyle n} , as the items are indivisible. A natural second-best fairness criterion is to round m / n {\displaystyle m/n} down to the nearest integer, and give each person at least ⌊ m / n ⌋ {\displaystyle \lfloor m/n\rfloor } items. Receiving less than ⌊ m / n ⌋ {\displaystyle \lfloor m/n\rfloor } items is "too unfair" - it is an unfairness not justified by the indivisibility of the items.
Different items. Suppose now that the items are different, and each item has a different value. For example, suppose n = 3 {\displaystyle n=3} and m = 5 {\displaystyle m=5} and the items' values are 1 , 3 , 5 , 6 , 9 {\displaystyle 1,3,5,6,9} , adding up to 24 {\displaystyle 24} . If the items were divisible, we would give each person a value of 24 / 3 = 8 {\displaystyle 24/3=8} (or, if they were divisible only to integer values as in the preceding paragraph, at least ⌊ 24 / 3 ⌋ = 8 {\displaystyle \lfloor 24/3\rfloor =8} ), but this is not possible. The largest value that can be guaranteed to all three agents is 7, by the partition { 1 , 6 } , { 3 , 5 } , { 9 } {\displaystyle \{1,6\},\{3,5\},\{9\}} . Informally, 7 {\displaystyle 7} is the total value divided by n {\displaystyle n} "rounded down to the nearest item".
The set { 1 , 6 } {\displaystyle \{1,6\}} attaining this maximin value is called the "1-out-of-3 maximin-share" - it is the best subset of items that can be constructed by partitioning the original set into 3 {\displaystyle 3} parts and taking the least valuable part. Therefore, in this example, an allocation is MMS-fair iff it gives each agent a value of at least 7 {\displaystyle 7} .
Different valuations. Suppose now that each agent assigns a different value to each item, for example:
Now, each agent has a different MMS:
Here, an allocation is MMS-fair if it gives Alice a value of at least 7 {\displaystyle 7} , George a value of at least 8 {\displaystyle 8} , and Dina a value of at least 3 {\displaystyle 3} . For example, giving George the first two items { 1 , 7 } {\displaystyle \{1,7\}} , Alice the next two items { 5 , 6 } {\displaystyle \{5,6\}} , and Dina the last item { 17 } {\displaystyle \{17\}} , is MMS-fair.
Interpretation. The 1-out-of- n {\displaystyle n} MMS of an agent can be interpreted as the maximal utility that an agent can hope to get from an allocation if all the other agents have the same preferences, when he always receives the worst share. It is the minimal utility that an agent could feel entitled to, based on the following argument: if all the other agents have the same preferences as me, there is at least one allocation that gives me this utility, and makes every other agent (weakly) better off; hence there is no reason to give me less.
An alternative interpretation is: the most preferred bundle the agent could guarantee as divider in divide and choose against adversarial opponents: the agent proposes her best allocation and leaves all the other ones to choose one share before taking the remaining one.
MMS-fairness can also be described as the result of the following negotiation process. A certain allocation is suggested. Each agent can object to it by suggesting an alternative partition of the items. However, in doing so he must let all other agents chose their share before he does. Hence, an agent would object to an allocation only if he can suggest a partition in which all bundles are better than his current bundle. An allocation is MMS-fair iff no agent objects to it, i.e., for every agent, in every partition there exists a bundle which is weakly worse than his current share.
Theodore Hill1 studied the maximin-share in 1987. He presented a lower bound for the maximin-share of an agent as a function of the largest item value, and proved that there always exists an allocation in which each agent receives at least this lower bound. Note that the actual maximin-share might be higher than the lower bound, so the allocation found by Hill's method might not be MMS-fair.
Budish2 studied MMS-fairness in 2011, in the context of course allocation. He presented the A-CEEI mechanism, which attains an approximately MMS-fair allocation if it is allowed to add some goods. In 2014, Procaccia and Wang3 proved that an exact MMS-fair allocation among three or more agents may not exist.
Let C {\displaystyle C} be a set representing the resource to be allocated. Let v {\displaystyle v} be any real-valued function on subsets of C {\displaystyle C} , representing their "value". The 1-out-of-n maximin-share of v {\displaystyle v} from C {\displaystyle C} is defined as:
MMS v 1 -out-of- n ( C ) := max ( Z 1 , … , Z n ) ∈ Partitions ( C , n ) min j ∈ [ n ] v ( Z j ) {\displaystyle \operatorname {MMS} _{v}^{1{\text{-out-of-}}n}(C):=~~~\max _{(Z_{1},\ldots ,Z_{n})\in \operatorname {Partitions} (C,n)}~~~\min _{j\in [n]}~~~v(Z_{j})}
Here, the maximum is over all partitions of C {\displaystyle C} into n {\displaystyle n} disjoint subsets, and the minimum is over all n {\displaystyle n} subsets in the partition. In the above examples, C {\displaystyle C} was a set of integers, and v {\displaystyle v} was the sum function, that is, v ( Z ) {\displaystyle v(Z)} was defined as the sum of integers in Z {\displaystyle Z} . For example, we showed that MMS v 1 -out-of- 3 ( { 1 , 3 , 5 , 6 , 9 } ) := 7 {\displaystyle \operatorname {MMS} _{v}^{1{\text{-out-of-}}3}(\{1,3,5,6,9\}):=7} , where the maximizing partition is { 1 , 6 } , { 3 , 5 } , { 9 } {\displaystyle \{1,6\},\{3,5\},\{9\}} . In a typical fair allocation problem, there are some n {\displaystyle n} different agents with different value functions v 1 , … , v n {\displaystyle v_{1},\dots ,v_{n}} over the same resource C {\displaystyle C} . The 1-out-of- n {\displaystyle n} MMS value of agent i {\displaystyle i} is denoted by MMS i 1 -out-of- n ( C ) := MMS v i 1 -out-of- n ( C ) {\displaystyle \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}(C):=\operatorname {MMS} _{v_{i}}^{1{\text{-out-of-}}n}(C)} . An allocation is a vector of n pairwise-disjoint subsets of C {\displaystyle C} -- one subset per agent. An allocation Z 1 , … , Z n {\displaystyle Z_{1},\dots ,Z_{n}} is called MMS-fair, or simply an MMS allocation, if for every agent i {\displaystyle i} ,
v i ( Z i ) ≥ MMS i 1 -out-of- n ( C ) {\displaystyle v_{i}(Z_{i})\geq \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}(C)} .
An allocation is called an MMS partition of agent i {\displaystyle i} if it holds that v i ( Z j ) ≥ MMS i 1 -out-of- n ( C ) {\displaystyle v_{i}(Z_{j})\geq \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}(C)} for all j {\displaystyle j} , i.e., the allocation is one of the partitions that maximizes the formula for i {\displaystyle i} 's MMS.
Hill4 proved that, if the value of every item for an agent is at most α {\displaystyle \alpha } times the value of all items, then the 1-out-of-n MMS of that agent is at least V n ( α ) {\displaystyle V_{n}(\alpha )} , where V n ( α ) {\displaystyle V_{n}(\alpha )} is the following piecewise-linear function:
V n ( α ) = 1 − k ⋅ ( n − 1 ) ⋅ α {\displaystyle V_{n}(\alpha )=1-k\cdot (n-1)\cdot \alpha } for all α ∈ [ 1 k ( n − 1 / ( k + 1 ) ) , 1 k ( n − 1 / k ) ] {\displaystyle \alpha \in \left[{\frac {1}{k(n-1/(k+1))}},{\frac {1}{k(n-1/k)}}\right]} , for all k ≥ 1 {\displaystyle k\geq 1} .
Note that V n ( α ) {\displaystyle V_{n}(\alpha )} is a continuous and non-increasing function of α {\displaystyle \alpha } , with V n ( 0 ) = 1 / n {\displaystyle V_{n}(0)=1/n} and V n ( 1 ) = 0 {\displaystyle V_{n}(1)=0} (see the paper for a plot of V 2 ( α ) {\displaystyle V_{2}(\alpha )} and V 3 ( α ) {\displaystyle V_{3}(\alpha )} )
Hill also proved that, for every n and α {\displaystyle \alpha } , and for any n agents who value each item at most α {\displaystyle \alpha } times the total value, there exists a partition in which each agent receives a value of at least V n ( α ) {\displaystyle V_{n}(\alpha )} . Moreover, this guarantee is tight: for every n and α {\displaystyle \alpha } , there are cases in which it is impossible to guarantee more than V n ( α ) {\displaystyle V_{n}(\alpha )} to everyone, even when all valuations are identical.
Markakis and Psomas5 strengthened Hill's guarantee, and provided a polynomial-time algorithm for computing an allocation satisfying this stronger guarantee. They also showed that no truthful mechanism can obtain a 2/3-approximation to this guarantee, and present a truthful constant-factor approximation for a bounded number of goods. Gourves, Monnot and Tlilane6 extended the algorithm of Markakis and Psomas to gain a tighter fairness guarantee, that works for the more general problem of allocating a basis of a matroid.
Li, Moulin, Sun and Zhou7 have extended Hill's lower bound to bads, and presented a more accurate bound that depends also on the number of bads. They also presented a polynomial-time algorithm attaining this bound.
An MMS-fair allocation might not exist. Procaccia and Wang8 and Kurokawa9 constructed an instance with n = 3 {\displaystyle n=3} agents and m = 12 {\displaystyle m=12} items, in which no allocation guarantees to each agent the 1-out-of-3 MMS. Note that this does not contradict Hill's result, since the MMS of all agents may be strictly larger than Hill's lower bound V n ( α ) {\displaystyle V_{n}(\alpha )} . In their instance, there are 12 {\displaystyle 12} objects, indexed by i ∈ [ 3 ] {\displaystyle i\in [3]} and j ∈ [ 4 ] {\displaystyle j\in [4]} . Each agent k {\displaystyle k} values each object ( i , j ) {\displaystyle (i,j)} by:
v k ( i , j ) = 1 , 000 , 000 + 1 , 000 ⋅ T i , j + E i , j ( k ) {\displaystyle v_{k}(i,j)=1,000,000+1,000\cdot T_{i,j}+E_{i,j}^{(k)}}
where T , E ( 1 ) , E ( 2 ) , E ( 3 ) {\displaystyle T,E^{(1)},E^{(2)},E^{(3)}} are particular 3-by-4 matrices with values smaller than 100 {\displaystyle 100} . They prove that every agent can partition the objects into 3 {\displaystyle 3} subsets of 4 {\displaystyle 4} objects each, such that the sum of values in each subset is 4,055,000, which is therefore the MMS of all agents. They prove that every MMS allocation must give exactly 4 particular objects to every agent, but such an allocation does not exist. Thus, every allocation gives at least one agent a value of at most 4,054,999. They generalized this instance and showed that for every n ≥ 3 {\displaystyle n\geq 3} there is such an instance with 3 n + 4 {\displaystyle 3n+4} items.
Feige, Sapir and Tauber10 improved the non-existence result, constructing an instance with n = 3 {\displaystyle n=3} agents and m = 9 {\displaystyle m=9} items, in which there is no MMS allocation. In this instance each agent has an MMS of 40, but it is only possible to guarantee the worst off agent items with combined value of 39. They also show that for any n ≥ 3 {\displaystyle n\geq 3} , there is an instance with 3 n + 3 {\displaystyle 3n+3} items for which an MMS allocation does not exist. If n {\displaystyle n} is even, they improve the bound to 3 n + 1 {\displaystyle 3n+1} items. For these instances, the worst of agent can at most receive a 1 − 1 / n 4 {\displaystyle 1-1/n^{4}} share of their MMS.
While MMS allocations are not guaranteed to exist, it has been proved that in random instances, MMS allocations exist with high probability. Kurokawa, Procaccia and Wang11 showed that this holds true for two cases:
Amanatidis, Markakis, Nikzad and Saberi13 also prove that, in randomly-generated instances, MMS-fair allocations exist with high probability.
For many classes of instances, it has been proven that MMS allocations always exist. When all n agents have identical valuations, an MMS allocation always exists by definition (all agents have the same MMS partitions). A slightly more general case in which an MMS allocation exists is when some n − 1 {\displaystyle n-1} agents have identical valuations. An MMS allocation can then be found by divide and choose: the n − 1 {\displaystyle n-1} identical agents partition the items into n {\displaystyle n} bundles each of which is at least as good as their MMS; the n {\displaystyle n} -th agent chooses the bundle with the highest value; and the identical agents take the remaining n − 1 {\displaystyle n-1} bundles. In particular, with two agents, an MMS allocation always exists.
Bouveret and Lemaître14 proved that MMS allocations exist in the following cases:
The latter result was later improved to m ≤ n + 4 {\displaystyle m\leq n+4} by Kurokawa, Procaccia and Wang15 and m ≤ n + 5 {\displaystyle m\leq n+5} by Feige, Sapir and Tauber.16 Due to the negative example with three agents and nine items, this is the largest constant c {\displaystyle c} that exists, such that all instances with n {\displaystyle n} agents and m ≤ n + c {\displaystyle m\leq n+c} items always have MMS allocations, no matter the value of n {\displaystyle n} . Hummel17 further showed that MMS allocations exist in the following cases:
Amanatidis, Markakis, Nikzad and Saberi18 showed that MMS allocations exist and can be found in polynomial time for the case of ternary valuations, in which each items are valued at 0, 1 or 2.
Uriel Feige19 proved that MMS allocations always exists in bivalued instances, in which there are some two values a and b, and each agent values every item at either a or b.
Budish20 introduced an approximation to the 1-of-n MMS—the 1-of-( n + 1 {\displaystyle n+1} ) MMS - each agent receives at least as much as he could get by partitioning into n+1 bundles and getting the worst one. In general, for any d > n, one can consider the 1-of-d MMS as an approximation to the 1-of-n MMS, and look for an allocation in which, for each agent i:
V i ( Z i ) ≥ MMS i 1 -out-of- d ( C ) {\displaystyle V_{i}(Z_{i})\geq \operatorname {MMS} _{i}^{1{\text{-out-of-}}d}(C)}
Note that the value of the 1-of-d MMS is a weakly decreasing function of d. This is called an ordinal approximation, since it depends only on the ranking of the bundles, and not on their precise values. Procaccia and Wang21 introduced a different kind of approximation - the multiplicative approximation to MMS: an allocation is r-fraction MMS-fair, for some fraction r in [0,1], if each agent's value is at least a fraction r of the value of his/her MMS, that is, for each agent i:
V i ( Z i ) ≥ r ⋅ MMS i 1 -out-of- n ( C ) {\displaystyle V_{i}(Z_{i})\geq r\cdot \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}(C)}
Suppose one can choose between two algorithms: the first guarantees a multiplicative approximation (e.g. 3/4-fraction MMS), while the second guarantees an ordinal approximation (e.g. 1-out-of-(3n/2) MMS). Which of the two guarantees is higher? The answer depends on the values.
In general, for any integer k, the 1-of-n MMS as at least k times the 1-of-nk MMS: take an optimal 1-of-nk MMS partition, and group the bundles into n super-bundles, each of which contains k original bundles. Each of these super-bundles is worth at least k times the smallest original bundle. Therefore, a 1/k-multiplicative approximation is at least as large as a 1-of-nk ordinal approximation, but may be smaller than 1-of-(nk-1) ordinal approximation, as in the above example. In particular, any r-multiplicative approximation for r ≥ 1/2 is at least as good as 1-of-(2n) ordinal approximation, but might be worse than 1-of-(2n-1) ordinal approximation.
Procaccia and Wang22 presented an algorithm that always finds an rn-fraction MMS, where
r n := 2 ⋅ oddfloor ( n ) 3 ⋅ oddfloor ( n ) − 1 = { 2 n 3 n − 1 n odd 2 n − 2 3 n − 4 n even {\displaystyle r_{n}:={\frac {2\cdot {\text{oddfloor}}(n)}{3\cdot {\text{oddfloor}}(n)-1}}={\begin{cases}{\frac {2n}{3n-1}}&n~{\text{ odd}}\\{\frac {2n-2}{3n-4}}&n~{\text{ even}}\end{cases}}}
where oddfloor(n) is the largest odd integer smaller or equal to n. In particular, r3 = r4 = 3/4, it decreases when n increases, and it always larger than 2/3. Their algorithm runs in time polynomial in m when n is constant, but its runtime might be exponential in n.
Amanatidis, Markakis, Nikzad and Saberi23 presented several improved algorithms:
Barman and Krishnamurthy2425 presented:
Ghodsi, Hajiaghayi, Seddighin, Seddighin and Yami26 presented:
Garg, McGlaughlin and Taki27 presented a simple algorithm for 2/3-fraction MMS-fairness whose analysis is also simple.
Garg and Taki28 presented:
Akrami, Garg, Sharma and Taki29 improve the analysis of the algorithm presented by Garg and Taki, simplifying the analysis and improving the existence guarantee to 3 4 + min ( 1 36 , 3 16 n − 4 ) {\displaystyle {\frac {3}{4}}+\min \left({\frac {1}{36}},{\frac {3}{16n-4}}\right)} .
To date, it is not known what is the largest r such that an r-fraction MMS allocation always exists. It can be any number between 3 / 4 {\displaystyle 3/4} and 39 / 40 {\displaystyle 39/40} .
Budish44 showed that the Approximate Competitive Equilibrium from Equal Incomes always guarantees the 1-of-( n + 1 {\displaystyle n+1} ) MMS, However, this allocation may have excess supply, and - more importantly - excess demand: the sum of the bundles allocated to all agents might be slightly larger than the set of all items. Such an error is reasonable in course allocation, since a small excess supply can be corrected by adding a small number of seats. But the classic fair division problem assumes that items may not be added.
Without excess supply and demand, the following approximations are known:
To date, it is not known what is the smallest d such that a 1-out-of-d MMS allocation always exists. It can be any number between n+1 and 3n/2. The smallest open case is n=4.
Maximizing the product: Caragiannis, Kurokawa, Moulin, Procaccia, Shah and Wang49 showed that the max-Nash-welfare allocation (the allocation maximizing the product of utilities) is always 2 1 + 4 n − 3 {\displaystyle {\frac {2}{1+{\sqrt {4n-3}}}}} -fraction MMS fair, and it is tight.
Truthfulness: Amanatidis, Birmpas and Markakis50 presented truthful mechanisms for approximate MMS-fair allocations (see also Strategic fair division):
Cardinality constraints: The items are partitioned into categories, and each agent can get at most kh items from each category h. In other words, the bundles must be independent sets of a partition matroid.
Conflict graph: Hummel and Hetland54 study another setting where there is a conflict graph between items (for example: items represent events, and an agent cannot attend two simultaneous events). They show that, if the degree of the conflict graph is d and it is in (2,n), then a 1/d-fraction MMS allocation can be found in polynomial time, and a 1/3-fraction MMS allocation always exists.
Connectivity: the items are located on a graph, and each part must be a connected subgraph.
Aziz, Rauchecker, Schryen and Walsh57 extended the MMS notion to chores (items with negative utilities). Note that, for chores, the multiplicative approximation factors are larger than 1 (since fewer chores have higher utility), and the ordinal approximation factors are smaller than n. They presented:
Barman and Krishnamurthy58 presented an algorithm attaining 4/3-fraction MMS (precisely, 4 n − 1 3 n {\displaystyle {\frac {4n-1}{3n}}} ). The algorithm can be seen as a generalization of the LPT algorithm for identical-machines scheduling.
Huang and Lu59 prove that a 11/9-fraction MMS-fair allocation for chores always exists, and a 5/4-fraction MMS allocation can be found in polynomial time. Their algorithm can be seen as a generalization of the Multifit algorithm for identical-machines scheduling.
Kulkarni, Mehta and Taki60 study MMS-fair allocation with mixed valuations, i.e., when there are both goods and chores. They prove that:
Ebadian, Peters and Shah62 prove that an MMS allocation always exists in bivalued instances, when each agent i partitions the chores to "easy" (valued at 1 for everyone) or "difficult" (valued at some integer pi > 1).
Various normalizations can be applied to the original problem without changing the solution. Below, O is the set of all objects.
If, for each agent i, all valuations are scaled by a factor k i {\displaystyle k_{i}} (which can be different for different agents), then the MMS for each agent is scaled by the same factor; therefore, every MMS allocation in the original instance is an MMS allocation in the scaled instance. It is common to scale the valuations such that the MMS of every agent is exactly 1 {\displaystyle 1} . After this scaling, the MMS approximation problems can be stated as:
The above scaling requires to compute the MMS of each agent, which is an NP-hard problem (multiway number partitioning). An alternative scaling, that can be done faster, is:63
If we remove one object o {\displaystyle o} from O {\displaystyle O} . Then for each agent, the 1 {\displaystyle 1} -out-of-( n − 1 {\displaystyle n-1} ) MMS w.r.t. the remaining set O ∖ o {\displaystyle O\setminus o} is at least his 1 {\displaystyle 1} -out-of- n {\displaystyle n} MMS w.r.t. the original set O {\displaystyle O} . This is because, in the original MMS partition, n − 1 {\displaystyle n-1} parts remain intact.64 Now, suppose we aim to give each agent a value of r {\displaystyle r} . If some object o 1 {\displaystyle o_{1}} is worth at least r {\displaystyle r} to at least one agent, then we can give o 1 {\displaystyle o_{1}} to one such agent arbitrarily, and proceed to allocate the remaining objects to the remaining agents. Therefore, we can assume w.l.o.g. that:
This normalization works even with the fast scaling, and with arbitrary monotone valuations (even non-additive).65
Denote an object, that is valued by at most s {\displaystyle s} by all agents, as an " s {\displaystyle s} -small object". Suppose that all objects are s {\displaystyle s} -small. Take an empty bag and fill it with object after object, until the bag is worth at least r {\displaystyle r} to at least one agent. Then, give the bag to one such agent arbitrarily. Since all objects are s {\displaystyle s} -small, the remaining agents value the bag at most r + s {\displaystyle r+s} ; if this value is sufficiently small, then the remaining value is sufficiently large so that we can proceed recursively.66 In particular, bag-filling gives as the following solutions:
These bag-filling algorithms work even with the fast scaling, so they run in polynomial time - they do not need to know the exact MMS value.68 In fact, both algorithms can be stated without mentioning the MMS at all:
Modified bag filling: The condition that all objects are s {\displaystyle s} -small can be relaxed as follows.69 Take some s < r {\displaystyle s<r} . Denote an object that is not s {\displaystyle s} -small (i.e., valued at least s {\displaystyle s} by at least one agent) as an " s {\displaystyle s} -large object". Suppose at most n {\displaystyle n} objects are s {\displaystyle s} -large. Take one s {\displaystyle s} -large object o 1 {\displaystyle o_{1}} , put it in a bag, and fill it with s {\displaystyle s} -small objects until one agent indicates that it is worth for him at least r {\displaystyle r} . There must be at least one such agent, since some agent i {\displaystyle i} values o 1 {\displaystyle o_{1}} at some x > s {\displaystyle x>s} . For this agent, there are at most n − 1 {\displaystyle n-1} remaining s {\displaystyle s} -large objects. By the previous normalization, these objects are still r {\displaystyle r} -small, so their total value for i {\displaystyle i} is at most r ( n − 1 ) {\displaystyle r(n-1)} , so the value of remaining s {\displaystyle s} -small objects is at least n − r ( n − 1 ) − x = r ( n − 1 ) + r − x ≥ r − x {\displaystyle n-r(n-1)-x=r(n-1)+r-x\geq r-x} .
An instance is ordered if all agents have the same ordinal ranking on the objects, i.e, the objects can be numbered o 1 , … , o m {\displaystyle o_{1},\dots ,o_{m}} such that, for each agent i {\displaystyle i} , v i ( o 1 ) ≥ ⋯ ≥ v i ( o m ) {\displaystyle v_{i}(o_{1})\geq \dots \geq v_{i}(o_{m})} . Intuitively, ordered instances are hardest, since the conflict between agents is largest. Indeed, the negative instance of 70 is ordered - the order of the objects is determined by the matrix T {\displaystyle T} , which is the same for all agents. This can also be proved formally. Suppose we have an algorithm that finds, for every ordered instance, an r {\displaystyle r} -fraction MMS allocation. Now, we are given a general item-allocation instance P {\displaystyle P} . We solve it in the following way.7172
So when looking for r {\displaystyle r} -fraction MMS allocations, we can assume w.l.o.g. that:
Suppose we find two objects o1 and o2, that one agent i values at least r, while the other agents value at most 1. Then these two objects can be allocated to i. For the other agents, the 1-out-of-(n-1) MMS w.r.t. the remaining set is at least his 1-out-of-n MMS w.r.t. the original set O. This is because, in the original MMS partition, at least n-2 parts remain intact, while the two parts that are not intact can be combined to form a single part with a value of at least 1. This normalization works only with additive valuations.73: Lem.3.2
Moreover, suppose that the instance is ordered, and suppose we remove from O the two objects on, on+1 (i.e., the n-th and (n+1)-th highest-valued items). Then for each agent, the 1-out-of-(n-1) MMS w.r.t. the remaining set is at least his 1-out-of-n MMS w.r.t. the original set O. This is because, by the pigeonhole principle, at least one MMS part of each agent must contain two or more objects from the set {o1, ..., on+1}. These items can be used to replace the objects given away, which results in n-1 parts with a value of at least 1. This means that, if the objects on, on+1 have a value of at least the MMS for some agent i, we can give them to i and proceed to allocate the remaining objects to the remaining agents. Therefore, we can assume w.l.o.g. that:
This normalization works even with the fast scaling. Combining it with modified bag-filling leads to the following simple algorithm for 2/3-fraction MMS.74
The guarantee of this algorithm can be stated even without mentioning MMS:
Several basic algorithms related to the MMS are:
An allocation is called envy-free-except-c-items (EFc) for an agent i if, for every other agent j, there exists a set of at most c items that, if removed from j's bundle, then i does not envy the remainder. An EF0 allocation is simply called envy-free. EF1 allocations can be found, for example, by round-robin item allocation or by the envy-graph procedure.
An allocation is called proportional-except-c-items (PROP*c) for an agent i if there exists a set of at most c items outside i's bundle that, if removed from the set of all items, then i values his bundle at least 1/n of the remainder. A PROP*0 allocation is simply called proportional.
EF0 implies PROP*0, and EF1 implies PROP*(n-1). Moreover, for any integer c 0, EFc implies PROP*((n-1)c).78: Lem.2.3 The opposite implication is true when n=2, but not when n>2.
The following maximin-share approximations are implied by PROP*(n-1), hence also by EF1:79: Lem.2.7
The above implications are illustrated below:
An allocation is called envy-free-except-any-item (EFx) for an agent i if, for every other agent j, for any single item removed from j's bundle, i does not envy the remainder. EFx is strictly stronger than EF1. It implies the following MMS approximations:81: Prop.3.3-3.4
An allocation is called pairwise-maximin-share-fair (PMMS-fair) if, for every two agents i and j, agent i receives at least his 1-out-of-2 maximin-share restricted to the items received by i and j. It is not known whether a PMMS allocation always exists, but a 0.618-approximation always exists.82
An allocation is called groupwise-maximin-share-fair (GMMS-fair) if, for every subgroup of agents of size k, each member of the subgroup receives his/her 1-out-of-k maximin-share restricted to the items received by this subgroup.83
With additive valuations, the various fairness notions are related as follows:
GMMS allocations are guaranteed to exist when the valuations of the agents are either binary or identical. With general additive valuations, 1/2-GMMS allocations exist and can be found in polynomial time.87
When agents have different entitlements (also termed: unequal shares or asymmetric rights), MMS fairness should be adapted to guarantee a higher share to agents with higher entitlements. Various adaptations have been suggested. Below, we assume that the entitlements are given by a vector t = ( t 1 , … , t n ) {\displaystyle t=(t_{1},\ldots ,t_{n})} , where t i {\displaystyle t_{i}} represents the entitlement of agent i {\displaystyle i} .
Farhadi, Ghodsi, Hajiaghayi, Lahaie, Pennock, Seddighin and Seddigin88 introduce the Weighted Maximin Share (WMMS), defined by:
WMMS i t ( C ) := max ( Z 1 , … , Z n ) ∈ Partitions ( C , n ) min j ∈ [ n ] t i t j V ( Z j ) = t i ⋅ max ( Z 1 , … , Z n ) ∈ Partitions ( C , n ) min j ∈ [ n ] V ( Z j ) t j {\displaystyle \operatorname {WMMS} _{i}^{t}(C):=~~~\max _{(Z_{1},\ldots ,Z_{n})\in \operatorname {Partitions} (C,n)}~~~\min _{j\in [n]}~~~{\frac {t_{i}}{t_{j}}}V(Z_{j})=~~~t_{i}\cdot \max _{(Z_{1},\ldots ,Z_{n})\in \operatorname {Partitions} (C,n)}~~~\min _{j\in [n]}~~~{\frac {V(Z_{j})}{t_{j}}}}
Intuitively, the optimal WMMS is attained by a partition in which the value of part j is proportional to the entitlement of agent j. For example, suppose all value functions are the sums, and the entitlement vector is t=(1/6, 11/24, 9/24). Then WMMS 1 t ( { 1 , 3 , 5 , 6 , 9 } ) = 4 {\displaystyle \operatorname {WMMS} _{1}^{t}(\{1,3,5,6,9\})=4} by the partition ({1,3},{5,6},{9}); it is optimal since the value of each part i {\displaystyle i} equals 24 t i {\displaystyle 24t_{i}} . By the same partition, WMMS 2 t = 11 {\displaystyle \operatorname {WMMS} _{2}^{t}=11} and WMMS 3 t = 9 {\displaystyle \operatorname {WMMS} _{3}^{t}=9} . When all n entitlements are equal, WMMS i t ≡ MMS i 1 -out-of- n {\displaystyle \operatorname {WMMS} _{i}^{t}\equiv \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}} .
An allocation of C is called WMMS-fair for entitlement-vector t if the value of each agent i is at least WMMS i t ( C ) {\displaystyle \operatorname {WMMS} _{i}^{t}(C)} . When all n agents have identical valuations, a WMMS-fair allocation always exists by definition. But with different valuations, the best possible multiplicative approximation is 1/n. The upper bound is proved by the following example with 2n-1 goods and n agents, where ε>0 is a very small constant:
All agents have an optimal WMMS partition: for the "small" agents (1, ..., n-1) it is the partition ({1}, ..., {n-1}, {n}) and for the "large" agent (n) it is ({n+1}, ..., {2n-1}, {1,...,n}). Therefore, WMMS i t = t i {\displaystyle \operatorname {WMMS} _{i}^{t}=t_{i}} for all agents i (for comparison, note that MMS i 1 -out-of- n = ϵ = t i {\displaystyle \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}=\epsilon =t_{i}} for the small agents, but MMS i 1 -out-of- n = [ 1 − ( n − 1 ) ϵ ] / n = t i / n {\displaystyle \operatorname {MMS} _{i}^{1{\text{-out-of-}}n}=[1-(n-1)\epsilon ]/n=t_{i}/n} for the large agent).
In any multiplicative approximation of WMMS, all agents have to get a positive value. This means that the small agents take at least n-1 of the items 1,...,n, so at most one such item remains for the large agent, and his value is approximately 1/n rather than almost 1.
A 1/n-fraction WMMS-fair allocation always exists and can be found by round-robin item allocation. In a restricted case, in which each agent i values each good by at most WMMS i t {\displaystyle \operatorname {WMMS} _{i}^{t}} , a 1/2-fraction WMMS-fair allocation exists and can be found by an algorithm similar to bag-filling: the valuations of each agent i are multiplied by t i / WMMS i t {\displaystyle t_{i}/\operatorname {WMMS} _{i}^{t}} ; and in each iteration, an item is given to an unsatisfied agent (an agent with value less than WMMS i t / 2 {\displaystyle \operatorname {WMMS} _{i}^{t}/2} ) who values it the most. This algorithm allocates to each agent i at least WMMS i t / 2 {\displaystyle \operatorname {WMMS} _{i}^{t}/2} and at most WMMS i t {\displaystyle \operatorname {WMMS} _{i}^{t}} . In practice, a WMMS-fair allocation almost always exists.89
Babaioff, Nisan and Talgam-Cohen90 present a natural extension of the ordinal MMS approximation to agents with different entitlements. For any two integers l , d {\displaystyle l,d} , set C and value function V, define
MMS V l -out-of- d ( C ) := max P ∈ Partitions ( C , d ) min Z ∈ Unions ( P , l ) V ( Z ) {\displaystyle \operatorname {MMS} _{V}^{l{\text{-out-of-}}d}(C):=~~~\max _{P\in \operatorname {Partitions} (C,d)}~~~\min _{Z\in \operatorname {Unions} (P,l)}~~~V(Z)}
Here, the maximum is over all partitions of C into d {\displaystyle d} disjoint subsets, and the minimum is over all unions of l {\displaystyle l} parts. For example, MMS V 2 -out-of- 3 ( { 1 , 3 , 5 , 6 , 9 } ) = 15 {\displaystyle \operatorname {MMS} _{V}^{2{\text{-out-of-}}3}(\{1,3,5,6,9\})=15} by the partition ({1,6},{3,5},{9}). Now, the Ordinal Maximin Share (OMMS) is defined by:
OMMS i t ( C ) := max l , d : l / d ≤ t i MMS i l -out-of- d ( C ) {\displaystyle \operatorname {OMMS} _{i}^{t}(C):=~~~\max _{l,d:~l/d\leq t_{i}}\operatorname {MMS} _{i}^{l{\text{-out-of-}}d}(C)}
For example, if the entitlement of agent i is any real number at least as large as 2/3, then he is entitled to at least the 2-out-of-3 MMS of C. Note that, although there are infinitely many pairs l , d {\displaystyle l,d} satisfying with l / d ≤ t i {\displaystyle l/d\leq t_{i}} , only finitely-many of them are not redundant (not implied by others), so it is possible to compute the OMMS in finite time.91 An allocation Z1,...,Zn is called OMMS-fair for entitlement-vector w if the value of each agent i is at least OMMS i t ( C ) {\displaystyle \operatorname {OMMS} _{i}^{t}(C)} .
The OMMS can be higher or lower than the WMMS, depending on the values:92
Babaioff, Ezra and Feige93 introduced a third criterion for fairness, which they call AnyPrice Share (APS). They define it in two equivalent ways; one of them is clearly a strengthening of the maximin share. Instead of partitioning the items into d disjoint bundles, the agent is allowed to choose any collection of bundles, which may overlap. But, the agent must then assign a weight to each bundle such that the sum of weights is at least 1, and each item belongs to bundles whose total weight is at most the agent's entitlement. The APS is the value of the least valuable positive-weight bundle. Formally:
APS V t ( C ) := max P ∈ AllowedBundleSets ( C , t i ) min Z ∈ P V ( Z ) {\displaystyle \operatorname {APS} _{V}^{t}(C):=~~~\max _{P\in \operatorname {AllowedBundleSets} (C,t_{i})}~~~\min _{Z\in P}~~~V(Z)}
where the maximum is over all sets of bundles such that, for some assignment of weights to the bundles, the total weight of all bundles is at least 1, and the total weight of each item is at most ti. There is a polyomial-time algorithm that guarantees to each agent at least 3/5 of his APS.94
The APS is always at least as high as the OMMS: given an optimal l-out-of-d partition, with l/d ≤ ti, one can assign a weight of 1/d to the union of parts 1,...,l, the union of parts 2,...,l+1, and so on (in a cyclic way), such that each part is included in exactly l unions. Therefore, each item belongs to bundles whose total weight is at most l/d, which is at most ti. The agent is guaranteed the least valuable such bundle, which is at least the l-out-of-d MMS.
In some cases, the APS is strictly higher than the OMMS. Here are two examples:
The APS can be higher or lower than the WMMS; the examples are the same as the ones used for OMMS vs WMMS:
Theodore Hill95 presented a version of the MMS that depends on the largest item value.
Hill, Theodore P. (1987). "Partitioning General Probability Measures". The Annals of Probability. 15 (2): 804–813. doi:10.1214/aop/1176992173. ISSN 0091-1798. JSTOR 2244076. https://doi.org/10.1214%2Faop%2F1176992173 ↩
Budish, Eric (2011). "The Combinatorial Assignment Problem: Approximate Competitive Equilibrium from Equal Incomes". Journal of Political Economy. 119 (6): 1061–1103. doi:10.1086/664613. S2CID 154703357. /wiki/Doi_(identifier) ↩
Procaccia, AD; Wang, J (2014). "Fair enough: guaranteeing approximate maximin shares". EC '14 Proceedings of the Fifteenth ACM Conference on Economics and Computation. pp. 675–692. doi:10.1145/2600057.2602835. ISBN 9781450325653. S2CID 53223172. 9781450325653 ↩
Markakis, Evangelos; Psomas, Christos-Alexandros (2011). "On Worst-Case Allocations in the Presence of Indivisible Goods". In Chen, Ning; Elkind, Edith; Koutsoupias, Elias (eds.). Internet and Network Economics. Lecture Notes in Computer Science. Vol. 7090. Berlin, Heidelberg: Springer. pp. 278–289. doi:10.1007/978-3-642-25510-6_24. ISBN 978-3-642-25510-6. 978-3-642-25510-6 ↩
Gourvès, Laurent; Monnot, Jérôme; Tlilane, Lydia (2015-07-19). "Worst case compromises in matroids with applications to the allocation of indivisible goods". Theoretical Computer Science. 589: 121–140. doi:10.1016/j.tcs.2015.04.029. ISSN 0304-3975. https://www.sciencedirect.com/science/article/pii/S0304397515003722 ↩
Li, Bo; Moulin, Hervé; Sun, Ankang; Zhou, Yu (2023). "On Hill's Worst-Case Guarantee for Indivisible Bads". arXiv:2302.00323 [cs.GT]. /wiki/ArXiv_(identifier) ↩
"Archived copy" (PDF). Archived from the original (PDF) on 2019-07-28. Retrieved 2019-11-29.{{cite web}}: CS1 maint: archived copy as title (link) https://web.archive.org/web/20190728063612/http://procaccia.info/papers/mms.jacm.pdf ↩
Feige, Uriel; Sapir, Ariel; Tauber, Laliv (2021-10-19). "A tight negative example for MMS fair allocations". arXiv:2104.04977 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Kurokawa, David; Procaccia, Ariel; Wang, Junxing (2016-02-21). "When Can the Maximin Share Guarantee be Guaranteed?". Proceedings of the AAAI Conference on Artificial Intelligence. 30 (1). doi:10.1609/aaai.v30i1.10041. ISSN 2374-3468. S2CID 7556264. https://ojs.aaai.org/index.php/AAAI/article/view/10041 ↩
Dickerson, John; Goldman, Jonathan; Karp, Jeremy; Procaccia, Ariel; Sandholm, Tuomas (2014-06-21). "The Computational Rise and Fall of Fairness". Proceedings of the AAAI Conference on Artificial Intelligence. 28 (1). doi:10.1609/aaai.v28i1.8884. ISSN 2374-3468. S2CID 3178022. https://ojs.aaai.org/index.php/AAAI/article/view/8884 ↩
Amanatidis, Georgios; Markakis, Evangelos; Nikzad, Afshin; Saberi, Amin (2017-12-04). "Approximation Algorithms for Computing Maximin Share Allocations". ACM Transactions on Algorithms. 13 (4): 1–28. arXiv:1503.00941. doi:10.1145/3147173. S2CID 13366555. /wiki/ArXiv_(identifier) ↩
Bouveret, Sylvain; Lemaître, Michel (2015). "Characterizing conflicts in fair division of indivisible goods using a scale of criteria". Autonomous Agents and Multi-Agent Systems. 30 (2): 259. doi:10.1007/s10458-015-9287-3. S2CID 16041218. /wiki/Doi_(identifier) ↩
Hummel, Halvard (2023-02-01). "On Lower Bounds for Maximin Share Guarantees". arXiv:2302.00264 [cs.GT]. /wiki/ArXiv_(identifier) ↩
https://www.wisdom.weizmann.ac.il/~feige/mypapers/MMSab.pdf [bare URL PDF] https://www.wisdom.weizmann.ac.il/~feige/mypapers/MMSab.pdf ↩
Barman, Siddharth; Krishnamurthy, Sanath Kumar (2017-03-06). "Approximation Algorithms for Maximin Fair Division". arXiv:1703.01851 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Barman, Siddharth; Krishnamurthy, Sanath Kumar (2020-03-06). "Approximation Algorithms for Maximin Fair Division". ACM Transactions on Economics and Computation. 8 (1): 5:1–5:28. arXiv:1703.01851. doi:10.1145/3381525. ISSN 2167-8375. S2CID 217191332. https://doi.org/10.1145/3381525 ↩
Ghodsi, Mohammad; Hajiaghayi, Mohammadtaghi; Seddighin, Masoud; Seddighin, Saeed; Yami, Hadi (2018-06-11). "Fair Allocation of Indivisible Goods: Improvements and Generalizations". Proceedings of the 2018 ACM Conference on Economics and Computation. EC '18. New York, NY, USA: Association for Computing Machinery. pp. 539–556. doi:10.1145/3219166.3219238. ISBN 978-1-4503-5829-3. S2CID 450827. 978-1-4503-5829-3 ↩
Garg, Jugal; McGlaughlin, Peter; Taki, Setareh (2018). Fineman, Jeremy T.; Mitzenmacher, Michael (eds.). "Approximating Maximin Share Allocations". 2nd Symposium on Simplicity in Algorithms (SOSA 2019). OpenAccess Series in Informatics (OASIcs). 69. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik: 20:1–20:11. doi:10.4230/OASIcs.SOSA.2019.20. ISBN 978-3-95977-099-6. 978-3-95977-099-6 ↩
Garg, Jugal; Taki, Setareh (2020-07-13). "An Improved Approximation Algorithm for Maximin Shares". Proceedings of the 21st ACM Conference on Economics and Computation. EC '20. Virtual Event, Hungary: Association for Computing Machinery. pp. 379–380. arXiv:1903.00029. doi:10.1145/3391403.3399526. ISBN 978-1-4503-7975-5. S2CID 67855844. 978-1-4503-7975-5 ↩
Akrami, Hannaneh; Garg, Jugal; Sharma, Eklavya; Taki, Setareh (2023-03-29). "Simplification and Improvement of MMS Approximation". arXiv:2303.16788 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Feige, Uriel; Norkin, Alexey (2022-05-11). "Improved maximin fair allocation of indivisible items to three agents". arXiv:2205.05363 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Akrami, Hannaneh; Melhorn, Kurt; Seddighin, Masoud; Shahkarami, Golnoosh (2023-12-15). "Randomized and Deterministic Maximin-share Approximations for Fractionally Subadditive Valuations" (PDF). Advances in Neural Information Processing Systems. 36: 58821–58832. arXiv:2308.14545. https://proceedings.neurips.cc/paper_files/paper/2023/file/b7ed46bd87cd51d4c031b96d9b1a8eb6-Paper-Conference.pdf ↩
Aigner-Horev, Elad; Segal-Halevi, Erel (2022). "Envy-free matchings in bipartite graphs and their applications to fair division". Information Sciences. 587: 164–187. arXiv:1901.09527. doi:10.1016/j.ins.2021.11.059. S2CID 170079201. /wiki/ArXiv_(identifier) ↩
Hosseini, Hadi; Searns, Andrew (2020-12-01). "Guaranteeing Maximin Shares: Some Agents Left Behind". arXiv:2105.09383 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Hosseini, Hadi; Searns, Andrew; Segal-Halevi, Erel (2022-01-19). "Ordinal Maximin Share Approximation for Chores". arXiv:2201.07424 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Caragiannis, Ioannis; Kurokawa, David; Moulin, Hervé; Procaccia, Ariel D.; Shah, Nisarg; Wang, Junxing (2019-09-01). "The Unreasonable Fairness of Maximum Nash Welfare" (PDF). ACM Trans. Econ. Comput. 7 (3): 12:1–12:32. doi:10.1145/3355902. ISSN 2167-8375. S2CID 202729326. http://eprints.gla.ac.uk/123283/1/123283.pdf ↩
Amanatidis, Georgios; Birmpas, Georgios; Markakis, Evangelos (2016-05-12). "On Truthful Mechanisms for Maximin Share Allocations". arXiv:1605.04026 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Barman, Siddharth; Biswas, Arpita (2018-04-25). "Fair Division Under Cardinality Constraints". arXiv:1804.09521 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Hummel, Halvard; Hetland, Magnus Lie (2021-06-14). "Guaranteeing Half-Maximin Shares Under Cardinality Constraints". arXiv:2106.07300 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Hummel, Halvard; Hetland, Magnus Lie (2022). "Fair allocation of conflicting items". Autonomous Agents and Multi-Agent Systems. 36. arXiv:2104.06280. doi:10.1007/s10458-021-09537-3. S2CID 233219836. /wiki/ArXiv_(identifier) ↩
Bouveret, Sylvain; Cechlárová, Katarína; Elkind, Edith; Igarashi, Ayumi; Peters, Dominik (2017-06-06). "Fair Division of a Graph". arXiv:1705.10239 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Lonc, Zbigniew; Truszczynski, Miroslaw (2019-05-09). "Maximin share allocations on cycles". arXiv:1905.03038 [cs.SI]. /wiki/ArXiv_(identifier) ↩
Aziz, Haris; Rauchecker, Gerhard; Schryen, Guido; Walsh, Toby (2016-04-05). "Approximation Algorithms for Max-Min Share Allocations of Indivisible Chores and Goods". arXiv:1604.01435 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Huang, Xin; Lu, Pinyan (2019-07-10). "An algorithmic framework for approximating maximin share allocation of chores". arXiv:1907.04505 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Kulkarni, Rucha; Mehta, Ruta; Taki, Setareh (2021-04-05). "Indivisible Mixed Manna: On the Computability of MMS + PO Allocations". arXiv:2007.09133 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Ebadian, Soroush; Peters, Dominik; Shah, Nisarg (2022-02-03), How to Fairly Allocate Easy and Difficult Chores, arXiv:2110.11285 /wiki/ArXiv_(identifier) ↩
Lang, Jérôme; Rothe, Jörg (2016). "Fair Division of Indivisible Goods". In Rothe, Jörg (ed.). Economics and Computation. Springer Texts in Business and Economics. Springer Berlin Heidelberg. pp. 493–550. doi:10.1007/978-3-662-47904-9_8. ISBN 9783662479049. {{cite book}}: |journal= ignored (help) 9783662479049 ↩
Heinen, Tobias; Nguyen, Nhan-Tam; Nguyen, Trung Thanh; Rothe, Jörg (2018-11-01). "Approximation and complexity of the optimization and existence problems for maximin share, proportional share, and minimax share allocation of indivisible goods". Autonomous Agents and Multi-Agent Systems. 32 (6): 741–778. doi:10.1007/s10458-018-9393-0. ISSN 1573-7454. S2CID 49479969. https://doi.org/10.1007/s10458-018-9393-0 ↩
Segal-Halevi, Erel; Suksompong, Warut (2019-12-01). "Democratic fair allocation of indivisible goods". Artificial Intelligence. 277: 103167. arXiv:1709.02564. doi:10.1016/j.artint.2019.103167. ISSN 0004-3702. S2CID 203034477. /wiki/ArXiv_(identifier) ↩
Amanatidis, Georgios; Birmpas, Georgios; Markakis, Evangelos (2018-07-13). "Comparing approximate relaxations of envy-freeness". Proceedings of the 27th International Joint Conference on Artificial Intelligence. IJCAI'18. Stockholm, Sweden: AAAI Press: 42–48. arXiv:1806.03114. ISBN 978-0-9992411-2-7. 978-0-9992411-2-7 ↩
Barman, Siddharth; Biswas, Arpita; Krishnamurthy, Sanath Kumar; Narahari, Y. (2017-11-20). "Groupwise Maximin Fair Allocation of Indivisible Goods". arXiv:1711.07621 [cs.GT]. /wiki/ArXiv_(identifier) ↩
Farhadi, Alireza; Ghodsi, Mohammad; Hajiaghayi, Mohammad Taghi; Lahaie, Sébastien; Pennock, David; Seddighin, Masoud; Seddighin, Saeed; Yami, Hadi (2019-01-07). "Fair Allocation of Indivisible Goods to Asymmetric Agents". Journal of Artificial Intelligence Research. 64: 1–20. arXiv:1703.01649. doi:10.1613/jair.1.11291. ISSN 1076-9757. S2CID 15326855. https://www.jair.org/index.php/jair/article/view/11291 ↩
Babaioff, Moshe; Nisan, Noam; Talgam-Cohen, Inbal (2021-01-27). "Competitive Equilibrium with Indivisible Goods and Generic Budgets". Mathematics of Operations Research. 46 (1): 382–403. arXiv:1703.08150. doi:10.1287/moor.2020.1062. ISSN 0364-765X. S2CID 8514018. https://pubsonline.informs.org/doi/abs/10.1287/moor.2020.1062 ↩
Segal-Halevi, Erel (2019-12-18). "The Maximin Share Dominance Relation". arXiv:1912.08763 [math.CO]. /wiki/ArXiv_(identifier) ↩
Babaioff, Moshe; Ezra, Tomer; Feige, Uriel (2021-06-06). "Fair-Share Allocations for Agents with Arbitrary Entitlements". arXiv:2103.04304 [cs.GT]. /wiki/ArXiv_(identifier) ↩