斜率优化关于横坐标相等问题

如题，动态规划斜率优化，在主函数单调队列的 while循环用乘法一般这么写（f是纵坐标，c是横坐标）：

CPP

while(head < tail && (f[q[tail]] - f[q[tail - 1]]) * (c[i] - c[q[tail]]) >= (f[i] - f[q[tail]]) * (c[q[tail]] - c[q[tail - 1]])) --tail;

用除法也差不多。

但是我想问，如果三点横坐标相等（即 c[i] == c[q[tail]] == c[q[tail - 1]] 怎么办？

感觉这么写是错的，因为如果有三个点横坐标相等，先加入纵坐标最高的点，其次是最低和中间的，按照如上的写法就会造成第一个点和第二个点被弹出，保留纵坐标大小中间的点，但显然保留最低的点更优。

除法的写法就会有除数是0 / 精度无法保证的情况。

萌新实在想不通了，翻古早帖不是图没了就是看不懂。

求助求助求助求助。

讨论操作