Settling the Complexity Landscape of Multi-Agent Contracts with Binary Actions
We study the computational complexity of optimal contract design in the multi-agent binary-action model, focusing on gross-substitutes reward functions and related classes. While additive rewards admit an FPTAS and general submodular rewards admit only constant-factor approximation, the complexity within the intermediate class of gross substitutes has remained largely open. We uncover a fine-grained approximation landscape within this class. We first show that the optimal contract problem is APX-complete even for OXS rewards - a strict subclass of gross substitutes rewards, ruling out a PTAS for gross substitutes unless $\mathsf{P}=\mathsf{NP}$. In contrast, for weighted matroid rank functions (WMRFs) - another natural subclass of gross substitutes - we obtain an EPTAS and show that no randomized FPTAS exists in general. We further identify the special case of partition (weighted) matroid rank functions, for which we obtain an FPTAS. This stands in contrast to the multi-agent multi-action setting, where no PTAS exists even for unweighted partition matroid rank functions. Finally, we consider the broader class of ultra reward functions. While ultra rewards retain the tractability of gross substitutes in a related combinatorial contract model with a single agent, we show a sharp contrast in the multi-agent model: no polynomial-time randomized algorithm using value queries can achieve a $2^{o(n)}$-approximation in expectation. Together, our results reveal several qualitatively distinct computational regimes within and beyond gross substitutes, and identify submodularity as a crucial ingredient for the approximability of multi-agent contracts.