[논문 리뷰] A Note on the Computational Complexity of Unsmoothened Vertex Attack Tolerance

Gunes Ercal|arXiv (Cornell University)|2016. 03. 28.

Complexity and Algorithms in Graphs참고 문헌 3인용 수 4

한 줄 요약

이 논문은 일반 그래프에서 unsmoothened vertex attack tolerance (UVAT)를 근사하는 것이 계산적으로 불가능하다는 것을 입증하며, 표준 복잡도 가정 하에 상수 요인 내에서 근사하는 것은 NP-난이도임을 보인다. 이 작업은 MAX-BCBS 문제를 UVAT로 감소시켜, UVAT에 대한 다항시간 근사 알고리즘이 존재할 경우 MAX-BCBS에 대해서도 유사한 근사가 가능하다는 점을 보이며, UVAT가 R4SAT-난이도이자 $ n^\delta $ 요인 내에서 근사가 불가능함을 입증한다. ($ 0 < \delta < 1 $).

ABSTRACT

We have previously introduced vertex attack tolerance (VAT) and unsmoothened VAT (UVAT), denoted respectively as $τ(G) = \min_{S \subset V} \frac{|S|}{|V-S-C_{max}(V-S)|+1}$ and $\hatτ(G) = \min_{S \subset V} \frac{|S|}{|V-S-C_{max}(V-S)|}$, where $C_{max}(V-S)$ is the largest connected component in $V-S$, as appropriate mathematical measures of resilience in the face of targeted node attacks for arbitrary degree networks. Here we prove the hardness of approximating $\hatτ$ under various plausible computational complexity hypotheses.

연구 동기 및 목표

• 일반 그래프에서 unsmoothened vertex attack tolerance (UVAT)를 근사하는 데 필요한 계산 복잡도를 규명하는 것.
• UVAT를 근사하는 것이 최대 균형 이분 클리크 문제(MAX-BCBS)를 근사하는 것과 비슷한 난이도임을 보여주는 것.
• 합리적인 복잡도 가정 하에 MAX-BCBS의 근사 불가능성 결과가 UVAT로 이행됨을 보여주는 것.
• 랜덤 4-SAT 가정 하에 UVAT가 다항식 요인 $ n^\delta $ 내에서 근사 가능한지 여부를 입증하는 것. ($ 0 < \delta < 1 $).
• MAX-BCBS에 대한 co-bipartite 그래프에서의 감소를 통해 이전의 정점 무결성(NP-난이도) 결과를 UVAT로 확장하는 것.

제안 방법

• 균형 이분 그래프 $ G $의 co-bipartite 보완 그래프 $ \overline{G} $ 를 사용하여 MAX-BCBS 문제를 UVAT로 감소시킴.
• 모든 정점 분리집합 $ S $ 에 대해 $ \frac{|S|}{|V-S-C_{\text{max}}(V-S)|} $ 의 최소 비율을 $ \hat{\tau}(\overline{G}) $ 로 정의함.
• 모든 $ (A,B) \in BK(G) $ 에 대해, $ \overline{G} $ 에서의 임계 공격 집합 $ U $ 는 $ G $ 에서의 이분 클리크에 대응하며, $ \hat{\tau}(\overline{G}) = \min_{(A,B) \in BK(G)} \frac{2n - |A| - |B|}{|A|} $ 라고 나타냄.
• 크기 $ k $ 가 $ G $ 의 최대 균형 이분 클리크이면, $ \frac{n}{k} - 1 \leq \hat{\tau}(\overline{G}) \leq 2\left(\frac{n}{k} - 1\right) $ 라는 경계를 설정함.
• 이 경계를 이용해 UVAT에 대한 $ \alpha $-근사 알고리즘이 존재할 경우 MAX-BCBS에 대한 $ 2\alpha $-근사 알고리즘이 존재함을 보임.
• 기존의 MAX-BCBS에 대한 근사 불가능성 결과(정리 1.4–1.6)를 적용하여 UVAT로 난이도를 이행함으로써, NP-난이도 및 R4SAT-난이도를 입증함.

실험 결과

연구 질문

• RQ1 상수 요인 내에서 unsmoothened vertex attack tolerance (UVAT)를 근사하는 것이 계산적으로 어려운가?
• RQ2 UVAT 근사 난이도를 최대 균형 이분 클리크(MAX-BCBS) 근사 난이도로 감소시킬 수 있는가?
• RQ3 랜덤 4-SAT 가정과 같은 합리적인 복잡도 가정 하에 UVAT의 최선의 근사 비율은 무엇인가?
• RQ4 UVAT는 co-bipartite 그래프로 제한된 경우에도 여전히 근사가 어려운가?
• RQ5 UVAT는 최대 클리크 문제와 비교해 복잡도 면에서 어떤 관계가 있는가?

주요 결과

• 최대 클리크 문제를 $ n / 2^{c\sqrt{\log n}} $ 요인 내에서 근사하는 것이 어려울 경우, UVAT는 상수 요인 내에서 근사 가능한지 여부가 NP-난이도임.
• SAT가 시간 $ 2^{n^\epsilon} $ 이내에 작동하는 확률적 알고리즘을 갖지 않는다고 가정할 경우, 크기가 $ N $ 인 그래프에 대해 UVAT는 요인 $ N^{\epsilon'} $ 내에서 근사할 수 없으며, 여기서 $ \epsilon' = \frac{1}{2^{O(1/\epsilon \log(1/\epsilon))}} $ 이다.
• 랜덤 4-SAT 난이도 가정 하에 UVAT는 $ n^\delta $ 요인 내에서 근사 가능한지 여부가 R4SAT-난이도이며, $ 0 < \delta < 1 $ 이다.
• UVAT에 대한 다항시간 $ \alpha $-근사 알고리즘이 존재할 경우, MAX-BCBS에 대한 다항시간 $ 2\alpha $-근사 알고리즘이 존재함. 이는 co-bipartite 그래프에서도 성립함.
• 경계 $ \frac{n}{k} - 1 \leq \hat{\tau}(\overline{G}) \leq 2\left(\frac{n}{k} - 1\right) $ 는 $ k $ 가 원본 그래프 $ G $ 의 최대 균형 이분 클리크 크기일 때 성립함.
• UVAT는 모든 비클리크 그래프에 대해 잘 정의되고 비자명하며, 임계 공격 집합은 co-bipartite 보완 그래프에서의 정점 분리집합에 대응함.