任取集合中的三个不同数,且满足,则选取这样的三个数的方法共有种。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把比严格递增多出的间隔依次从后面的数中扣掉。
压缩后应得到一个普通的三元素选择问题;写出反向还原,才能确认没有因为平移改变上端点或漏掉最紧的间隔。
令,原限制等价于。反向令即可还原,故是一一对应。共有种。
按第三个数取6、7、8、9、10分类,前两数的可选数依次为1、3、6、10、15,合计35。最紧的取法 和贴近上端的 都合法,压缩后分别对应 与 ,两端范围一致。
带最小间隔的递增选择,可用按位置累积扣除额外间隔的双射压缩。新上界须由最后一个变量计算;反向加回间隔后,应同时恢复原上界与每一条相邻距离条件。
需识别并应用压缩间隔;双射模型
已记下,谢谢!