블록 쌓기와 비행기 연료 보급 및 견고한 일정 잡기의 통합 연구

초록

본 논문은 너비와 질량이 서로 다른 블록들의 최적 적층을 통해 테이블 가장자리 위로 최대한 돌출시키는 “블록‑스태킹 문제”가 일반적으로 NP‑hard임을 증명한다. 특히 카운터웨이트(반대쪽 무게)를 허용하지 않은 경우가 비행기 연료 보급 문제와 견고한 일정 잡기 문제와 동등함을 보이며, 기존에 알려진 PTAS(1+ε 근사)를 그대로 적용할 수 있음을 제시한다. 카운터웨이트를 허용할 경우에는 (2+ε) 근사 알고리즘을 제공한다.

상세 분석

논문은 먼저 블록을 반쪽 너비 wᵢ와 질량 mᵢ 로 모델링하고, 각 블록 i의 중심 위치 xᵢ 를 정의한다. 물리적 균형 조건은 “위쪽 i개의 질량 중심이 바로 아래 블록 i+1의 경계 안에 있어야 한다”는 식으로 수식화된다. 이때 전체 중심이 테이블 가장자리에 정확히 맞춰진다고 가정하면, 스택의 돌출(overhang)은 maxₖ(xₖ + wₖ) 로 정의된다.

핵심 구조 정리(Theorem 1)는 최적 스택이 두 부분으로 나뉜다는 것을 보여준다. (1) 프로트루딩 블록 p 이하의 블록들은 모두 오른쪽 정렬(right‑aligned) 상태이며, 즉 각 블록 i ≥ p에 대해 그 위쪽 질량 중심이 바로 아래 블록의 오른쪽 가장자리에 일치한다. (2) 프로트루딩 블록 p 바로 아래의 블록들(카운터웨이트)은 질량만을 제공하고 직접적인 돌출에 기여하지 않는다. 이 구조를 이용해 각 블록 i의 기여도를 wᵢ·mᵢ/Mᵢ (Mᵢ는 i번째까지의 누적 질량) 로 표현할 수 있다. 특히 프로트루딩 블록 p는 w_p·(2 − m_p/M_p) 만큼의 추가 돌출을 얻는다.

이러한 식을 기반으로 저자들은 블록 순서를 바꾸는 것이 돌출에 미치는 영향을 정량화한다. Lemma 2는 두 오른쪽 정렬 블록 a와 b가 인접해 있을 때, 위쪽 질량 M에 대해 w_a·M + m_a ≥ w_b·M + m_b 가 반드시 성립함을 증명한다. 이는 “넓고 가벼운 블록이 무겁고 좁은 블록보다 위에 있어야 한다”는 직관적인 규칙을 수학적으로 뒷받침한다.

NP‑hardness 증명에서는 블록의 너비와 질량을 적절히 설계해 전통적인 0‑1 배낭 문제 혹은 파티션 문제로 환원한다. 특히 카운터웨이트를 허용했을 때는 블록들의 질량 합을 조절해 목표 돌출값을 정확히 맞추는 것이 배낭 선택과 동등함을 보이며, 이는 다항시간에 해결할 수 없다는 것을 의미한다.

가장 흥미로운 기여는 이 블록‑스태킹 문제를 두 개의 기존 퍼즐과 동등하게 만든 점이다. 첫째, 비행기 연료 보급 문제는 연료를 공유하면서 비행 거리(즉, 총 돌출)를 최대화하는 문제로, 질량·너비가 연료량·연료 소모율에 대응한다. 둘째, 견고한 일정 잡기 문제는 작업들의 실행 순서를 정해 최악의 지연을 최소화하는데, 여기서 작업의 길이와 불확실성 폭이 블록의 너비·질량에 대응한다. 저자들은 두 문제에 대한 기존 PTAS(1+ε 근사)를 그대로 블록‑스태킹(카운터웨이트 없는 경우)에 적용함으로써 (1+ε) 근사 알고리즘을 얻는다. 카운터웨이트를 허용하면 추가적인 상수 2가 발생하지만, 동일한 기법으로 (2+ε) 근사 알고리즘을 설계한다.

결과적으로, 이 논문은 “단순해 보이는 물리 퍼즐도 복잡도 이론과 깊은 연관을 가질 수 있다”는 교훈을 제공한다. 또한, 실제 산업 현장에서 불확실성을 고려한 일정 최적화와 연료 효율화 문제에 대한 이론적 기반을 강화한다는 점에서 실용적 의미도 크다.