3/2倍近似算法-LPT Rule证明

这里有几点需要点明：首先是为什么2ti<=OPT，因为不论最优解长什么样子，总会有一个机器多一个任务ti，所以最长的时间不可能小于ti加之前的任务时间，之前的任务时间一定大于ti，所以ti+ti就一定小于等于OPT。
第二点，为什么只考虑任务多的机器小于等于1.5OPT：因为如果某个机器只有一个任务就已经是时间最大的了，那么OPT也只会是这种排法，所以是一倍的OPT。而之后这个机器再加任务的时候，就可以采用上面的算法，第一个小于等于OPT，第二个一定小于等于0.5OPT。所以上面的算法本质其实就是计算分配新任务来的时候（任务+1）的机器是小于等于1.5OPT的。