ON THE COMPLEXITY OF THE BROADCAST SCHEDULING PROBLEM

Similar documents
On the Complexity of Broadcast Scheduling. Problem

On Covering a Graph Optimally with Induced Subgraphs

The Structure of Bull-Free Perfect Graphs

Small Survey on Perfect Graphs

The NP-Completeness of Some Edge-Partition Problems

The strong chromatic number of a graph

Coloring edges and vertices of graphs without short or long cycles

Disjoint directed cycles

NP Completeness. Andreas Klappenecker [partially based on slides by Jennifer Welch]

Bipartite Roots of Graphs

COLORING EDGES AND VERTICES OF GRAPHS WITHOUT SHORT OR LONG CYCLES

The Maximum Throughput of A Wireless Multi-Hop Path

arxiv: v2 [cs.cc] 29 Mar 2010

Complexity Results on Graphs with Few Cliques

Approximating Node-Weighted Multicast Trees in Wireless Ad-Hoc Networks

Weak Dynamic Coloring of Planar Graphs

A 2k-Kernelization Algorithm for Vertex Cover Based on Crown Decomposition

REDUCING GRAPH COLORING TO CLIQUE SEARCH

On connected domination in unit ball graphs

Algorithmic Aspects of Acyclic Edge Colorings

Abstract. A graph G is perfect if for every induced subgraph H of G, the chromatic number of H is equal to the size of the largest clique of H.

An Eternal Domination Problem in Grids

Treewidth and graph minors

ON VERTEX b-critical TREES. Mostafa Blidia, Noureddine Ikhlef Eschouf, and Frédéric Maffray

On minimum m-connected k-dominating set problem in unit disc graphs

Computing Largest Correcting Codes and Their Estimates Using Optimization on Specially Constructed Graphs p.1/30

On vertex-coloring edge-weighting of graphs

Lecture 6: Graph Properties

Dual Power Management for Network Connectivity in Wireless Sensor Networks

TIGHT LOWER BOUND FOR LOCATING-TOTAL DOMINATION NUMBER. VIT University Chennai, INDIA

Approximability Results for the p-center Problem

On Approximating Minimum Vertex Cover for Graphs with Perfect Matching

Max-Cut and Max-Bisection are NP-hard on unit disk graphs

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes

Algorithm and Complexity of Disjointed Connected Dominating Set Problem on Trees

Introduction to Graph Theory

Grundy chromatic number of the complement of bipartite graphs

Contracting Chordal Graphs and Bipartite Graphs to Paths and Trees

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

3-colouring AT-free graphs in polynomial time

Definition: A graph G = (V, E) is called a tree if G is connected and acyclic. The following theorem captures many important facts about trees.

These notes present some properties of chordal graphs, a set of undirected graphs that are important for undirected graphical models.

THE INDEPENDENCE NUMBER PROJECT:

DOMINATION PARAMETERS OF A GRAPH AND ITS COMPLEMENT

Vertex 3-colorability of claw-free graphs

Math 575 Exam 3. (t). What is the chromatic number of G?

Complexity and approximation of satisfactory partition problems

Monochromatic loose-cycle partitions in hypergraphs

A Randomized Algorithm for Minimizing User Disturbance Due to Changes in Cellular Technology

Preemptive Scheduling of Equal-Length Jobs in Polynomial Time

On Cyclically Orientable Graphs

Agreedy approximation for minimum connected dominating sets

Let G = (V, E) be a graph. If u, v V, then u is adjacent to v if {u, v} E. We also use the notation u v to denote that u is adjacent to v.

A New Reduction from 3-SAT to Graph K- Colorability for Frequency Assignment Problem

A Note on Vertex Arboricity of Toroidal Graphs without 7-Cycles 1

Some relations among term rank, clique number and list chromatic number of a graph

Some bounds on chromatic number of NI graphs

Lecture 19 Thursday, March 29. Examples of isomorphic, and non-isomorphic graphs will be given in class.

On the Maximum Throughput of A Single Chain Wireless Multi-Hop Path

Algorithmic aspects of k-domination in graphs

Faster parameterized algorithms for Minimum Fill-In

ON SWELL COLORED COMPLETE GRAPHS

1 Introduction. 1. Prove the problem lies in the class NP. 2. Find an NP-complete problem that reduces to it.

