「判定のための必要十分条件」が何を指してるのかわからない
部署の人数とプロジェクト数が決まってるなら問題文の通りにシミュレートして枠を全部埋める人数があるかどうか調べるだけじゃないの?