Abstract:We study the computational complexity of fairly allocating indivisible, mixed-manna items. For basic measures of fairness, this problem is hard in general. Thus, research has flourished concerning input classes where efficient algorithms exist, both for the purpose of establishing theoretical boundaries and for the purpose of designing practical algorithms for real-world instances. Notably, the paradigm of fixed-parameter tractability (FPT) has lead to new insights and improved algorithms for a variety of fair allocation problems; see, for example, Bleim et al. (IJCAI 16), Aziz et al. (AAAI 17), Bredereck et al. (EC 19) and Kulkarni et al. (EC 21). Our focus is the fairness measure maximin shares (MMS). Motivated by the general non-existence of MMS allocations, Aziz et al. (AAAI 17) studied optimal MMS allocations, namely solutions that achieve the best $\alpha$-approximation for the maximin share value of every agent. These allocations are guaranteed to exist, prompting the important open question of whether optimal MMS allocations can be computed efficiently. We answer this question affirmatively by providing FPT algorithms to output optimal MMS allocations. Furthermore, our techniques extend to find allocations that optimize alternative objectives, such as minimizing the additive approximation, and maximizing some variants of global welfare. In fact, all our algorithms are designed for a more general MMS problem in machine scheduling. Here, each mixed-manna item (job) must be assigned to an agent (machine) and has a processing time and a deadline. We develop efficient algorithms running in FPT time. Formally, we present polynomial time algorithms w.r.t. the input size times some function dependent on the parameters that yield optimal maximin-value approximations (among others) when parameterized by a set of natural parameters

Expected Maximin Fairness in Max-Cut and other Combinatorial Optimization Problems

Maximizing Agreements for Ranking, Clustering and Hierarchical Clustering via MAX-CUT

Maximizing coverage while ensuring fairness: a tale of conflicting objective

Maximizing Expected Utility for Stochastic Combinatorial Optimization Problems

A maximin based, linear programming approach to worst-case scenario control

Algorithmically Fair Maximization of Multiple Submodular Objective Functions

Application of Programs with Maximin Objective Functions to Problems of Optimal Resource Allocation

Groupwise Maximin Fair Allocation of Indivisible Goods

Achieving Long-term Fairness in Submodular Maximization through Randomization

Maximin share allocations on cycles

More on greedy construction heuristics for the MAX-CUT problem

FPT Algorithms using Minimal Parameters for a Generalized Version of Maximin Shares

A Bound on the Expected Optimality of Random Feasible Solutions to Combinatorial Optimization Problems

Solving Euclidean Max-Sum problems exactly with cutting planes

A guide to formulating fairness in an optimization model

Improved Maximin Share Approximations for Chores by Bin Packing

Enforcing Group Fairness in Algorithmic Decision Making: Utility Maximization Under Sufficiency

Maximizing Matching Cuts

Cherry on the Cake: Fairness is NOT an Optimization Problem

Budget-constrained cut problems

Leximin and Leximax Fair Core Imputations for the Max-Flow, MST, and Bipartite $b$-Matching Games