×

On tree representations of relations and graphs: symbolic ultrametrics and cograph edge decompositions. (English) Zbl 1402.90147

Summary: Tree representations of (sets of) symmetric binary relations, or equivalently edge-colored undirected graphs, are of central interest, e.g. in phylogenomics. In this context symbolic ultrametrics play a crucial role. Symbolic ultrametrics define an edge-colored complete graph that allows to represent the topology of this graph as a vertex-colored tree. Here, we are interested in the structure and the complexity of certain combinatorial problems resulting from considerations based on symbolic ultrametrics, and on algorithms to solve them. This includes, the characterization of symbolic ultrametrics that additionally distinguishes between edges and non-edges of arbitrary edge-colored graphs \(G\) and thus, yielding a tree representation of \(G\), by means of so-called cographs. Moreover, we address the problem of finding “closest” symbolic ultrametrics and show the NP-completeness of the three problems: symbolic ultrametric editing, completion and deletion. Finally, as not all graphs are cographs, and hence, do not have a tree representation, we ask, furthermore, what is the minimum number of cotrees needed to represent the topology of an arbitrary non-cograph \(G\). This is equivalent to find an optimal cograph edge \(k\)-decomposition \(\{E_1,\dots,E_k\}\) of \(E\) so that each subgraph \((V,E_i)\) of \(G\) is a cograph. We investigate this problem in full detail, resulting in several new open problems, and NP-hardness results. For all optimization problems proven to be NP-hard we will provide integer linear program formulations to solve them.

MSC:

90C27 Combinatorial optimization

Software:

Proteinortho

References:

