By properties (1)-(3), we can from here on ignore non-critical nodes, so that the remaining task is to calculate σ max − |B ncrit |.
in fact, we go further than that and calculate σ max − M , where we take for granted that the score can be at least as much as the number of gold edges within the remaining input, which leaves us with the task of counting the additional gold edges in the optimal computation.