중복조합
본문빵집에 크림빵, 단팥빵, 소보로빵이 넉넉히 있고, 이 가운데 5개를 산다. 같은 빵을 여러 개 사도 되고, 어떤 빵은 하나도 안 사도 된다. 순서는 따지지 않는다. 고르는 방법은 몇 가지일까? 하나하나 쓰지 않고 셀 수 있을까?
1.2.1별과 막대로 바꾸기
크림빵 2개, 단팥빵 1개, 소보로빵 2개를 샀다면 ★★|★|★★로 나타내자. 첫 막대 앞의 별이 크림빵, 두 막대 사이가 단팥빵, 둘째 막대 뒤가 소보로빵의 개수이다. 크림빵을 안 사고 단팥빵 3개, 소보로빵 2개를 샀다면 |★★★|★★이다.
이렇게 하면 고르는 방법 하나마다 '별 5개와 막대 2개를 늘어놓은 줄' 하나가 정확히 짝지어지고, 거꾸로 줄 하나에서 고른 방법을 되찾을 수 있다. 따라서 고르는 방법의 수는 7개의 자리 가운데 막대 2개의 자리를 고르는 방법의 수 \({}_7\mathrm{C}_2 = 21\)이다. 그림 1의 슬라이더로 개수를 바꾸면 줄이 함께 바뀐다.
서로 다른 \(n\)개에서 중복을 허락하여 \(r\)개를 택하는 조합을 중복조합이라 하고, 그 수를 \({}_n\mathrm{H}_r\)로 나타낸다. \[{}_n\mathrm{H}_r = {}_{n+r-1}\mathrm{C}_r\]
공식의 \(n + r - 1\)은 별 \(r\)개와 막대 \(n - 1\)개를 더한 자리 수이다. 종류가 \(n\)가지이면 경계는 \(n - 1\)개면 되기 때문이다.1
1.2.2방정식의 정수해 세기
세 빵의 개수를 \(x\), \(y\), \(z\)라 하면 처음 질문은 \(x + y + z = 5\)를 만족하는 음이 아닌 정수 \((x, y, z)\)의 개수를 묻는 것과 같다. 그래서 중복조합은 이런 방정식의 해를 세는 도구가 된다. \(x + y + z = r\)의 음이 아닌 정수해의 개수는 \({}_3\mathrm{H}_r\)이다.
1.2.3예제 풀이
\(x + y + z = 8\)을 만족하는 양의 정수해 \((x, y, z)\)의 개수를 구하여라. 또 사과, 배, 감 세 종류에서 6개를 고르되 사과를 2개 이상 고르는 방법의 수를 구하여라.
양의 정수이므로 \(x = x' + 1\), \(y = y' + 1\), \(z = z' + 1\)(\(x', y', z' \ge 0\))로 둔다. 그러면 \(x' + y' + z' = 5\)이므로 해의 개수는 \({}_3\mathrm{H}_5 = {}_7\mathrm{C}_5 = 21\)이다. 처음 질문의 빵 고르기와 같은 수가 나온 것은 두 문제가 같은 구조이기 때문이다.
두 번째 질문은 사과 2개를 먼저 골라 두고, 남은 4개를 세 종류에서 자유롭게 고르면 된다. 따라서 \({}_3\mathrm{H}_4 = {}_6\mathrm{C}_4 = 15\)가지이다.
확인으로 사과의 개수별로 세어 보자. 사과가 2개이면 나머지 4개를 배와 감에 나누는 5가지, 3개이면 4가지, 4개이면 3가지, 5개이면 2가지, 6개이면 1가지이다. 합은 \(5 + 4 + 3 + 2 + 1 = 15\)로 같다. 아래 탐구 카드에서 별과 막대를 직접 옮기며 중복조합을 세어 보자.
- 중복조합에서는 \(r\)이 \(n\)보다 커도 된다. 같은 것을 여러 번 고를 수 있기 때문이다. 반면 조합 \({}_n\mathrm{C}_r\)에서는 \(r \le n\)이어야 한다.
중복을 허락해 순서 없이 고르는 방법은, 고른 것을 별로, 종류의 경계를 막대로 늘어놓는 방법과 하나씩 짝지어지므로 \({}_n\mathrm{H}_r = {}_{n+r-1}\mathrm{C}_r\)이다. 방정식의 정수해를 세는 문제도 같은 구조이다. 그래서 처음 질문의 빵 5개를 고르는 방법은 \({}_3\mathrm{H}_5 = {}_7\mathrm{C}_2 = 21\)가지이다.