Journal of Computer Networks and Communications

Journal of Computer Networks and Communications / 2008 / Article

Research Article | Open Access

Volume 2008 |Article ID 712126 |

Imtiaz Ahmad, Buthaina Al-Kazemi, A. Shoba Das, "An Efficient Algorithm to Find Broadcast Schedule in Ad Hoc TDMA Networks", Journal of Computer Networks and Communications, vol. 2008, Article ID 712126, 10 pages, 2008.

An Efficient Algorithm to Find Broadcast Schedule in Ad Hoc TDMA Networks

Academic Editor: Nidal Nasser
Received16 Sep 2008
Accepted03 Dec 2008
Published25 Feb 2009


The broadcast scheduling is of fundamental importance and practical concern for ad hoc network performance measures such as the communication delay and the throughput. The scheduling problem on hand involves determination of a collision-free broadcast schedule with the minimum length TDMA frame and the maximum slot utilization by efficient distribution of slots among stations. The problem is widely known as NP-complete, and diverse heuristic algorithms were reported to solve this problem recently. The intractable nature of the broadcast scheduling problem and its importance in ad hoc TDMA networks necessitates development of more efficient heuristic algorithms. In this paper, we developed a new heuristic approach which employs a tight lower bound derived from the maximal incompatibles and generates a search space from the set of maximal compatibles. The developed algorithm is very efficient and effective in conquering the intractable nature of the broadcast scheduling problem in the sense that it explores complex solution space in smaller CPU time. A comparison with existing techniques for the test examples reported in the literature shows that our algorithm achieves a collision-free broadcast with minimum frame length and the maximum slot utilization in relatively shorter time.

1. Introduction

Ad hoc networks have attracted a lot of attention in the recent years because of their flexible structure and useful applications particularly in areas such as mobile commerce, combat search, and rescue, to name a few. These networks apply a packet switching technique over a shared radio channel to provide flexible high-speed communications between a large numbers of potentially mobile stations which may be geographically disbursed. Communication over the shared radio channel is established by broadcasting [1, 2]. Mobile stations are assumed to use unidirectional antennas. The wireless channel is assumed to be noise-free, and an unsuccessful reception is only due to collisions. Mobile stations operate in half-duplex mode; that is, a mobile station can transmit or receive but cannot do both at the same time. Thus, it is often necessary to use intermediate stations as relays to forward messages over the network to the intended recipients. Since every station in the network shares the same channel, it is a fundamental requirement that precautions are taken when messages are scheduled to be transmitted. That is, stations should be scheduled in such a way that there is no destructive interference, or message collision. Collisions in ad hoc networks may occur in two ways: direct or hidden. Direct collision is a result of two adjacent stations broadcasting at the same time. Hidden collision occurs when two nonneighboring stations transmit simultaneously to a station that can receive messages from both senders [3].

Time division multiple access (TDMA) technology is envisioned to be widely used to provide collision-free packet transmission with quality-of-service (QoS) support for ad hoc networks [4, 5]. In a TDMA-based ad hoc network, time is divided into equal-length frames, and each frame is composed of a fixed number of unit-length transmission slots. The duration of each slot is equal to one maximum-length packet transmission time plus the maximum propagation time between two neighboring mobile stations in the network. Once the optimum transmission pattern for the TDMA frame is decided, the same frame is repeated over time. It should be ensured that all the stations must be allocated at least one time slot in every TDMA frame. This is one of the constraints of scheduling problem and the other being the collision-free transmission. The broadcast scheduling problem in ad hoc networks involves the determination of a collision-free broadcast schedule with the minimum length TDMA frame and the way to distribute the slots among stations for maximum slot utilization. The frame structure is directly related to the main network performance measures such as the communication delay and the throughput. Frame length essentially determines the packet average delay and for a fixed frame length the channel utilization, which is the number of simultaneous transmissions of noninterfering stations, determines the throughput in ad hoc network [6, 7]. Therefore, broadcast scheduling problem is of crucial importance and practical concern to effectively harness the shared radio channel bandwidth in ad hoc networks.

