Envy-Free Incomplete Connected Fair Division

• The paper formalizes EF-ICFD by allocating exactly p graph vertices as connected bundles to agents with additive valuations, ensuring envy-freeness.
• It introduces an Efficient Parameterized Approximation Scheme (EPAS) using type reduction, color-coding, and dynamic programming to achieve ε-envy-free allocations.
• The study highlights the trade-off between exact fairness and computational tractability, offering novel insights for network-constrained resource allocation.

Envy-Free Incomplete Connected Fair Division (EF-ICFD) concerns the allocation of exactly $p$ items, modeled as vertices of an undirected graph $G = (V, E)$, to a set of agents $A = \{1, \dots, n\}$ with additive valuations, under the constraints of incompleteness, connectivity, and fairness. Each agent must receive a connected subset of $G$; precisely $p$ vertices are allocated, and no agent envies the bundle assigned to any other agent. This framework extends classical fair division by integrating combinatorial connectivity constraints and relaxing completeness, yielding new challenges both in the design of allocation algorithms and the analysis of their computational complexity (S et al., 27 Dec 2025).

1. Formal Problem Definition

Given an undirected graph $G = (V, E)$ of $m$ vertices, a set of agents $A = \{1, \dots, n\}$, and for each $a \in A$ an additive valuation function $v_a: V \rightarrow \mathbb{R}_{\geq 0}$, the goal is to partition a subset of exactly $p$ items among the agents such that:

• Incompleteness: $\sum_{a \in A} |S_a| = p$.
• Connectivity: For every agent $a$, the subgraph $G[S_a]$ induced by their bundle $S_a \subseteq V$ is connected.
• Envy-freeness: For all $a, b \in A$, $v_a(S_a) \geq v_a(S_b)$.

The decision version, \textsc{EF-ICFD}, asks: is there a vector $(S_1, \dots, S_n)$ of pairwise-disjoint, connected subsets satisfying the above, such that no agent envies another’s share? The central concern is both the mathematical formulation and its algorithmic properties, particularly with regard to the parameterization by $p$ and $n$ (S et al., 27 Dec 2025).

2. Computational Complexity and Parameterized Hardness

EF-ICFD is shown to be computationally intractable even on restricted graph classes. Specifically, the problem remains W[1]-hard parameterized by $p + |A|$ (and thus NP-hard), even when $G$ is a star and all numbers are represented in unary. The hardness is established by reduction from the well-studied $(k, M)$-Vector-Sum problem, itself known to be W[1]-hard parameterized by $k + d$ even when $M = k n^{1+o(1)}$ and all inputs are unary (Abboud et al., ESA 2014).

The reduction builds a star graph where the constraints on connected allocations and agent valuations enforce that an envy-free allocation exists if and only if there is a subset-sum solution for the vector instance. Precisely, the key lemma shows that in any envy-free allocation, all but one agent must take exactly one leaf, while one special agent (C) takes the center and a controlling subset of $k$ leaves. The per-leaf valuations encode the vector-sum constraints directly, such that envy-freeness forces the corresponding sum equalities. This reduction definitively resolves an open problem posed by Gahlawat and Zehavi (FSTTCS 2023) concerning special graph cases (S et al., 27 Dec 2025).

3. Approximate Envy-Freeness and Efficient Schemes

Allowing for a small multiplicative relaxation of envy—so-called $\varepsilon$-envy-freeness, where $(1 + \varepsilon) v_a(S_a) \geq v_a(S_b)$ for all $a, b$—dramatically changes the tractability landscape. For any fixed $\varepsilon > 0$, EF-ICFD admits a fixed-parameter tractable (FPT) approximation. The main result is an Efficient Parameterized Approximation Scheme (EPAS), parameterized by $p$ and the number of agent types $|\mathcal{A}|$ (agents sharing identical valuations).

Given the instance (with valuations in binary) and $\varepsilon > 0$, the EPAS runs in time $$(\frac{1}{\varepsilon} \log \frac{p}{\varepsilon})^{O(|\mathcal{A}| p^2)} \cdot (mn)^{O(1)}$$, either returning a valid $\varepsilon$-envy-free allocation or certifying that no exact envy-free solution exists. Thus, the problem is tractable for small parameters and agent-type diversity, despite intractability in the exact case (S et al., 27 Dec 2025).

