Skip to main content
SpringerLink
Log in

On tractable cases of Target Set Selection

  • Original Article
  • Published:
Social Network Analysis and Mining Aims and scope Submit manuscript

Abstract

We study the NP-hard Target Set Selection (TSS) problem occurring in social network analysis. Roughly speaking, given a graph where each vertex is associated with a threshold, in TSS the task is to select a minimum-size “target set” such that all vertices of the graph get activated. Activation is a dynamic process. First, only the vertices in the target set are active. Then, a vertex becomes active if the number of its active neighbors exceeds its threshold, and so on. TSS models the spread of information, infections, and influence in networks. Complementing results on its polynomial-time approximability and extending results for its restriction to trees and bounded treewidth graphs, we classify the influence of the parameters “diameter”, “cluster editing number”, “vertex cover number”, and “feedback edge set number” of the underlying graph on the problem’s computational complexity, revealing both tractable and intractable cases. For instance, even for diameter-two split graphs TSS remains W[2]-hard with respect to the parameter “size of the target set”. TSS can be efficiently solved on graphs with small feedback edge set number and also turns out to be fixed-parameter tractable when parameterized by the vertex cover number. Both results contrast known parameterized intractability results for the parameter “treewidth”. While these tractability results are relevant for sparse networks, we also show efficient fixed-parameter algorithms for the parameter “cluster editing number”, yielding tractability for certain dense networks.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