A number of approaches with varying degree of success have been applied for solving scheduling problem for delay and throughput in ad hoc networks [1–17]. These approaches can be classified as graph theoretic [1–3, 13], graph coloring [6], and probabilistic approaches such as mean field annealing [5], tabu search [10], genetic algorithms [9, 11, 16], neural networks algorithms [14, 15, 17], mixed neural-genetic [7], and greedy randomized adaptive search procedure (GRASP) [12]. A good overview of the techniques applied for the broadcast scheduling problem can be found in [18]. Most of these algorithms are based on two phases: phase one minimizes the frame length without considering the slot usage, and phase two attempts to maximize the slot utilization within the frame achieved during the first phase. Optimizing the two objectives separately does not lead to a good solution with respect to both criteria. A better approach is to consider both of these criteria in an integrated fashion to solve the broadcast scheduling problem. Probabilistic approaches have considered both of these criteria at the same time and produced better results as compared with other techniques.

In this paper, a new heuristic algorithm based on concepts from the field of finite state machine synthesis [19, 20] is presented for the broadcast scheduling problem which determines the minimum frame length with the maximum slot utilization. The stations which can broadcast without collisions among themselves are grouped as maximal compatibles. A tight lower bound derived from set of maximal incompatibles forms the basis for deriving minimum frame length. The proposed algorithm applies set of rules on the maximal compatibles in order to maximize utilization of slots. To our knowledge, this approach based on maximal compatibles and maximal incompatibles for the broadcast scheduling problem has not been reported so far. A comparison with existing techniques for the test examples reported in the literature shows that our algorithm explores a complex solution-space in smaller CPU time.

The remaining paper is organized in the following manner. In Section 2, we discuss the broadcast scheduling problem based on finite state machine approach. Section 3 explains the heuristic scheduling algorithm proposed in this paper. Results are discussed in Section 4, and Section 5 concludes the paper.

2. Broadcast Scheduling Problem: Finite State Machine Approach

In this section, we discuss the broadcast scheduling problem modeling the network as a finite state machine. An ad hoc TDMA network can be modeled by an undirected graph 𝐺=(𝑉,𝐸), where the node set 𝑉 represents the mobile stations and edge set 𝐸 represents the set of transmission links between adjacent mobile stations in the network [8, 9]. Two stations 𝑖 and 𝑗 connected by an undirected edge (𝑖,𝑗)∈𝐸 means that both can directly receive packets transmitted from the other, but both cannot transmit simultaneously in the same time slot. It represents direct collision and we say stations 𝑖 and 𝑗 are one-hop neighboring stations. If an undirected edge (𝑖,𝑗)βˆ‰πΈ but there exists an intermediate node π‘˜βˆˆπ‘‰ such that (𝑖,π‘˜)∈𝐸 and (π‘˜,𝑗)∈𝐸, then stations 𝑖 and 𝑗 are referred as two-hop neighboring stations. A hidden collision is a result of two-hop neighbors transmitting in the same time slot. Two mobile stations can transmit in the same time slot without mutual interference if they are located more than two hops apart. Therefore, it is highly desirable for multiple stations to transmit during the same time slot provided that they do not cause any collision, either direct or hidden.

Some basic definitions related to finite state machine [20] as applicable to our scheduling problem on hand are presented here.

Finite State Machine
a triplet 𝑀=(𝐼,πœ€,𝛿) defines a finite state machine 𝑀, where 𝐼 is a unit value function representing the transmission path between two adjacent stations, Ξ΅is the set of states of the machine, π›ΏβˆΆπΌβˆ—πœ€β†’πœ€is the next state function.

State Transition Graph
a state transition graph (STG) describes an ad hoc TDMA network modeled as an FSM.

Compatible and Incompatible
two states 𝑠𝑖 and 𝑠𝑗 are compatible if and only if there is no collision (direct or hidden) between them. Otherwise, 𝑠𝑖 and 𝑠𝑗 are incompatible. A set of states is compatible (incompatible) if and only if each pair of states in the set is compatible (incompatible). A set of compatible states C𝑖(IC𝑖) is referred to as a compatible (incompatible), for short.

