히스토리 기반 피벗 규칙의 해밀턴 경로 존재성 연구

초록

본 논문은 차원 d의 비순환 고유 싱크 방향(USO) 하이퍼큐브에서 Zadeh의 최소 진입 규칙 및 기타 히스토리 기반 피벗 규칙이 해밀턴 경로를 따라갈 수 있는지 여부를 이론·실험적으로 조사한다. 저자들은 차원 6까지 모든 가능한 해밀턴 경로를 효율적으로 열거하는 알고리즘을 제시하고, Zadeh 규칙은 차원 9까지 해밀턴 경로를 허용함을 보이며, 다른 규칙들은 차원 5 이후에는 해밀턴 경로를 만들 수 없음을 증명한다.

상세 분석

이 논문은 선형계획법의 단순법(simplex)에서 피벗 선택 규칙이 탐색 경로의 길이에 미치는 영향을 하이퍼큐브의 비순환 고유 싱크 방향(acyclic USO)이라는 추상 모델을 통해 분석한다. USO는 각 면마다 유일한 싱크와 소스를 갖는 방향성을 가지며, 이는 LP의 기본 해와 피벗 전환을 정점 간 이동으로 대응시킨다. 저자들은 먼저 USO의 정점에 02^d‑1의 이진 라벨을 부여하고, 방향은 비트가 바뀌는 위치(1d)와 부호(0→1이면 +, 1→0이면 –)로 정의한다. 이 표기법을 이용하면 피벗 규칙을 “어떤 비트를 바꾸는가”라는 형태로 기술할 수 있어 히스토리 기반 규칙을 수학적으로 명확히 표현한다.

히스토리 기반 규칙은 현재까지 사용된 방향(또는 변수)의 사용 횟수·최근 사용 시점 등을 기록하는 배열 h를 유지한다. Zadeh의 ‘least entered rule’는 2d개의 방향 전체에 대해 사용 횟수를 카운트하고, 가장 적게 사용된 방향을 선택한다. 다른 규칙들—Least‑Used Direction(LUD), Least‑Recently Considered(LRC), Least‑Recently Basic(LRB), Least‑Recently Entered(LRE), Least‑Iterations‑in‑Basis(LIB)—은 각각 unsigned direction, 변수 순서, 마지막 탈출 시점 등 다양한 히스토리를 활용한다. 논문은 이러한 규칙들이 실제로 서로 다른 탐색 경로를 만든다는 구체적 예시를 부록에 제시한다.

핵심 기여는 “해밀턴 경로가 존재하는 USO를 찾는 문제”를 전통적인 USO 전체 탐색보다 훨씬 작은 검색 공간으로 축소한 점이다. 해밀턴 경로가 주어지면 그 경로에 따라 모든 에지의 방향이 자동으로 결정된다(앞선 정점에서 뒤의 정점으로 향함). 따라서 경로를 구성하면서 Williamson‑Hoke 정리(USO는 각 indegree k에 대해 정확히 C(d,k)개의 정점을 가져야 함)를 검증하면, 조건을 위배하는 순간 해당 경로는 폐기할 수 있다. 이 “프루닝” 기법은 부분 경로만으로도 불가능성을 조기에 판단하게 해 차원 6까지 모든 가능한 경로를 효율적으로 열거하도록 만든다.

이 알고리즘을 이용한 실험 결과는 다음과 같다. Zadeh 규칙은 차원 1~9까지 해밀턴 경로를 생성할 수 있는 USO를 발견했으며, 특히 차원 9까지는 아직 반례가 존재하지 않는다(즉, 존재 가능성을 보였다). 반면 LUD, LRC, LRB, LRE, LIB 등 다른 다섯 규칙은 차원 5를 초과하면 어떠한 USO에서도 해밀턴 경로를 만들 수 없음을 증명한다. 증명은 주로 “첫 번째 사용된 방향은 indegree 1을 만든다”라는 코롤러리와, 각 규칙이 특정 방향을 과도하게 반복하거나 부족하게 사용하는 구조적 제약을 이용한다. 특히, Zadeh 규칙의 경우 모든 변수(방향)가 거의 동일한 횟수만큼 사용되도록 강제되므로, 전체 경로가 균등하게 퍼져 해밀턴 경로가 가능해진다. 반면 다른 규칙들은 특정 방향을 반복적으로 선택하거나, 최근 사용 정보를 과도하게 의존해 결국 일부 정점의 indegree가 0이 되거나 2 이상이 되는 상황을 초래한다. 이는 Williamson‑Hoke 조건을 위배하게 만들며, 차원 5 이후에는 어떠한 초기 설정도 이를 피할 수 없음을 보인다.

또한 논문은 Zadeh 규칙이 “각 변수는 지수적으로 많은 피벗을 경험한다”는 정리를 제시한다. 구체적으로, 최소 사용된 부호 방향이 최소 2^{d‑2}−2^{d‑3}번 사용된다는 하한을 증명함으로써, Zadeh 규칙이 실제로 변수 사용을 고르게 분산시키는 메커니즘을 수학적으로 뒷받침한다. 이는 기존에 알려진 Klee‑Minty 예제(모든 변수가 한 번씩만 사용되는 경우)와는 정반대이며, Zadeh 규칙이 최악의 경우에도 다항적이 아닌 지수적 피벗 수를 요구한다는 점을 강조한다.

전체적으로 이 논문은 히스토리 기반 피벗 규칙의 최악 사례를 USO라는 추상 모델을 통해 체계적으로 분석하고, Zadeh 규칙이 유일하게 해밀턴 경로를 허용할 가능성을 보이며, 다른 규칙들은 구조적 한계 때문에 고차원에서는 불가능함을 증명한다. 이는 피벗 규칙 설계 시 히스토리 정보의 활용 방식이 탐색 복잡도에 미치는 영향을 깊이 이해하는 데 중요한 통찰을 제공한다.