네트워크 모니터링을 위한 네 가지 그래프 파라미터와 그 실현 가능성 완전 규명

본 논문은 네트워크 모니터링 문제를 그래프 이론적으로 모델링한 네 가지 파라미터, 즉 지오데틱 수 g(G), 엣지‑지오데틱 수 eg(G), 강‑엣지‑지오데틱 수 seg(G), 모니터링‑엣지‑지오데틱 수 meg(G) 를 중심으로 연구한다. 이들 파라미터는 각각 “두 정점 사이의 모든 최단 경로가 그래프의 정점·간선을 커버한다”는 조건을 점점 강화한 형태이며, 기존 연구에 따르면 g ≤ eg ≤ seg ≤ meg 라는 사슬 관계가 성립한다. 2025년 Florent 등은 “주어진 정수 사중 (a,b,c,d) (2 ≤ a ≤ b ≤ c ≤ d) 에 대해, 이러한 네 파라미터를 동시에 만족하는 연결 그래프가 존재하는가?”라는 질문을 제기했으며, 일부 경우에만 긍정적인 예시를 제시했다. 그러나 작은 값이나 연속적인 파라미터 간 차이가 1인 경우 등 몇몇 조합은 아직 해결되지 않았다. 본 논문은 이러한 미해결 영역을 두 단계로 접근한다. 첫 번째 단계에서는 구조적 제약을 이용해 실현 불가능한 사중을 명확히 규명한다. 주요 도구는 다음과 같다. (1) 펜던트 정점, 심플렉시얼 정점, 트위니 정점은 각각 모든 최소 집합에 반드시 포함된다는 기존 정리(Lemma 1‑3). (2) 강‑엣지‑지오데틱 집합과 MEG 집합 사이의 동치성(Prop 4) 및 특정 정점이 모든 MEG‑집합에 포함되는 필요·충분 조건(Theorem 5). 이를 활용해 두 가지 불가능성을 증명한다. 첫 번째는 g=eg=seg=2 이면서 meg>2 인 경우이다. g=2 라는 것은 두 정점 u, v 가 모든 정점·간선을 포함하는 단일 최단 경로를 형성한다는 뜻이며, seg=2 라는 조건은 그 경로가 유일함을 의미한다. 따라서 그래프는 단순히 그 경로 자체가 되고, meg 은 반드시 2 가 된다. 두 번째는 (g,eg,seg,meg) = (2,3,3,d) (d≥3) 인 경우이다. 여기서는 g=2 로부터 두 정점 u, v 가 모든 정점을 커버하지만, eg=3 은 u‑v 경로만으로는 모든 간선을 커버하지 못함을 의미한다. 따라서 추가 정점 x, y 가 필요하고, seg=3 은 세 정점만으로 모든 간선을 커버해야 함을 강제한다. 그러나 강‑엣지‑지오데틱 정의에 따라 선택된 최단 경로들의 합집합이 사이클을 형성하게 되고, 그 사이클 내의 특정 간선이 u‑v 최단 경로에 포함되지 않음이 모순을 만든다. 이 두 정리를 통해 (2,2,2,d>2) 와 (2,3,3,d) 형태의 사중은 존재하지 않음을 확정한다. 두 번째 단계에서는 나머지 모든 사중에 대해 실제 그래프를 구성한다. 핵심 아이디어는 “모듈식 블록”을 이용해 각 파라미터를 독립적으로 조절하는 것이다. 1. **기본 블록 설계** - **병렬 경로 블록**: 길이가 r+4 인 경로를 c‑2 개 배치하고, 각 경로의 양 끝을 서로 연결해 격자 형태를 만든다. 여기서 r 은 d‑c 의 짝·홀에 따라 정의되며, 차이가 짝수이면 추가 트위니 정점을 삽입한다. - **핵심 정점 집합**: g=a 를 만족시키기 위해 a 개의 정점을 완전 연결(클리크) 형태로 배치한다. 이 정점들은 모든 최소 집합에 반드시 포함된다. - **펜던트·심플렉시얼 정점**: eg 와 seg 를 늘리기 위해 핵심 정점에 각각 펜던트 정점을 연결한다. 심플렉시얼 정점은 자동으로 모든 최소 집합에 포함되므로, eg 와 seg 를 정확히 b, c 로 맞출 수 있다. 2. **파라미터별 조정** - **eg=b**: 핵심 정점 집합에 (b‑a) 개의 추가 정점을 연결하고, 이들 사이에 짧은 경로를 두어 모든 간선을 커버하도록 만든다. - **seg=c**: (c‑b) 개의 병렬 경로 블록을 핵심 정점 사이에 삽입한다. 각 블록은 선택된 정점 쌍 사이의 특정 최단 경로를 담당하게 하여, 강‑엣지‑지오데틱 조건을 만족한다. - **meg=d**: (d‑c) 개의 트위니 쌍을 적절히 배치한다. 차이가 홀수이면 트위니를 한 쌍만 추가하고, 짝수이면 두 쌍을 추가해 모든 최단 경로가 동일하게 포함되도록 만든다. 3. **구성 예시** - **g=2, eg=3, seg=c, meg=d (c≥4)**: 논문은 Figure 1에 해당 그래프를 상세히 제시한다. 여기서는 두 개의 “핵심” 정점 u₀, v_{c‑3} 를 선택해 g=2 를 만족하고, z 라는 정점을 추가해 eg=3 을 강제한다. 병렬 경로와 트위니 삽입을 통해 seg와 meg 를 각각 c, d 로 조절한다. 4. **일반화** - 위의 특수 경우를 바탕으로, 임의의 (a,b,c,d) 에 대해 동일한 원칙을 적용한다. 핵심 정점 수 a, 추가 정점 수 (b‑a), 경로 블록 수 (c‑b), 트위니 수 (d‑c) 를 각각 삽입함으로써, 모든 파라미터가 최소값을 정확히 달성하도록 설계한다. 5. **복잡도 및 효율성** - 전체 정점·간선 수는 O(d) 로, 가장 큰 파라미터 d 에 선형적으로 증가한다. 구성 알고리즘은 각 블록을 순차적으로 연결하는 단순한 절차이므로 시간 복잡도도 O(d) 이다. 이는 이론적 완전성을 제공함과 동시에 실제 네트워크 설계 시 프로브 배치 비용을 최소화할 수 있음을 의미한다. 결론적으로, 본 논문은 네 가지 모니터링 파라미터 사이의 가능한 조합을 완전히 규명하고, 불가능한 경우를 명확히 배제한 뒤, 모든 가능한 (a,b,c,d) 에 대해 효율적인 그래프 구성을 제시한다. 이는 그래프 이론적 연구뿐 아니라 통신·센서 네트워크에서 최적의 감시·진단 전략을 설계하는 데 실질적인 가이드라인을 제공한다.