On the Complexity of Telephone Broadcasting: From Cacti to Bounded Pathwidth Graphs

TL;DR

This paper investigates the computational complexity of the Telephone Broadcasting problem in simple graph families, proving NP-completeness in cactus graphs and providing approximation algorithms for these classes.

Contribution

It establishes NP-completeness of the problem in cactus graphs and introduces constant-factor approximation algorithms for cactus and bounded pathwidth graphs.

Findings

NP-complete in cactus graphs

Approximation factor of 2 for cactus graphs

O(1) approximation for bounded pathwidth graphs

Abstract

In the Telephone Broadcasting problem, the goal is to disseminate a message from a given source vertex of an input graph to all other vertices in the minimum number of rounds, where at each round, an informed vertex can send the message to at most one of its uninformed neighbors. For general graphs of n vertices, the problem is NP-complete, and the best existing algorithm has an approximation factor of O(log n/ log log n). The existence of a constant factor approximation for the general graphs is still unknown. In this paper, we study the problem in two simple families of sparse graphs, namely, cacti and graphs of bounded pathwidth. There have been several efforts to understand the complexity of the problem in cactus graphs, mostly establishing the presence of polynomial-time solutions for restricted families of cactus graphs. Despite these efforts, the complexity of the problem in arbitrary cactus graphs remained open. We settle this question by establishing the NP-completeness of telephone broadcasting in cactus graphs. For that, we show the problem is NP-complete in a simple subfamily of cactus graphs, which we call snowflake graphs. These graphs not only are cacti but also have pathwidth 2. These results establish that, despite being polynomial-time solvable in trees, the problem becomes NP-complete in very simple extensions of trees. On the positive side, we present constant-factor approximation algorithms for the studied families of graphs, namely, an algorithm with an approximation factor of 2 for cactus graphs and an approximation factor of O(1) for graphs of bounded pathwidth.