Skip to main navigation Skip to search Skip to main content

Hardness results for consensus-halving

  • Aris Filos-Ratsikas
  • , Søren Kristoffer Stiil Frederiksen
  • , Paul W. Goldberg
  • , Jie Zhang
  • Ecole Polytechnique Fédérale de Lausanne
  • Aarhus University
  • University of Oxford
  • University of Southampton

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

19   Link opens in a new tab Citations (SciVal)

Abstract

The Consensus-halving problem is the problem of dividing an object into two portions, such that each of n agents has equal valuation for the two portions. We study the -approximate version, which allows each agent to have an discrepancy on the values of the portions. It was recently proven in [13] that the problem of computing an -approximate Consensus-halving solution (for n agents and n cuts) is PPA-complete when is inverse-exponential. In this paper, we prove that when is constant, the problem is PPAD-hard and the problem remains PPAD-hard when we allow a constant number of additional cuts. Additionally, we prove that deciding whether a solution with n − 1 cuts exists for the problem is NP-hard.

Original languageEnglish
Title of host publication43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018
EditorsIgor Potapov, James Worrell, Paul Spirakis
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Print)9783959770866
DOIs
Publication statusPublished - 1 Aug 2018
Event43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 - Liverpool, UK United Kingdom
Duration: 27 Aug 201831 Aug 2018

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume117
ISSN (Print)1868-8969

Conference

Conference43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018
Country/TerritoryUK United Kingdom
CityLiverpool
Period27/08/1831/08/18

Funding

The author was supported by the ERC Advanced Grant 321171 (ALGAME). 2 The author was supported by the ERC Advanced Grant 321171 (ALGAME).

FundersFunder number
H2020 European Research Council
European Research Council321171

Keywords

  • Consensus halving
  • Generalized-circuit
  • PPA
  • PPAD
  • Reduction

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Hardness results for consensus-halving'. Together they form a unique fingerprint.

Cite this