Centrala begrepp
標準的な混合整数プログラミングフォームは、安定集合問題に対してn個の整数変数を必要とします。これがほぼ最適であることを証明しました。
Statistik
n個の整数変数が必要であることを示す: "我々は、この家族がnノードグラフの安定セット(ナップサック)問題のMIPフォーミュレーションに対して、そのサイズが少なくとも2cn/log nでなければならないことを示す。"
Citat
"我々は、この家族がnノードグラフの安定セット(ナップサック)問題のMIPフォーミュレーションに対して、そのサイズが少なくとも2cn/log nでなければならないことを示す。"