finalizable

On the other hand, we show that FTM remains coNP-complete for resident-minimal instances, if the maximum quota of the hospitals is 2 or larger. We also give a polynomial-time decidable sufficient condition for a tentative match to be finalizable in the general case.