Compatible (Incompatible) Covering
a compatible C𝑖 (incompatible IC𝑖) covers another compatible C𝑗 (incompatible IC𝑗) if and only if every state contained in C𝑗(IC𝑗) is contained in C𝑖(IC𝑖).

Maximal Compatible (Incompatible)
a compatible (incompatible) becomes a maximal compatible (maximal incompatible) if it is not covered by any other compatible (incompatible). The set of all maximal compatibles (incompatibles) is denoted by Ω𝑐(Ω𝑖). In the context of the broadcast scheduling problem, maximal compatibles are set of nodes, which can be assigned to the same time slot. These sets of maximal compatibles are maximal cliques in the complement graph of a given ad hoc network. The maximal incompatibles are the ones which cannot be assigned to the same time slot.

Lower and Upper Bounds
the lower bound is equal to the maximum degree of the graph modeling the network +1 (direct collision states) and upper bound is the number of nodes in the network. Optimum frame length is between the lower and upper bounds. The lower bound represents cardinality of a set which consists of incompatible state pairs with one state identical in all the pairs +1 and upper bound is the number of states in STG.

Tight Lower Bound
minimum slot length required for collision-free (direct and hidden) broadcast schedule accommodating all the stations in the network is the tight lower bound. In the FSM model, tight lower bound is the cardinality of an incompatible with maximum number of states.

a set that includes all the states of a machine is referred to as a cover of a machine 𝑀. The set of states of the machine, set of maximal compatibles, and set of incompatibles are all covers of the machine [20]. In the context of broadcast schedule, a cover refers to the condition that every node is allowed to transmit at least once in a TDMA cycle.

Optimal Cover
a cover is said to be optimal β„œπ‘š if number of compatibles in the cover is equal to the tight lower bound and utility factor πœ‡(𝑠𝑖) of every state is maximum, that is, its frame length is equal to tight lower bound and slot utilization is maximum.

As an example, a 5-node network is shown in Figure 1(a) [9], where the graph has been augmented with two-hop neighbors to represent hidden collision. Nodes 1 and 3 are one-hop neighbors, while nodes 3 and 5 are two-hop neighbors. A trivial TDMA broadcast schedule solution satisfying all constraints is shown in Figure 1(c). However, it is not optimized with respect to both the frame length and the slot utilization.

An optimal TDMA broadcast schedule with respect to frame length is shown in Figure 1(d). Figure 1(b) shows the complement graph and the maximal compatibles are {1, 5},{2, 5},{3},{4}. This set of maximal compatibles is a cover of the machine. The incompatible pairs are {1, 2},{1, 3},{1, 4},{2, 3},{2, 4},{3, 4},{3, 5},{4, 5}. For the graph of Figure 1(a), the maximal incompatible is {1, 2, 3, 4} as all the states in this are incompatible to each other representing direct and indirect collisions. The largest cardinality maximal incompatible will provide the tight lower bound for the frame length [7]. The optimal solution with the minimum frame length and the maximum slot utilization are shown in Figure 1(e), where the maximal compatibles {1, 5},{2, 5},{3},{4} are assigned to different slots.

3. Scheduling Algorithm

This section discusses the scheduling algorithm for a 15-node network [12] shown in Figure 2 and modeled as an FSM (𝑀1). The goal of the algorithm is to find an equivalent FSM which is a minimized cover of the given FSM. The basic steps of the algorithm are summarized in Algorithm 1 and individual steps are explained in detail in subsections. From the STG of 𝑀1, all the compatible (incompatible) pairs which are more than 2 hops away to each other are generated. If there are no compatible pairs, then no two states can be allotted to the same slot, hence, all the states of the machine which is the upper bound are the solution and every state has to be in a separate slot. The algorithm terminates at this point. If the algorithm proceeds, solution is obtained at Step (6).

Input:   FSM table of network
Output:β€ƒβ€‰β€‰β„œm - Optimum cover
(1) From FSM table of network, generate all compatible (incompatible) pairs;
     If (no compatibles)  {
        β„œm   ← set of states Ξ΅;
       stop;  }
     else Find maximal compatibles Ξ©m and incompatibles Ξ©i;
