  Competitive equilibrium with equal income (CEEI) is considered one of the
best mechanisms to allocate a set of items among agents fairly and efficiently.
In this paper, we study the computation of CEEI when items are chores that are
disliked (negatively valued) by agents, under 1-homogeneous and concave utility
functions which includes linear functions as a subcase. It is well-known that,
even with linear utilities, the set of CEEI may be non-convex and disconnected,
and the problem is PPAD-hard in the more general exchange model. In contrast to
these negative results, we design FPTAS: A polynomial-time algorithm to compute
$\epsilon$-approximate CEEI where the running-time depends polynomially on
$1/\epsilon$.
  Our algorithm relies on the recent characterization due to Bogomolnaia et
al.~(2017) of the CEEI set as exactly the KKT points of a non-convex
minimization problem that have all coordinates non-zero. Due to this non-zero
constraint, naive gradient-based methods fail to find the desired local minima
as they are attracted towards zero. We develop an exterior-point method that
alternates between guessing non-zero KKT points and maximizing the objective
along supporting hyperplanes at these points. We show that this procedure must
converge quickly to an approximate KKT point which then can be mapped to an
approximate CEEI; this exterior point method may be of independent interest.
When utility functions are linear, we give explicit procedures for finding the
exact iterates, and as a result show that a stronger form of approximate CEEI
can be found in polynomial time. Finally, we note that our algorithm extends to
the setting of un-equal incomes (CE), and to mixed manna with linear utilities
where each agent may like (positively value) some items and dislike (negatively
value) others.
