[논문 리뷰] The Target Set Selection Problem on Cycle Permutation Graphs, Generalized Petersen Graphs and Torus Cordalis

Chun-Ying Chiang, Liang-Hao Huang외 2명|arXiv (Cornell University)|2011. 12. 06.

Complex Network Analysis Techniques참고 문헌 23인용 수 8

한 줄 요약

이 논문은 사이클 순열 그래프, 일반화된 페테르센 그래프, 토러스 코르달리스의 세 가지 정규 네트워크 구조에서 엄격한 다수결 임계값을 가진 타겟 세트 선택 문제를 조사한다. 모든 정점을 활성화하기 위해 필요한 최소 시드 크기의 날카운 경계를 확립하며, $m \equiv 0 \pmod{3}$ 인 사이클 순열 그래프 $C_m \oslash C_n$의 경우 최소 시드 크기가 정확히 $\frac{mn}{3} + 1$임을 증명한다. 그 외의 경우, 작은 상수 $c$에 대해 $\frac{mn}{3} + \frac{m}{12} + c$ 형태의 상한을 제시한다. 결과는 $m$과 $n$의 모듈로 산술 기반의 사례 분석과 영향력 시퀀스의 명시적 구성에 의해 도출된다. 주요 기여는 이러한 구조적 그래프에서 엄격한 다수결 역학에 대해 최소 타겟 세트 크기의 정확하거나 날카운 경계를 제공하는 것이다.

ABSTRACT

In this paper we consider a fundamental problem in the area of viral marketing, called T{\scriptsize ARGET} S{\scriptsize ET} S{\scriptsize ELECTION} problem. In a a viral marketing setting, social networks are modeled by graphs with potential customers of a new product as vertices and friend relationships as edges, where each vertex $v$ is assigned a threshold value $θ(v)$. The thresholds represent the different latent tendencies of customers (vertices) to buy the new product when their friend (neighbors) do. Consider a repetitive process on social network $(G,θ)$ where each vertex $v$ is associated with two states, active and inactive, which indicate whether $v$ is persuaded into buying the new product. Suppose we are given a target set $S\subseteq V(G)$. Initially, all vertices in $G$ are inactive. At time step 0, we choose all vertices in $S$ to become active. Then, at every time step $t>0$, all vertices that were active in time step $t-1$ remain active, and we activate any vertex $v$ if at least $θ(v)$ of its neighbors were active at time step $t-1$. The activation process terminates when no more vertices can get activated. We are interested in the following optimization problem, called T{\scriptsize ARGET} S{\scriptsize ET} S{\scriptsize ELECTION}: Finding a target set $S$ of smallest possible size that activates all vertices of $G$. There is an important and well-studied threshold called strict majority threshold, where for every vertex $v$ in $G$ we have $θ(v)=\lceil{(d(v) +1)/2} ceil$ and $d(v)$ is the degree of $v$ in $G$. In this paper, we consider the T{\scriptsize ARGET} S{\scriptsize ET} S{\scriptsize ELECTION} problem under strict majority thresholds and focus on three popular regular network structures: cycle permutation graphs, generalized Petersen graphs and torus cordalis.

연구 동기 및 목표

• 사회 네트워크에서 엄격한 다수결 임계값 역학 하에서 모든 정점을 활성화할 수 있는 최소 크기의 타겟 세트를 결정하기 위해.
• 세 가지 특정한 정규 그래프 가족인 사이클 순열 그래프, 일반화된 페테르센 그래프, 토러스 코르달리스에서 타겟 세트 선택 문제를 분석하기 위해.
• 이 그래프 유형들에 대해 엄격한 다수결 임계값 하에서 최소 시드 크기의 정확하거나 날카운 상한을 제공하기 위해.
• 유도된 경계의 실현 가능성을 사례별 분석을 통해 보여주는 구성적 영향력 시퀀스를 개발하기 위해.

제안 방법