(2) Find the tight lower bound L and the bound incompatible ICb;
(3) Form compatible groups CG with respect to ICb;
(4) Let limit = min (|CG1|,100);   j=1;  Let s1be the first state in ICb;
(5)  while (j< limit) {
    Include in schedule β„œ(j), compatible Cj∈CG(s1);
     for (every state si∈ICb where si β‰  s1) {
      (a) Apply selection criteria and include a compatible Cn∈CG(si) in β„œ(j);
      (b)  for (every state sk∈Cn)  Increment utility factor ΞΌ(sk);   }
     for (every state si∣si∈Ρ,siβˆ‰β„œ(j))
      Include in β„œ(j) largest cardinality compatible covering the state si;
     j=j+1;   }
(6)  for (every β„œ(j))
    compute the performance indices and choose β„œm.

The complexity of our algorithm is dictated by the number of maximal compatibles generated in Step (1) of the algorithm. Modeling an ad hoc TDMA network as an undirected graph, where the nodes 𝑛 represent the stations and edges π‘š represent the transmission path between two stations, the maximal compatibles represent the cliques present in the graph. The complexity for finding cliques in a graph is 𝑂(π‘›βˆ—π‘šβˆ—π‘(𝑛)) [21], where the polynomial 𝑝(𝑛) represents the number of maximal compatibles in the graph. Step (2) basically sorts the incompatibles and sorting has a complexity 𝑂(𝑝(𝑛)log(𝑝(𝑛))). As the rest of the steps basically deal with fewer than 𝑝(𝑛) compatibles, the complexity of Step (3) to Step (6) is much smaller than the other two steps. For the graphs, where π‘›βˆ—π‘š>>𝑝(𝑛), complexity will be 𝑂(π‘›βˆ—π‘šβˆ—π‘(𝑛)).

3.1. Generation of Maximal Compatibles (Incompatibles)

The set of maximal compatibles (incompatibles) is generated from the set of compatibles (incompatibles) by excluding compatibles (incompatibles) which are covered by other compatibles (incompatibles). For generating compatible pairs, maximal compatibles and incompatibles, the part of state minimization algorithm of [20] is used with the modified definition of the FSM. For FSM of Figure 2, the number of states 𝑛=15 and the set of states, πœ€={1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}. The FSM has 23 maximal compatibles and 12 maximal incompatibles as listed in Table 1.

Maximal compatibles (Ξ©m)Maximal incompatibles (Ξ©i)


3.2. Tight Lower Bound

Lower bound takes into account only direct collision states. A tight lower bound is hence derived by taking into consideration the hidden collision states. In the FSM model, an incompatible represents the states which have direct or indirect collision. A maximal incompatible with the highest cardinality represents all the states which have either a direct or indirect collision and hence cannot be in the same time slot. Hence, the tight lower bound for the frame length is imposed by a maximal incompatible with the highest cardinality [19]. In addition, the optimum solution should cover all the internal states of the FSM which is the upper bound.

Finding the highest cardinality maximal incompatible from Ω𝑖, tight lower bound =|{14,15,13,11,10,9,6,5}|=8 and let this incompatible be IC𝑏={14,15,13,11,10,9,6,5}. Every state in IC𝑏 has to be covered by a different maximal compatible in the solution set. If there exist more than one maximal incompatible with the maximum cardinality, choose one at random.

3.3. Compatible Group Formation

The broadcast schedule is built by including compatibles which cover every state in IC𝑏. As several compatibles cover a state in IC𝑏, a weight factor is associated with maximal compatibles to aid in selecting a compatible. Compatibles with smaller weights are more essential than a bigger weight compatible and they get a preference if there is a tie in selection in the solution schedule.

The compatible group formation is done in three steps:

(1)group the compatibles which cover one state of ICb;(2)find the weight of maximal compatibles;(3)sort the compatibles in CG according to their weights in ascending order.

Step 1. for every state π‘ π‘–βˆˆIC𝑏, form a cover group such that it consists of all maximal compatibles which covers 𝑠𝑖, that is, CG(𝑠𝑖)={Cπ‘—βˆ£π‘ π‘–βˆˆIC𝑏,π‘ π‘–βˆˆC𝑗}

