Exercise · ZW-STIRLING-NUMBER-OF-THE-SECOND-KIND-010 · ★★★ Advanced

Prove that \(S(n,2)=2^{n-1}-1\) for \(n\ge 1\) and check with \(n=4\). State the value of \(S(4,2)\).

Choose one option.

Show answer
  • B. 7

Explanation

Each partition into two blocks corresponds to a nonempty proper subset, up to swapping the blocks, giving (2^n-2)/2=2^(n-1)-1. For n=4 this is 2^3-1=7. The value 8 forgets to subtract the trivial case, and 15 counts nonempty subsets without dividing by two.

Study Enumerative combinatorics in ZWMath →

Review the concept: Stirling number of the second kind

The Stirling number of the second kind S(n,k) counts the partitions of a set of n elements into k nonempty, indistinguishable blocks.

\[S(n,k)=kS(n-1,k)+S(n-1,k-1)\]

More practice problems: stirling number of the second kind

← ZW-STIRLING-NUMBER-OF-THE-SECOND-KIND-009