지배 신뢰도 그래프와 하이퍼그래프에서의 새로운 신뢰 측정

초록

본 논문은 정점이 독립적으로 고장나는 서비스 네트워크에서, 작동 중인 정점들의 집합이 그래프의 지배 집합을 이루는 확률을 **지배 신뢰도(Domination Reliability)**라 정의한다. 이를 기존의 지배 다항식과 하이퍼그래프 커버링 확률과 연결시키고, 합·조인 연산에 대한 분해식, 포함‑배제 전개, 그리고 Whitney의 깨진 회로 정리와 유사한 결과를 제시한다. 또한 동등한 정점 작동 확률 하에서 지배 신뢰도는 다항식 형태가 되며, 여러 그래프 클래스에 대한 명시적·재귀적 공식들을 제공한다. 마지막으로 지배 신뢰도 계산이 NP‑hard임을 증명하고, 하이퍼그래프 커버링 문제와의 등가성을 논한다.

상세 분석

논문은 먼저 정점이 각각 확률 (p_v) 로 정상 작동하고, 간선은 완전 신뢰된다고 가정한다. 정점 집합 (X) 가 그래프 (G) 의 지배 집합이 되려면, (V\setminus X) 의 모든 정점이 (X) 의 어느 정점과 인접해야 한다. 따라서 전체 정점이 독립적으로 고장날 때, 작동 중인 정점들의 집합이 지배 집합이 되는 확률을 (DRel(G,\mathbf p)) 로 정의한다.

1. 연산에 대한 분해식
정점이 서로 겹치지 않는 두 그래프 (G) 와 (H) 에 대해 합 연산 (G+H) 의 지배 신뢰도는 단순히 두 그래프의 신뢰도의 곱이 된다. 조인 연산 (G*H) 에 대해서는 세 경우(A, B, C)를 고려한 식 (2)를 도출한다. 이는 조인 그래프가 완전 이분 그래프인 경우에도 적용 가능하며, 특히 코그래프(cograph)와 같이 합·조인으로 재귀적으로 구성되는 그래프들의 신뢰도를 다항식 시간에 계산할 수 있음을 보여준다.

2. 정점 분해와 재귀 알고리즘
정점 (y) 를 선택하고, (y) 가 정상 작동할 때와 고장날 때를 구분해 (DRel(G,X,Y,\mathbf p)) 를 재귀적으로 계산한다. 이는 포함‑배제 원리를 이용한 전통적인 전이 확률 법칙과 동일한 구조이며, 복잡도는 최악의 경우 지수적이다. 그러나 이 방법을 이용해 이분 그래프의 ‘좌→우’ 지배 신뢰도 (DRel_{\leftarrow}(G,\mathbf p)) 를 계산하고, 이를 원 그래프의 지배 신뢰도로 변환할 수 있다.

3. 포함‑배제 전개와 깨진 회로 정리
정점 실패 사건 (A_v) 를 정의하고, 포함‑배제 원리를 적용하면 식 (3) 로 모든 부분집합 (J\subseteq V) 에 대해 ((-1)^{|J|}\prod_{v\in N