Skip to main content
Log in

Finding and Counting Vertex-Colored Subtrees

  • Published:
Algorithmica Aims and scope Submit manuscript

Abstract

The problems studied in this article originate from the Graph Motif problem introduced by Lacroix et al. (IEEE/ACM Trans. Comput. Biol. Bioinform. 3(4):360–368, 2006) in the context of biological networks. The problem is to decide if a vertex-colored graph has a connected subgraph whose colors equal a given multiset of colors M. It is a graph pattern-matching problem variant, where the structure of the occurrence of the pattern is not of interest but the only requirement is the connectedness. Using an algebraic framework recently introduced by Koutis (Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, vol. 5125, pp. 575–586, 2008) and Koutis and Williams (Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, vol. 5555, pp. 653–664, 2009), we obtain new FPT algorithms for Graph Motif and variants, with improved running times. We also obtain results on the counting versions of this problem, proving that the counting problem is FPT if M is a set, but becomes #W[1]-hard if M is a multiset with two colors. Finally, we present an experimental evaluation of this approach on real datasets, showing that its performance compares favorably with existing software.

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

Access this article

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

Instant access to the full article PDF.

Fig. 1

Similar content being viewed by others

Notes

  1. Where μ(t,t′) is 0 if there exists i∈[k] s.t. \(t_{i} - t'_{i} > 1\), and is otherwise equal to (−1)r where r is the number of i∈[k] s.t. \(t_{i} - t'_{i} = 1\).