DOUBLE DOMINATION CRITICAL AND STABLE GRAPHS UPON VERTEX REMOVAL 1

Parameterized Complexity of Finding Regular Induced Subgraphs

Discrete Applied Mathematics. A revision and extension of results on 4-regular, 4-connected, claw-free graphs

Traveling in Networks with Blinking Nodes

THE INSULATION SEQUENCE OF A GRAPH

Diskrete Mathematik und Optimierung

Using Hybrid Algorithm in Wireless Ad-Hoc Networks: Reducing the Number of Transmissions

arxiv: v2 [math.co] 25 May 2016

Partha Sarathi Mandal

Decreasing the Diameter of Bounded Degree Graphs

Claw-Free Graphs With Strongly Perfect Complements. Fractional and Integral Version.

On subgraphs of Cartesian product graphs

Bounds for the m-eternal Domination Number of a Graph

Perfect k-domination in graphs

Constructing Connected Dominating Sets with Bounded Diameters in Wireless Networks

Solutions for the Exam 6 January 2014

Deciding k-colorability of P 5 -free graphs in polynomial time

An Efficient Bandwidth Estimation Schemes used in Wireless Mesh Networks

NOTE ON MINIMALLY k-connected GRAPHS

Hardness of r-dominating set on graphs of diameter (r + 1)

On the Parameterized Max-Leaf Problems: Digraphs and Undirected Graphs

Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality By Yaad Blum, Jeffrey S. Rosenchein

Genus Characterizes the Complexity of Certain Graph Problems: Some Tight Results

Chordal deletion is fixed-parameter tractable

11.1. Definitions. 11. Domination in Graphs

Theorem 2.9: nearest addition algorithm

Rainbow game domination subdivision number of a graph

Approximation of satisfactory bisection problems

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

THE RESULT FOR THE GRUNDY NUMBER ON P4- CLASSES

Dominated colorings of graphs

arxiv: v3 [cs.dm] 24 Jul 2018

Expected Approximation Guarantees for the Demand Matching Problem

The Fibonacci hypercube

Flexible Coloring. Xiaozhou Li a, Atri Rudra b, Ram Swaminathan a. Abstract

HEURISTIC ALGORITHMS FOR THE GENERALIZED MINIMUM SPANNING TREE PROBLEM

On Sequential Topogenic Graphs

Transcription:

ON THE COMPLEXITY OF THE BROADCAST SCHEDULING PROBLEM SERGIY I. BUTENKO, CLAYTON W. COMMANDER, AND PANOS M. PARDALOS Abstract. In this paper, a Broadcast Scheduling Problem (bsp) in a time division multiple access (TDMA) ad hoc network is analyzed in terms of its computational complexity. In a TDMA frame, time is divided into equal length transmission slots in which messages are scheduled. The objective of the considered version of the bsp is to provide a collision free broadcast schedule which minimizes the total frame length. Wang and Ansari [6] have observed that the recognition version of the bsp is N P-complete; however, their proof was incorrect. Here, we provide a counterexample to their argurment and give a correct proof that indeed the problem is N P-complete. 1. Introduction Due to a large number of practical applications, the importance of ad hoc networks has been increasing in the past few years. These networks provide high-speed communications between a large number of potentiall mobile stations which may be geographically disbursed. Each staiton is capable of both sending and receiving messages over the network. Hence, if a message is sent and the intended station is not able to receive it from the transmitting station, other intermediate stations may serve as relays by forwarding the message to the intended recipient. Since all stations share the same transmission channel, stations must be scheduled to transmit messages in such a manner that prevents collisions [7]. There are two types of message collision. The first, herein referred to as direct collision, occurs when two neighboring stations transmit during the same time slot. The second, which will be called hidden collision is a result of two non-neighboring stations transmitting simultaneously to a station that can receive messages from both transmitting stations. One of the objectives of a broadcast schedule is to guarantee collision free transmissions. The time division multiple access (TDMA) protocol [5] can be used for that purpose. In a TDMA network, time is divided into frames, with each frame consisting of a number of unit length slots. The goal is to schedule message transmissions in the slots such that (a) each station transmits in at least one time slot; (b) simultaneous broadcasts in the same time slot will not cause any collision, either direct or hidden; (c) the total number of slots (frame length) is minimized. There are otherimportant criteria that influence the effectiveness of a broadcast schedule. For example, a common optimization objective in broadcast scheduling research is, given a frame length, maximize the slot usage per frame, which will in turn maximize the throughput [6, 7]. However, in this paper we deal only with the Corresponding author. 1

