金曜日に一生懸命、業務上でどうしても解かないとならない課題を最適化問題に落とし込む方法、モデリングをしていましたが答えは出せず。どうしても述語論理になってしまって、それでは線形問題に落とし込めないのです。何の条件を緩めれば良いのか、土日で考えていましたが漸く命題論理になりました。