Research Article  Open Access
Mohamed Saad, "Optimal Multicommodity SpectrumEfficient Routing in Multihop Wireless Networks", Wireless Communications and Mobile Computing, vol. 2018, Article ID 7985756, 11 pages, 2018. https://doi.org/10.1155/2018/7985756
Optimal Multicommodity SpectrumEfficient Routing in Multihop Wireless Networks
Abstract
Finding the route with maximum endtoend spectral efficiency in multihop wireless networks has been subject to interest in the recent literature. All previous studies, however, focused on finding one route from a given source to a given destination under the constraint of equal bandwidth sharing. To the best of our knowledge, for the first time, this paper provides extensions to the multicommodity flow case, i.e., the case of multiple simultaneous sourcedestination () pairs. In particular, given an arbitrary number of  pairs, we address the problem of finding a route for every  pair such that the minimum spectral efficiency across all routes is maximized. We provide two alternative approaches, where one is based on fixedsized time slots and the other is based on variablesized time slots. For each approach, we derive the provably optimal routing algorithm. We also shed the light on the arising tradeoff between the complexity of networklayer route computation and the complexity of medium access control (MAC) layer scheduling of time slots, as well as the amenability to distributed implementation of our proposed algorithms. Our numerical results further illustrate the efficiency of the proposed approaches and their tradeoffs.
1. Introduction
Multihop wireless networks consist of a set of wireless devices that communicate with each other over multiple wireless hops, with participating nodes collaboratively relaying ongoing traffic. Wireless multihop relaying/routing is the foundation for the development and deployment of emerging technologies such as(i)client mesh networks: a set of client devices (tablets, phones, and/or laptops) form a multihop network with peertopeer relaying;(ii)infrastructure wireless mesh networks: wireless routers/access points are interconnected to provide an infrastructure/backbone for clients;(iii)millimeterwavebased 5G networks: future 5G networks are envisioned to depend (among others) on ultradense smallcell base stations and the use of millimeter (mm) wave spectrum for transmission [1]. The large bandwidth of mmwave is also accompanied by a high path loss, which necessities the use of multihop relaying across the smallcell base stations [2]. Intelligent routing methods will also be needed for the underlying applications of 5G, e.g., the Internet of Things (IoT) [3].
The endtoend spectral efficiency (in bps/Hz) of a communication route is defined as the rate at which data can be transmitted over the route per unit bandwidth. Therefore, it is an indication of how efficient the channel bandwidth is utilized. Since the bandwidth is a scarce resource in wireless systems, this paper focuses on finding communication routes with maximum spectral efficiencies. In particular, given a multihop wireless network consisting of set of wireless devices and interconnecting wireless links and a set of sourcedestination () pairs of nodes, this paper addresses the problem of finding a path for each  pair such that the minimum spectral efficiency of all paths is maximized.
1.1. Related Work
To the best of our knowledge, this is the first systematic, comprehensive study to address wireless spectrumefficient routing in the case of multiple  pairs. Related work is presented in two categories:(1)wireless spectrumefficient routing,(2)routing for multiple simultaneous  pairs.
In what follows we summarize the relevant previous work belonging to both groups.
Spectrumefficient routing: the recent study in [4] has introduced the following spectrumefficient routing problem. Given a multihop wireless network that employs time division multiple access (TDMA) and one  pair, it finds the route with maximum spectral efficiency under the constraint of equal bandwidth sharing. On the one hand, the authors of [4] noted that simple shortest path algorithms cannot be used to solve the problem because the resulting routing metric is not isotonic [5]. On the other hand, exhaustive search has an exponential computational complexity because it involves precomputing all paths joining a given node pair. Therefore, the study in [4] proposed two efficient, yet suboptimal spectrumefficient routing heuristics. In [6], we have closed the algorithmic gap by introducing the first polynomialtime algorithm that solves the spectrumefficient routing problem (originally introduced in [4]) to exact optimality. In particular, the algorithm presented in [6] has a worstcase computational complexity of , where is the number of nodes. Moreover, we have introduced in [7, 8] an improved algorithm for the same problem that runs in time. Furthermore, we have addressed in [9] the problem of joint routing and power allocation such that a desired spectral efficiency is achieved.
All the studies above focused on finding a route from a given source to a given destination and did not address the interaction between multiple  pairs; i.e., they did not address the multicommodity flow case. The study in [9] pointed very briefly to the extension to multiple  pairs for joint routing and power allocation. In contrast, this current paper takes a systematic and comprehensive approach to introduce the multicommodity spectrumefficient routing problem, which is far from being fully explored.
Multicommodity flow: finding routes for multiple  pairs simultaneously, such that a networkwide objective is optimized and the link capacities are not exceeded, is known in the computing literature as the multicommodity flow problem. In particular, given a network with capacities on the links, and a set of  pairs of nodes with associated traffic demands, the problem is to route the demand of each  pair along exactly one route from to without violating/exceeding the link capacities. This problem is known as the integer multicommodity flow problem, or the unsplittable flow problem, and is known to be NPhard. Readers can refer to [10, 11] for more information. If the limitation of routing each demand along exactly one route is relaxed (i.e., each demand can be split across arbitrarily many routes), the resulting splittable flow problem can be solved in polynomialtime using linear programming. Readers can refer to [12] for more information. The problem addressed in this paper falls in the category of unsplittable flow, which is in general NPhard to solve. It is worth noting that the abovementioned unsplittable/multicommodity flow literature is devised for generic network settings, mostly applicable to wired networks. In this paper, we do not borrow any generalpurpose multicommodity flow algorithm from the computing literature. However, we devise new polynomialtime algorithms that harness the special structure of the spectrumefficient routing problem and provide provably optimal solutions.
1.2. Contribution and Paper Outline
In light of the above, the contribution of this paper can be summarized as follows.(i)To the best of our knowledge, for the first time, we address the problem of spectrumefficient routing in the case of multiple  pairs. In particular, given a multihop wireless network and an arbitrary set of  pairs, we address the problem of finding a route for every  pair such that the minimum spectral efficiency across all routes is maximized.(ii)For the problem above, we provide two alternative approaches, where one is based on fixedsized time slots and the other is based on variablesized time slots. For each approach, we derive the provably optimal routing algorithm. En route, our study sheds the light on the arising tradeoff between the complexity of networklayer route computation versus the complexity of medium access control (MAC) layer scheduling of time slots. Our numerical results further illustrate the efficiency of the proposed approaches, and their tradeoffs.
The remainder of this paper is organized as follows. Section 2 discusses the basics and preliminaries. Section 3 presents the problem formulation and provably optimal algorithm for the fixed time slots approach. The variabletimeslotsbased approach, its problem formulation, and provably optimal algorithm are presented in Section 4. Section 5 discusses the tradeoff between the two approaches. Numerical examples and results are presented in Section 6. Section 7 concludes the paper.
2. Preliminaries
To avoid the computational intractability of joint optimal routing and medium access control (MAC) layer scheduling, and following [4, 6–9], it is assumed that a common channel is shared among all nodes using TDMA without spatial reuse, i.e., each node transmits in its own unique time slot. It is demonstrated in [4] that, even though a path is selected assuming no spatial reuse/interference, applying a scheduling technique (separately) that allows some spatial reuse to the selected path can further improve the spectral efficiency. In other words, our framework can still benefit from spatial reuse. It is worth noticing that the MAC layer of the IEEE 802.16 mesh protocol, for example, is based on TDMA (see, e.g., [13]).
A multihop wireless network is modeled as a graph , where represents the set of nodes (vertices) and represents the set of links (edges). We let signify a link in the network. We also let and denote the number of nodes and links, respectively.
Following [4, 6, 8], we consider the setting in which all transmit devices are constrained by the same symbolwise average transmit power and assume that all devices transmit with power when transmitting. A possible justification for this assumption is that nodes in infrastructure wireless mesh networks are mostly immobile and connected with abundant power supplies. Therefore, for a link , the signaltonoise ratio (SNR) is given bywhere is the path gain from the sender of link to the receiver of link , is the normalized onesided power spectral density of the additive white Gaussian noise (at any receiver in the network), and is the finite bandwidth of the wireless channel.
Now, assume simultaneous  pairs are using the network. Each  pair has a source node and a destination node . We also let denote the set of all routes from to . Moreover, we let signify a route from to .
Finally, the spectral efficiency of an arbitrary path in the network is defined as the bandwidthnormalized endtoend data rate [4]. In other words,where is the spectral efficiency (in bps/Hz) of path , is the endtoend achievable rate (in bps) for path , and is the channel bandwidth (in Hz).
3. FixedSized Time Slots
The studies in [4, 6–9] focused on a single  route and assumed the bandwidth is shared equally among its links via TDMA. In other words, each link transmits in its own unique time slot, where the time slots are of fixed size. One way to extend this equal bandwidth sharing to the multicommodity case is to maintain the assumption that the time frame is divided equally among all links of the different  routes. In particular, if  pairs are served by routes , respectively, then any link on any of the routes will transmit for a fraction of of the time, where is the number of hops/links in route . In other words, the time frame will be divided into fixedsized slots, where each slot has a length of the frame length.
3.1. Problem Formulation
In light of the above discussion, the TDMA endtoend achievable data rate on path can be expressed using the wellknown Shannon capacity formula asNote that the factor comes from the sharing of the bandwidth equally among all links (of all routes), i.e., each link on any route is allocated a time fraction of for transmission. Note also that the minimum function in (3) results from the fact that the endtoend data rate of any path is equal to the data rate achieved by its bottleneck link. Using (2), the spectral efficiency of path can, thus, be expressed as follows:Consequently, the minimum spectral efficiency, , across all active routes () can be expressed as
Note that can be viewed as the width of any link . Consequently, is the smallest link width used by the set of routes . In other words, the latter represents the width of the narrowest route among . To simplify our notation and algorithm development, we use the following substitution:In other words, is the smallest link width used by the set of routes ; i.e., it represents the width of the narrowest route among using as link widths. Consequently, the minimum spectral efficiency, , across all active routes () can be rewritten as
Therefore, the problem of jointly finding routes for  pairs such that the minimum spectral efficiency across all routes is maximized can be cast as the following optimization problem:
It is worth noting that problem (8) cannot be solved using standard shortest path methods as the resulting routing metric is not isotonic [5]. In particular, even with one  pair, the routing metric of (8) is not isotonic. See, e.g., [4, 6]. In what follows, we develop a polynomialtime algorithm that provides provably optimal solutions to (8).
3.2. Algorithm
The main idea of the proposed algorithm is an extension of the single  pair case [6]. In fact, even for multiple paths , the value of takes one of finite possible values. It is readily seen from (6) that , where is the set of all link widths in the network; i.e.,Recall that is the set of links in the network. Since , can take at most values.
The main result follows.
Theorem 1. Let the set of routes denote the optimal solution to the original multicommodity spectrumefficient routing problem (8). Let also the set of routes denote the optimal solution to the following modified problem:Then
Proof. First, let the set of routes be an optimal solution to the following subproblem:Note that (12) is the same as (8) with the additional constraint that . By the divideandconquer principle [14], and since the union of the sets , over all possible values of , covers the route set , the following is true:Note that and represent the optimal objective function values of (8) and (12), respectively.
Moreover, by substituting the equality constraint in its objective function, (12) is equivalent toNow, it is readily seen that (10) is a relaxation of (14). Therefore, if and are the optimal solutions to (10) and (14), respectively, then . The latter implies thatNow, the following is true:Note that the first equality comes directly from (13). The second equality comes from the fact that the route set is feasible for (12). The inequality comes from (15) and from the fact that the route set is feasible for (10). Consequently, (16) implies thatSince, among all route sets , is the route set which maximizes the minimum spectral efficiency, (17) must hold with strict equality. This completes the proof.
In light of Theorem 1, the multicommodity spectrumefficient routing problem (8) can be solved using the following procedure:(i)For every , find the route set by solving (10).(ii)Return the route set .
Recall that, in the above procedure, is the set of link widths given by (9), and is given by (7). The only remaining issue to show is how to solve (10). Note that, for a given , maximizing is equivalent to minimizing . Moreover, the latter is minimized if every  pair minimizes . Consequently, problem (10) is equivalent to finding the minimumhop path for every  pair , such that the minimum link width across all paths is not less than . Therefore, for a given value of , (10) can be solved as follows:(i)Remove all links for which . In the remaining graph, obtain the minimumhop path for every  pair .
In light of the above discussion, problem (8) can be solved by the following algorithm.
Algorithm EqualTimeSlots(1)Let . For every , do:(a)For every pair , do:(i)Remove all links for which .(ii)In the remaining graph, find , the minimumhop path from source to destination .(b)Let .(2)Return the path set with largest .
3.3. Observations
The following observations are in order regarding algorithm EqualTimeSlots.(i)Step (1a) of algorithm EqualTimeSlots can be implemented by each pair independently, and without any coordination with the other pairs. In particular, pair (or more precisely source node ) obtains its path independently.(ii)Step (1b), however, requires knowledge about all pairs. Therefore, it can be implemented by a centralized entity which knows the hopcount of every path . Alternatively, it requires that all pairs (or source nodes) exchange their information about with all other nodes using flooding, or any other means of alltoall communication.(iii)At the MAC layer, the resulting set of paths will require dividing the time frame into equalsized time slots. This simplicity of MAC layer scheduling comes at the expense of the necessity of coordination between pairs during networklayer path computation.(iv)The computational complexity of algorithm EqualTimeSlots is dominated by the complexity of invoking a shortest path procedure times, as in step (1a). Note that step (1a) can be implemented by the different  pairs in parallel. Since the number of links is of , where is the number of nodes, and if the Dijkstra shortest path algorithm is used in every iteration, the overall complexity of algorithm EqualTimeSlots is .
4. VariableSized Time Slots
An alternative approach to accommodating multiple  pairs under the condition of equal bandwidth sharing is to divide the time frame equally among  pairs (as opposed to dividing the time equally among the links). In other words, every  pair/path will transmit for a fraction of of the time (assuming  pairs). Consequently, if  pair uses path , then every link along this path will transmit for a fraction of of the time. Since different  pairs may use paths with different hopcounts, their respective links may use time slots of different sizes.
In this case, the endtoend spectral efficiency of route serving  pair can be expressed asNote that the factor comes from the fact that every link transmits for a fraction of of the time. Note also that the minimum function in (18) results from the fact that the endtoend data rate of any path is equal to the data rate achieved by its bottleneck link. It is worth noting that the spectral efficiency for  pair depends on the hopcount of its own path only. This is in contrast to the case of equal time slots, where the spectral efficiency for any  pair depends on the hopcounts of all  paths .
The problem of maximizing the minimum spectral efficiency across all  pairs can, thus, be expressed aswhere is given by (18). It is not hard to see that the minimum spectrum efficiency will be maximized if every  pair maximizes its individual spectral efficiency . In other words, every  pair solves the following optimization problem:Moreover, since, for any number of  pairs, is a constant, solving (20) is equivalent to solving the single  pair problem. The best known algorithm for solving (20) has been introduced in [8], and can be summarized as follows.
Algorithm VariableTimeSlots
For every  pair , do:(1)For , do:(a)Find , the widest path with at most hops connecting to , using as link labels.(b)Let .(2)Return the path with largest .
The following observations are in order regarding algorithm VariableTimeSlots.(i)The algorithm can be implemented by each  pair in a completely independent manner. In other words,  pairs are completely isolated and there is no need for coordination and/or a centralized component.(ii)The number of  pairs does not affect the computation of the optimal paths. In particular, for any number of  pairs, is a constant, and thus In other words, every  pair computes its optimal path regardless of how many other  pairs exist, and the optimal paths do not change with the change of the number of  pairs.(iii)The number of  pairs , however, is needed for MAC layer scheduling. In particular, every  pair transmits for of the time, and every link used by  pair transmits for a fraction of of the time.(iv)Since the paths used by different  pairs may have different hopcounts, the resulting time slots may be of different durations.(v)The algorithm can be implemented by the different  pairs in parallel. Note also that shortest path algorithms can be modified to compute the widest path. See, e.g., [15]. Moreover, it is worth noticing that the BellmanFord shortest path algorithm, in its iteration, computes the shortest (or widest) path with at most hops. Consequently, algorithm VariableTimeSlots can be implemented by invoking the BellmanFord procedure only once. The overall complexity of algorithm VariableTimeSlots is, thus, .
Note that dynamically partitioning the TDMA frame into a set of variablelength transmission slots is possible. See, e.g., [9, 16]. As an example of the resulting MAC strategy, let the number of  pairs be 3. Assume also that applying algorithm VariableTimeSlots results in paths , , and for the 3  pairs, where , , and , respectively. The time frame will, thus, be divided into slots. The normalized slot size is for the first 3 slots (used by path ), for the following 2 slots (used by path ), and for the last 4 slots (used by path ). In other words, the normalized sizes of the 9 slots are 1/9, 1/9, 1/9, 1/6, 1/6, 1/12, 1/12, 1/12, and 1/12, respectively.
In contrast, however, assume that algorithm EqualTimeSlots results in paths , , and for the 3  pairs, where , , and , respectively. In this case, the time frame will be divided into slots, where the normalized size of each slot is precisely 1/9.
5. Tradeoffs
In this section we summarize the main differences and tradeoffs between algorithms EqualTimeSlots and VariableTimeSlots.(i)Distributed implementation: algorithm EqualTimeSlots has a component that requires centralized knowledge of the paths computed by all  pairs (in every iteration of the algorithm). Alternatively, coordination and exchange of information is required among  pairs. Algorithm VariableTimeSlots, however, can be implemented in a fully distributed fashion among  pairs. No coordination is required among  pairs in their path computation.(ii)Synchronization: as described above, algorithm EqualTimeSlots is based on the centralized (or coordinated) knowledge of the paths for all  pairs . This implicitly implies that all existing  pairs must make their path computation decisions (i.e., invoke their algorithms) in a synchronized way; any  pair cannot obtain its optimal path without the results of the other  pairs. Algorithm VariableTimeSlots, however, does not require this synchronization. Any  pair can compute its optimal path regardless of the other  pairs. In fact, optimal path computation does not even require the knowledge of the number of existing  pairs . The optimal path in case of only one  pair would remain optimal in the presence of any number of  pairs . Knowing is necessary in the transmission (MAC) scheduling phase only.(iii)MAC scheduling: algorithm EqualTimeSlots results in TDMA transmission frames with equal time slots, while algorithm VariableTimeSlots results in TDMA transmission frames with variable time slots.(iv)Complexity: the complexity of EqualTimeSlots is , while the complexity of VariableTimeSlots is .
It is worth noting that both algorithms (EqualTimeSlots and VariableTimeSlots) require the value of the link SNRs () to be known at the source nodes computing their respective paths. In practice, the link SNR can be directly measured by received signal strength indicators available on most devices [4], and fed back to the transmitters. Nodes can then exchange their knowledge about the values of for their outgoing links using a distributed linkstate protocol. Please refer to [9] for further elaboration.
In the following section we provide a numerical study on the performance of both proposed approaches and their tradeoffs.
6. Numerical Results
We consider multihop wireless networks, in which the nodes are located at random positions in a 100 100 twodimensional area. Without loss of generality, it is assumed that any two nodes can directly communicate; i.e., the network is fully connected. Note that, from an information theoretic point of view, two nodes can always communicate at a sufficiently low rate [4, 17]. The path gain of each link is assumed to be given by where is the length of link , is the reference distance for the farfield, is a lognormally distributed random variable (with 0dB mean and 8dB logvariance) that reflects shadowing, and is a constant. Without loss of generality, we set and . We test our proposed algorithms on random and independent network realizations, where in each realization the horizontal and vertical coordinates of each node are chosen randomly (and independently) according to a uniform distribution between 0 and 100, and the path gains are generated randomly (and independently) according to (22). Among the randomly generated nodes, a set of  pairs is chosen at random. Furthermore, for each tested scenario, we average our results over random network realizations. In other words, every point in each of the following result figures is averaged over random network realizations.
The simulation parameters are summarized in Table 1 (note that and denote the expected value and variance of a random variable, respectively).

