Wireless Network Scheduling With Discrete Propagation Delays: Theorems and Algorithms

• Published in: IEEE transactions on information theory Vol. 70; no. 3; pp. 1852 - 1875
• Main Authors: Yang, Shenghao, Ma, Jun, Liu, Yanxiao
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.03.2024; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algorithms; Apexes; Collision avoidance; Convexity; Delays; Enumeration; Graph theory; Graphs; network scheduling; OFDM; Propagation delay; Scheduling; Symbols; Underwater acoustics; Wireless network; Wireless networks
• ISSN: 0018-9448; 1557-9654
• DOI: 10.1109/TIT.2023.3324180

The literature provides evidence that considering signal propagation delays can significantly enhance the scheduling rate region of wireless networks. This paper focuses on the link scheduling problem in networks where signal delays between nodes are multiples of a time interval. To model such networks, a directed hypergraph is employed, along with an integer matrix that specifies the delays. The link scheduling problem is closely connected to the independent sets of the periodic hypergraph induced by the network model. However, due to the infinite number of vertices, it is impractical to enumerate the independent sets of the periodic hypergraph using generic graph algorithms. To tackle this challenge, a graphical approach is proposed in this paper. The link scheduling rate region is characterized using a finite directed graph called a scheduling graph, which is derived from the network model. A collision-free schedule of the network corresponds to a path in the scheduling graph, and the rate region is determined by the convex hull of the rate vectors associated with the cycles in the scheduling graph. Although existing cycle enumeration algorithms can be employed to calculate the rate region, their computational complexity becomes prohibitively high as the size of the scheduling graph grows exponentially with the number of network links. To address this issue, the dominance property of a special scheduling graph called the step-<inline-formula> <tex-math notation="LaTeX">T </tex-math></inline-formula> scheduling graph is investigated. This property allows the utilization of specific subgraphs of the step-<inline-formula> <tex-math notation="LaTeX">T </tex-math></inline-formula> scheduling graph to characterize the scheduling rate region, achieving a reduction in both the number of cycles and their lengths. For common problems such as calculating the rate region and maximizing a weighted sum of the scheduling rates, algorithms leveraging the dominance property are developed. These algorithms can be more efficient than using generic graph algorithms directly on the scheduling graphs.