non-deterministic Turing machine (NMT)
Construct a non-deterministic Turing machine (NMT) that admits chains of the form
10^(i1), 10^(i2), …, 10^(ik) such that Σ i j (j is I) = Σ ij (j is NOT I)
I = {1,2,….k}
for some set.That is, a chain w must be admissible if a list (not a set, because elements can be repeated) of integers can be partitioned into two sublists so that the sums of the numbers in them are equal.This problem is known as the partitioning problem. It is proved to be NP-complete if the integers are represented by their binary codes and the size of the problem is the length of the list of these binary integers. on Python/C#/C++