---
title: Fair Max-Min Subset Selection
url: https://www.emergentmind.com/topics/fair-max-min-subset-selection
type: topic
---

# Fair Max-Min Subset Selection

Fair Max-Min Subset Selection is a central problem in algorithmic fairness and diversity, unifying themes from robust optimization, combinatorial selection, and group-aware resource allocation. The objective is to select a subset of $k$ elements from a ground set, subject to group-based fairness constraints, so as to maximize the minimum pairwise “quality” measure (such as distance, matching cost, or matrix reconstruction error). The canonical instantiations—Fair Max-Min Diversification, Weighted Max-Min $T$-Joins, and Fair Column Subset Selection—appear in applications spanning data summarization, multiagent collaboration, reviewer assignment, and robust recommender system design. Prior work has established both the computational hardness and structural similarity of fair max-min problems to matching, covering, and partitioning primitives, motivating a spectrum of exact algorithms, approximation schemes, and scalable heuristics.

## 1. Formal Problem Definitions and Core Models

The general Fair Max-Min Subset Selection framework consists of the following:

- **Metric Fair Max-Min Diversification**  
  Given a finite metric space $(U, d)$, with $n$ elements partitioned into $m$ disjoint groups $G_1, \ldots, G_m$ and quotas $k_1,\dots,k_m$, select $S\subset U$ with $|S|=k$, $|S\cap G_i|=k_i$ for all $i$, to maximize
  $$
  \min_{u\ne v\in S} d(u,v).
  $$
  The fairness constraint enforces prescribed representation of each group in $S$ [2010.09141].

- **Weighted Max-Min $T$-Join**  
  For a graph $G=(V,E)$ with edge weights $w:E\to\mathbb{R}_{+}$, the problem is to select an even-sized subset $T\subseteq V$ so as to maximize the minimum-weight perfect matching on $T$ in the induced metric:
  $$
  \mu(G) := \max_{\substack{T\subseteq V\\|T|~\mathrm{even}}} \min_{\text{perfect $M$ on $T$}} \sum_{e\in M} d(e)
  $$
  with $d(\cdot)$ the graph metric [2602.07720].

- **Fair Max-Min Column Subset Selection**
  Given $A\in\mathbb{R}^{m\times n}$, with rows split into $G_1$ and $G_2$, select the column subset $C\subseteq[n]$ minimizing the maximum of normalized reconstruction errors,
  $$
  \min_{C\subseteq [n]} \max\Big\{
    \frac{\|A_{G_1}-P_{\mathrm{span}(A_C)}A_{G_1}\|_F}{\|A_{G_1}-A_{G_1,k}\|_F},\;
    \frac{\|A_{G_2}-P_{\mathrm{span}(A_C)}A_{G_2}\|_F}{\|A_{G_2}-A_{G_2,k}\|_F}
  \Big\}
  $$
  [2306.04489].

These models unify diversity maximization with explicit fairness, capturing the need for robust, non-redundant, and equitable representation in subset selection.

## 2. Computational Complexity and Hardness

Fair Max-Min Subset Selection is provably intractable in general:

- **NP-hardness**:  
  For diversity maximization with fairness constraints, it is NP-complete to decide if there is a subset of size $k$ (with per-group quotas) attaining a given minimum pairwise distance, even in a metric or Euclidean space [2010.09141, 2404.04713, 2306.04489].  
  The fair max-min column subset selection problem is NP-hard even for just two groups due to its reduction from exact partition [2306.04489].

- **Inapproximability**:  
  Unconstrained max-min diversity admits no polynomial-time approximation better than $1/2$ unless P = NP. This hardness carries over to fair variants unless P = NP [2010.09141].

- **Exponential dependence on parameters**:  
  Exact algorithms scale exponentially in $k$ or in the number of groups—impractical for large datasets or quotas beyond single digits [2201.06678, 2301.02053].

This computational barrier motivates the use of approximations, coresets, and randomized rounding, as detailed below.

## 3. Algorithmic Approaches and Approximation Guarantees

The spectrum of algorithms spans exact, approximation, and streaming paradigms, each tailored to structural and fairness requirements.

### 3.1 Combinatorial and Optimization-Based Methods

- **GMM Farthest-First Traversal (Unconstrained/GMM)**:  
  A $1/2$-approximation for classic max-min diversity; in the fair variant forms the backbone for later algorithms [2010.09141].

- **Linear Programming Relaxation and Rounding**:  
  Relax fairness and packing constraints to an LP, solve for a fractional solution, use randomized order rounding to produce an integral subset with diversity at least $\gamma/2$ and quotas met in expectation [2201.06678, 2404.04713].

- **Thresholding and Swap/Flow Algorithms**:  
  For $m = 2$, Fair-Swap achieves a $1/4$-approximation in $O(kn)$ by iteratively swapping to restore fairness. For $m \geq 3$, thresholding on distance and max-flow assignment yields $1/(3m-1)$-approx. For overlapping groups, the factor is $1/(3\binom{m}{\lfloor m/2\rfloor}-1)$ [2010.09141].

- **Greedy Clustering + Flow ("FairGreedyFlow")**:  
  In $O(nkm^3\log n)$ time, guarantees perfect fairness and $1/(m+1)$-approximation [2201.06678].

- **ILP Formulation (Exact FMMD-E)**:  
  Solves Fair Max-Min Diversification on $O(n^2)$ constraints for datasets up to a few thousand items. For a guessed diameter $\delta$, checks feasibility of a fair independent set subject to all pairwise separation constraints [2301.02053].

### 3.2 Advanced Approximation and Scalability Techniques

