完全背包问题

给定一组物品,每种物品都有自己的重量和价格。在限定的总重量(背包容量)的条件下,选择物品使得背包中的物品的总价值最高。(验证时间约 10sec

[Back to Index]

验证特点:量化断言

标注说明:函数前条件:每件物品的重量均小于背包的重量限制 m;
     函数后条件:根据算法可以得到最大的总价值即函数返回值 f[m]。


程序样例  程序下载

前往验证