Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity

S. Bouveret, J. Lang
2008 The Journal of Artificial Intelligence Research  
We consider the problem of allocating fairly a set of indivisible goods among agents from the point of view of compact representation and computational complexity. We start by assuming that agents have dichotomous preferences expressed by propositional formulae. We express efficiency and envy-freeness in a logical setting, which reveals unexpected connections to nonmonotonic reasoning. Then we identify the complexity of determining whether there exists an efficient and envy-free allocation, for
more » ... several notions of efficiency, when preferences are represented in a succinct way (as well as restrictions of this problem). We first study the problem under the assumption that preferences are dichotomous, and then in the general case.
doi:10.1613/jair.2467 fatcat:oci5j6yeqvhr7hoogvc7rdqigq