Abstract
Let G = (V, E) be a simple graph and \(\mathbf {w}\in \mathbb {Z}^{E}_{>0}\) assign each edge e ∈ E a positive integer weight w(e). A subset of E that intersects every triangle of G is called a triangle cover of (G, w), and its weight is the total weight of its edges. A collection of triangles in G (repetition allowed) is called a triangle packing of (G, w) if each edge e ∈ E appears in at most w(e) members of the collection. Let τ t (G, w) and ν t (G, w) denote the minimum weight of a triangle cover and the maximum cardinality of a triangle packing of (G, w), respectively. Generalizing Tuza’s conjecture for unit weight, Chapuy et al. conjectured that τ t (G, w)/ν t (G, w) ≤ 2 holds for every simple graph G and every \(\mathbf {w}\in \mathbb {Z}^{E}_{>0}\). In this paper, using a hypergraph approach, we design polynomial-time combinatorial algorithms for finding triangle covers of small weights. These algorithms imply new sufficient conditions for the conjecture of Chapuy et al. More precisely, given (G, w), suppose that all edges of G are covered by the set \({\mathscr {T}}_{G}\) consisting of edge sets of triangles in G. Let \(|E|_{w}={\sum }_{e\in E}w(e)\) and \(|{\mathscr {T}}_{G}|_{w}={\sum }_{\{e,f,g\}\in {\mathscr {T}}_{G}}w(e)w(f)w(g)\) denote the weighted numbers of edges and triangles in (G, w), respectively. We show that a triangle cover of (G, w) of weight at most 2ν t (G, w) can be found in strongly polynomial time if one of the following conditions is satisfied: (i) \(\nu _{t}(G,\mathbf {w})/|{\mathscr {T}}_{G}|_{w}\ge \frac {1}{3}\), (ii) \(\nu _{t}(G,\mathbf {w})/|E|_{w}\ge \frac {1}{4}\), (iii) \(|E|_{w}/|{\mathscr {T}}_{G}|_{w}\ge 2\).
Similar content being viewed by others
Notes
Sometimes we use the term “multigraph” to emphasize that the graph under investigation might not be simple.
A shortest path between any pair of vertices can be found in \(O(|\mathcal {E}|)\) time using breadth first search. A shortest cycle can be found by checking all \(O(|\mathcal {E}|)\) possibilities.
References
Tuza, Z.: Conjecture in: Finite and infinite sets. In: Proceedings of Colloque Mathematical Society Jnos Bolyai, p. 888, Eger (1981)
Chapuy, G., DeVos, M., McDonald, J., Mohar, B., Scheide, D.: Packing triangles in weighted graphs. SIAM J. Discret. Math. 28(1), 226–239 (2014)
Haxell, P.E.: Packing and covering triangles in graphs. Discret. Math. 195(1), 251–254 (1999)
Tuza, Z.: A conjecture on triangles of graphs. Graphs Comb. 6(4), 373–380 (1990)
Krivelevich, M.: On a conjecture of Tuza about packing and covering of triangles. Discret. Math. 142(1), 281–286 (1995)
Haxell, P.E., Kohayakawa, Y.: Packing and covering triangles in tripartite graphs. Graphs Comb. 14(1), 1–10 (1998)
Haxell, P., Kostochka, A., Thomassé, S.: Packing and covering triangles in K 4-free planar graphs. Graphs Comb. 28(5), 653–662 (2012)
Cui, Q., Haxell, P., Ma, W.: Packing and covering triangles in planar graphs. Graphs Comb. 25(6), 817–824 (2009)
Baron, J.D., Kahn, J.: Tuza’s conjecture is asymptotically tight for dense graphs. arXiv:1408.4870 (2014)
Chen, X., Diao, Z., Hu, X., Tang, Z.: Sufficient conditions for Tuza’s conjecture on packing and covering triangles. In: Makinen, V., Puglisi, S.J., Salmela, L. (eds.) Combinatorial Algorithms, volume 9843 of Lecture Notes in Computer Science, pp 266–277. Springer International Publishing, Switzerland (2016)
Yannakakis, M.: On a class of totally unimodular matrices. Math. Oper. Res. 10(2), 280–304 (1985)
Berge, C.: Hypergraphs: Combinatorics of Finite Sets. Elsevier, Amsterdam (1989)
Schrijver, A.: Combinatorial Optimization: Polyhedra and Efficiency. Springer Science & Business Media, Berlin (2003)
Feder, C.S.T.: Packing edge-disjoint triangles in given graphs. Electronic Colloquium on Computational Complexity, Report No. 13 (2012)
Alon, N., Spencer, J.H.: The probabilistic method. Wiley, NY (2015)
Brualdi, R.A.: Introductory combinatorics. Upper Saddle River, Prentice Hall (1999)
Acknowledgments
The authors are indebted to Dr. Gregory J. Puleo, Dr. Zbigniew Lonc, and two anonymous referees for their invaluable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is part of the Topical Collection on Special Issue on Combinatorial Algorithms
Rights and permissions
About this article
Cite this article
Chen, X., Diao, Z., Hu, X. et al. Covering Triangles in Edge-Weighted Graphs. Theory Comput Syst 62, 1525–1552 (2018). https://doi.org/10.1007/s00224-018-9860-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-018-9860-7