극한을 넘어서는 블록 쌓기

초록

동일한 길이 1의 마찰 없는 블록 n개를 이용해 테이블 가장자리까지 얼마나 멀리 뻗을 수 있는지를 다룬다. 전통적인 해법은 조화수 Hₙ≈ln n에 비례하는 ½ Hₙ 만큼의 오버핸지를 제공하지만, 저자들은 n³에 비례하는 블록 수로 c·n¹ᐟ³ 만큼의 오버핸지를 얻는 새로운 구성을 제시한다. 이는 기존 최적이라고 여겨졌던 로그 성장보다 훨씬 큰 다항식 성장임을 증명한다.

상세 분석

이 논문은 고전적인 “조화수 오버핸지” 문제에 새로운 하한을 제시함으로써, 기존에 최적이라고 믿어졌던 로그 성장(½ Hₙ≈½ ln n)과 실제 가능한 다항식 성장 사이의 격차를 드러낸다. 저자들은 먼저 블록을 “그룹” 단위로 묶어 각 그룹이 자체적으로 균형을 이루도록 설계한다. 한 그룹에 k²개의 블록을 배치하면, 그 그룹 전체는 약 k·단위 길이만큼 테이블 가장자리 밖으로 돌출될 수 있다. 이는 각 블록이 서로의 무게 중심을 지지하는 방식으로, 각 그룹 내부는 전통적인 조화수 배치를 적용하지만, 그룹 간에는 서로 겹치지 않도록 간격을 두어 전체 스택이 안정성을 유지한다.

그룹 크기를 k²로 잡고, 전체 블록 수 n≈k³이라 두면, 전체 오버핸지는 k≈n¹ᐟ³에 비례한다. 따라서 상수 c는 그룹 설계와 경계 조건에 따라 결정되며, 논문에서는 구체적인 구성 예시를 통해 c>0임을 보인다. 중요한 점은 이 구성에서 마찰이 전혀 없으며, 블록은 완전히 균일하고 강체라는 가정 하에 모든 힘이 수직 방향으로만 작용한다는 것이다.

또한 저자들은 기존의 상한 증명(예: 오버핸지는 O(log n) 이하)과는 달리, 하한을 제시함으로써 “log n이 최적”이라는 믿음이 잘못됐음을 논리적으로 반박한다. 이 과정에서 사용된 수학적 도구는 조화수의 성질, 부등식 전개, 그리고 무게 중심의 재귀적 계산이다. 특히, 각 그룹의 무게 중심을 정확히 맞추는 것이 전체 스택의 안정성을 보장하는 핵심이며, 이를 위해 블록 간의 상대적 위치를 미세하게 조정한다.

결과적으로, 논문은 n개의 블록으로 얻을 수 있는 최대 오버핸지가 Θ(n¹ᐟ³)임을 보여주며, 이는 기존의 Θ(log n) 하한보다 훨씬 큰 성장률이다. 이는 물리적 직관과는 다르게, 충분히 많은 블록을 사용하면 테이블 가장자리에서 멀리 떨어진 지점까지도 도달할 수 있음을 의미한다. 또한, 이 결과는 이후 연구에서 더 높은 차수의 성장(예: Θ(n¹ᐟ²))을 탐구하는 기반이 되었으며, 최적 오버핸지 문제의 복잡성을 재조명한다.