充足可能性問題（SAT）は何を判定する問題か。

2026年4月7日

論理式を真にするような真偽値の組み合わせの存在を問う。

パレート最適とはどのような状態か。

固定比率が100%を超えている場合の状態は。