Step 2. for every state π‘ π‘–βˆˆπœ€, associate a weight πœ”(𝑠𝑖) which is the number of maximal compatibles covering the state 𝑠𝑖. Adding πœ”(𝑠𝑖) of every state π‘ π‘–βˆˆC𝑗, find the weight of maximal compatible, π‘Š(C𝑗). The compatible C𝑗 = (14, 7, 4) has three states 14, 7, and 4. Find the number of maximal compatibles covering every state in this compatible from Table 1, πœ”(14) = 5, πœ”(7) = 6, and πœ”(4) = 4. Add the weight of individual states in C𝑗, and find weight π‘Š(C𝑗), which is 15.

Step 3. sort the compatibles in CG according to their weights π‘Š(C𝑗) in ascending order.
In Table 2, compatible groups for every state in IC𝑏=(14,15,13,11,10,9,6,5) formed using the above three listed steps are shown. The maximal compatibles are grouped to cover the respective states in IC𝑏.

Incompatible state si∈ICbCompatible groups CG(si)Weight of compatibles in order {W(Cj)}

14(14,7,4) (14,8,3) (14,7,2) (14,8,7) (14,8,1)15, 16, 16, 20, 20
15(15,4) (15,2) (15,8,3) (15,8,1)8, 9, 15, 19
13(13,3) (12,13,2) (13,7,2) (12,13,1)7, 14, 15, 16
11(11,4) (11,2) (11,8,1)7, 8, 18
10(10,7) (10,1)8, 9
9(9,7) (12,9,1)8, 14

3.4. Iteration Limit

Multiple feasible schedules are possible for the broadcast schedule problem. The performance parameters aid in selecting the optimum schedule. The states in IC𝑏, weight of compatibles, and utility factor of states in a compatible guide the selection of compatibles to be included in the solution. Among the several compatibles in CG(𝑠𝑖) covering the first state π‘ π‘–βˆˆIC𝑏, one of the compatibles has to be selected as a starting point. The states in this compatible decide the formation of rest of the schedule. Hence, the compatibles CG(𝑠𝑖) covering the first state 𝑠𝑖 are used in order as a starting point and several schedules are derived. An upper limit of 100 is set for the number of schedules generated. The number of schedules for 𝑀1 is 5 as there are five compatibles in CG(14), where 𝑠𝑖 = 14 is the first state in IC𝑏. One of the compatibles in the first group is included by default in every schedule and the selection criteria are applied only for subsequent CGs. For 𝑀1, in the first schedule β„œ(1), the first compatible in CG(14), namely, (14,7,4) is included. At this stage, β„œ(1) = {(14,7,4)}.

3.5. Compatible Selection Criteria

The feasible schedule should basically cover all the states of the machine without any collision and with the minimum frame length and the maximum slot utilization. A compatible Cπ‘—βˆˆCG(𝑠𝑖) is included in a feasible schedule β„œ(π‘˜) based on two criteria applied in succession: (i) uncovered State factor, that is, number of uncovered states in C𝑗, and (ii) cardinality of the compatible C𝑗.

Initially, for every Cπ‘—βˆˆCG(𝑠𝑖) compute uncovered state factor 𝛾(C𝑗)=|{π‘ π‘–βˆ£π‘ π‘–βˆˆCπ‘—β‹€π‘ π‘–βˆ‰β„œ(π‘˜)}|. Choose the compatible with maximum 𝛾(C𝑗). If there is a tie, then apply the second criterion, that is, choose the compatible with higher cardinality as this represents a compatible which if included will improve the channel utilization. If there is still a tie, select the first compatible in the list.

