피라미드와 일반 그래프에서의 경로 탐색 최소 라운드

초록

본 논문은 출발점이 하나인 방향성 비순환 그래프에서 각 비단말 정점마다 정확히 하나의 “스위치”(출구)를 선택하도록 하는 서브셋 E* 이 주어졌을 때, 그 스위치를 질의함으로써 최종 단말 정점(또는 전체 경로)을 찾는 데 필요한 최소 질의 수와 라운드 수를 연구한다. 완전 t‑ary 트리에 대해 k개의 질의를 한 라운드에 수행할 수 있을 때 필요한 라운드 수를 정확히 구하고, 피라미드 그래프에 대해서는 몇 가지 비자명한 상한·하한을 제시한다. 핵심 기법은 “출도 1인 정점”을 병합해 그래프를 단순화하고, 최장 경로 길이와 질의 수 사이의 등식 si(G)=pa(G)=ℓ(G) (ℓ은 최장 경로 길이)를 증명하는 것이다.

상세 분석

논문은 먼저 si(G) 와 pa(G) 라는 두 기본 복잡도 지표를 정의한다. si(G) 는 전체 경로나 단말만을 알아내기 위해 필요한 최소 질의 수, pa(G) 는 전체 경로를 알아내는 데 필요한 최소 질의 수이며, 언제나 si(G) ≤ pa(G) ≤ ℓ(G) (ℓ은 그래프의 최장 경로 길이) 가 성립한다.
핵심 아이디어는 “출도 1인 정점”을 제거하고 그 정점과 그 후속 정점을 하나의 새로운 정점으로 병합하는 연산이다. 이 연산을 반복하면 모든 비단말 정점의 출도가 최소 2가 되는 그래프 G′ (또는 G″)를 얻는다. 중요한 정리는 G′ 에 대해 si(G′)=ℓ(G′) 가 성립한다는 것으로, 이는 출도 1인 정점이 없을 때 최장 경로 길이가 바로 필요한 질의 수와 동일함을 의미한다. 다중 그래프에 대해서도 동일한 병합 연산을 정의하고, 병합 후에도 pa(G)=ℓ(G) 임을 증명한다.
다음으로 트리 구조에 초점을 맞춘다. 완전 d‑ary 트리 T₍d₎(n) (높이 n) 에 대해, 한 라운드에 k 개의 질의를 할 수 있을 때 필요한 라운드 수는
\