🔢 mathematics

A short survey the game Bulgarian solitaire and related games

이 논문은 총합이 삼각수일 때 유일한 고정점으로 수렴하는 정수 분할에 관한 역학계인 불가리안 솔리테어(Bulgarian solitaire)에 대한 간결한 조사와 함께, 이 게임의 여러 변형에 대한 개요를 제공한다.

원저자: Romeo Meštrović

게시일 2026-07-21

📖 5 분 읽기🧠 심층 분석

원저자: Romeo Meštrović

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

위대한 카드의 셔플: 수학적 패턴으로의 여정

숫자들이 단순히 페이지 위의 차갑고 정적인 기호가 아니라, 엄격한 규칙에 따라 춤추고, 뛰고, 스스로를 재배열하는 살아 숨 쉬는 캐릭터라고 상상해 보십시오. 이것은 사물이 어떻게 계수되고, 배열되며, 결합되는지를 연구하는 수학의 한 분야인 **조합론(combinatorics)**의 놀이터입니다. 이 논문의 핵심에는 **정수 분할(integer partitioning)**이라는 특정 유형의 퍼즐이 자리 잡고 있습니다. 분할을 동일한 레고 브릭 더미를 가져와서 서로 다른 크기의 탑으로 조립하는 것이라고 생각해 보십시오. 만약 당신에게 10개의 브릭이 있다면, 하나의 높은 10단 탑을 만들 수도 있고, 5개씩 두 개의 탑을 만들 수도 있으며, 혹은 4, 3, 2, 1의 혼란스러운 조합을 만들 수도 있습니다. 수학자들이 즐겨 던지는 질문은 이것입니다: "우리가 이 탑을 쌓는 규칙을 계속 바꾼다면, 그것들은 영원히 움직임을 멈출까요, 아니면 그저 제자리에서 뱅글뱅글 돌 뿐일까요?"

이러한 호기심는 단순한 게임에 관한 것이 아닙니다. 이는 교통 흐름부터 원자들이 배열되는 방식에 이르기까지, 혼돈스러운 시스템 속에 숨겨진 질서를 이해하는 데 도움을 줍니다. 우리가 탐구하고 있는 이 논문은 **불가리안 솔리테어(Bulgarian Solitaire)**라는 유명한 게임을 깊이 파고듭니다. 이는 매우 구체적이고 반복적인 규칙에 따라 카드 한 덱을 섞는다면, 더미들이 결국 완벽하고 변하지 않는 패턴에 도달할지, 아니면 끝없는 루프에 갇히게 될지를 묻는 게임입니다. 그 답은 당신이 시작하는 카드의 총수에 전적으로 달려 있으며, 단순 산술과 복잡한 순환 사이의 아름다운 연결 고리를 드러냅니다.

게임: 반전이 있는 카드 마술

당신이 테이블에 앉아 카드 한 덱을 가지고 있다고 상상해 보십시오. 하지만 포커를 하는 대신, 불가리안 솔리테어라고 불리는 순수 논리 게임을 하고 있습니다. 당신은 카드를 원하는 크기의 여러 더미로 나누어 놓으며 시작합니다. 예를 들어, 5장의 카드 더미 하나, 3장의 카드 더미 하나, 그리고 단 2장뿐인 작은 더미 하나를 가질 수 있습니다. 이제, 여기 마법 같은 움직임이 있습니다. 당신은 모든 더미에서 정확히 한 장의 카드씩을 꺼내어, 그 카드들을 모아 새로운 하나의 더미를 만듭니다.

만약 당신에게 5개의 더미가 있었다면, 이제 당신의 손에는 5장의 새 카드가 있고, 이것이 6번째 더미가 됩니다. 기존의 더미들은 이제 한 장씩 줄어듭니다. 만약 어떤 더미가 겨우 1장의 카드만 가지고 있었다면, 당신이 그 카드를 가져갔기 때문에 그 더미는 완전히 사라집니다. 당신은 이 동작을 계속해서 반복합니다. 이것은 더미들이 줄어들고, 커지고, 자리를 바꾸는 리드미컬한 춤과 같습니다. 큰 질문은 이것입니다: 이 춤은 언제 멈출까요? 더미들이 결국 특정한, 변하지 않는 형상으로 배열될까요, 아니면 그저 계속 셔플될까요?

