算法合集之《浅析信息学中的“分”和“合”》.pptVIP

浅析信息学中的“分”与“合”;引言;引言;[例三]最优序列;[例三]最优序列;[例三]最优序列——分析;[例三]最优序列——“分”繁为简;[例三]最优序列——子问题;[例三]最优序列——“分”繁为简;[例三]最优序列——进一步分析 ;[例三]最优序列——进一步分析;引理一 原问题的任意一组解都可以由K组不相交的子问题的解组成。 证明 对于原问题的任意一解P={a1,a2,a3…at}，a1a2a3…at。设sum[i]表示该解在区间[1,i]内取出的元素个数，则根据题意满足不等式： sum[i]-sum[i-M]≤K; 以下，我们给出一种构造法使之能产生一组与该解等价的K个子问题的解。 设K个子问题的解分别为P0,P1,P2…Pk-1， 令Pi={aj | j≡i (mod K)} ∵sum[i]-sum[i-M]≤K ∴ai-ai-k≥M ∴P0,P1,P2…Pk-1均为合法的子问题的解 又因为P0∪P1∪P2…∪Pk-1=P，因此我们成功地构造出了子问题的解。 ;引理二 任意K组不相交的子问题的解的并均为原问题的解。 证明 设K个子问题的不相交的解分别为P0,P1,P2…Pk-1 ， Pi={ai1,ai2,ai3…ail}，ai1ai2ai3…ail ∵对于任意长度为M的区间，Pi至多只有一个元素在其内部; 设P=P0∪P1∪P2…∪Pk-1