#封闭态复核的最小收束