마법의 숫자: 삼각수

논문에 따르면, 그 답은 **삼각수(triangular number)**라고 불리는 특별한 종류의 숫자에 달려 있습니다. 점을 쌓아 삼각형을 만들어 이 숫자를 만들 수 있습니다: 1개의 점, 그다음 3개의 점(1+2), 그다음 6개의 점(1+2+3), 그다음 10개의 점(1+2+3+4), 이런 식으로 말입니다. 이 숫자들은 이 게임의 "골든 티켓"입니다.

만약 당신이 삼각수의 개수만큼의 카드를 가지고 시작한다면(예: 1, 3, 6, 10, 15 등), 이 게임은 보장된 해피엔딩을 가집니다. 당신의 시작 더미가 아무리 엉망이라 할지라도, 게임을 계속하다 보면 카드는 결국 완벽하고 안정적인 패턴에 도달하게 됩니다. 이 패턴은 항상 동일합니다: 바로 $k$ 까지의 크기를 가진 1, 2, 3... 형태의 더미들입니다. 여기서 $k$ 는 당신의 총합을 만드는 숫자입니다. 예를 들어, 당신이 10장의 카드(즉, $1+2+3+4$ )를 가지고 있다면, 게임은 결국 1, 2, 3, 4장의 카드로 이루어진 더미들로 멈추게 됩니다. 수학자들은 이를 **유일한 고정점(unique fixed point)**이라고 부르는데, 이는 일단 그 지점에 도달하면 다음 동작이 똑같은 더미들을 다시 만들어내어 춤이 멈춘다는 것을 의미합니다.

루프: 숫자가 완벽하지 않을 때

하지만 만약 당신이 삼각수의 개수의 카드를 가지고 있지 않다면 어떻게 될까요? 예를 들어 10장이 아닌 11장의 카드가 있다고 가정해 봅시다. 논문은 이 게임이 단 하나의 변하지 않는 패턴에 결코 안착하지 못할 것이라고 설명합니다. 대신, 더미들은 순환(cycle) 속에 갇히게 될 것입니다. 결코 멈추지 않는 회전목마를 상상해 보십시오. 더미들은 계속 변하겠지만, 일정 횟수의 움직임 후에 이전에 보았던 구성으로 돌아올 것이며, 전체 시퀀스는 영원히 반복될 것입니다.

논문은 이러한 순환이 정확히 어떻게 작동하는지 상세히 설명합니다. 결과적으로 어떤 카드 수에 대해서도 이 게임은 예측 가능합니다. 만약 숫자가 삼각수가 아니라면, 더미들은 루프 속에서 몇 가지 특정한 형태 사이를 오가게 됩니다. 저자들은 모든 가능한 루프를 나열하는 방법을 기술하며, 이 혼돈이 사실 매우 조직적이라는 것을 증proof합니다. 이는 마치 팽이가 무작위로 날아가 버리는 대신 특정한 원을 그리며 흔들릴 것임을 아는 것과 같습니다.

역사: 기차에서 수학 저널까지

이 게임은 다채로운 배경 이야기를 가지고 있습니다. 1983년 유명한 수학 칼럼니스트 마틴 가드너(Martin Gardner)가 "불가리안 솔리테어"라는 매력적인 이름을 붙여 대중화했지만, 이 문제는 사실 1980년경 수학자 콘스탄틴 오스코로프(Konstantin Oskolkov)에 의해 발견되었습니다. 전설에 따르면, 오스코로프는 러시아에서의 기차 여행 중에 이 문제에 대해 들었다고 합니다. 그가 동료들에게 이 문제를 말했을 때, 한 수론 학자가 이 퍼즐에 너무나 흥분했거나 혹은 압도당한 나머지, 보고에 따르면 그는 자신의 사무실로 달려가 문을 잠그고 문제를 풀 때까지 나오지 않았다고 합니다!

