Connected EF1 Allocations Exist in Discrete Chore Cutting
In this paper, we prove the existence of an envy-free up to one item (EF1) division for a discrete chore. Our approach builds on the powerful framework of Simmons-Su [Am. Math. Mon. 1999], which leverages Sperner's lemma to guarantee the existence of a simplex corresponding to a sequence of similar