混合整数プログラムの複雑さに関する下限

標準的な混合整数プログラミングフォームは、安定集合問題に対してn個の整数変数を必要とします。これがほぼ最適であることを証明しました。