6.1. Effect of the Network Size
First, we vary the number of nodes in the network () from 5 to 30. For every value of , we let the number of  pairs () be 5, and we set the network SNR () to 80 dB. Figure 1 depicts the minimum spectral efficiency among all  routes obtained using algorithms EqualTimeSlots and VariableTimeSlots, respectively. It is clearly seen that algorithm EqualTimeSlots results in higher worstcase spectral efficiencies. In particular, the minimum sourcedestination () spectral efficiency resulting from algorithm EqualTimeSlots is from 29.23% to 39.2% higher than that of algorithm VariableTimeSlots. Averaged over all experiments for different values of , the minimum  spectral efficiency resulting from algorithm EqualTimeSlots is 36% higher than that of algorithm VariableTimeSlots.
Moreover, Figure 2 depicts the average spectral efficiency across all  routes obtained using algorithms EqualTimeSlots and VariableTimeSlots, respectively. It is straightforward to see that algorithm VariableTimeSlots results in higher average spectral efficiencies. In particular, the average  spectral efficiency resulting from algorithm VariableTimeSlots is from 29.88% to 64.2% higher than that of algorithm EqualTimeSlots. Averaged over all experiments for different values of , the average  spectral efficiency resulting from algorithm VariableTimeSlots is 57.27% higher than that of algorithm EqualTimeSlots. In short, although algorithm EqualTimeSlots has a better worstcase performance (as seen in Figure 1), algorithm VariableTimeSlots has a significantly better average performance (as seen in Figure 2).
Finally, we provide a comparison between the running times of algorithms EqualTimeSlots and VariableTimeSlots per  pair. For fairness of comparison, we compare the overall running time of algorithm VariableTimeSlots with the running time of the distributed component of algorithm EqualTimeSlots (i.e., Step (1a), which can be implemented by each  pair in isolation). In other words, the running time of the centralized component of algorithm EqualTimeSlots is excluded from the comparison. The running times of both algorithms are depicted in Figure 3. In fact, the (per  pair) average running time of algorithm VariableTimeSlots is 0.44 milliseconds, while that of algorithm EqualTimeSlots is 0.13 seconds. In other words, although the centralized component of algorithm EqualTimeSlots was not considered in this comparison, the running time of algorithm VariableTimeSlots is on average 99.23% lower than that of algorithm EqualTimeSlots.
6.2. Effect of Number of  Pairs
Now, we vary the number of  pairs () from 5 to 20, while the number of nodes is fixed at and the network SNR is fixed at 80 dB. The results for minimum and average spectral efficiencies across all  routes are depicted in Figures 4 and 5, respectively. Again, it can be easily seen that algorithm EqualTimeSlots has a better worstcase performance (as seen in Figure 4), while algorithm VariableTimeSlots has a significantly better average performance (as seen in Figure 5). In particular, the minimum spectral efficiency across all  routes obtained by algorithm EqualTimeSlots is from 38.17% to 59.66% higher than that obtained by algorithm VariableTimeSlots. Averaged over all experiments, the minimum spectral efficiency resulting from algorithm EqualTimeSlots is 50.62% higher than that resulting from algorithm VariableTimeSlots. On the other hand, the average spectral efficiency across all  routes resulting from algorithm VariableTimeSlots is from 62.29% to 78.19% higher than that resulting from algorithm VariableTimeSlots. Averaged over all experiments, algorithm VariableTimeSlots results in 73.50% higher average spectral efficiencies than algorithm EqualTimeSlots.
6.3. Effect of the Network SNR
Now, we vary the network SNR from 20 dB to 80 dB, while the number of nodes is fixed at and the number of  pairs is fixed at . The results for minimum and average spectral efficiencies across all  routes are depicted in Figures 6 and 7, respectively. In consistency with all other results, algorithm EqualTimeSlots consistently shows a better worstcase performance (as seen in Figure 6), while algorithm VariableTimeSlots shows a consistently and significantly better average performance (as seen in Figure 7). In particular, the improvement in worstcase spectral efficiencies due to algorithm EqualTimeSlots is between 37.96% and 38.24% (with an average improvement of 37.93% across all experiments). However, the improvement in average spectral efficiencies due to algorithm VariableTimeSlots is between 65.18% and 136.37% (with an average improvement of 129.20% across all experiments).
6.4. Comparison against Benchmarks
Finally, we assess the performance of our proposed algorithms in comparison to existing techniques. To this end, we use the following two benchmarks.(i)We compare our algorithms against the spectral efficiency resulting from routing every  pair along the direct link from to . Since all resulting routes are one hop long, dividing the time frame equally between  pairs or between transmission links is equivalent. Therefore, direct link routing is compared against both proposed algorithms EqualTimeSlots and VariableTimeSlots.(ii)We also compare our algorithms against the spectral efficiency resulting from routing every  pair independently using the distributed spectrumefficient routing (DSER) algorithm introduced in [4]. DSER [4] operates by simply finding a shortest path from the source to the destination using as the link metric, where is the pathloss exponent. Here, . It is assumed that the time frame is divided equally among  pairs, resulting in variablelength time slots for individual link transmissions. Therefore, DSER is compared against our proposed algorithm VariableTimeSlots.
To compare them against direct link routing, we vary the number of  pairs from 5 to 20, while the number of nodes is fixed at and the network SNR is fixed at 80 dB. The results for minimum and average spectral efficiencies across all  routes are depicted in Figures 8 and 9, respectively. Following the same trend, algorithm EqualTimeSlots shows a better worstcase performance, while algorithm VariableTimeSlots shows a better average performance. In particular, the worstcase spectral efficiency resulting from algorithm EqualTimeSlots is 820% to 2500% higher than that resulting from direct routing (with an average improvement of 1724% across all experiments). Moreover, the average spectral efficiency resulting from algorithm VariableTimeSlots is about 30% higher than that resulting from direct routing in all experiments.
To compare against DSER from [4], we vary the number of nodes in the network () from 5 to 30, while the number of  pairs () is set to 5 and the network SNR is set to 80 dB. The results for minimum and average spectral efficiencies across all  routes are depicted in Figures 10 and 11, respectively. The superior performance of our proposed algorithm VariableTimeSlots is clearly seen. In particular, our algorithm results in 93% to 743% higher worstcase spectral efficiencies as compared to direct link routing (with an average improvement of 446% across all experiments) and results in 16% to 68% higher worstcase spectral efficiencies as compared to DSER (with an average improvement of 45% across all experiments). Moreover, our algorithm results in 6.5% to 39% higher average spectral efficiencies as compared to direct link routing (with an average improvement of 24% across all experiments) and results in 2.9% to 27% higher average spectral efficiencies as compared to DSER (with an average improvement of 15% across all experiments).
In summary, all our experiments (of varying the network size, number of  pairs, and network SNR) indicate a similar trend of a better worstcase performance for algorithm EqualTimeSlots versus a better average/typical performance for algorithm VariableTimeSlots. It is worth noting, however, that the improvement in average results due to algorithm VariableTimeSlots is always more significant. Moreover, algorithm VariableTimeSlots enjoys a significantly (more than 99%) lower running time. Moreover, our proposed algorithm VariableTimeSlots has shown a significantly superior worstcase and average performance as compared to DSER from [4], and as compared to direct link routing.
7. Conclusion
To the best of our knowledge, previous work on finding the path with maximum endtoend spectrum efficiency was restricted to a single  pair. This paper proposed two alternative approaches for the spectrumefficient routing problem in the multicommodity flow regime, i.e., in the case of multiple active  pairs. The routing objective was to maximize the minimum spectrum efficiency achieved across all active  pairs. The first approach was based on dividing the time frame into equalsized slots, while the second approach allows dividing the time frame into variablesized slots. For each approach, we derived the provably optimal routing algorithm. We also shed the light on the arising tradeoff between the resulting routing algorithms. In summary, the routing algorithm induced by equal time slots enjoys a better worstcase performance (i.e., higher worstcase spectrum efficiencies), at the price of a higher computational complexity and the existence of a centralized component requiring coordination and synchronization among all  pairs in the route computation phase. However, the routing algorithm induced by variable time slots has the advantages of (1) a significantly lower computational complexity (more than 99% reduction in running time), (2) a significantly better average/typical performance (i.e., higher average achieved spectral efficiencies), (3) a significantly better worstcase and average spectral efficiency performance as compared to existing methods, and (4) being entirely distributed with no need for coordination or synchronization among  pairs. In fact the routing algorithm induced by variable time slots does not even require the knowledge of the number of active  pairs; the optimal path in case of the existence of a single  pair remains optimal in case of any number of  pairs. Knowledge of the number  pairs is required only in the phase of MAC layer scheduling of time slots. This concludes that algorithm VariableTimeSlots might be preferred for practical implementation.
Data Availability
The details of how the numerical experiment scenarios were generated are clearly explained in Section 6 of the manuscript and can easily be regenerated.
Conflicts of Interest
The author declares that there are no conflicts of interest.
Acknowledgments
This research was supported in part by the Distributed and Networked Systems Research Group, University of Sharjah, Operating Grant no. 150410, and in part by a University of Sharjah Targeted Project no. 1602040336P.
References
 J. G. Andrews, S. Buzzi, and W. Choi, “What will 5G be?” IEEE Journal on Selected Areas in Communications, vol. 32, no. 6, pp. 1065–1082, 2014. View at: Publisher Site  Google Scholar
 W. Feng, Y. Li, D. Jin, L. Su, and S. Chen, “MillimetreWave Backhaul for 5G Networks: Challenges and Solutions,” Sensors, vol. 16, no. 6, p. 892, 2016. View at: Publisher Site  Google Scholar
 D. Airehrour, J. Gutierrez, and S. K. Ray, “Secure routing for internet of things: A survey,” Journal of Network and Computer Applications, vol. 66, pp. 198–213, 2016. View at: Publisher Site  Google Scholar
 D. Chen, M. Haenggi, and J. Laneman, “Distributed spectrumefficient routing algorithms in wireless networks,” IEEE Transactions on Wireless Communications, vol. 7, no. 12, pp. 5297–5305, 2008. View at: Publisher Site  Google Scholar
 J. L. Sobrinho, “Algebra and algorithms for QoS path computation and hopbyhop routing in the Internet,” IEEE/ACM Transactions on Networking, vol. 10, no. 4, pp. 541–550, 2002. View at: Publisher Site  Google Scholar
 M. Saad, “Optimal spectrumefficient routing in multihop wireless networks,” IEEE Transactions on Wireless Communications, vol. 8, no. 12, pp. 5822–5826, 2009. View at: Publisher Site  Google Scholar
 M. Saad, “Reducedcomplexity spectrumefficient routing in TDMA multihop wireless networks,” in Proceedings of the 2010 IEEE Symposium on Computers and Communications (ISCC), pp. 617–621, Riccione, Italy, June 2010. View at: Publisher Site  Google Scholar
 M. Saad, “On optimal spectrumefficient routing in TDMA and FDMA multihop wireless networks,” Computer Communications, vol. 35, no. 5, pp. 628–636, 2012. View at: Publisher Site  Google Scholar
 M. Saad, “Joint optimal routing and power allocation for spectral efficiency in multihop wireless networks,” IEEE Transactions on Wireless Communications, vol. 13, no. 5, pp. 2530–2539, 2014. View at: Publisher Site  Google Scholar
 M. Martens and M. Skutella, “Flows on few paths: algorithms and lower bounds,” Networks. An International Journal, vol. 48, no. 2, pp. 68–76, 2006. View at: Publisher Site  Google Scholar  MathSciNet
 T. H. Szymanski, “Maxflow mincost routing in a futureinternet with improved QoS guarantees,” IEEE Transactions on Communications, vol. 61, no. 4, pp. 1485–1497, 2013. View at: Publisher Site  Google Scholar
 F. Shahrokhi and D. W. Matula, “The maximum concurrent flow problem,” Journal of the ACM, vol. 37, no. 2, pp. 318–334, 1990. View at: Publisher Site  Google Scholar  MathSciNet
 P. Djukic and S. Valaee, “Delay aware link scheduling for multihop TDMA wireless networks,” IEEE/ACM Transactions on Networking, vol. 17, no. 3, pp. 870–883, 2009. View at: Publisher Site  Google Scholar
 L. A. Wolsey, Integer Programming, John Wiley & Sons, New York, NY. USA, 1998. View at: MathSciNet
 R. Guérin and A. Orda, “Computing shortest paths for any number of hops,” IEEE/ACM Transactions on Networking, vol. 10, no. 5, pp. 613–620, 2002. View at: Publisher Site  Google Scholar
 H. Zhang and P. Gburzynski, “A variable slot length TDMA protocol for personal communication systems,” Wireless Personal Communications, vol. 22, no. 3, pp. 409–432, 2002. View at: Publisher Site  Google Scholar
 T. M. Cover and J. A. Thomas, Elements of Information Theory, John Wiley & Sons, New York, NY, USA, 1991. View at: Publisher Site  MathSciNet
Copyright
Copyright © 2018 Mohamed Saad. 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.