- **Multiplicative-Weight Update (MFD) with Geometric LP**:  
  Bypassing explicit constraints via MWU and efficient range queries (BBD trees), a constant-factor approximation (up to $1/2(1+\varepsilon)$) and near-linear time/space in fixed dimension $d$ is achievable [2404.04713].

- **Coreset Construction**:  
  In Euclidean $\mathbb{R}^d$, group-wise farthest-point coresets of size $O(mk/\varepsilon^{2d})$ preserve diversity within $(1+\varepsilon)$, yielding efficient distributed and streaming implementations [2201.06678, 2404.04713].

- **Streaming and Distributed Algorithms**:  
  Streaming threshold-GMM maintains $O((8/\epsilon)^{k})$-sized coresets per group; composable coreset protocols aggregate coresets centrally for final selection [2201.06678, 2404.04713].

- **Approximation Tradeoffs Table**:

| Setting/Algorithm       | Approximation Factor | Fairness Guarantee     | Time Complexity         |
|------------------------|---------------------|-----------------------|------------------------|
| Fair-Swap ($m=2$)      | $1/4$               | Exact                 | $O(kn)$                |
| Fair-Flow ($m\ge3$)    | $1/(3m-1)$          | Exact                 | $O(kn+k^2m^2\log km)$  |
| FairGreedyFlow         | $1/(m+1)$           | Exact                 | $O(nkm^3\log n)$       |
| MWU/LP [Euclid, $d$]   | $1/2(1+\varepsilon)$| $(1-\varepsilon)$-exp. | $O(nk\log^3n)$         |
| FMMD-S (ILP + coreset) | $(1-\varepsilon)/5$ | Lower/upper quotas    | $O(nk) + \mathrm{poly}(k)$ |
| Column subset selection| $1.5$-approx (size) | Relative error bound   | $O(nk^2)$              |

- **Column Subset Selection** (fair CSS):  
  Leverage-score based greedy yields a $1.5$-approximation on column-count, guaranteeing both groups’ normalized errors are bounded [2306.04489]. QR-based practical heuristics ensure near-optimal group error, empirically matching vanilla CSS up to $5$-$10\%$ in final matrix loss.

### 3.3 Special Cases and Structural Results

- **Weighted Max-Min $T$-Join**:  
  Greedy farthest-point orderings yield $2(1+\ln k)$-factor upper bounds. A $2\ln n$-approximation is achievable in $O(n^4)$. For $(1,2)$-weight graphs, an exact $O(n^3)$ method is available [2602.07720].

- **Exact Results in Low Dimensions**:  
  For $D=1$ (Euclidean), dynamic programming solves the fair max-min subset selection exactly in $O(n^4\prod_i (k_i+1))$ [2201.06678].

## 4. Empirical Findings and Practical Applications

Empirical benchmarks establish that:

- High-quality, robust, and fair subsets are achievable in practice:  
  For real-world reviewer assignment and mutual-aid city pairing, approximation factors between upper and lower bounds are consistently small (1.2–1.5) [2602.07720].
- Algorithms such as MWU-BBD [2404.04713], FairGreedyFlow [2201.06678], and FMMD-S [2301.02053] scale to datasets of millions of points in minutes, outperforming prior methods in both diversity and running time, especially as the group count grows.

Key application domains include:

- Reviewer assignment for conferences (fairly covering expertise subcommunities).
- Coalition formation and robust resource allocation in multiagent systems.
- Dataset summarization, search result diversity, and fair recommender systems.
- Column subset selection in fair, group-sensitive matrix approximation tasks.

Group fairness ensures robust worst-case guarantees, preventing domination or undercoverage of any protected or sensitive group.

## 5. Theoretical Insights and Open Directions

Theoretical developments include:

- LP relaxation/rounding achieves fairness-in-expectation at optimal $2$-approximation but requires strengthening for high-probability guarantees and exact quotas [2201.06678].
- Greedy/flow-based algorithms provide strong bicriteria guarantees, with approximation ratios improving from $3m-1$ (earlier work) to $m+1$ and $1/(3m-1)$. For two groups or small $k$, exhaustive enumeration or Fair-GMM closes the gap to $1/4$ and $1/5$ [2010.09141, 2201.06678].
- Scalability advances leverage geometric coreset constructions and data structures for range queries (BBD trees, kd-trees), enabling efficient distributed and streaming variants with guaranteed diversity [2404.04713, 2201.06678].
- In specialized settings ($(1,2)$-weighted graphs, $D=1$ metrics, or exact quotas), combinatorial and DP approaches prove optimality or tight bounds [2602.07720, 2201.06678].

Open questions include:

- Whether polynomial-time $1/2-o(1)$-approximations under perfect fairness are achievable.
- Improving approximation factors for overlapping-groups and high group-count regimes [2301.02053, 2010.09141].
- Designing provably robust streaming/distributed methods in more general fairness models or with broader diversity objectives.

## 6. Connections to Broader Fairness and Robust Optimization

The fair max-min subset selection paradigm acts as a robustification layer over classical subset selection and diversity maximization:

- **Robustness**:  
  The min-pairwise objective immunizes against worst-case lack of diversity within the selected subset [2602.07720, 2404.04713].

- **Fairness**:  
  Exact or approximate quota enforcement extends classical diversification to group-sensitive settings, crucial for ethical and practical equity in recommender, search, and algorithmic decision-making systems [2010.09141].

- **Algorithmic Unification**:  
  The frameworks described subsume classical problems in matching, clustering, independent sets, and matrix approximation, and draw algorithmic ingredients from combinatorial optimization, polyhedral relaxation, flow algorithms, geometric data structures, and randomized rounding.

These links highlight the fundamental role of Fair Max-Min Subset Selection as both a theoretical primitive and a practical methodology for fair, robust, and representative selection under quotas.

Source: https://www.emergentmind.com/topics/fair-max-min-subset-selection