2 S.I. BUTENKO, C.W. COMMANDER, AND P.M. PARDALOS objective of minimizing the total number of slots in each frame. More specifically, we concentrate on computational complexity of the bsp with this objective. We show that bsp belongs to a class of computationaly difficult problems known as N P-complete. Belonging to this class suggests that an algorithm which solves the problem to optimality in polynomial time does not exist unless P = N P [4]. This complexity result was first mentioned by Wang and Ansari [6], but their proof was flawed. In Section 3, we discuss some shortcomings of their proof and provide a correct proof that that the recognition version of bsp is indeed N P-complete. Complexity results for other related problems can be found in [2] and [3]. 2. Review of Graph Theory An ad hoc network can be conveniently described by an undirected graph G = (V, E), where the vertices in V represent the stations in the network and E is the set of links. Therefore, we introduce some background concepts from graph theory before continuing our discussion. First, for v V let N(v) 2 V represents the set of neighbors of v. That is, N(v), referred to as the neighborhood of v, contains any node w V such that (w, v) E. For a subset W V, let G(W) denote the subgraph induced by W on G. A set of vertices I V is called an independent set if for every i, j I, (i, j) E. That is, the graph G(I) induced by I is edgeless. An independent set is maximal if it is not a subset of any larger independent set (i.e., it is maximal by inclusion), and maximum if there are no larger independent sets in the graph. The maximum cardinality α(g) of an independent set of G is called the independence number of G. A legal (proper) coloring of G is an assignment of colors to its vertices so that no pair of adjacent vertices has the same color. A coloring induces naturally a partition of the vertex set into independent sets that are precisely the subsets of vertices being assigned the same color. If there exists a coloring of G that uses no more than k colors, we say that G admits a k-coloring (G is k-colorable). The minimal k for which G admits a k-coloring is called the chromatic number of G and is denoted by χ(g). The graph coloring problem is to find χ(g) as well as the partition of vertices induced by a χ(g)-coloring. For other standard concepts from graph theory that are used in this paper, the reader is referred to a textbook on the subject (see, e.g., [1]). 3. Computational Complexity This section presents the computational complexity results for the bsp. It was first noted that the bsp is N P-complete by Wang and Ansari in [6]. However, their proof of the N P-completeness of the recognition version of the problem was incorrect due to some faulty arguments. Namely, they claimed that the graph coloring problem is equivalent to the maximum independent set problem based on an incorrect assumption that, given an arbitrary graph, an optimal coloring can be found by recursively computing a maximum independent set and removing it from the graph. Thus, by coloring different independent sets in different colors, they claim that the chromatic number of the graph equals the total number of independent sets computed.

THE BROADCAST SCHEDULING PROBLEM IS N P-COMPLETE 3 Figure 3 presents a counterexample to this statement. It is easy to see that the independence number of the graph in this figure is 3. Assuming that the first maximum independent set found using the so-claimed optimal coloring algorithm of Wang and Ansari is {4, 5, 6} and consequently removing this set from the graph, we obtain a clique of the three vertices {1, 2, 3}. The independence number of the remaining graph is 1, so all three of the remaining vertices have to be colored in different colors. Thus, the Wang-Ansari coloring algorithm results in a 4-coloring. However, it is easy to see that the chromatic number of this graph is 3. For example, one optimal coloring is given by the following partition: {1, 5, 6}, {2, 4}, {3}. Therefore, the coloring obtained using the Wang-Ansari approach is not optimal. Figure 1. A counterexample to the claim of Wang & Ansari that optimal graph coloring can be found by recursively finding a maximum independent set and removing it from the graph. Next we prove that the recognition version of the bsp is in fact N P-complete. We consider the following problem: BROADCAST SCHEDULING PROBLEM INSTANCE: A undirected graph G = (V, E) and an integer K. QUESTION: Does there exist a broadcast schedule with frame length K? Theorem 1. Broadcast Scheduling Problem is N P-complete. Proof. To show that K-bsp is N P-complete, we need to show that (1) K-bsp N P; (2) Some N P-complete problem reduces to K-bsp in polynomial time. Suppose that n = V and m = E. Without the loss of generality, we assume that G is connected (if it is not, we can consider each connected component separately). (1) K-bsp N P since a given broadcast schedule with frame length k K can be verified for validity in O(n 3 ) time. Indeed, the verification of validity consists of checking, for each vertex i V, that the set L i of all time slots in which the vertices from {i} N(i) transmit according to the given schedule does not contain any repeated elements. This can be done using the sorting of time slot numbers in L i in O ( ( L i + 1)log( L i + 1) ) time for vertex i, therefore the total run time will be ( n ) O ( L i + 1)log(n) = O ( (m + n)log(n) ) = O(n 3 ). i=1