References

  1. Alm, E., Arkin, A.P.: Biological networks. Curr. Opin. Struct. Biol. 13(2), 193–202 (2003)

    Article  Google Scholar 

  2. Alon, N., Yuster, R., Zwick, U.: Color coding. J. ACM 42(4), 844–856 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  3. Ambalath, A.M., Balasundaram, R., Rao, H.C., Koppula, V., Misra, N., Philip, G., Ramanujan, M.S.: On the kernelization complexity of colorful motifs. In: Raman, V., Saurabh, S. (eds.) Proceedings of the 5th International Symposium Parameterized and Exact Computation (IPEC). Lecture Notes in Computer Science, vol. 6478, pp. 14–25. Springer, Berlin (2010)

    Chapter  Google Scholar 

  4. Arvind, V., Raman, V.: Approximation algorithms for some parameterized counting problems. In: Bose, P., Morin, P. (eds.) Proceedings of the 13th International Symposium Algorithms and Computation (ISAAC). Lecture Notes in Computer Science, vol. 2518, pp. 453–464. Springer, Berlin (2002)

    Chapter  Google Scholar 

  5. Betzler, N., Fellows, M.R., Komusiewicz, C., Niedermeier, R.: Parameterized algorithms and hardness results for some Graph Motif problems. In: Ferragina, P., Landau, G.M. (eds.) Proceedings of the 19th Annual Symposium Combinatorial Pattern Matching (CPM). Lecture Notes in Computer Science, vol. 5029, pp. 31–43. Springer, Berlin (2008)

    Chapter  Google Scholar 

  6. Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Fourier meets möbius: fast subset convolution. In: Johnson, D.S., Feige, U. (eds.) Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC), pp. 67–74. ACM, New York (2007)

    Google Scholar 

  7. Blin, G., Sikora, F., Vialette, S.: GraMoFoNe: a Cytoscape plugin for querying motifs without topology in Protein-Protein Interactions networks. In: Al-Mubaid, H. (ed.) Proceedings of the 2nd International Conference on Bioinformatics and Computational Biology (BICoB), pp. 38–43. International Society for Computers and their Applications (ISCA), Raleigh (2010)

    Google Scholar 

  8. Böcker, S., Rasche, F., Steijger, T.: Annotating fragmentation patterns. In: Salzberg, S., Warnow, T. (eds.) Proceedings of the 9th International Workshop Algorithms in Bioinformatics (WABI). Lecture Notes in Computer Science, vol. 5724, pp. 13–24. Springer, Berlin (2009)

    Chapter  Google Scholar 

  9. Bruckner, S., Hüffner, F., Karp, R.M., Shamir, R., Sharan, R.: Topology-free querying of Protein Interaction Networks. In: Batzoglou, S. (ed.) Proceedings of the 13th Annual International Conference Research in Computational Molecular Biology (RECOMB). Lecture Notes in Computer Science, vol. 5541, pp. 74–89. Springer, Berlin (2009)

    Chapter  Google Scholar 

  10. Dondi, R., Fertin, G., Vialette, S.: Weak pattern matching in colored graphs: Minimizing the number of connected components. In: Italiano, G.F., Moggi, E., Laura, L. (eds.) Proceedings of the 10th Italian Conference Theoretical Computer Science (ICTCS), pp. 27–38. World Scientific, Singapore (2007)

    Chapter  Google Scholar 

  11. Dondi, R., Fertin, G., Vialette, S.: Maximum motif problem in vertex-colored graphs. In: Kucherov, G., Ukkonen, E. (eds.) Proceedings of the 20th Annual Symposium Combinatorial Pattern Matching (CPM). Lecture Notes in Computer Science, vol. 5577, pp. 221–235. Springer, Berlin (2009)

    Chapter  Google Scholar 

  12. Fellows, M.R., Fertin, G., Hermelin, D., Vialette, S.: Sharp tractability borderlines for finding connected motifs in vertex-colored graphs. In: Arge, L., Cachin, C., Jurdzinski, T., Tarlecki, A. (eds.) Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, vol. 4596, pp. 340–351. Springer, Berlin (2007)

    Chapter  Google Scholar 

  13. Flum, J., Grohe, M.: The parameterized complexity of counting problems. SIAM J. Comput. 33(4), 892–922 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  14. Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2006)

    Google Scholar 

  15. Guillemot, S., Sikora, F.: Finding and counting vertex-colored subtrees. In: Hlinený, P., Kucera, A. (eds.) Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS’10), Brno, Czech Republic. Lecture Notes in Computer Science, vol. 6281, pp. 405–416. Springer, Berlin (2010)

    Google Scholar 

  16. Hüffner, F., Wernicke, S., Zichner, T.: Algorithm engineering for color-coding with applications to signaling pathway detection. Algorithmica 52(2), 114–132 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  17. Karp, R.: Dynamic-programming meets the principle of inclusion and exclusion. Oper. Res. Lett. 1, 49–51 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  18. Koutis, I.: Faster algebraic algorithms for path and packing problems. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, vol. 5125, pp. 575–586. Springer, Berlin (2008)

    Chapter  Google Scholar 

  19. Koutis, I., Williams, R.: Limits and applications of group algebras for parameterized problems. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S.E., Thomas, W. (eds.) Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, vol. 5555, pp. 653–664. Springer, Berlin (2009)

    Chapter  Google Scholar 

  20. Lacroix, V., Fernandes, C.G., Sagot, M.F.: Motif search in graphs: application to metabolic networks. IEEE/ACM Trans. Comput. Biol. Bioinform. 3(4), 360–368 (2006)

    Article  Google Scholar 

  21. Nederlof, J.: Fast polynomial-space algorithms using Möbius inversion: Improving on steiner tree and related problems. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S.E., Thomas, W. (eds.) Proceedings of the 36th International Colloquium Automata, Languages and Programming (ICALP). Lecture Notes in Computer Science, vol. 5555, pp. 713–725. Springer, Berlin (2009)

    Chapter  Google Scholar 

  22. Schbath, S., Lacroix, V., Sagot, M.F.: Assessing the exceptionality of coloured motifs in networks. EURASIP J. Bioinform. Syst. Biol. 2009, 1–9 (2009)

    Article  Google Scholar 

  23. Sharan, R., Ideker, T.: Modeling cellular machinery through biological network comparison. Nat. Biotechnol. 24(4), 427–433 (2006)

    Article  Google Scholar 

  24. Williams, R.: Finding paths of length k in O*(2k) time. Inf. Process. Lett. 109(6), 315–318 (2009)

    Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors acknowledge partial funding from DFG PABI BO1910/9-1 and ANR project BIRDS JCJC SIMI 2-2010, and also would like to thanks Sharon Bruckner, Khanh-Lam Mai and the anonymous reviewers for valuable comments and remarks.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Florian Sikora.

Additional information

An extended abstract of this paper appeared in MFCS 2010 [15].

Rights and permissions

Reprints and permissions

About this article

Cite this article

Guillemot, S., Sikora, F. Finding and Counting Vertex-Colored Subtrees. Algorithmica 65, 828–844 (2013). https://doi.org/10.1007/s00453-011-9600-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00453-011-9600-8

Keywords

Navigation