Let represent the sum of elements in set of size . We shall call it a special sum set if for any two non-empty disjoint subsets, and , the following properties are true:
; that is, sums of subsets cannot be equal.
If contains more elements than then .
For this problem we shall assume that a given set contains strictly increasing elements and it already satisfies the second rule.
Surprisingly, out of the possible subset pairs that can be obtained from a set for which , only of these pairs need to be tested for equality (first rule). Similarly, when , only out of the subset pairs need to be tested.
For , how many of the subset pairs that can be obtained need to be tested for equality?