這裡先給出兩個關鍵概念的定義:若 w 滿足四邊形不等式(QI: quadrangle inequality)則:若 w 滿足區間單調(MLI: monotone on the lattice of intervals)則:根據姚儲楓大佬的 ...