Notes

  1. Informally speaking, W[1]-hardness means that there is no hope for fixed-parameter tractability with respect to the corresponding parameter; we refer to Sect. 2 for the formal definitions.

  2. Given an undirected graph G = (V, E) and a positive integer h, the Dominating Set problem asks whether there is a vertex subset \(V^{\prime}\subseteq V\) of size at most h such that for every \(v\in V\) it holds that \(v \in V^{\prime}\) or v is adjacent to a vertex in \(V^{\prime}. \)

  3. For example, this is plausible for networks of teams (say in sports or work teams) where vertices are persons and there is an edge between two vertices if the intersection of their team membership durations is sufficiently large.

  4. Given an undirected graph G = (V, E) and a positive integer h, the Vertex Cover problem asks whether there is a vertex subset \(V^{\prime}\subseteq V\) of size at most h such that each edge in E has at least one endpoint in \(V^{\prime}.\)

  5. The dataset and a corresponding documentation are available online (http://dblp.uni-trier.de/xml/).

  6. These three networks are available in the Pajek Dataset of Vladimir Batagelj and Andrej Mrvar (2006) (http://vlado.fmf.uni-lj.si/pub/networks/data/).

  7. It is well-known that a parameterized problem is fixed-parameter tractable if and only if it has a kernelization.

  8. The cluster edge deletion number ξ is lower bounded by the cluster editing number \(\zeta, \) i.e., \(\xi \geq \zeta. \)

  9. A bridge of a connected graph G is an edge whose deletion disconnects G.

References

  • Abrahamson KA, Downey RG, Fellows MR (1995) Fixed-parameter tractability and completeness IV: on completeness for W[P] and PSPACE analogues. Ann Pure Appl Logic 73(3):235–276

    Article  MathSciNet  MATH  Google Scholar 

  • Ackerman E, Ben-Zwi O, Wolfovitz G (2010) Combinatorial model and bounds for target set selection. Theor Comput Sci 411(44–46):4017–4022

    Article  MathSciNet  MATH  Google Scholar 

  • Agarwal N, Liu H, Tang L, Yu P (2011) Modeling blogger influence in a community. Soc Netw Anal Min (to appear)

  • Bazgan C, Chopin M, Fellows MR (2011) Parameterized complexity of the firefighter problem. In: Proceedings of 22nd ISAAC, LNCS, vol 7074. Springer, Berlin, pp 643–652

  • Ben-Zwi O, Hermelin D, Lokshtanov D, Newman I (2011) Treewidth governs the complexity of target set selection. Discrete Optim 8(1):87–96

    Article  MathSciNet  MATH  Google Scholar 

  • Böcker S (2011) A golden ratio parameterized algorithm for cluster editing. In: Proceedings of 22nd IWOCA, LNCS, vol 7056. Springer, Berlin, pp 85–95

  • Böcker S, Damaschke P (2011) Even faster parameterized cluster deletion and cluster editing. Inf Process Lett 111(14):717–721

    Article  MATH  Google Scholar 

  • Bodlaender HL (2009) Kernelization: New upper and lower bound techniques. In: Proceedings of 4th IWPEC, LNCS, vol 5917. Springer, Berlin, pp 17–37

  • Bodlaender HL, Jansen BMP, Kratsch S (2011a) Preprocessing for treewidth: A combinatorial analysis through kernelization. In: Proceedings of 38th ICALP, LNCS, vol 6755. Springer, Berlin, pp 437–448

  • Bodlaender HL, Thomassé S, Yeo A (2011b) Kernel bounds for disjoint cycles and disjoint paths. Theor Comput Sci 412(35):4570–4578

    Article  MATH  Google Scholar 

  • Brandstädt A, Le VB, Spinrad JP (1999) Graph classes: a survey. SIAM Monographs on Discrete Mathematics and Applications, vol 3. SIAM, Auckland

  • Chen J, Kanj IA, Xia G (2010) Improved upper bounds for vertex cover. Theor Comput Sci 411(40–42):3736–3756

    Article  MathSciNet  MATH  Google Scholar 

  • Chen N (2009) On the approximability of influence in social networks. SIAM J Discrete Math 23(3):1400–1415

    Article  MathSciNet  MATH  Google Scholar 

  • Cygan M, Fomin F, Leeuwen EJV (2012) Parameterized complexity of firefighting revisited. In: Proceedings of 6th IPEC, LNCS, vol 7112. Springer, Berlin, pp 13–26

  • Davidson SB, Garcia-Molina H, Skeen D (1985) Consistency in partitioned networks. ACM Comput Surv 17(3):341–370

    Article  Google Scholar 

  • De Nooy W, Mrvar A, Batagelj V (2011) Exploratory social network analysis with Pajek. No. 34 in structural analysis in the social sciences. Cambridge University Press, Cambridge

  • Dom M, Lokshtanov D, Saurabh S (2009) Incompressibility through colors and IDs. In: Proceedings of 36th ICALP, LNCS, vol 5555. Springer, Berlin, pp 378–389

  • Domingos P, Richardson M (2001) Mining the network value of customers. In: Proceedings of 7th ACM KDD. ACM Press, New York, pp 57–66

  • Downey R, Fellows M, McCartin C, Rosamond F (2008) Parameterized approximation of dominating set problems. Inf Process Lett 109(1):68–70

    Article  MathSciNet  Google Scholar 

  • Downey RG, Fellows MR (1999) Parameterized complexity. Springer, Berlin

  • Dreyer PA Jr, Roberts FS (2009) Irreversible k-threshold processes: Graph-theoretical threshold models of the spread of disease and of opinion. Discrete Appl Math 157:1615–1627

    Article  MathSciNet  MATH  Google Scholar 

  • Easley D, Kleinberg J (2010) Networks, crowds, and markets: reasoning about a highly connected world. Cambridge University Press, Cambridge

  • Fellows M (2009) Towards fully multivariate algorithmics: some new results and directions in parameter ecology. In: Proceedings of 20th IWOCA, LNCS, vol 5874. Springer, Berlin, pp 2–10

  • Fellows MR, Lokshtanov D, Misra N, Rosamond FA, Saurabh S (2008) Graph layout problems parameterized by vertex cover. In: Proceedings of 19th ISAAC, LNCS, vol 5369. Springer, Berlin, pp 294–305

  • Fiala J, Golovach PA, Kratochvíl J (2011) Parameterized complexity of coloring problems: treewidth versus vertex cover. Theor Comput Sci 412(23):2513–2523

    Article  MATH  Google Scholar 

  • Flum J, Grohe M (2006) Parameterized complexity theory. Springer, Berlin

  • Franks DW, Noble J, Kaufmann P, Stagl S (2008) Extremism propagation in social networks with hubs. Adapt Behav 16(4):264–274

    Article  Google Scholar 

  • Garcia-Molina H, Barbará D (1985) How to assign votes in a distributed system. J ACM 32(4):841–860

    Article  MATH  Google Scholar 

  • Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. Freeman, Gordonsville

  • Girvan M, Newman MEJ (2002) Community structure in social and biological networks. Proc Natl Acad Sci 99(12):7821–7826

    Article  MathSciNet  MATH  Google Scholar 

  • Guo J, Niedermeier R (2007) Invitation to data reduction and problem kernelization. ACM SIGACT News 38(1):31–45

    Article  Google Scholar 

  • Harant J, Pruchnewski A, Voigt M (1999) On dominating sets and independent sets of graphs. Comb Probab Comput 8(6):547–553

    Article  MathSciNet  MATH  Google Scholar 

  • Jiang H, Zhang C, Zhu B (2010) Weak kernels. Tech. Rep. TR10-005, Department of Computer Science, Montana State University

  • Johnson DS (1984) The genealogy of theoretical computer science: a preliminary report. SIGACT News 16(2):36–49, reprinted in Bulletin of the EATCS, No. 25, pp 198–211, 1985

  • Jurvetson S (2000) What exactly is viral marketing? Red Herring 78:110–112

    Google Scholar 

  • Kempe D, Kleinberg J, Tardos É (2003) Maximizing the spread of influence through a social network. In: Proceedings of 9th ACM KDD. ACM Press, New York, pp 137–146

  • Kutten S, Peleg D (1999) Fault-local distributed mending. J Algorithms 30(1):144–165

    Article  MathSciNet  MATH  Google Scholar 

  • Leskovec J, Horvitz E (2008) Planetary-scale views on a large instant-messaging network. In: Proceedings of 17th WWW. ACM Press, New York, pp 915–924

  • Leskovec J, Adamic LA, Huberman BA (2007a) The dynamics of viral marketing. ACM Trans Web 1(1)

  • Leskovec J, McGlohon M, Faloutsos C, Glance NS, Hurst M (2007b) Patterns of cascading behavior in large blog graphs. In: Proceedings of 7th SDM. SIAM, Auckland, pp 551–556

  • MacGillivray G, Wang P (2003) On the firefighter problem. J Comb Math Comb Comput 47:83–96

    MathSciNet  MATH  Google Scholar 

  • McConnell RM, Spinrad J (1994) Linear-time modular decomposition and efficient transitive orientation of comparability graphs. In: Proceedings of 5th SODA. ACM/SIAM, New York, pp 536–545

  • Milgram S (1967) The small world problem. Psychol Today 1:61–67

    Google Scholar 

  • Newman MEJ (2003) The structure and function of complex networks. SIAM Rev 45(2):167–256

    Article  MathSciNet  MATH  Google Scholar 

  • Newman MEJ (2010) Networks: an introduction. Oxford University Press, Oxford

  • Newman MEJ, Park J (2003) Why social networks are different from other types of networks. Phys Rev E 68(3):036122

    Article  Google Scholar 

  • Niedermeier R (2006) Invitation to fixed-parameter algorithms. Oxford University Press, Oxford

  • Niedermeier R (2010) Reflections on multivariate algorithmics and problem parameterization. In: Proceedings of 27th STACS, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, LIPIcs, vol 5, pp 17–32

  • Norlen K, Lucas G, Gebbie M, Chuang J (2002) Eva: extraction, visualization and analysis of the telecommunications and media ownership network. In: Proceedings of 14th ITS

  • Pelc A (1996) Efficient fault location with small risk. In: SIROCCO, Carleton Scientific, pp 292–300

  • Peleg D (2002) Local majorities, coalitions and monopolies in graphs: a review. Theor Comput Sci 282:231–257

    Article  MathSciNet  MATH  Google Scholar 

  • Potterat JJ, Phillips-Plummer L, Muth SQ, Rothenberg RB, Woodhouse DE, Maldonado-Long TS, Zimmerman HP, Muth JB (2002) Risk network structure in the early epidemic phase of HIV transmission in Colorado Springs. Sex Transm Infect 78:159–163

    Article  Google Scholar 

  • Raeder T, Chawla N (2011) Market basket analysis with networks. Soc Netw Anal Min 1:97–113

    Article  Google Scholar 

  • Richardson M, Domingos P (2002) Mining knowledge-sharing sites for viral marketing. In: Proceedings of 8th ACM KDD. ACM Press, New York, pp 61–70

  • Shamir R, Sharan R, Tsur D (2004) Cluster graph modification problems. Discrete Appl Math 144(1–2):173–182

    Article  MathSciNet  MATH  Google Scholar 

  • Tarjan RE (1974) A note on finding the bridges of a graph. Inf Process Lett 2(6):160–161

    Article  MathSciNet  MATH  Google Scholar 

  • Uhlmann J, Weller M (2010) Two-layer planarization parameterized by feedback edge set. In: Proceedings of 7th TAMC, LNCS, vol 6108, Springer, Berlin, pp 431–442

  • Wang P, Moeller SA (2002) Fire control on graphs. J Comb Math Comb Comput 41:19–34

    MathSciNet  MATH  Google Scholar 

  • Watts D, Peretti J, Frumin M (2007) Viral marketing for the real world. Harv Bus Rev 85(5):22–23

    Google Scholar 

  • Zhang W, Wu W, Wang F, Xu K (2012) Positive influence dominating sets in power-law graphs. Soc Netw Anal Min 2(1):31–37

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Softwaretechnik und Theoretische Informatik, TU Berlin, Berlin, Germany

    André Nichterlein, Rolf Niedermeier, Johannes Uhlmann & Mathias Weller

Authors
  1. André Nichterlein
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rolf Niedermeier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Johannes Uhlmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mathias Weller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to André Nichterlein.

Additional information

This work is supported by the DFG, research projects PABI, NI 369/7, and DARE, NI 369/11. An extended abstract appeared in the Proceedings of the 21st International Symposium on Algorithms and Computation (ISAAC ’10), Part I, volume 6506 of LNCS, pages 378–389, Springer 2010.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nichterlein, A., Niedermeier, R., Uhlmann, J. et al. On tractable cases of Target Set Selection. Soc. Netw. Anal. Min. 3, 233–256 (2013). https://doi.org/10.1007/s13278-012-0067-7

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13278-012-0067-7

Keywords

Search

Navigation