EN
대수 · 개념 허브깊이 읽기

조합론

Combinatorics

AD 1000여러 전통의 형성 — 인도 운율·중국 및 이슬람권 계수 배열·근세 유럽의 체계화

모든 경우를 늘어놓지 않고도 폭발하는 가능성을 셀 수 있을까?

두 직관이 부딪히는 곳

작은 선택 몇 개만 겹쳐도 경우의 수는 우주보다 커지지만, 대칭과 재귀는 그 폭발을 짧은 식으로 접는다.

이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.

한 호흡으로 이해하기

"몇 가지 방법이 있나?"에서 "무엇은 반드시 생기나?"까지 묻는 기술. 카드 패·자리 배치·격자 경로는 서로 다른 제약을 가지며, 재귀·전단사·생성함수·대칭·확률로 중복 없이 센다. 파스칼 삼각형은 여러 문화권에 선행 전사가 있는 이항계수 배열의 대표적 이름이며 조합론 전체는 그보다 넓다.

한눈에 보기

n

계수들 (k=0,1,2,...)

0

1

1

1 1

2

1 2 1

3

1 3 3 1

4

1 4 6 4 1

5

1 5 10 10 5 1

6

1 6 15 20 15 6 1

파스칼의 삼각형 — n번째 행이 (a+b)ⁿ의 전개 계수.

개념

가능한 구조를 중복 없이 세고, 모두 나열하지 않아도 무엇이 반드시 생기는지 밝히는 학문. 선택·배열·분할·그래프·색칠의 폭발을 재귀·생성함수·대칭·확률로 압축한다.

핵심 식

(nk)=n!k!(nk)!\binom{n}{k} = \dfrac{n!}{k!(n-k)!}

n 중 k개 선택 = nCk

풀이 예제

  1. 1

    Q.5명 중 2명 선택

  2. 2

    Q.8비트 문자열 가짓수

시간의 항구

이 개념은 한 번에 발명되지 않았습니다

장면을 따라가면 문제, 표기, 증명 기준과 쓰임이 서로 다른 장소와 시대에서 어떻게 바뀌었는지 보입니다.

1
AD 1150장면 1 / 4Patan

인도 운율 — 재귀로 리듬 세기

헤마찬드라는 더 이른 핀갈라·비라항카·고팔라 전통 위에서 1박·2박 음절 조합의 재귀를 설명했다. 같은 규칙이 오늘날 피보나치 수열과 연결되지만 현대 이진법의 발명으로 소급하지 않는다.

기록된 장소와 지도 기준점이 일치하는 장면

이 장면을 지도에서 이어 보기
2
AD 1654장면 2 / 4파리

여러 삼각 배열을 체계적 논증으로 — 파스칼

가헌·양휘와 이슬람권 저자 등에게 더 이른 전사가 있는 계수 배열을 파스칼이 조합·이항 전개·확률의 체계로 엮었다. 배열 자체의 최초 발명은 아니다.

기록된 장소와 지도 기준점이 일치하는 장면

이 장면을 지도에서 이어 보기
3
AD 1741장면 3 / 4Berlin

오일러 — 연결과 생성함수

1736년 다리 문제에서는 경로를 그래프로 압축했고, 1741년 정수 분할 원고에서는 모든 답을 생성함수 하나의 계수로 담았다.

기록된 장소와 지도 기준점이 일치하는 장면

이 장면을 지도에서 이어 보기
4
AD 1930장면 4 / 4Cambridge

램지 이후 — 다 세지 않고 필연성을 증명하다

충분히 큰 색칠에서 질서가 반드시 생긴다는 정리, 확률적 존재 증명, 컴퓨터 보조 사례 검사가 조합론을 열거 너머의 구조 학문으로 넓혔다.

기록된 장소와 지도 기준점이 일치하는 장면

이 장면을 지도에서 이어 보기

오늘날의 응용

확률 계산, 암호 키 공간, 오류정정 부호, 네트워크 설계, 스케줄링, 알고리즘 복잡도, 통계물리의 상태 수, 실험 설계.

MathVoyage 너머로

큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.

한 사람이 만든 개념이 아닙니다

역할이 다른 사람들을 따라가기

대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.

수의 렌즈

같은 개념도 수의 세계가 바뀌면 다르게 보입니다

아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.

개념의 계보

무엇을 딛고, 무엇을 열었을까?

앞에서 건너온 개념

현재 항구

조합론

직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.