In 𝑀1,β„œ(1) = {(14, 7, 4)} and the uncovered states are {1, 2, 3, 5, 6, 8, 9, 10, 11, 12, 13, 15}. In the group of next state 15 in IC𝑏, that is, CG(15),𝛾(C𝑗) of the compatibles {(15,4) (15,2) (15,8,3) (15,8,1)}, respectively, are (1, 2, 3, 3). Out of these, the compatibles {(15,8,3) (15,8,1)} have a tie as none of the states in them are covered by β„œ(1) and both of them have 𝛾(C𝑗) = 3, in this compatible group. Hence, the first one in the list is included. β„œ(1) = {(14,7,4) (15,8,3)}. Proceeding to next three states, β„œ(1) = {(14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7)}. At this point, the states that are not covered by β„œ(1) are (5,6,9). Taking the group of next state 9, CG(9) = {(9,7) (12,9,1)}. Both cover only one uncovered state 9, and the tie is broken by choosing the second one with greater cardinality as there are two covered states, thereby improving the channel utilization. Including the next two compatibles in order to cover all the states in the network, the schedule β„œ(1) = {(14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7) (12,9,1) (8,6) (5)}.

Let 𝑁 be the number of nodes and let 𝐿 be the number of slots in a TDMA schedule. The feasible transmission schedule will be an π‘βˆ—πΏ binary matrix 𝑆=(𝑠𝑖𝑗) such that 𝑠𝑖𝑗=ξƒ―1,iftimeslot𝑖inaframeisassignedtoanode𝑗,0,otherwise.(1) In 𝑀1, number of nodes 𝑁=15 and 𝐿=8, and all the schedules generated are shown in Table 3. Even though 5 schedules were generated, one of them did not satisfy the constraint that all states should be covered with in tight lower bound and the solution slot length has to be increased above the tight upper bound by 1 to accommodate a compatible covering the uncovered state. Hence, this solution had a slot length of 9 and this schedule is marked with (βˆ—) in Table 3.

Schedule index jSchedule β„œ(j)

1(14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7) (12,9,1) (8,6) (5)
2(14,8,3) (15,8,1) (12,13,2) (11,4) (10,7) (12,9,1) (8,6) (5)
3(14,7,2) (15,8,3) (12,13,1) (11,4) (10,7) (12,9,1) (8,6) (5)
4(14,8,1) (15,8,3) (12,13,2) (11,4) (10,7) (12,9,1) (8,6) (5)
5*(14,8,7) (15,8,3) (12,13,2) (11,8,1) (10,7) (12,9,1) (8,6) (5) (11,4)

3.6. Optimum Schedule Selection

The following performance indices are computed for every feasible schedule β„œ(𝑗).

(i)Average time delay for each node to broadcast 𝜏 [14].(ii)Throughput 𝜎.Average time delay L𝜏=N𝑁𝑖=1(1βˆ‘πΏπ‘—=1𝑠𝑖𝑗).(2)Throughput 𝜎=𝑁𝐿𝑖=1𝑗=1𝑠𝑖𝑗.(3)

The performance indices of the above schedules for 𝑀1 are shown in Table 4 along with the frame length.

Schedule index jAverage time delay Ο„Throughput ΟƒFrame length (L)


The schedule within the tight lower bound which yields the maximum throughput and the minimum average time delay is selected as the optimum schedule β„œπ‘š. The optimum schedule for 𝑀1 is β„œ(1) = {(14,7,4) (15,8,3) (12,13,2) (11,8,1) (10,7) (12,9,1) (8,6) (5)}.

4. Experimental Results

The experiments were conducted on a Pentium 4/1.7 GHz PC and tested on network examples available in the literature. The specifications of the three network cases, namely, 15, 30, and 40 station networks introduced by Wang and Ansari [5] which have become the benchmark test cases for broadcast scheduling problem and the other networks found in literature are shown in Table 5. The broadcast networks are modeled as FSMs modifying the standard definitions to suit the network parameters. The maximal compatibles and incompatibles were generated by modifying an algorithm for state minimization of FSMs [20].

Problem no.No. of nodesNo. of edgesMaximum degree

1 [2]767
2 [12]15297
3 [2]16224
4 [12]30708
5 [12]40667

The optimal schedules for the test cases 2 to 5 are shown in Figures 3, 4, 5, and 6, respectively. The rows represent the slots in a TDMA frame and columns represent the nodes in the network. Out of the four feasible schedules in 15 station networks, only one is the optimal solution. Two feasible schedules exist for problem no. 3 and the optimum solution is the one shown in Figure 4.

