House allocation: Data notation correction with Top Trading Cycles (TTC) example
I think this is a typo in the paper. As far as I see, the houses $\{h_5, h_6, h_7\}$ are not occupied, so it should be that $H_V = \{h_5, h_6, h_7\}$.