4 S.I. BUTENKO, C.W. COMMANDER, AND P.M. PARDALOS Figure 2. An illustration to the construction of graph G from G. (2) We will show that the graph k-coloring problem can be reduced to K-bsp in polynomial time. Recall that the k-coloring problems is, given G = (V, E) and an integer k, does there exist a proper coloring of vertices of G that uses k colors? This is a well-known N P-complete problem [4]. Given a graph G = (V, E), we will construct the corresponding graph G = (V, E ), where V = V E and E = { [i, (i, j)] : (i, j) E, i, j V } { (e 1, e 2 ) : e 1, e 2 E } (see Figure 3). Obviously G can be constructed in polynomial time. Moreover, G has a proper k-coloring if and only if G allows a broadcast schedule with frame length k + m. To see this, note that by the construction of graph G, (v 1, v 2 E if and only if v 1, v 2 V are 2-hop neighbors in G. Also, V \V forms a clique in G, and any vertex in this clique is a 2-hop neighbor of any vertex in V, since G is connected. Thus no other vertex can transmit in the same time slot with a vertex from the clique, so any broadcast schedule in G will require m time slots just for vertices from the clique to transmit. The remaining vertices in V (i.e., vertices from V ) can transmit according to any proper coloring in G, where different time slots in the resulting broadcast schedule will correspond to different colors in the coloring. Therefore, there is a one-to-one correspondence between proper colorings in G and feasible broadcast schedules in G. We see that in fact k-coloring reduces in polynomial time to K-bsp, where K = k + m. Thus, the proof is complete. 4. Conclusions In this paper, we introduced the Broadcast Scheduling Problem in TDMA networks. After a brief review of some principles from graph theory we examined the computational complexity of the problem. First we provided a counterexample to an earlier attempt to show that the problem is N P-complete. Finally, we provided a correct proof confirming that the problem is indeed N P-complete.

THE BROADCAST SCHEDULING PROBLEM IS N P-COMPLETE 5 References [1] C. Berge. Graphs and Hypergraphs. North-Holland Mathematical Library, 6, 1976. [2] A. Ephremides and T.V. Truong. Scheduling broadcast in multihop radio networks. IEEE Transactions on Communications, vol. 38, pages 456-460, 1990. [3] S. Even, O. Goldreich, S. Moran, and P. Tong. On the NP-completeness of certain network testing problems. Networks, 14, 1984. [4] M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman & Sons, New York, 1979. [5] L. Kleinrock and J. Silvester. Spatial reuse in multihop packet radio networks. Proceedings of the IEEE 75, 1987. [6] G. Wang and N. Ansari. Optimal broadcast scheduling in packet radio networks using mean field annealing. IEEE Journal on Selected Areas in Communications, 15(2), pages 250-260, 1997. [7] J. Yeo, H. Lee, and S. Kim. An efficient broadcast scheduling algorithm for TDMA ad-hoc networks. Computers and Operations Research, 29, pages 1793-1806, 2002. (S.I. Butenko) Dept. of Industrial and Systems Engineering, Texas A& M University, College Station, TX, 77843 USA. E-mail address: butenko@tamu.edu (C.W. Commander) Air Force Research Laboratory, Munitions Directorate, and Dept. of Industrial and Systems Engineering, University of Florida, Gainesville, FL 32611 USA. E-mail address: clayton.commander@eglin.af.mil (P.M. Pardalos) Center for Applied Optimization, Dept. of Industrial and Systems Engineering, University of Florida, Gainesville, FL, 32611 USA. E-mail address: pardalos@ufl.edu