In 30-node network, there are two feasible schedules, which are shown in Figures 5(a) and 5(b), {(18,23,5,2) (17,24,15,13,29,9) (22,28,8) (20,6,7) (14,26) (12,23,27,2) (16,21,3,2) (30,19,1) (13,4,25) (30,11,10)}, and {(18,5,26) (17,24,15,13,29,9) (22,28,8) (20,6,7) (14,23,2) (12,23,27,2) (16,21,3,2) (30,19,1) (13,4,25) (30,11,10)}. Average time delay and throughput are identical in both the schedules and hence both are optimum schedules. There are 14 feasible schedules in the case of 40-node network but only one of them is an optimum which is shown in Figure 6.

We report two performance parameters, namely, average time delay (𝜏) and throughput (𝜎), and these are listed in Table 6 for the test cases. The average time delay and number of slots in a TDMA frame of our algorithm are compared with respective values of [2], [5], [6], [7], and [14] which is presented in Table 7. We achieved the average delay close to BSC-NCNN [14] and much better than all the other cases listed in this table and maximum slot utilization in negligible time.

Problem no.Network nodes (N)Average time delay (Ο„)Throughput (Οƒ)


NodesOur algorithmBSC-NCNN [14]HNN-GA [7]SVC [6]MFA [5]GNN [2]



For the problem no. 2, our algorithm has an average delay of 4.8 with a throughput of 17 and the solution in [2] has a delay of 5 with a throughput of 16. The comparison tables show that our algorithm could generate optimum schedule for the benchmark cases with minimum average delay and maximum utilization compared to almost all other cases shown in the table.

5. Conclusion

A heuristic algorithm for finding an optimal feasible broadcast schedule for ad hoc TDMA networks is presented. By modeling the network as an FSM, the concept of maximal compatibles and incompatibles is used to find a schedule that will minimize the frame length and maximize the slot utilization in an integrated fashion. To our knowledge, this approach of modeling the network as an FSM has not been reported so far. Suboptimal schedules with an increased time slot per frame also were generated, which gives more throughputs. The algorithm was efficient for all the benchmark cases and generated schedules within the tight lower bound in negligible time. Future work will take into account the QoS of the nodes (i.e., bandwidth or delay requirements) when determining the broadcast schedule.


