General polynomial-time algorithm for EF1+PO for both goods and chores

Develop a polynomial-time algorithm that, given a fair division instance with additive valuations (for goods) or additive costs (for chores), computes an allocation that is envy-free up to one item (for goods) or one chore (for chores) and Pareto optimal.

Background

This paper proves the existence of EF1+PO allocations for indivisible chores under additive costs and provides polynomial-time algorithms when the number of agents is constant. Nonetheless, the broader algorithmic problem of finding EF1+PO allocations in general, for both goods and chores, is not settled.

The concluding section explicitly frames the design of such a general polynomial-time algorithm as a major open question, extending the algorithmic challenge beyond goods to chores as well.