연결 경로폭은 일반 경로폭의 두 배 이하

초록

이 논문은 모든 그래프 G에 대해 연결 경로폭(cp w(G))이 일반 경로폭(p w(G))의 최대 2배에 1을 더한 값 이하임을 증명한다. 기존의 경로 분해를 입력으로 받아, 폭이 ≤2k+1인 연결 경로 분해를 O(d·k²) 시간에 구성하는 알고리즘을 제시한다. 이 결과는 연결 탐색 수(cs n)와 일반 탐색 수(s n) 사이에 cs n(G) ≤ 2·s n(G)+3이라는 새로운 상한을 제공하며, 임의의 시작점에서 k명의 탐색자를 이용한 전략을 2k+3명의 탐색자로 연결·단조 전략으로 변환할 수 있음을 보여준다.

상세 분석

본 연구는 그래프 이론에서 중요한 두 파라미터인 경로폭(pathwidth)과 연결 경로폭(connected pathwidth)의 관계를 명확히 규정한다. 경로폭은 그래프를 연속적인 ‘가방(bag)’들의 시퀀스로 표현하는 경로 분해의 최대 가방 크기를 최소화한 값이며, 연결 경로폭은 추가적으로 각 가방이 그래프의 연결된 부분을 포함하도록 제한한다. 기존 문헌에서는 연결 제약이 일반 경로폭에 비해 크게 증가할 수 있다는 우려가 있었지만, 저자들은 이를 2배 이하라는 강력한 상한으로 제한한다는 점에서 큰 의의를 가진다.

핵심 아이디어는 주어진 경로 분해 P = (X₁,…,X_d)에서 각 가방 X_i를 두 개의 부분집합으로 나누어, 하나는 현재까지 구축된 연결 구조를 유지하고 다른 하나는 아직 연결되지 않은 정점을 보관한다는 것이다. 이를 위해 ‘프론트(front)’와 ‘백(back)’ 개념을 도입하고, 프론트에 속한 정점들을 순차적으로 연결하면서 백에 남은 정점들을 차례로 끌어들인다. 이 과정에서 가방 크기가 최대 2·k+1을 초과하지 않도록 정교한 삽입·삭제 연산을 설계한다.

알고리즘의 시간 복잡도는 입력 경로 분해의 가방 수 d와 폭 k에 대해 O(d·k²)이며, 이는 기존의 연결 경로폭을 구하는 NP‑hard 문제에 비해 실용적인 수준이다. 또한, 알고리즘은 단조(monotone)성을 보장한다. 즉, 한 번 가방에 포함된 정점은 이후 단계에서 다시 제거되지 않는다. 이는 연결 탐색(search) 문제와 직접 연결되며, 탐색자 수를 최소화하면서도 시작점(homebase)을 자유롭게 선택할 수 있는 변환 메커니즘을 제공한다.

수학적 증명 부분에서는 두 가지 주요 레마를 활용한다. 첫 번째 레마는 임의의 경로 분해에서 ‘연결성 유지’를 위한 최소한의 정점 집합을 찾는 방법을 제시하고, 두 번째 레마는 이러한 집합을 확장하면서 가방 크기를 2k+1 이하로 제한하는 구조적 성질을 보인다. 이를 귀납적으로 적용해 전체 그래프에 대해 연결 경로폭 ≤2·pw(G)+1임을 보인다.

결과적으로, 이 논문은 연결 경로폭과 일반 경로폭 사이의 상수 배 관계를 최초로 확립했으며, 연결 탐색 수(cs n)와 일반 탐색 수(s n) 사이에도 cs n(G) ≤ 2·s n(G)+3이라는 직접적인 상한을 도출한다. 이는 탐색 전략 설계, 네트워크 보안, 로봇 경로 계획 등 다양한 응용 분야에서 탐색 자원의 효율적 배분에 실질적인 가이드라인을 제공한다.