c 线性规划就可以证明三分的正确性了吧，再考虑2x+4y<=a 与3x+y<=b 的合并得出 x+y<=(a-a%2+b)/5，特判一下交点不在第一象限的情况；O(1)即可；