graph_efx Simulations and algorithms for determining if graph-constrained efx allocations always exist on certain graphs.