[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article

Finding and Counting Vertex-Colored Subtrees

Published: 01 April 2013 Publication History

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.

References

[1]
Alm, E., Arkin, A.P.: Biological networks. Curr. Opin. Struct. Biol. 13(2), 193---202 (2003)
[2]
Alon, N., Yuster, R., Zwick, U.: Color coding. J. ACM 42(4), 844---856 (1995)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[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)
[13]
Flum, J., Grohe, M.: The parameterized complexity of counting problems. SIAM J. Comput. 33(4), 892---922 (2004)
[14]
Flum, J., Grohe, M.: Parameterized Complexity Theory. Texts in Theoretical Computer Science, An EATCS Series. Springer, Berlin (2006)
[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)
[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)
[17]
Karp, R.: Dynamic-programming meets the principle of inclusion and exclusion. Oper. Res. Lett. 1, 49---51 (1982)
[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)
[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)
[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)
[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)
[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)
[23]
Sharan, R., Ideker, T.: Modeling cellular machinery through biological network comparison. Nat. Biotechnol. 24(4), 427---433 (2006)
[24]
Williams, R.: Finding paths of length k in O*(2k) time. Inf. Process. Lett. 109(6), 315---318 (2009)

Cited By

View all
  1. Finding and Counting Vertex-Colored Subtrees

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Algorithmica
    Algorithmica  Volume 65, Issue 4
    April 2013
    216 pages

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 01 April 2013

    Author Tags

    1. Biological networks
    2. Parameterized complexity
    3. Pattern matching in graphs
    4. Vertex-colored graphs

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 15 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media