https://www.ap-siken.com/kakomon/03_aki/pm03.html

問4に関して、
確定済の数＝M-last（確定済が0のとき、last=M）
探索済の数＝top-1（探索済が0のとき、top=1）
なので、
確定済＋探索済の数＝M ⇒ (M-last)+(top-1)=M ⇒ top-last=1
になることが終了条件と捉え、
「top-last が 1 と等しくない」
と考えたのですが、不十分でしょうか。