求解

我現在的問題大概是這樣：找一個適當的 ordering 使得 monotonicity condition

成立，而且同時使 greedy theorem 給的 algebra

是一個 function。可以對 input lists 做適當的假設，而且其實一定要有假設，否則會有反例。

--
超難…

---

我要先放棄這邊，來看 JPEG decoder 了。

--
這時候換個口味有益身心健康…