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.
Similar content being viewed by others
Notes
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
Alm, E., Arkin, A.P.: Biological networks. Curr. Opin. Struct. Biol. 13(2), 193–202 (2003)
Alon, N., Yuster, R., Zwick, U.: Color coding. J. ACM 42(4), 844–856 (1995)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Flum, J., Grohe, M.: The parameterized complexity of counting problems. SIAM J. Comput. 33(4), 892–922 (2004)
Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2006)
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)
Hüffner, F., Wernicke, S., Zichner, T.: Algorithm engineering for color-coding with applications to signaling pathway detection. Algorithmica 52(2), 114–132 (2008)
Karp, R.: Dynamic-programming meets the principle of inclusion and exclusion. Oper. Res. Lett. 1, 49–51 (1982)
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)
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)
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)
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)
Schbath, S., Lacroix, V., Sagot, M.F.: Assessing the exceptionality of coloured motifs in networks. EURASIP J. Bioinform. Syst. Biol. 2009, 1–9 (2009)
Sharan, R., Ideker, T.: Modeling cellular machinery through biological network comparison. Nat. Biotechnol. 24(4), 427–433 (2006)
Williams, R.: Finding paths of length k in O*(2k) time. Inf. Process. Lett. 109(6), 315–318 (2009)
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
Corresponding author
Additional information
An extended abstract of this paper appeared in MFCS 2010 [15].
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-011-9600-8