[ABC095C] Half and Half
a,b,c=ab*2三种披萨,目标是x个a披萨,y个b披萨 。
结论:设最优解是a,b,c披萨各u,v,w个(价格最低),则 u,v,w至少有一个为零!
反证法:设u,v,w都大于零,则
在a+b>=c情况下可以加一个c,少一个a和b
在a+b<=c情况下可以少一个c,多一个a和b
基于上述的结论,最优策略一定属于以下三者之一
不买c的策略(w=0),代价为noc = a*x+b*y;
不买a的策略(u=0),代价为noa = c*x+b*max(y-x,0)
不买b的策略(v=0),代价为nob = c*y+a*max(x-y,0)