Pizza Sharing is PPA-Hard
Argyrios Deligkas, John Fearnley, Themistoklis Melissourgos
[AAAI-22] Main Track
Abstract:
We study the computational complexity of computing solutions for the
straight-cut and square-cut pizza sharing problems. We show that finding an
approximate solution is PPA-hard for the straight-cut problem, and
PPA-complete for the square-cut problem, while finding an exact solution for
the square-cut problem is FIXP-hard and in BU. Our PPA-hardness results apply
even when all mass distributions are unions of non-overlapping squares, and our
FIXP-hardness result applies even when all mass distributions are unions of
weighted squares and right-angled triangles. We also prove that decision variants
of the square-cut problem are hard: the approximate problem is
NP-complete, and the exact problem is ETR-complete.
straight-cut and square-cut pizza sharing problems. We show that finding an
approximate solution is PPA-hard for the straight-cut problem, and
PPA-complete for the square-cut problem, while finding an exact solution for
the square-cut problem is FIXP-hard and in BU. Our PPA-hardness results apply
even when all mass distributions are unions of non-overlapping squares, and our
FIXP-hardness result applies even when all mass distributions are unions of
weighted squares and right-angled triangles. We also prove that decision variants
of the square-cut problem are hard: the approximate problem is
NP-complete, and the exact problem is ETR-complete.
Introduction Video
Sessions where this paper appears
-
Poster Session 1
Thu, February 24 4:45 PM - 6:30 PM (+00:00)
Blue 6
-
Poster Session 12
Mon, February 28 8:45 AM - 10:30 AM (+00:00)
Blue 6