Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Drawing (Complete) Binary Tanglegrams

Hardness, Approximation, Fixed-Parameter Tractability

Abstract

A binary tanglegram is a drawing of a pair of rooted binary trees whose leaf sets are in one-to-one correspondence; matching leaves are connected by inter-tree edges. For applications, for example, in phylogenetics, it is essential that both trees are drawn without edge crossings and that the inter-tree edges have as few crossings as possible. It is known that finding a tanglegram with the minimum number of crossings is NP-hard and that the problem is fixed-parameter tractable with respect to that number.

We prove that under the Unique Games Conjecture there is no constant-factor approximation for binary trees. We show that the problem is NP-hard even if both trees are complete binary trees. For this case we give an O(n 3)-time 2-approximation and a new, simple fixed-parameter algorithm. We show that the maximization version of the dual problem for binary trees can be reduced to a version of MaxCut for which the algorithm of Goemans and Williamson yields a 0.878-approximation.

References

  1. 1.

    Bansal, M.S., Chang, W.-C., Eulenstein, O., Fernández-Baca, D.: Generalized binary tanglegrams: algorithms and applications. In: Rajasekaran, S. (ed.) Proc. 1st Internat. Conf. Bioinformatics Comput. Biol. (BICoB’09). Lecture Notes Comput. Sci., vol. 5462, pp. 114–125. Springer, Berlin (2009)

  2. 2.

    Baumann, F., Buchheim, C., Liers, F.: Exact bipartite crossing minimization under tree constraints. In: Festa, P. (ed.) Proc. 9th Internat. Sympos. Experimental Algorithms (SEA’10), vol. 6049, pp. 118–128. Springer, Berlin (2010)

  3. 3.

    Bertolazzi, P., Di Battista, G., Mannino, C., Tamassia, R.: Optimal upward planarity testing of single-source digraphs. SIAM J. Comput. 27(1), 132–169 (1998)

  4. 4.

    Böcker, S., Hüffner, F., Truss, A., Wahlström, M.: A faster fixed-parameter approach to drawing binary tanglegrams. In: Chen, J., Fomin, F. (eds.) Proc. 4th Internat. Workshop Parameterized and Exact Comput. (IWPEC’09). Lecture Notes Comput. Sci., vol. 5917, pp. 38–49. Springer, Berlin (2009)

  5. 5.

    Buchin, K., Buchin, M., Byrka, J., Nöllenburg, M., Okamoto, Y., Silveira, R.I., Wolff, A.: Drawing (complete) binary tanglegrams: hardness, approximation, fixed-parameter tractability. In: Tollis, I.G., Patrignani, M. (eds.) Proc. 16th Internat. Symp. Graph Drawing (GD’08). Lecture Notes Comput. Sci., vol. 5417, pp. 324–335. Springer, Berlin (2009)

  6. 6.

    Burer, S., Monteiro, R.D.: A projected gradient algorithm for solving the Maxcut SDP relaxation. Optim. Methods Softw. 15, 175–200 (2001)

  7. 7.

    Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)

  8. 8.

    DasGupta, B., He, X., Jiang, T., Li, M., Tromp, J., Zhang, L.: On distances between phylogenetic trees. In: Proc. 18th Annu. ACM-SIAM Sympos. Discrete Algorithms (SODA’97), pp. 427–436 (1997)

  9. 9.

    Dujmović, V., Fernau, H., Kaufmann, M.: Fixed parameter algorithms for one-sided crossing minimization revisited. J. Discrete Algorithms 6(2), 313–323 (2008)

  10. 10.

    Dwyer, T., Schreiber, F.: Optimal leaf ordering for two and a half dimensional phylogenetic tree visualization. In: Churcher, N., Churcher, C. (eds.) Proc. Australasian Sympos. Inform. Visual. (InVis.au’04). CRPIT, vol. 35, pp. 109–115. Australian Comput. Soc., Canberra (2004)

  11. 11.

    Eades, P., Wormald, N.: Edge crossings in drawings of bipartite graphs. Algorithmica 10, 379–403 (1994)

  12. 12.

    Fernau, H., Kaufmann, M., Poths, M.: Comparing trees via crossing minimization. In: Ramanujam, R., Sen, S. (eds.) Proc. 25th Intern. Conf. Found. Softw. Techn. Theoret. Comput. Sci. (FSTTCS’05). Lecture Notes Comput. Sci., vol. 3821, pp. 457–469. Springer, Berlin (2005)

  13. 13.

    Gabow, H.N., Tarjan, R.E.: A linear-time algorithm for a special case of disjoint set union. In: Proc. 15th Annu. ACM Symp. Theory Comput. (STOC’83), pp. 246–251 (1983)

  14. 14.

    Garey, M.R., Johnson, D.S.: Computers and Intractability. Freeman, New York (1979)

  15. 15.

    Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM 42(6), 1115–1145 (1995)

  16. 16.

    Hafner, M.S., Sudman, P.D., Villablanca, F.X., Spradling, T.A., Demastes, J.W., Nadler, S.A.: Disparate rates of molecular evolution in cospeciating hosts and parasites. Science 265, 1087–1090 (1994)

  17. 17.

    Holten, D., van Wijk, J.J.: Visual comparison of hierarchically organized data. In: Proc. 10th Eurographics/IE EE-VGTC Sympos. Visualization (EuroVis’08), pp. 759–766 (2008)

  18. 18.

    Khot, S.: On the power of unique 2-prover 1-round games. In Proc. 34th Annu. ACM Sympos. Theory Comput. (STOC’02), pp. 767–775 (2002)

  19. 19.

    Khot, S., Vishnoi, N.K.: The unique games conjecture, integrality gap for cut problems and embeddability of negative type metrics into l 1. In: Proc. 46th Annu. IEEE Sympos. Foundat. Comput. Sci. (FOCS’05), pp. 53–62 (2005)

  20. 20.

    Lozano, A., Pinter, R.Y., Rokhlenko, O., Valiente, G., Ziv-Ukelson, M.: Seeded tree alignment and planar tanglegram layout. In: Giancarlo, R., Hannenhalli, S. (eds.) Proc. 7th Internat. Workshop Algorithms Bioinformatics (WABI’07). Lecture Notes Comput. Sci., vol. 4645, pp. 98–110. Springer, Berlin (2007)

  21. 21.

    Nagamochi, H.: An improved bound on the one-sided minimum crossing number in two-layered drawings. Discrete Comput. Geom. 33(4), 565–591 (2005)

  22. 22.

    Nöllenburg, M., Völker, M., Wolff, A., Holten, D.: Drawing binary tanglegrams: an experimental evaluation. In: Proc. 11th Workshop Algorithm Engineering and Experiments (ALENEX’09), pp. 106–119. SIAM, Philadelphia (2009)

  23. 23.

    Page, R.D.M. (ed.): Tangled Trees: Phylogeny, Cospeciation, and Coevolution. University of Chicago Press, Chicago (2002)

  24. 24.

    Raman, V., Ravikumar, B., Rao, S.S.: A simplified NP-complete MAXSAT problem. Inf. Process. Lett. 65, 1–6 (1998)

  25. 25.

    Sugiyama, K., Tagawa, S., Toda, M.: Methods for visual understanding of hierarchical system structures. IEEE Trans. Syst. Man Cybern. 11(2), 109–125 (1981)

  26. 26.

    Venkatachalam, B., Apple, J., John, K.St., Gusfield, D.: Untangling tanglegrams: Comparing trees by their drawings. IEEE/ACM Trans. Comput. Biol. Bioinf., PrePrints (2010). doi: 10.1109/TCBB.2010.57

Download references

Author information

Correspondence to Martin Nöllenburg.

Additional information

Work started at the 10th Korean Workshop on Computational Geometry, Dagstuhl, Germany, 2007. A preliminary version [5] of this paper was presented at the 16th International Symposium on Graph Drawing (GD’08).

Rights and permissions

Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

Reprints and Permissions

About this article

Cite this article

Buchin, K., Buchin, M., Byrka, J. et al. Drawing (Complete) Binary Tanglegrams. Algorithmica 62, 309–332 (2012). https://doi.org/10.1007/s00453-010-9456-3

Download citation

Keywords

  • Binary tanglegram
  • Crossing minimization
  • NP-hardness
  • Approximation algorithm
  • Fixed-parameter tractability