Online Judge | Problem Set | Authors | Online Contests | User | ||||||
---|---|---|---|---|---|---|---|---|---|---|
Web Board Home Page F.A.Qs Statistical Charts | Current Contest Past Contests Scheduled Contests Award Contest |
Re:严谨的证明In Reply To:严谨的证明 Posted by:ecust_linpeng at 2009-08-09 08:33:34 > 贪心 > 当前最优,因为每一次搬运之后剩下的问题和原问题一样,只是规模变小了,故如果每次选出当前最优的解来进行选取,则累计起来的解也是最优的. > 所以这是一道贪心题. > 选择策略, > 1 在二个中间选择之中,能根据time/eat小的那个为最优解 > 证明: > 二个羊中 A,B,属性分别为分别为eatA,timeA,eatB,timeB > 选A的时候损失timeA*eatB > 选B的时候损失timeB*eatA > 双方同除以eatA*eatB. > 令time/eat为一个羊的比率x > 可以证明x小的那个为最优解. > > 定理,如果有一个选择在n个选择中是最优的,那么(在包含这个选择的)n-1个选择中也是最优的, > > 逆否命题,如果一个选择在n-1个选择中不是最优的,那么在n个选择中也不是最优的. > > 推论,如果一个选择在2个选择中不是最优的,那么在n个选择中也不是最优的 > > 所以将羊按照比率x排序,可以找到一个羊A在与其它所有羊比较的过程中都是最优的, > > 或者说其它n-1的羊在与别的羊做两个之间选一个的选择的时候不是最优的,所有这n-1个羊不是最优解的. > 所以羊A是n头羊中最优解 > > (这个证明先令x的值都是不同的,对x相同的证明只需要将最优,改成没有更优即可 ^_^ ) Orz、、 Followed by: Post your reply here: |
All Rights Reserved 2003-2013 Ying Fuchen,Xu Pengcheng,Xie Di
Any problem, Please Contact Administrator