선형 거리 완화로 푸는 여행 토너먼트 문제 근사 해법

선형 거리 완화로 푸는 여행 토너먼트 문제 근사 해법

초록

본 논문은 팀들의 경기장을 일직선 상에 배치한다고 가정한 선형 거리 여행 토너먼트 문제(LD‑TTP)를 정의하고, n=4·6에 대해 완전 해를 구한다. n≡4 (mod 6)인 경우 제안된 “expander construction”이 최적 해의 4/3 이내의 비용을 보장함을 증명한다. 또한 일반 TTP에 선형 가정을 적용해 빠른 근사 스케줄을 생성하고, 실험적으로 6팀 벤치마크에서 최적 해와 일치함을 확인한다.

상세 분석

논문은 먼저 기존의 n팀 여행 토너먼트 문제(TTP)가 팀 간 이동 거리의 총합을 최소화하는 이중 라운드 로빈 스케줄링이라는 NP‑hard 문제임을 상기한다. 여기서 저자들은 경기장이 일직선 상에 위치한다는 강한 지리적 제약을 도입해 선형 거리 TTP(LD‑TTP)를 정의한다. 이 경우 두 팀 사이의 거리 d(i,j) 는 |x_i−x_j| 로 표현되며, 이는 삼각 부등식이 등호가 되는 특수한 메트릭이다. 이러한 특성을 이용해 n=4와 n=6에 대해 모든 가능한 라운드‑로빈 매칭을 조합론적으로 열거하고, 각 매칭에 대해 가능한 홈·어웨이 배치를 검증한다. 결과적으로 n=4에서는 2개의 비동형 스케줄, n=6에서는 12개의 비동형 스케줄이 존재함을 확인한다.

다음으로 저자들은 n이 커질 때 완전 탐색이 불가능함을 인정하고, n≡4 (mod 6)인 경우에 적용 가능한 “expander construction”을 제안한다. 이 구성은 기본적으로 (n/2)개의 팀을 두 그룹으로 나누고, 각 그룹 내부에서는 순환 매칭을, 그룹 간에는 교차 매칭을 삽입하는 방식이다. 핵심 아이디어는 각 팀이 한 번씩은 가장 먼 팀을 방문하도록 하면서도 전체 라운드 수를 2n−2 로 유지하는 것이다. 수학적 증명을 통해 이 구조가 항상 이중 라운드 로빈 조건을 만족하고, 발생하는 총 이동 거리 D_expander 가 최적 거리 D_opt 보다 최대 4/3 배 이하임을 보인다. 이는 일반 TTP에 대해 알려진 5/3+ε 비율보다 현저히 개선된 결과이다.

마지막으로 저자들은 LD‑TTP의 해를 일반적인 비선형 배치에 적용하는 휴리스틱을 제시한다. 구체적으로, 실제 팀 위치를 일직선에 투사한 뒤 LD‑TTP 최적 해를 구하고, 이를 원래 좌표계에 그대로 매핑한다. 이 과정에서 거리 계산은 실제 유클리드 거리로 재평가되지만, 스케줄 자체는 변하지 않는다. 실험에서는 6팀 기준 벤치마크(원형, 3차원 임의 배치 등)에서 이 방법이 최적 해와 일치하거나 2 % 이내의 오차를 보였으며, n이 커질수록 평균 오차는 5 % 이하로 유지되었다. 이러한 결과는 선형 거리 완화가 실제 복잡한 지리적 상황에서도 강력한 근사 도구가 될 수 있음을 시사한다.