4. Algorithmic Framework: EPAS Structure

The EPAS for $\varepsilon$-envy-free ICFD integrates several combinatorial and algorithmic devices:

1. Type-reduction: Remove duplicate agents for each type until no type appears more than $p+1$ times, ensuring $|A| \leq (p+1)|\mathcal{A}|$.
2. Color-coding: Use an $(m,p)$-perfect-hash family to color $V$ with $p$ colors, guaranteeing the existence of a coloring where each allocated item has unique color.
3. Bucket Profiles: For each agent, partition the $p$ colors and define a rounding map $\Lambda(a,c)$ that approximates the value gap induced by picking an item of color $c$.
4. Geometric Rounding: For each agent $a$, guess an integer "target" $\mu_a$ such that $$(1+\varepsilon)^{\mu_a-1} < v_a(S_a) \leq (1+\varepsilon)^{\mu_a}$$ to discretize the valuation space.
5. Dynamic Program: For each agent, extract a subgraph induced by eligible color classes and solve a weighted Graph-Motif problem to find a connected bundle of maximal $v_a$-value. The DP runs in $3^{|S_a|} m^{O(1)} \leq 3^p m^{O(1)}$ time per agent.
6. Search Procedure: Iterate over all colorings, partitions, rounding maps, and geometrically rounded value profiles; decrement targets as needed until a solution is found or infeasibility is established.

This structure ensures FPT-time dependence on $p$, $|\mathcal{A}|$, and $1/\varepsilon$ for the approximate version (S et al., 27 Dec 2025).

5. Technical Insights and Proof Highlights

The W[1]-hardness proof utilizes the encoding of the $(k, M)$-Vector-Sum within star instances, exploiting additive valuation functions by tuning per-item values such that the only feasible envy-free allocations enforce a vector-sum solution. Key technical features include:

• "Heavy-leaf" lemma that fixes precise bundles for all but one agent.
• Encoded per-leaf valuations to reflect the necessary sum constraints.

For the EPAS, the geometric rounding of bundle values via powers of $(1+\varepsilon)$ constrains the solution space to polynomially many rounded targets. Combined with color-coding to assign distinct colors to allocated items and independent per-agent DP for connected subgraphs, the space of possible solution sketches (colorings, partitions, rounding profiles, bucket assignments) becomes tractable for small $p$ and $|\mathcal{A}|$. The house-allocation style subroutine is critical for connecting these components.

A summary of the main algorithmic ingredients is provided below.

Algorithm Step	Purpose	Complexity Dependence
Type reduction	Reduce agent count per type	$|A| \leq (p + 1)|\mathcal{A}|$
Color-coding	Unique assignment of $p$ items	$e^p p^{O(\log p)} \log m$
Bucket guess/rounding	Discretize value profiles	$t^{|\mathcal{A}| p}$
Weighted Graph-Motif DP	Connected bundle search	$3^p m^{O(1)}$ per agent

The total search space is bounded by $$(\frac{1}{\varepsilon}\log\frac{p}{\varepsilon})^{O(|\mathcal{A}| p^2)}$$.

6. Significance and Theoretical Implications

EF-ICFD establishes the fundamental tension between exact fairness, combinatorial constraints, and computational efficiency. The intractability persists under severe restrictions—star graphs and unary valuations—definitively closing the case on the existence of efficient algorithms for the exact problem under these regimes. The presence of an efficient approximation scheme upon relaxing envy-freeness quantifies the tradeoff between solution quality and algorithmic feasibility.

A plausible implication is that for other network-constrained, incomplete allocation settings with additive values, parameterized tractability may only manifest by relaxing classical criteria such as envy-freeness. The approach integrates and extends tools from fixed-parameter tractability, dynamic programming on graphs, and geometric rounding, and may be adaptable to additional fair-division domains where combinatorial structure and incomplete allocation interplay (S et al., 27 Dec 2025).