二人の新人について1人の指導者

 新人数　指導者数

-------------------

0     0

2     1

4     2

6     3

という関係性を記述したいときは、リニアペア制約で記述します。

ただし、上記仕様では、新人が奇数のときの取り扱いが明記されていません。

そこで、二つの場合について考えます。

一つ目は、Aを新人、Bを指導者としたとき

A<=2*B

です。Aが1人のとき、Bは、1人以上となります。Bが2人のとき、Bは、1人以上となります。（予定をソフト制約にして最小のBが出るようにしています。）

これに対して、Aが1人のとき、Bは、0人でもよい。Aが2人なら、Bは、1人以上としたい、というときの記述が次になります。