Изменения

==Формулировка задачи==

В '''задаче о сумме подмножества''' (Subset sum problem) входными данными являются набор из <math>n</math> целых чисел <math>S</math> и целое число <math>s</math>. Требуется выяснить, возможно ли выбрать подмножество <math>S' \subseteq S</math> с суммой <math>s</math>:

==Доказательство NP-полноты==

Для доказательства того, что Subset sum problem <math>\in</math> [[NPC]], необходимо доказать два факта: