English

Consensus Halving for Sets of Items

Computer Science and Game Theory 2022-11-22 v1 Computational Complexity Data Structures and Algorithms

Abstract

Consensus halving refers to the problem of dividing a resource into two parts so that every agent values both parts equally. Prior work has shown that when the resource is represented by an interval, a consensus halving with at most nn cuts always exists, but is hard to compute even for agents with simple valuation functions. In this paper, we study consensus halving in a natural setting where the resource consists of a set of items without a linear ordering. When agents have additive utilities, we present a polynomial-time algorithm that computes a consensus halving with at most nn cuts, and show that nn cuts are almost surely necessary when the agents' utilities are drawn from probabilistic distributions. On the other hand, we show that for a simple class of monotonic utilities, the problem already becomes PPAD-hard. Furthermore, we compare and contrast consensus halving with the more general problem of consensus kk-splitting, where we wish to divide the resource into kk parts in possibly unequal ratios, and provide some consequences of our results on the problem of computing small agreeable sets.

Keywords

Cite

@article{arxiv.2007.06754,
  title  = {Consensus Halving for Sets of Items},
  author = {Paul W. Goldberg and Alexandros Hollender and Ayumi Igarashi and Pasin Manurangsi and Warut Suksompong},
  journal= {arXiv preprint arXiv:2007.06754},
  year   = {2022}
}
R2 v1 2026-06-23T17:05:44.150Z