Li-Fan Chen says to YSITD
但是不是每個演算法都會用到這三個性質