스털링 수 계산기

스털링 수 계산기에 오신 것을 환영합니다. 이 도구는 제1종(부호 없음 — 순열의 사이클 분해) 및 제2종(비어 있지 않은 부분 집합으로의 집합 분할) 스털링 수를 계산하는 종합적인 조합론 도구입니다. 대화형 삼각형 시각화, 단계별 점화식 유도, 막대 그래프 분포, 깊이 있는 조합론적 해석 기능을 제공하여 학생, 교육자, 연구자 및 경쟁력 있는 프로그래머가 교육적 맥락과 함께 빠르고 정확한 결과를 얻을 수 있도록 설계되었습니다.

한눈에 보기

스털링 수 계산기는 n이 최대 200일 때 제1종 부호 없는 스털링 수(순열을 k개의 순환으로 나눈 경우)와 제2종 스털링 수(n개 원소를 비어 있지 않은 k개 부분집합으로 분할한 경우)를 계산합니다.

스털링 수 계산기: 주요 기능 한눈에 보기

기능	제공 내용	추천 대상
두 종류	제1종 부호 없는 수는 n개 원소 순열 중 순환이 정확히 k개인 경우를 셉니다. 제2종 수는 n개 원소를 비어 있지 않은 k개 부분집합으로 나누는 경우를 셉니다.	조합론 수업과 경우의 수 문제
입력값	n과 k를 입력합니다. n은 최대 200까지 지원합니다.	손으로 계산하기 어려운 큰 경우
점화식 풀이	각 종류의 점화식(예: S(n,k) = k × S(n-1,k) + S(n-1,k-1))을 이용한 유도를 단계별로 보여 줍니다.	수가 만들어지는 과정을 배우는 경우
삼각형 보기	관련 셀을 강조한 대화형 수열 삼각형을 보여 줍니다.	이웃 항이 결과에 반영되는 방식을 살펴보는 경우
분포 차트	선택한 n에 대해 모든 k의 값을 막대 차트로 표시합니다.	어떤 k에서 경우의 수가 가장 큰지 보는 경우
명시적 공식	제2종 스털링 수의 포함·배제 공식을 순환 및 집합 분할 해석과 함께 제공합니다.	닫힌 형태의 공식으로 결과를 검산하는 경우

스털링 수란 무엇인가요?

스털링 수는 조합론, 대수학 및 해석학에서 자연스럽게 발생하는 두 가지 숫자 군입니다. 스코틀랜드의 수학자 제임스 스털링(James Stirling, 1692–1770)의 이름을 딴 이 수들은 계승(factorial), 이항 계수 및 다항식 항등식 사이의 가교 역할을 합니다. 파스칼의 삼각형만큼 잘 알려져 있지는 않지만, 이산 수학 전반에 걸쳐 등장하는 매우 기초적인 개념입니다.

제1종 스털링 수

\(|s(n,k)|\) 또는 \(\left[{n \atop k}\right]\)로 표기되는 부호 없는 제1종 스털링 수는 \(n\)개의 원소를 가진 순열을 정확히 \(k\)개의 서로소인 사이클로 분해하는 방법의 수를 나타냅니다.

직관적 이해: 원소 \(n\)이 어디로 가는지 생각해 보세요. 기존의 사이클 중 하나에 삽입되거나(삽입할 수 있는 위치는 다른 \(n-1\)개 원소 각각의 앞인 \(n-1\)개입니다) — 이는 \((n-1)\cdot|s(n-1,k)|\) 항에 해당합니다 — 또는 자기 자신만으로 새로운 1-사이클을 형성합니다 — 이는 \(|s(n-1,k-1)|\) 항에 해당합니다.

주요 사실:

• \(|s(n,1)| = (n-1)!\) — 원순열 (하나의 큰 사이클)
• \(|s(n,n)| = 1\) — 항등 순열 (모든 원소가 고정점)
• \(|s(n,n-1)| = \binom{n}{2}\) — 하나의 전치(transposition)
• \(\sum_{k=0}^{n} |s(n,k)| = n!\) — 순열의 총 개수

제2종 스털링 수

\(S(n,k)\) 또는 \(\left\{{n \atop k}\right\}\)로 표기되는 제2종 스털링 수는 \(n\)개의 원소로 이루어진 집합을 정확히 \(k\)개의 비어 있지 않은 부분 집합으로 분할하는 방법의 수를 나타냅니다.

직관적 이해: 원소 \(n\)이 어디로 가는지 생각해 보세요. 기존의 \(k\)개 부분 집합 중 하나에 합류하거나(\(k\)가지 선택지) — 이는 \(k \cdot S(n-1,k)\) 항에 해당합니다 — 또는 자기 자신만으로 새로운 단일 원소 집합을 형성합니다 — 이는 \(S(n-1,k-1)\) 항에 해당합니다.

주요 사실:

