短语词组短语strictly monotone decreasing function 严格单调递减函数monotone decreasing set function 单调递减集合函数 返回 monotone decreasing function