原來我要解決的問題: 類knapsack problem是可以generalizing成mixed-integer programming。
數學不好花了一兩天才找到這個search term和相關知識。

然後世界上有好幾種MIP solver library，只要call一下就能解決了。

原來是這樣啊汪 Σ(*ﾟдﾟﾉ)ﾉ

我的problem set是幾萬個variables (col)和幾萬個constraints (row)
一秒都不用就算出結果了 (還好現代的CPU夠快?)

咪咪貓貓喵