논문은 1981년까지 여러 수학자가 삼각수의 경우가 항상 그 단 하나의 안정적인 패턴으로 이어진다는 것을 증명하는 해결책을 이미 발표했다고 언급합니다. 1982년, 브란트(Brandt)라는 수학자가 숫자가 삼각수가 아닐 때 정확히 어떤 일이 일어나는지 밝혀내기 위해 힘든 작업을 수행하며, 가능한 모든 루프를 지도화했습니다. 그 이후로 다른 연구자들이 컴퓨터 프로그램이나 다양한 수학적 이론을 사용하여 이러한 사실들을 증명하려고 시도해 왔지만, 그들은 모두 핵심 결과에 동의합니다: 이 게임은 단순한 규칙이 어떻게 복잡하고 예측 가능한 패턴을 만들어낼 수 있는지를 보여주는 완벽한 사례입니다.

변형: 바퀴를 돌리다

논문은 또한 이 게임이 어떻게 많은 "사촌"들을 탄생시켰는지에 대해서도 짧게 살펴봅니다. 수학자들은 규칙을 약간 수정하여 어떤 일이 일어나는지 보는 것을 좋아합니다. 어떤 버전은 더미에서 한 장 이상의 카드를 뽑게 하거나, 주사위를 던져 이동할 카드의 수를 결정하는 것과 같은 무작성을 도입하기도 합니다. "오스트리아 솔리테어"나 "몬트리올 솔리테어"와 같은 이름으로 불리는 이러한 변형들은 오늘날에도 여전히 연구되고 있습니다. 이들은 연구자들이 규칙의 작은 변화가 시스템의 행동을 어떻게 완전히 바꿀 수 있는지, 때로는 순환을 더 길게 만들거나 패턴을 더 복잡하게 만드는지를 이해하도록 돕습니다.

결론

결국, 이 논문은 불가리안 솔리테어와 그 친척들의 세계를 안내하는 친절한 가이드이자 조사 보고서입니다. 이 논문은 삼각수의 경우 게임이 항상 평화롭고 유일한 휴식처를 찾는다는 것을 확인해 줍니다. 그 외의 모든 숫자에 대해서는, 게임이 리드미컬하고 반복적인 순환을 찾아냅니다. 저자들은 단순히 이것이 일어난다고 말하는 데 그치지 않고, 그 순환이 어떻게 생겼으며 얼마나 많은지를 수학적으로 증명하여 보여줍니다. 이는 카드를 섞는 게임 속에서도 발견되기를 기다리는 깊고 흔들림 없는 질서가 존재한다는 것을 상기시켜 줍니다.

"불가리안 솔리테어 및 관련 게임에 관한 짧은 조사" 기술 요약

문제 정의
본 논문은 양의 정수 $N$ 의 정수 분할(integer partitions) 집합 위에서 정의된 동역학계인 "불가리안 솔리테어(Bulgarian solitaire)"의 수학적 성질을 다룬다. 이 시스템은 특정 이동 연산 $T$ 를 통해 작동한다: 주어진 분할 $\lambda = (\lambda_1, \lambda_2, \dots, \lambda_l)$ 에 대하여, 연산 $T(\lambda)$ 는 $\lambda_1-1, \lambda_2-1, \dots, \lambda_l-1$ 과 정수 $l$ (부분의 개수)로 구성된 새로운 분할을 생성하며, 이때 결과값이 0이 되는 항은 무시한다. 핵심 문제는 수열 $\lambda, T(\lambda), T^2(\lambda), \dots$ 의 거동을 규명하는 것이다. 구체적으로, 본 논문은 이 수열이 고정점(fixed point)으로 수렴하는지 아니면 순환(cycle)에 진입하는지를 결정하는 조건을 조사하며, 임의의 $N$ 에 대해 모든 $T$ -순환 분할(어떤 $i \ge 1$ 에 대해 $T^i(\mu) = \mu$ 를 만족하는 분할 $\mu$ )을 분류하고자 한다.

방법론 및 형식적 틀
본 논문은 레온하르트 오일러에 의해 기초가 된 정수 분할 이론에 뿌리를 둔 형식적 조합론적 접근 방식을 채택한다. 방법론은 다음과 같다:

