실선상의 최적 절단 및 이분 문제를 다항 시간에 해결

초록

본 논문은 1차원 유클리드 공간, 즉 실선에서 절단(cut)과 이분(bisection) 문제의 정확한 복잡도를 밝히고, 이를 다항 시간 알고리즘으로 해결한다. 핵심은 거리 동등식(metric equality)을 활용한 새로운 동적 계획법(DP) 설계이며, 이 기법은 다른 거리 기반 최적화 문제에도 적용 가능할 것으로 기대된다.

상세 분석

논문은 먼저 절단과 이분 문제를 “점 집합을 두 부분으로 나누어 각 쌍 사이의 거리 합을 최소(또는 최대)화한다”는 전형적인 정의로 정형화한다. 1차원에서는 점들이 실수 좌표로 정렬될 수 있기 때문에, 전통적인 고차원 NP‑Hard 증명 기법이 바로 적용되지 않는다. 저자들은 이 점을 이용해 “거리 동등식(metric equality)”이라는 개념을 도입한다. 이는 두 점 사이의 거리 차이가 특정 값과 정확히 일치하는 경우를 의미하며, 실선에서는 이러한 동등식이 순서 관계와 강하게 연결된다.

핵심 아이디어는 모든 가능한 절단 위치를 일일이 검증하는 대신, 동등식이 성립하는 구간을 기준으로 상태를 압축하는 것이다. 구체적으로, 정렬된 점들을 (x_1 \le x_2 \le \dots \le x_n)이라 두고, DP 테이블 (DP