• 저자들은 정점들이 적어도 반 이상의 이웃(올림)이 활성화된 경우에만 활성화되는 이산 시간 활성화 과정을 그래프에서 모델링한다.
• 각 정점 $v$에 대해 엄격한 다수결 임계값을 $\theta(v) = \lceil (d(v)+1)/2 \rceil$로 정의하여, 활성화가 활성 이웃의 초다수를 요구하도록 보장한다.
• 각 그래프 유형에 대해, 모든 정점들이 단계적으로 활성화될 수 있도록 보여주는 명시적 타겟 세트 $S$와 그에 상응하는 확신 시퀀스 $\alpha$를 구성한다.
• 모듈로 3과 4에 대한 $m$과 $n$의 값에 기반한 사례 분석을 수행하여, 다양한 기하학적 성질과 잔여 값을 처리하기 위해 하위사례로 문제를 분할한다.
• 조합적 구성과 정점 집합의 합집합을 사용하여 최소 시드 세트를 구축하며, 정확한 활성화 순서를 철저히 추적하여 정당성을 확보한다.
• 그래프의 구조적 성질과 활성화 시퀀스에 대한 귀납적 추론을 통해 날카운 경계를 증명하며, 부록에 있는 그래픽적 도표로 지원한다.

실험 결과

연구 질문

• RQ1 사이클 순열 그래프 $C_m \oslash C_n$에서 엄격한 다수결 임계값 하에 모든 정점을 활성화하기 위해 필요한 최소 크기의 타겟 세트는 얼마인가?
• RQ2 모듈로 3에 대해 $m \equiv 0 \pmod{3}$일 때, 최소 시드 크기는 매개변수 $m$과 $n$에 따라 어떻게 변하는가?
• RQ3 일반화된 페테르센 그래프와 토러스 코르달리스에서 엄격한 다수결 역학 하에 최소 타겟 세트 크기의 날카운 상한을 확립할 수 있는가?
• RQ4 이 그래프들의 어떤 구조적 또는 조합적 성질이 최소 타겟 세트 크기의 결정에 기여하거나 제약을 가하는가?
• RQ5 모듈로 산술 조건, 즉 $m$과 $n$의 모듈로 값은 최적 또는 근접 최적의 타겟 세트 구성에 어떻게 영향을 주는가?

주요 결과

• 모듈로 3에 대해 $m \equiv 0 \pmod{3}$ 이고 $n \geq 2$인 사이클 순열 그래프 $C_m \oslash C_n$의 경우, 최소 시드 크기는 정확히 $\frac{mn}{3} + 1$이며, 이는 사례별 구성 분석을 통해 증명된 날카운 경계이다.
• 모듈로 12에 대해 $m \not\equiv 0 \pmod{3}$ 인 경우, 최소 시드 크기의 상한으로 $\frac{mn}{3} + \frac{m}{12} + \frac{3}{2}$를 제시하며, 이는 $m$의 잔여값에 따라 달라진다.
• 모듈로 3에 대해 $m \equiv 0 \pmod{3}$ 이고 $n$이 짝수인 경우, 최소 시드 크기는 $\frac{mn}{3} + 1$이며, 검증된 확신 시퀀스를 가진 구조적 정점 집합의 합집합을 사용한 구성이 적용된다.
• 모듈로 3에 대해 $m \equiv 0 \pmod{3}$ 이고 $n$이 홀수이며 5 이상인 경우, 최소 시드 크기는 여전히 $\frac{mn}{3} + 1$이며, 다른 구성과 활성화 시퀀스를 사용하지만 동일하게 타당하다.
• 모든 경우에 대해 명시적 타겟 세트와 확신 시퀀스를 제공하며, $S_1, S_2, S_3, S_4$와 $\alpha_1, \dots, \alpha_8$와 같은 세부 집합과 시퀀스를 포함한다. 이들은 모든 정점의 활성화가 검증되었다.
• 결과는 최소 시드 크기가 $m$과 $n$의 모듈로 산술에 매우 의존하며, 그래프의 구조가 엄격한 다수결 임계값 하에서 영향력 전파를 정밀하게 제어할 수 있음을 보여준다.