A-2證明 Partition Problem 為 NP-Complete(由 Subset Sum 歸約)
考點:NP-Hard 與 NPC
(1) Partition NP:給定一組切分,加總兩邊比較是否相等, 即可驗證。
(2) Subset Sum Partition:給定 Subset Sum 實例 ,令 ,建構 ,總和 ,合法切分兩邊各為 ;建構為多項式時間。
(3) 若 有子集合 使 ,則 和為 ,為合法切分。反之,,兩個新元素必分屬兩邊,含 的一邊從 中取出的元素和恰為 ,即 Subset Sum 的解。
故 Partition 為 NP-Complete。