형식적 정의: 게임의 상태 공간을 $N$ 의 분할 집합으로, 전이 함수를 $T$ 로 정의한다.
순환 특성 규명: 상태 공간이 유한하다는 사실을 이용하여 시스템이 결국 순환에 진입함을 확립한다.
구조적 분석: 카디널리티 조건을 가진 수열들의 특정 집합 $M_n$ 을 사용하여 순환을 특성화한 Brandt [9]의 연구에 의존한다. 본 논문은 순환 분할의 구조를 설명하기 위해 Brandt, Akin 및 Davis [1], 그리고 Etienne [16]의 연구를 종합한다.
역사적 종합: 본 논문은 서술적 조사(survey)로서 기능하며, 1980년부터 2016년까지의 게임의 역사적 발전, 증명 및 변형들을 Oskolkov, Toom, Bojanov, Eriksson, Gardner, Knuth 등의 주요 기여와 함께 수집하고 맥락화한다.

주요 기여 및 결과
본 논문의 주요 기여는 불가리안 솔리테어와 그 변형들에 대한 이론적 지형을 통합적으로 조사한 것이다. 제시된 주요 결과는 다음과 같다:

Brandt의 평형 정리: 삼각수 $N = 1 + 2 + \dots + k$ 에 대하여, 이 시스템은 $(k, k-1, \dots, 1)$ 이라는 유일한 고정점(길이가 1인 순환)을 갖는다. 어떤 초기 설정으로부터 시작하더라도 시스템은 이 상태로 수렴한다.
순환 분할의 특성화: 임의의 $N$ 에 대하여, 본 논문은 $N = 1 + 2 + \dots + k + r$ (단, $0 \le r \le k$ )인 분할 $\lambda$ 가 $T$ -순환이기 위한 필요충분조건이 다음과 같은 형태를 갖는다는 정리(Etienne [16]의 저작이며 Brandt [9]로부터 유도됨)를 제시한다:
$\lambda = (k + \delta_k, k-1 + \delta_{k-1}, \dots, 1 + \delta_1, \delta_0)$
여기서 각 $\delta_i \in \{0, 1\}$ 이며 $\sum_{i=0}^k \delta_i = r$ 이다.
추측의 해결: 본 논문은 삼각수 $N$ 에 대해 고정점에 도달하기까지의 이동 횟수가 최대 $k(k-1)$ 이라는 D. Knuth의 추측이 Igusa [30]에 의해 해결되었음을 언급하며, 임의의 $N$ 에 대한 이 경계값의 일반화를 Etienne [16]이 수행했음을 명시한다.
변형 및 일반화: 본 논문은 다음과 같은 수많은 변형들을 목록화한다:
- 오스트리아 솔리테어 (Austrian solitaire; Akin 및 Davis, 1985)
- 몬트리올 솔리테어 (Montreal solitaire; Cannings 및 Haigh, 1992)
- 캐롤라이나 솔리테어 (Carolina solitaire; Andreev, 1997)
- 무작위 불가리안 솔리테어 (Random Bulgarian solitaire; Popov, 2003)
- 양손 불가리안 솔리테어 (Two-handed Bulgarian solitaire; Bancroft, 2004)
- $\sigma$ -불가리안 솔리테어 ( $\sigma$ -Bulgarian solitaire; Olson, 2016), 이는 단일 더미에서 여러 장의 카드를 뽑는 것을 허용한다.
관련 계수 문제: 본 논문은 불가리안 솔리테어와 $a_n = \#\{i : 1 \le i \le n-1 \text{ 및 } a_i + i < n\}$ 으로 정의되는 정수 수열에 관한 주기성 문제 사이의 연결성을 강조하며, 이 문제의 해답이 Bojanov [8]에 의해 제공되었음을 언급한다.

의의 및 범위
본 논문은 게임의 역사, 수학적 정식화 및 후속 연구에 대한 포괄적인 개요를 제공하기 위한 "짧은 조사"로서 자리매김한다. 본 논문은 이 게임이 레크리에이션 수학(1983년 Martin Gardner에 의해 대중화됨)과 엄밀한 조합론적 게임 이론 사이의 가교 역할을 한다는 점을 강조한다. 본 논문의 의의는 수렴 증명부터 순환의 분류, 그리고 확률적 및 결정론적 변형의 탐구에 이르는 이질적인 결과들을 하나의 참조 문헌으로 집대성했다는 데 있다. 저자는 본 연구를 새로운 일차적 정리를 제시하기보다는, Hopkins의 2012년 리뷰에 포함된 20개의 참고 문헌과 14개의 추가 자료를 포함하여 기존 문헌을 요약하는 작업으로 겸허히 규정한다.