This research is funded by Kuwait University Grant EO 07/06.


  1. A. Ephremides and T. V. Truong, β€œScheduling broadcasts in multihop radio networks,” IEEE Transactions on Communications, vol. 38, no. 4, pp. 456–460, 1990. View at: Publisher Site | Google Scholar
  2. N. Funabiki and Y. Takefuji, β€œA parallel algorithm for broadcast scheduling problems in packet radio networks,” IEEE Transactions on Communications, vol. 41, no. 6, pp. 828–831, 1993. View at: Publisher Site | Google Scholar
  3. S. Ramanathan and E. L. Lloyd, β€œScheduling algorithms for multihop radio networks,” IEEE/ACM Transactions on Networking, vol. 1, no. 2, pp. 166–177, 1993. View at: Publisher Site | Google Scholar
  4. H. Fattah and C. Leung, β€œAn overview of scheduling algorithms in wireless multimedia networks,” IEEE Wireless Communications, vol. 9, no. 5, pp. 76–83, 2002. View at: Publisher Site | Google Scholar
  5. G. Wang and N. Ansari, β€œOptimal broadcast scheduling in packet radio networks using mean field annealing,” IEEE Journal on Selected Areas in Communications, vol. 15, no. 2, pp. 250–260, 1997. View at: Publisher Site | Google Scholar
  6. J. Yeo, H. Lee, and S. Kim, β€œAn efficient broadcast scheduling algorithm for TDMA ad-hoc networks,” Computers & Operations Research, vol. 29, no. 13, pp. 1793–1806, 2002. View at: Publisher Site | Google Scholar
  7. S. Salcedo-Sanz, C. BousoΓ±o-CalzΓ³n, and A. R. Figueiras-Vidal, β€œA mixed neural-genetic algorithm for the broadcast scheduling problem,” IEEE Transactions on Wireless Communications, vol. 2, no. 2, pp. 277–283, 2003. View at: Publisher Site | Google Scholar
  8. Z. Cai, M. Lu, and C. N. Georghiades, β€œTopology-transparent time division multiple access broadcast scheduling in multihop packet radio networks,” IEEE Transactions on Vehicular Technology, vol. 52, no. 4, pp. 970–984, 2003. View at: Publisher Site | Google Scholar
  9. G. Chakraborty, β€œGenetic algorithm to solve optimum TDMA transmission schedule in broadcast packet radio networks,” IEEE Transactions on Communications, vol. 52, no. 5, pp. 765–777, 2004. View at: Publisher Site | Google Scholar
  10. Y. Peng, B. H. Soong, and L. Wang, β€œBroadcast scheduling in packet radio networks using mixed tabu-greedy algorithm,” Electronics Letters, vol. 40, no. 6, pp. 375–376, 2004. View at: Publisher Site | Google Scholar
  11. C. Y. Ngo and V. O. K. Li, β€œCentralized broadcast scheduling in packet radio networks via genetic-fix algorithms,” IEEE Transactions on Communications, vol. 51, no. 9, pp. 1439–1441, 2003. View at: Publisher Site | Google Scholar
  12. C. W. Commander, S. I. Butenko, P. M. Pardalos, and C. A. S. Oliveira, β€œReactive GRASP with path relinking for the broadcast scheduling problem,” in Proceedings of the 40th Annual International Telemetry Conference (ITC '04), pp. 792–800, San Diego, Calif, USA, October 2004. View at: Google Scholar
  13. J.-C. Chen, Y.-C. Wang, and J.-T. Chen, β€œA novel broadcast scheduling strategy using factor graphs and the sum-product algorithm,” IEEE Transactions on Wireless Communications, vol. 5, no. 6, pp. 1241–1249, 2006. View at: Publisher Site | Google Scholar
  14. H. Shi and L. Wang, β€œA hybrid neural network for optimal TDMA transmission scheduling in packet radio networks,” in Proceedings of IEEE International Joint Conference on Neural Networks (IJCNN '05), vol. 5, pp. 3210–3213, Montreal, Canada, July-August 2005. View at: Publisher Site | Google Scholar
  15. W. Bi, Z. Tang, J. Wang, and Q. Cao, β€œAn improved neural network algorithm for broad-cast scheduling problem in packet radio,” Neural Information Processing-Letters and Reviews, vol. 9, no. 1, pp. 23–29, 2005. View at: Google Scholar
  16. X. Wu, B. S. Sharif, O. P. Hinton, and C. C. Tsimenidis, β€œSolving optimum TDMA broadcast scheduling in mobile ad hoc networks: a competent permutation genetic algorithm approach,” IEE Proceedings: Communications, vol. 152, no. 6, pp. 780–788, 2005. View at: Publisher Site | Google Scholar
  17. Y.-J. Shen and M.-S. Wang, β€œBroadcast scheduling in wireless sensor networks using fuzzy Hopfield neural network,” Expert Systems with Applications, vol. 34, no. 2, pp. 900–907, 2008. View at: Publisher Site | Google Scholar
  18. C. W. Commander, S. I. Butenko, and P. M. Pardalos, β€œOn the performance of heuristics for broadcast scheduling,” in Theory and Algorithms for Cooperative Systems, chapter 1, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2004. View at: Google Scholar
  19. R. Puri and J. Gu, β€œAn efficient algorithm to search for minimal closed covers in sequential machines,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, no. 6, pp. 737–745, 1993. View at: Publisher Site | Google Scholar
  20. I. Ahmad and A. S. Das, β€œA heuristic algorithm for the minimization of incompletely specified finite state machines,” Computers & Electrical Engineering, vol. 27, no. 2, pp. 159–172, 2001. View at: Publisher Site | Google Scholar
  21. B. Rosgen and L. Stewart, β€œComplexity results on graphs with few cliques,” Discrete Mathematics and Theoretical Computer Science, vol. 9, pp. 127–136, 2007. View at: Google Scholar

Copyright © 2008 Imtiaz Ahmad et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

More related articles

 PDF Download Citation Citation
 Download other formatsMore
 Order printed copiesOrder

Related articles

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.