The class of assignment problems is a fundamental and well-studied in the intersection Social Choice, Computational Economics Discrete Allocation. In general problem, group agents expresses preferences over set items, task to allocate items an “optimal” way. A verification variant this problem includes allocation as part input, question becomes whether “optimal”. paper, we generalize setting wh...