Altküme Toplamı:
Girdi: {a1, a2, ..., am} st M = {1..m} ve ai negatif olmayan bir tamsayı ve S⊆ {1..k} ve Σai (i∈S) = t
Bölme:
Girdi: {a1, a2, ..., am} ve S⊆ {1, · · · m} st Σai (i∈S) = Σaj (j∉S)
Bölüm Np Kanıtı:
prover doğrulayıcı için bir bölüm (P1, P2) sağlıyorsa, doğrulayıcı P1 ve P2'nin toplamını kolayca hesaplayabilir ve sonucun doğrusal zamanda 0 olup olmadığını kontrol edebilir.
NP_Hard: SubsetSum ≤p BÖLÜMÜ
X, SubsetSum ve x = 〈a1, a2, ..., am, t〉 ve Σai (i 1'den m'ye) = a
Durum1: 2t> = a:
F (x) = 〈a1, a2, ..., am, am + 1〉 olsun + am = 1 = 2t − a
X∈SubsetSum ⇔ f (x) ARTPARTITION olduğunu göstermek istiyoruz.
yani S⊆ {1, ..., m} st T = {1..m} - S ve Σai (i∈T) =
ve Bırak T '= {1 ... m, m + 1} - S so Σaj (j∈T') = a-t + 2t-a = t
tam olarak Σai (i∈S) = t'dir ve f (x) gösterir showsPARTITION
şimdi f (x) ARTPARTITION ⇔ x∈SubsetSum
yani S⊆ {1, ..., m, m + 1} st T = {1, ..., m, m + 1} - S ve Σai (i∈T) = [a + (2t-a) var ) -t] = t
ve Σai (i∈T) = Σaj (j∈S) gösterir, böylece m + 1∈T ve S⊆ {1, · · ·, m} ve Σai (i∈S) = t
yani x∈SubsetSum
Durum 2: 2t = <a :
kontrol edebiliriz ama sadece bu sefer + 1 − 2t