Hatena::Grouptopcoder

Hiro180の日記

 | 

2014-02-26

SRM 610 Medium 16:14

やっと分かった。


refuelが大きい順に見ればよいことを示す。

これはrefuelが小さいもの->refuelが大きいものと取れるのに

refuelが大きいもの->refuelが小さいものとは取れない、ということはありえないことを示せばよい.

具体的には(duration=x,refuel=small)と(duration=y,refuel=big)を考えることにする。

もともとの量をaとすると

前者: a-x+small >= y <=> a+small >= x+y

後者: a-y+big < x <=> a+big < x+y


small<bigより両方がなりたつことはない。よって示せた</ppp>

 |