活発度\（P \）恥ずかしさのサブグラフ最小度、度\（Q \）の独立したセットのサイズとの間の制約、
\は[\ \ {整列}開始 lfloor N /（P + 1）\ rfloor \ルQ ＆\ RIGHTARROW \ lceil（NP- 1 + 1）/（P + 1）\ rceil \ルQ \\＆\ RIGHTARROW \ lceil（NP）/（P + 1）\ rceil \ルQ \\＆\のRIGHTARROW（ NP）/（P + 1） \ルQ \\＆\ RIGHTARROWのNP \ルPQ + Q \\＆\ RIGHTARROW N <（P + 1）（Q + 1）\端{整列} \]
明らかに\（\ lfloor N /（Q + 1）\ rfloor \ルのp \）は、 同一の不等式で導入することができます。
私たちはその度記録し、マップ上の点から最小の度合いを選択するたびに\（D_Iを\）と隣接削除\（D_Iを\）ポイント、などがない代替のポイントには、上運ぶ\（Q \ ）どうやら回、
\ [\ sum_ {i = 1} ^ Q（D_I + 1）= N \]
ビジー度明確あり\（Pは\） $ \最大D_Iの$方式である1、次いで
\ [（\最大D_I + 1 ）GEの\ sum_ {i = 1} ^ Q（D_I + 1）= N \ Q \ RIGHTARROW（\最大D_I + 1） （Q + 1）> N \]
これは、制約を満たすことです。
神そのああ、神の質問、ピットを離れるコード
ポイントに設けた\（X \）からアクセス可能\（\最大D_I \） 、削除のために考慮されます\（X \）その見かけの度に隣接するこれらの点\（\ GE \最大D_I \）プログラムので、ポイントである\（X \）及び（X \）\これらの点に隣接して、興奮度\（P = \最大D_I \）が。↩