[1] Achlioptas, D, The complexity of g-free colourability, Discrete Math, 165166, 21-30, (1997) · Zbl 0904.05030 · doi:10.1016/S0012-365X(97)84217-3
[2] Bernini A, Ferrari L, Pinzani R (2009) Enumeration of some classes of words avoiding two generalized patterns of length three. J Autom Lang Comb 14(2):129-147 · Zbl 1205.68272
[3] Bilotta S, Grazzini E, Pergola E (2013) Counting binary words avoiding alternating patterns. J Integer Seq 16:Article 13.4.8 · Zbl 1292.05019
[4] Böcker, S; Dress, A, Recovering symbolically dated, rooted trees from symbolic ultrametrics, Adv Math, 138, 105-125, (1998) · Zbl 0912.05031 · doi:10.1006/aima.1998.1743
[5] Brändén, P; Mansour, T, Finite automata and pattern avoidance in words, J Comb Theory Ser A, 110, 127-145, (2005) · Zbl 1059.05003 · doi:10.1016/j.jcta.2004.10.007
[6] Brandstädt A, Le V, Spinrad J (1999) Graph classes: a survey SIAM monographs on discrete mathematics and applications. Society of Industrial and Applied Mathematics, Philadephia · Zbl 0919.05001 · doi:10.1137/1.9780898719796
[7] Burstein, A; Mansour, T, Words restricted by patterns with at most 2 distinct letters, Electron J Comb Number Theory, 9, 1-16, (2002) · Zbl 1021.05002
[8] Corneil, D; Perl, Y; Stewart, L, A linear recognition algorithm for cographs, SIAM J Comput, 14, 926-934, (1985) · Zbl 0575.68065 · doi:10.1137/0214065
[9] Corneil DG, Lerchs H, Stewart Burlingham LK (1981) Complement reducible graphs. Discrete Appl Math 3:163-174 · Zbl 0463.05057
[10] Dorbec, P; Montassier, M; Ochem, P, Vertex partitions of graphs into cographs and stars, J Graph Theory, 75, 75-90, (2014) · Zbl 1280.05104 · doi:10.1002/jgt.21724
[11] El-Mallah, E; Colbourn, C, The complexity of some edge deletion problems, IEEE Trans Circuits Syst, 35, 354-362, (1988) · Zbl 0654.68084 · doi:10.1109/31.1748
[12] Fitch, W, Homology: a personal view on some of the problems, Trends Genet, 16, 227-231, (2000) · doi:10.1016/S0168-9525(00)02005-9
[13] Gimbel J, Nesětrǐl J (2002) Partitions of graphs into cographs. Electronic notes in discrete mathematics, vol 11. In: The ninth quadrennial international conference on graph theory, combinatorics, algorithms and applications, pp 705-721 · Zbl 1075.05582
[14] Hammack R, Imrich W, Klavžar S (2011) Handbook of product graphs, 2nd edn. CRC Press, Boca Raton · Zbl 1283.05001
[15] Hellmuth M, Hernandez-Rosales M, Huber KT, Moulton V, Stadler PF, Wieseke N (2013a) Orthology relations, symbolic ultrametrics, and cographs. J Math Biol 66(1-2):399-420 · Zbl 1408.05038
[16] Hellmuth M, Imrich W, Kupka T (2013b) Partial star products: a local covering approach for the recognition of approximate Cartesian product graphs. Math Comput Sci 7(3):255-273 · Zbl 1319.68157
[17] Hellmuth M, Wieseke N (2015) On symbolic ultrametrics, cotree representations, and cograph edge decompositions and partitions. In: Xu D, Du D, Du D (eds) Computing and combinatorics. Lecture Notes in Computer Science, vol 9198. Springer International Publishing, Cham, pp 609-623 · Zbl 1468.05227
[18] Hellmuth M, Wieseke N (2016) From sequence data Including orthologs, paralogs, and xenologs to gene and species trees, Chap. 21. Springer International Publishing, Cham
[19] Hellmuth, M; Wieseke, N; Lechner, M; Lenhof, H; Middendorf, M; Stadler, P, Phylogenomics with paralogs, Proc Natl Acad Sci, 112, 2058-2063, (2015) · doi:10.1073/pnas.1412770112
[20] Hernandez-Rosales, M; Hellmuth, M; Wieseke, N; Huber, KT; Moulton, V; Stadler, PF, From event-labeled gene trees to species trees, BMC Bioinform, 13, s6, (2012)
[21] Lafond M, El-Mabrouk N (2014) Orthology and paralogy constraints: satisfiability and consistency. BMC Genomics 15(Suppl 6):S12. doi:10.1186/1471-2164-15-S6-S12.
[22] Lechner, M; Findeiß, S; Steiner, L; Marz, M; Stadler, PF; Prohaska, SJ, Proteinortho: detection of (co-)orthologs in large-scale analysis, BMC Bioinform, 12, 124, (2011) · doi:10.1186/1471-2105-12-124
[23] Lechner, M; Hernandez-Rosales, M; Doerr, D; Wiesecke, N; Thevenin, A; Stoye, J; Hartmann, RK; Prohaska, SJ; Stadler, PF, Orthology detection combining clustering and synteny for very large datasets, PLoS ONE, 9, e105,015, (2014) · doi:10.1371/journal.pone.0105015
[24] Lerchs H (1971a) On cliques and kernels. Technical Report, Department of Computer Science University of Toronto
[25] Lerchs H (1971b) On the clique-kernel structure of graphs. Technical Report, Department of Computer Science, University of Toronto · Zbl 0575.68065
[26] Liu Y, Wang J, Guo J, Chen J (2011) Cograph editing: complexity and parametrized algorithms. In: Fu B, Du DZ (eds) COCOON 2011, Lecture Notes in Computer Science, vol 6842. Springer, Berlin, Heidelberg, pp 110-121 · Zbl 1348.68070
[27] Liu, Y; Wang, J; Guo, J; Chen, J, Complexity and parameterized algorithms for cograph editing, Theoret Comput Sci, 461, 45-54, (2012) · Zbl 1253.68179 · doi:10.1016/j.tcs.2011.11.040
[28] Misra, J; Gries, D, A constructive proof of vizing’s theorem, Inf Process Lett, 41, 131-133, (1992) · Zbl 0795.68157 · doi:10.1016/0020-0190(92)90041-S
[29] Moret BM (1997) The theory of computation. Addison-Wesley Longman Publishing Co., Inc. Boston, MA · Zbl 0912.05031
[30] Pudwell L (2008a) Enumeration schemes for pattern-avoiding words and permutations. ProQuest, New Brunswick, New Jersey · Zbl 1210.05005
[31] Pudwell L (2008b) Enumeration schemes for words avoiding patterns with repeated letters. Electron. J. Comb. Number Theory 8(40):1-19 · Zbl 1210.05005
[32] Schaefer T (1978) The complexity of satisfiability problems. In: Proceedings of the tenth annual ACM symposium on theory of computing, STOC ’78. ACM, New York, NY, USA, pp 216-226 · Zbl 1282.68143
[33] Vizing, VG, On an estimate of the chromatic class of a p-graph, J Math Biol, 3, 23-30, (1964) · Zbl 1539.05042
[34] Zhang P (2014) A study on generalized solution concepts in constraint satisfaction and graph colouring. Master’s thesis, University of British Columbia, Canada
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.