• \(S(n,1) = 1\) — 모든 원소가 하나의 집합에 있는 한 가지 방법
• \(S(n,n) = 1\) — 모든 원소가 각각 단일 원소 집합인 한 가지 방법
• \(S(n,2) = 2^{n-1} - 1\) — 두 개의 비어 있지 않은 부분 집합으로 나누는 방법
• \(S(n,n-1) = \binom{n}{2}\) — 어느 한 쌍이 같은 집합에 속할지 선택
• \(\sum_{k=0}^{n} S(n,k) = B(n)\) — \(n\)번째 벨 수

명시적 공식 (제2종)

계산기 사용 방법

1. n 입력: 총 원소 수(0~200)를 입력합니다.
2. k 입력: 사이클 수(제1종) 또는 부분 집합 수(제2종)를 입력합니다 (0 ≤ k ≤ n).
3. 종류 선택: 제1종, 제2종 또는 두 종류 모두를 선택하여 나란히 비교합니다.
4. 계산: "스털링 수 계산" 버튼을 클릭하여 단계별 유도 과정, 삼각형 시각화 및 분포 차트를 확인합니다.

비교: 제1종 vs 제2종

스털링 수의 응용

다항식 변환

스털링 수는 서로 다른 다항식 기저를 연결합니다:

• 상승 계승: \(x^{(n)} = \sum_{k} |s(n,k)|\, x^k\)
• 일반 거듭제곱: \(x^n = \sum_{k} S(n,k)\, x^{\underline{k}}\) (하강 계승)

확률 및 통계

스털링 수는 확률 분포의 적률(moment)을 계산할 때, 특히 일반 적률과 계승 적률 사이를 변환할 때 나타납니다. 무작위 순열 및 점유 문제(occupancy problems) 분석에 필수적입니다.

컴퓨터 과학

알고리즘 분석에서 스털링 수는 객체를 컨테이너에 분배하는 방법의 수, 해시 테이블 분석, 무작위 순열 연구 등에 등장합니다. 제2종은 전사 함수(surjective function) 계산과 직접 연결됩니다: n-집합에서 k-집합으로의 전사 함수 개수는 \(k!\, S(n,k)\)입니다.

정수론

스털링 수는 베르누이 수, 조화수(harmonic numbers) 및 다양한 합산 항등식과 관련이 있습니다. 유한 차분법과 오일러-맥로린 공식에도 등장합니다.

자주 묻는 질문

제1종 스털링 수란 무엇인가요?

부호 없는 제1종 스털링 수 |s(n,k)|는 n개의 원소를 정확히 k개의 서로소인 사이클로 분해하는 순열의 개수를 나타냅니다. |s(0,0)| = 1이며 점화식 |s(n,k)| = (n−1)·|s(n−1,k)| + |s(n−1,k−1)|를 만족합니다. 모든 순열은 특정 개수의 사이클을 가지므로 행의 합은 n!이 됩니다.

제2종 스털링 수란 무엇인가요?

제2종 스털링 수 S(n,k)는 n개 원소 집합을 정확히 k개의 비어 있지 않은 부분 집합으로 분할하는 방법의 수를 나타냅니다. S(0,0) = 1이며 점화식 S(n,k) = k·S(n−1,k) + S(n−1,k−1)를 만족합니다. 행의 합은 벨 수 B(n)이 됩니다.

제1종과 제2종 스털링 수의 차이점은 무엇인가요?

제1종(부호 없음)은 k개의 사이클을 가진 순열의 수를 세며, 사이클 내의 순서가 중요합니다. 제2종은 k개의 부분 집합으로의 집합 분할 수를 세며, 부분 집합 내의 순서는 중요하지 않습니다. 이들은 행렬 역행렬 관계에 있습니다.

수학에서 스털링 수는 어떻게 사용되나요?

스털링 수는 다항식의 기저 변환(하강/상승 계승과 거듭제곱 사이), 확률 분포의 적률 계산, 조합론적 항등식 유도, 정수론 및 알고리즘의 시간 복잡도 분석 등에 널리 사용됩니다.

스털링 수와 벨 수의 관계는 무엇인가요?

n번째 벨 수 B(n)은 n행에 있는 모든 제2종 스털링 수의 합과 같습니다: B(n) = Σ S(n,k). 벨 수는 집합을 임의의 개수의 부분 집합으로 분할하는 총 방법의 수를 의미합니다.

스털링 수에 대한 명시적 공식이 있나요?

네, 제2종은 포함-배제 원리를 이용한 공식 S(n,k) = (1/k!) Σ (−1)^(k−j) C(k,j) j^n (j=0 to k)이 있습니다. 제1종은 주로 점화식이나 상승 계승과의 관계를 통해 계산됩니다.

추가 자료

• 제1종 스털링 수 - Wikipedia (영문)
• 제2종 스털링 수 - Wikipedia (영문)