问题集示例解决方案ps9solution.pdfVIP

CSC373H1

问题集#9示例解决方案

2015年冬季假设SSD(S,t)是一种在多项式时间内解决SubsetSum决策问题的算法。

算法：以下算法解决了SubsetSum搜索问题。

SSS(S,t):如果不是SSD(S,t):返回nil

循环不变量：SSD(S,t)=True。

对于每个x：如果SSD(Sx},t):Sx}返回S

正确性：如果S不包含总和为t的子集，则算法返回nil。否则，SSD(S,t)是循环不变量，因此S的最终值包

含某个总和恰好为t的子集。同时，S中不需要的每个成员将在循环期间被消除。因此，S的最终值就是我们正在寻

找的子集。

运行时间：SSS对SSD进行n+1次调用（其中n=|S|），并使用多项式时间来创建每个集合Sx}，因此如果

SSD需要多项式时间，则其运行时间也是多项式。

多伦多大学圣乔治校区计算机科学系第1页，共1页