Bounding the sizes of dynamic monopolies and convergent sets for threshold-based cascades

  • Authors:

  • Ching-Lueh Chang;Yuh-Dauh Lyuu

  • Affiliations:

  • Department of Computer Science and Engineering, Yuan Ze University, Taoyuan, Taiwan;Department of Computer Science and Information Engineering, National Taiwan University, Taipei, Taiwan and Department of Finance, National Taiwan University, Taipei, Taiwan

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2013

Quantified Score

Hi-index 5.23

Visualization

Abstract

Consider the following reversible cascade on a simple directed graph G=(V,E). In round zero, a set of vertices, called the seeds, are active. In round k@?Z^+, a vertex v@?V is activated (deactivated) if at least (resp., fewer than) @f(v) of its in-neighbors are active in round k-1, where @f:V-N. An irreversible cascade is defined similarly except that active vertices cannot be deactivated. Two specific candidates for the threshold function @f are @f"m"a"j"("v")^s^t^r^i^c^t=@?(deg^-(v)+1)/2@? and @f"@r(v)=@?@r@?deg^-(v)@?, where deg^-(v) denotes the indegree of v@?V and @r@?(0,1]. An irreversible dynamic monopoly is a set of seeds that leads all vertices to activation after finitely many rounds of the irreversible cascade with @f=@f"m"a"j^s^t^r^i^c^t. A set of vertices, S, is said to be convergent if no vertex will ever change its state, from active to inactive or vice versa, once the set of active vertices equals S. This paper shows that an irreversible dynamic monopoly of size at most @?|V|/2@? can be found in polynomial (in |V|) time if G is strongly connected. Furthermore, we show that for any constant @e0, all @r@?(0,1], @f=@f"@r, p@?[(1+@e)(ln(e/@r))/n,1] and with probability 1-n^-^@W^(^1^), every convergent set of the Erdos-Renyi random graph G(n,p) has size O(@?@rn@?) or n-O(@?@rn@?). Our result on convergent sets holds for both the reversible and irreversible cascades.