各奇サイクルで頂点を交互に選べば上記の大きさの独立集合が得られるので評価は鋭い。従って kmin=nk_{\min}=nkmin=n は n≡0,1(mod3)n\equiv0,1\pmod3n≡0,1(mod3) のとき、kmin=n−1k_{\min}=n-1kmin=n−1 は n≡2(mod3)n\equiv2\pmod3n≡2(mod3) のときである。