일반화된 퇴화성·동적 독점·최대 퇴화성 부분그래프 연구

초록

본 논문은 정점마다 비음수 함수 κ를 부여한 κ‑퇴화 그래프 개념을 정의하고, 이를 판별하는 선형‑시간 알고리즘을 제시한다. 또한 정수 임계값을 갖는 동적 독점(dynamical monopoly)과 κ‑퇴화성 사이의 필요충분 조건을 증명한다. 이를 바탕으로 임의의 그래프와 정규 그래프에서 κ‑퇴화(또는 k‑퇴화) 유도 부분그래프의 최대 크기에 대한 상·하한을 구성적으로 구한다. 모든 결과는 실제 알고리즘으로 구현 가능함을 강조한다.

상세 분석

논문은 먼저 기존의 k‑퇴화 그래프 정의를 확장하여, 각 정점 v에 비음수 정수 κ(v) 를 할당하는 κ‑퇴화 그래프 개념을 도입한다. 즉, 그래프 G 의 모든 비공허 부분그래프 H 에 대해 최소 차수가 min_{v∈V(H)} deg_H(v) ≤ κ(v) 를 만족하도록 하는 것이다. 이 정의는 기존의 균일 k‑퇴화성을 특수 경우로 포함한다. 저자들은 κ‑퇴화성을 검증하기 위해, 정점들을 κ(v) 값에 따라 비내림차순으로 정렬한 뒤, 각 정점을 차례로 제거하면서 현재 그래프의 최소 차수가 해당 κ(v) 이하인지 확인하는 그리디 알고리즘을 제시한다. 이 과정은 각 정점과 인접 리스트를 한 번씩만 탐색하므로 O(|V|+|E|) 시간에 수행된다.

다음으로 동적 독점 개념을 재조명한다. 동적 독점 D 는 초기 활성 정점 집합으로, 각 정점 v 에 할당된 임계값 τ(v) (정수, 양수일 필요 없음)를 초과하는 활성 이웃 수가 되면 v 가 활성화되는 과정을 모델링한다. 논문은 τ(v)=deg_G(v)−κ(v) 로 정의하면, D 가 전체 그래프를 활성화시키는 동적 독점이 되기 위한 필요충분 조건이 바로 G 가 κ‑퇴화 그래프임을 보인다. 즉, κ‑퇴화성은 동적 독점의 존재와 직접적인 동치 관계에 있다. 이 관계를 이용해, 기존에 알려진 동적 독점의 상한·하한 결과를 κ‑퇴화 부분그래프의 크기 추정에 그대로 옮길 수 있다.

응용 부분에서는, 임의의 그래프 G 에서 κ‑퇴화(또는 k‑퇴화) 유도 부분그래프의 최대 정점 수 α_κ(G) 를 구하는 문제를 다룬다. 저자들은 먼저 일반 그래프에 대해 α_κ(G) ≥ |V(G)| − ∑{v∈V}⌊κ(v)/ (deg_G(v)+1)⌋ 와 같은 하한을 구성적으로 증명한다. 상한은 α_κ(G) ≤ |V(G)| − ⌈(∑{v}κ(v))/Δ(G)⌉ 와 같이 제시되며, 여기서 Δ(G) 는 최대 차수를 의미한다. 특히 정규 그래프 G (모든 정점 차수 r)에서는 α_κ(G) ≥ |V(G)| · (1 − κ̄/(r+1)) (κ̄는 κ 값의 평균)와 같은 보다 강력한 식을 얻는다. 모든 증명은 실제 정점 제거 순서를 제공하므로, 해당 부분그래프를 직접 구성하는 알고리즘을 즉시 도출한다.

마지막으로 논문은 복합 네트워크에서의 영향 전파 모델링, 소셜 네트워크에서의 최소 초기 활성 집합 찾기, 그리고 그래프 이론에서의 퇴화성 연구에 대한 새로운 연결 고리를 제시한다. 제시된 알고리즘은 선형 시간 복잡도를 갖고, 기존의 NP‑hard 문제에 대한 근사 해법으로 활용 가능함을 강조한다.