[논문 리뷰] On irreversible dynamic monopolies in general graphs

Ching-Lueh Chang, Yuh‐Dauh Lyuu|arXiv (Cornell University)|2009. 04. 15.

Game Theory and Applications참고 문헌 9인용 수 17

한 줄 요약

이 논문은 일반적인 방향성 및 무방향 그래프에서 엄격 다수 규칙과 단순 다수 규칙을 적용한 경우에 대해, 역행성 동적 모나리 등(다이나모)의 최소 크기에 대한 더 날카운 상한을 설정한다. 엄격 다수 규칙 하에서는 최소 다이나모 크기가 (2/3)|V| 이하이며, 단순 다수 규칙 하에서는 |V|/2 이하임을 증명한다. 무방향 연결 그래프의 특수 케이스에 대해서는 개선된 상한 ⌈|V|/2⌉을 도출한다. 또한, 다수 규칙의 두 상황 모두에서 다항 시간 ((1/2−ε)ln|V|)-근사 알고리즘이 존재하지 않음을 증명한다. 이는 NP ⊆ TIME(n^{O(ln ln n)})가 성립하지 않는 한 성립하며, 직경 ≤8인 이분 그래프를 포함한 제한된 그래프 클래스에서도 마찬가지이다.

ABSTRACT

Consider the following coloring process in a simple directed graph $G(V,E)$ with positive indegrees. Initially, a set $S$ of vertices are white, whereas all the others are black. Thereafter, a black vertex is colored white whenever more than half of its in-neighbors are white. The coloring process ends when no additional vertices can be colored white. If all vertices end up white, we call $S$ an irreversible dynamic monopoly (or dynamo for short) under the strict-majority scenario. An irreversible dynamo under the simple-majority scenario is defined similarly except that a black vertex is colored white when at least half of its in-neighbors are white. We derive upper bounds of $(2/3)\,|\,V\,|$ and $|\,V\,|/2$ on the minimum sizes of irreversible dynamos under the strict and the simple-majority scenarios, respectively. For the special case when $G$ is an undirected connected graph, we prove the existence of an irreversible dynamo with size at most $\lceil |\,V\,|/2 ceil$ under the strict-majority scenario. Let $ε>0$ be any constant. We also show that, unless $ ext{NP}\subseteq ext{TIME}(n^{O(\ln \ln n)}),$ no polynomial-time, $((1/2-ε)\ln |\,V\,|)$-approximation algorithms exist for finding the minimum irreversible dynamo under either the strict or the simple-majority scenario. The inapproximability results hold even for bipartite graphs with diameter at most 8.

연구 동기 및 목표

• 일반적인 방향성 그래프에서 엄격 다수 규칙 기반 역행성 동적 모나리 등의 최소 크기에 대한 기존 상한을 향상시키는 것.
• 일반 그래프에서 단순 다수 규칙 기반 최소 다이나모 크기에 대해 더 날카운 상한을 설정하는 것.
• 무방향 연결 그래프의 특수 케이스에서 엄격 다수 규칙 기반 최소 다이나모 크기에 대해 개선된 상한을 유도하는 것.
• 엄격 다수 규칙과 단순 다수 규칙의 두 상황 모두에서 최소 다이나모를 찾는 데 있어 강력한 근사 불가능성 결과를 도출하는 것, 특히 직경이 작은 이분 그래프와 같은 제한된 그래프 클래스에서도 성립함을 보이는 것.
• 최소 다이나모를 찾는 데 있어 다항 시간 ((1/2−ε)ln|V|)-근사 알고리즘이 존재하지 않음을 증명하는 것, 이는 NP ⊆ TIME(n^{O(ln ln n)})가 성립하지 않는 한 성립함을 보이는 것.

제안 방법

• 무방향 그래프 G를 특정한 정점 및 간선 추가를 통해 방향성 그래프 G̃로 변환하는 방법을 제안하여 임계값 동역학을 시뮬레이션한다.
• 최소 독립 집합 문제로의 감소를 통해 근사 불가능성을 증명하며, Feige의 독립 집합 근사 불가능성 결과를 활용한다.
• 들어오는 차수를 제어하고 변환된 그래프에서 홀수 차수를 확보하기 위해 보조 집합 {w_u}, {g_1, g_2}, {X_u}, {Y_v}, {z_1, z_2}를 정의한다.
• 변환된 그래프 G̃에서 모든 정점의 들어오는 차수가 홀수이므로, 엄격 다수 규칙과 단순 다수 규칙이 동일하게 작용함을 보장한다.
• G̃에서 작은 시드 집합 S가 존재하면, 이는 G에서 작은 독립 집합에 대응됨을 증명하여 근사 불가능성 갭을 확립한다.
• 확률론적 및 조합론적 추론을 적용하여, 시드 집합 크기 및 그래프 파라미터에 기반해 도출된 독립 집합의 크기를 상한으로 제시한다.

실험 결과

연구 질문

• RQ1 일반적인 방향성 그래프에서 엄격 다수 규칙 기반 역행성 동적 모나리 등의 최소 크기에 대해 가장 날카운 상한은 무엇인가?
• RQ2 무방향 연결 그래프에서 엄격 다수 규칙 기반 최소 다이나모 크기에 대해 상한을 추가로 낮출 수 있는가?
• RQ3 일반 그래프에서 단순 다수 규칙 기반 역행성 동적 모나리 등의 최소 크기에 대해 가장 날카운 상한은 무엇인가?
• RQ4 엄격 다수 규칙과 단순 다수 규칙의 두 상황 모두에서 최소 다이나모를 계산하는 데 있어 강력한 근사 불가능성 결과가 존재하는가, 특히 제한된 그래프 클래스(예: 직경이 작은 이분 그래프)에서도 마찬가지인가?
• RQ5 최소 다이나모를 찾는 데 있어 다항 시간 ((1/2−ε)ln|V|)-근사 알고리즘이 존재할 수 있는가, 엄격 다수 규칙 또는 단순 다수 규칙의 어느 한 경우에도?

주요 결과

• 어떤 방향성 그래프에서든 엄격 다수 규칙 기반 역행성 동적 모나리 등의 최소 크기는 (2/3)|V| 이하이며, 이는 이전의 (23/27)|V| 상한보다 향상된 것이다.
• 무방향 연결 그래프의 경우, 엄격 다수 규칙 기반 역행성 동적 모나리 등의 최소 크기는 ⌈|V|/2⌉ 이하이다.
• 어떤 방향성 그래프에서든 단순 다수 규칙 기반 역행성 동적 모나리 등의 최소 크기는 |V|/2 이하이다.
• 최소 역행성 동적 모나리 등을 찾는 데 있어 다항 시간 ((1/2−ε)ln|V|)-근사 알고리즘이 존재하지 않으며, 이는 NP ⊆ TIME(n^{O(ln ln n)})가 성립하지 않는 한 성립한다.
• 이 근사 불가능성 결과는 직경이 8 이하인 이분 그래프에서도 성립한다.
• 근사 불가능성 증명은 최소 독립 집합 문제로의 감소에 기반하며, 임계값 동역학을 유지하고 들어오는 차수를 홀수로 보장함으로써 엄격 다수 규칙과 단순 다수 규칙을 통합하는 신중히 구성된 그래프 변환을 활용한다.