arXiv subjects

Tony T. Lee

Publications and source records attributed to Tony T. Lee.

At least 19 recordsLinked to original sources

arXiv2022

A DFS Algorithm for Maximum Matchings in General Graphs

In this paper, we propose a depth-first search (DFS) algorithm for searching maximum matchings in general graphs. Unlike blossom shrinking algorithms, which store all possible alternative alternating paths in the super-vertices shrunk from blossoms, the newly proposed algorithm does not involve blossom shrinking. The basic idea is to deflect the alternating path when facing blossoms. The algorithm maintains detour information in an auxiliary stack to minimize the redundant data structures. A benefit of our technique is to avoid spending time on shrinking and expanding blossoms. This DFS algorithm can determine a maximum matching of a general graph with $m$ edges and $n$ vertices in $O(mn)$ time with space complexity $O(n)$.

cs.DS↗

arXiv2020

Designing and Analysis of A Wi-Fi Data Offloading Strategy Catering for the Preference of Mobile Users

In recent years, offloading mobile traffic through Wi-Fi has emerged as a potential solution to lower down the communication cost for mobile users. Users hope to reduce the cost while keeping the delay in an acceptable range through Wi-Fi offloading. Also, different users have different sensitivities to the cost and the delay performance. How to make a proper cost-delay tradeoff according to the user's preference is the key issue in the design of the offloading strategy. To address this issue, we propose a preference-oriented offloading strategy for current commercial terminals, which transmit traffic only via one channel simultaneously. We model the strategy as a three-state M/MMSP/1 queueing system, of which the service process is a Markov modulated service process (MMSP), and obtain the structured solutions by establishing a hybrid embedded Markov chain. Our analysis shows that, given the user's preference, there exists an optimal deadline to maximize the utility, which is defined as the linear combination of the cost and the delay. We also provide a method to select the optimal deadline. Our simulation demonstrates that this strategy with the optimal deadline can achieve a good performance.

cs.NI↗

arXiv2019

Throughput and Delay Analysis of Slotted Aloha with Batch Service

In this paper, we study the throughput and delay performances of the slotted Aloha with batch service, which has wide applications in random access networks. Different from the classical slotted Aloha, each node in the slotted Aloha with batch service can transmit up to M packets once it succeeds in channel competition. The throughput is substantially improved because up to M packets jointly undertake the overhead due to contention. In an innovative vacation model developed in this paper, we consider each batch of data transmission as a busy period of each node, and the process between two successive busy periods as a vacation period. We then formulate the number of arrivals during a vacation period in a renewal-type equation, which characterizes the dependency between busy periods and vacation periods. Based on this formulation, we derive the mean waiting time of a packet and the bounded delay region for the slotted Aloha with batch service. Our results indicate the throughput and delay performances are substantially improved with the increase of batch sizeM, and the bounded delay region is enlarged accordingly. As M goes to infinity, we find the saturated throughput can approach 100% of channel capacity, and the system remains stable irrespective of the population size and transmission probability.

cs.PF↗

arXiv2019

The Effect of Mobility on Delayed Data Offloading

Delayed offloading is a widely accepted solution for mobile users to offload their traffic through Wi-Fi when they are moving in urban areas. However, delayed offloading enhances offloading efficiency at the expense of delay performance. Previous works mainly focus on the improvement of offloading efficiency while keeping delay performance in an acceptable region. In this paper, we study the impact of the user mobility on delayed data offloading in respect to the tradeoff between offloading efficiency and delay performance. We model a mobile terminal with delayed data offloading as an M/MMSP/1 queuing system with three service states. To be practical, we consider the feature of currently commercial mobile terminals in our analysis. Our analytical result shows that the mobility of the users can reduce the queueing delay incurred by the delayed offloading, and suggests that delayed offloading strategies can be optimized according to the mobility of the terminals once the delay requirement is given.

cs.NI↗

arXiv2017

Modular AWG-based Optical Shuffle Network

This paper proposes an arrayed-waveguide grating (AWG) based wavelength-division-multiplexing (WDM) shuffle network. Compared with previous optical shuffle networks, our proposal is compact, easy to implement, highly scalable, and cost effective.

cs.OH↗

arXiv2017

Optimum Transmission Window for EPONs with Gated-Limited Service

This paper studies the Ethernet Passive Optical Network (EPON) with gated-limited service. The transmission window (TW) is limited in this system to guaranteeing a bounded delay experienced by disciplined users, and to constrain malicious users from monopolizing the transmission channel. Thus, selecting an appropriate TW size is critical to the performance of EPON with gated-limited service discipline. To investigate the impact of TW size on packet delay, we derive a generalized mean waiting time formula for M/G/1 queue with vacation times and gated-limited service discipline. A distinguished feature of this model is that there are two queues in the buffer of each optical network unit (ONU): one queue is inside the gate and the other one is outside the gate. Furthermore, based on the Chernoff bound of queue length, we provide a simple rule to determine an optimum TW size for gated-limited service EPONs. Analytic results reported in this paper are all verified by simulations.

cs.NI↗

arXiv2016

Power Efficiency and Delay Tradeoff of 10GBase-T Energy Efficient Ethernet Protocol

In this paper, we study the power efficiency and delay performance of the IEEE 802.3az Energy Efficient Ethernet (EEE) protocol. A new approach is proposed to analyze the M/G/1 queue with the vacation time that is governed by the arrival process and the parameter τ and N of the BTR strategy. Our key idea is to establish the connection between the vacation time and the arrival process to account for their dependency. We first derive the distribution of the number of arrivals during a vacation time based on an event tree of the BTR strategy, from which we obtain the mean vacation time and the power efficiency. Next, from the condition on the number of arrivals at the end of a vacation period, we derive a generalized P-K formula of the mean delay for EEE systems, and prove that the classical P-K formula of the vacation model is only a special case when the vacation time is independent of the arrival process. Our analysis demonstrates that the τ policy and N policy of the BTR strategy are compensating each other. The τ policy ensures the frame delay is bounded when the traffic load is light, while the N policy ensures the queue length at the end of vacation is bounded when the traffic load is heavy. These results, in turn, provide the rules to select appropriate τ and N. Our analytical results are confirmed by simulations.

cs.NI↗

arXiv2016

Parallel Scheduling Algorithm based on Complex Coloring for Input-Queued Switches

This paper explores the application of a new algebraic method of edge coloring, called complex coloring, to the scheduling problems of input queued switches. The proposed distributed parallel scheduling algorithm possesses two important features: optimality and rearrangeability. Optimality ensures that the algorithm always returns a proper coloring with the minimum number of required colors, and rearrangeability allows partially re-coloring the existing connection patterns if the underlying graph only changes slightly. The running time of the proposed scheduling algorithm is on the order of $O(\log^2 N)$ per frame, and the amortized time complexity, the time to compute a matching per timeslot, is only $O(\log N)$. The scheduling algorithm is highly robust in the face of traffic fluctuations. Since the higher the variable density, the higher the efficiency of the variable elimination process, complex coloring provides a natural adaptive solution to non-uniform input traffic patterns. The proposed scheduling algorithm for packet switching can achieve nearly 100% throughput.

cs.NI↗

arXiv2016

On Pollaczek-Khinchine Formula for Peer-to-Peer Networks

The performance analysis of peer-to-peer (P2P) networks calls for a new kind of queueing model, in which jobs and service stations arrive randomly. Except in some simple special cases, in general, the queueing model with varying service rate is mathematically intractable. Motivated by the P-K formula for M/G/1 queue, we developed a limiting analysis approach based on the connection between the fluctuation of service rate and the mean queue length. Considering the two extreme service rates, we proved the conjecture on the lower bound and upper bound of mean queue length previously postulated. Furthermore, an approximate P-K formula to estimate the mean queue length is derived from the convex combination of these two bounds and the conditional mean queue length under the overload condition. We confirmed the accuracy of our approximation by extensive simulation studies with different system parameters. We also verified that all limiting cases of the system behavior are consistent with the predictions of our formula.

cs.PF↗

arXiv2014

AWG-based Non-blocking Clos Networks

The three-stage Clos networks remain the most popular solution to many practical switching systems to date. The aim of this paper is to show that the modular structure of Clos networks is invariant with respect to the technological changes. Due to the wavelength routing property of arrayed-waveguide gratings (AWGs), non-blocking and contention-free wavelength-division-multiplexing (WDM) switches require that two calls carried by the same wavelength must be connected by separated links; otherwise, they must be carried by different wavelengths. Thus, in addition to the non-blocking condition, the challenge of the design of AWG-based multistage switching networks is to scale down the wavelength granularity and to reduce the conversion range of tunable wavelength converters (TWCs). We devise a logic scheme to partition the WDM switch network into wavelength autonomous cells, and show that the wavelength scalability problem can be solved by recursively reusing similar, but smaller, set of wavelengths in different cells. Furthermore, we prove that the rearrangeably non-blocking (RNB) condition and route assignments in these AWG-based three-stage networks are consistent with that of classical Clos networks. Thus, the optimal AWG-based non-blocking Clos networks also can achieve 100% utilization when all input and output wavelength channels are busy.

cs.NI↗

arXiv2014

Solvability of Cubic Graphs - From Four Color Theorem to NP-Complete

Similar to Euclidean geometry, graph theory is a science that studies figures that consist of points and lines. The core of Euclidean geometry is the parallel postulate, which provides the basis of the geometric invariant that the sum of the angles in every triangle equals $π$ and Cramer's rule for solving simultaneous linear equations. Since the counterpart of parallel postulate in graph theory is not known, which could be the reason that two similar problems in graph theory, namely the four color theorem (a topological invariant) and the solvability of NP-complete problems (discrete simultaneous equations), remain open to date. In this paper, based on the complex coloring of cubic graphs, we propose the reducibility postulate of the Petersen configuration to fill this gap. Comparing edge coloring with a system of linear equations, we found that the postulate of reducibility in graph theory and the parallel postulate in Euclidean geometry share some common characteristics of the plane. First, they both provide solvability conditions on two equations in the plane. Second, the two basic invariants of the plane, namely the chromatic index of bridgeless cubic plane graphs and the sum of the angles in every triangle, can be respectively deduced from them in a straightforward manner. This reducibility postulation has been verified by more than one hundred thousand instances of Peterson configurations generated by computer. Despite that, we still don't have a logical proof of this assertion. Similar to that of the parallel postulate, we tend to think that describing these natural laws by even more elementary properties of the plane is inconceivable.

cs.DM↗

arXiv2013

Stability and Delay Analysis of EPON Registration Protocol

The Ethernet passive optical network (EPON) has recently emerged as the mainstream of broadband access networks. The registration process of EPON, defined by the IEEE 802.3av standard, is a multi-point control protocol (MPCP) within the media access control (MAC) layer. As with other contention-based channel access methods, such as ALOHA and CSMA, stability and delay are critical issues concerning the performances of implementing the protocol on systems with finite channel capacity. In this paper, the registration process of an EPON subscriber, called optical network units (ONUs), is modeled as a discrete-time Markov chain, from which we derive the fundamental throughput equation of EPON that characterizes the registration processes. The solutions of this characteristic equation depend on the maximum waiting time. The aim of our stability analysis is to pinpoint the region of the maximum waiting time that can guarantee a stable registration throughput and a bounded registration delay. For a maximum waiting time selected from the stable region, we obtain the expression of registration delay experienced by an ONU attempting to register. All analytic results presented in this paper were verified by simulations.

cs.NI↗

arXiv2013

Birkhoff-von-Neumann Switches with Deflection-Compensated Mechanism

Despite the high throughput and low complexity achieved by input scheduling based on Birkhoff-von-Neumann (BvN) decomposition; the performance of the BvN switch becomes less predictable when the input traffic is bursty. In this paper, we propose a deflection-compensated BvN (D-BvN) switch architecture to enhance the quasi-static scheduling based on BvN decomposition. The D-BvN switches provide capacity guarantee for virtual circuits (VCs) and deflect bursty traffic when overflow occurs. The deflection scheme is devised to offset the excessive buffer requirement of each VC when input traffic is bursty. The design of our conditional deflection mechanism is based on the fact that it is unlikely that the traffic input to VCs is all bursty at the same time; most likely some starving VCs have spare capacities when some other VCs are in the overflow state. The proposed algorithm makes full use of the spare capacities of those starving VCs to deflect the overflow traffic to other inputs and provide bandwidth for the deflected traffic to re-access the desired VC. Our analysis and simulation show that this deflection-compensated mechanism can support BvN switches to achieve close to 100% throughput of offered load even with bursty input traffic, and reduces the average end-to-end delay and delay jitter. Also, our result indicates that the packet out-of-sequence probability due to deflection of overflow traffic is negligible, thus only a small re-sequencing buffer is needed at each output port.

cs.NI↗

arXiv2012

Stability and Queueing Analysis of IEEE 802.11 Distributed Coordination Function

A widely adopted two-dimensional Markov chain model of the IEEE 802.11 DCF was introduced by Bianchi to characterize the backoff behavior of a single node under a saturated traffic condition. Using this approach, we propose a queuing model for the 802.11 DCF under a non-saturated traffic environment. The input buffer of each node is modeled as a Geo/G/1 queue, and the packet service time distribution is derived from Markov state space of 802.11 DCF with the underlying scheduling algorithm. The DCF defines two access mechanisms, namely the Basic access mechanism and the request-to-send/clear-to-send (RTS/CTS) access mechanism. Based on our model, performance analyses of both schemes are studied with probabilistic exponential backoff scheduling. We obtain the characteristic equation of network throughput and expressions of packet queueing delay. Specifically, we obtain the stable throughput and bounded delay regions with respect to the retransmission factor according to the basic queueing analysis. For both access schemes, the bounded delay region is a subset of the stable throughput region. Our results show that the RTS/CTS access mechanism is more stable and performs better than the Basic access mechanism. The analysis in this paper is verified by simulation results.

cs.NI↗

arXiv2011

Randomized $Δ$-Edge-Coloring via Quaternion of Complex Colors

This paper explores the application of a new algebraic method of color exchanges to the edge coloring of simple graphs. Vizing's theorem states that the edge coloring of a simple graph $G$ requires either $Δ$ or $Δ+1$ colors, where $Δ$ is the maximum vertex degree of $G$. Holyer proved that it is {\bf NP}-complete to decide whether $G$ is $Δ$-edge-colorable even for cubic graphs. By introducing the concept of complex colors, we show that the color-exchange operation follows the same multiplication rules as quaternion. An initially $Δ$-edge-colored graph $G$ allows variable-colored edges, which can be eliminated by color exchanges in a manner similar to variable eliminations in solving systems of linear equations. The problem is solved if all variables are eliminated and a properly $Δ$-edge-colored graph is reached. For a randomly generated graph $G$, we prove that our algorithm returns a proper $Δ$-edge-coloring with a probability of at least 1/2 in $O(Δ|V||E|^5)$ time if $G$ is $Δ$-edge-colorable. Otherwise, the algorithm halts in polynomial time and signals the impossibility of a solution, meaning that the chromatic index of $G$ probably equals $Δ+1$. Animations of the edge-coloring algorithms proposed in this paper are posted at YouTube http://www.youtube.com/watch?v=KMnj4UMYl7k.

cs.DS↗

arXiv2011

Performance Analysis of Markov Modulated 1-Persistent CSMA/CA Protocols with Exponential Backoff Scheduling

This paper proposes a Markovian model of 1-persistent CSMA/CA protocols with K-Exponential Backoff scheduling algorithms. The input buffer of each access node is modeled as a Geo/G/1 queue, and the service time distribution of each individual head-of-line packet is derived from the Markov chain of the underlying scheduling algorithm. From the queuing model, we derive the characteristic equation of network throughput and obtain the stable throughput and bounded delay regions with respect to the retransmission factor. Our results show that the stable throughput region of the exponential backoff scheme exists even for an infinite population. Moreover, we find that the bounded delay region of exponential backoff is only a sub-set of its stable throughput region due to the large variance of the service time of input packets caused by the capture effect. All analytical results presented in this paper are verified by simulations.

cs.NI↗

arXiv2010

Analysis of Non-Persistent CSMA Protocols with Exponential Backoff Scheduling

This paper studies the performance of Non-persistent CSMA/CA protocols with K-Exponential Backoff scheduling algorithms. A multi-queue single-server system is proposed to model multiple access networks. The input buffer of each access node is modeled as a Geo/G/1 queue, and the service time distribution of head-of-line packets is derived from the Markov chain of underlying scheduling algorithm. The main results include the complete analysis of the throughput and delay distribution, from which we obtained stable regions with respect to the throughput and bounded mean delay of the Geometric Retransmission and Exponential Backoff schemes. We show that the throughput stable region of Geometric Retransmission will vanish as the number of nodes n \rightarrow \infty; thus, it is inherently unstable for large n. In contrast to Geometric Retransmission, the throughput stable region of Exponential Backoff can be obtained for an infinite population. We found that the bounded mean delay region of Geometric Retransmission remains the same as its throughput stable region. Besides, the variance of service time of Exponential Backoff can be unbounded due to the capture effect; thus, its bounded delay region is only a sub-set of its throughput stable region. Analytical results presented in this paper are all verified by simulation.

cs.NI↗

arXiv2009

Buffered Aloha with K-Exponential Backoff -- Part I: Stability and Throughput Analysis

This two-part paper series studies the performance of buffered Aloha networks with K-Exponential Backoff collision resolution algorithms. Part I focuses on stability and throughput analysis and Part II presents the delay analysis. In Part I, the buffered Aloha network is modeled as a multi-queue single-server system. We adopt a widely used approach in packet switching systems to decompose the multi-queue system into independent first-in-first-out (FIFO) queues, which are hinged together by the probability of success of head-of-line (HOL) packets. A unified method is devised to tackle the stability and throughput problems of K-Exponential Backoff with any cutoff phase K. We demonstrate that a network with K-Exponential Backoff can be stabilized if the retransmission factor q is properly selected. The stable region of q is characterized and illustrated via examples of Geometric Retransmission (K=1) and Exponential Backoff (K=infinity). With an increasing number of nodes n, we show that the stable region of Geometric Retransmission rapidly shrinks, and vanishes as n goes to infinity. In contrast, the stable region of Exponential Backoff does not vary with the network population n, implying that a stable throughput can be achieved in networks with Exponential Backoff even with an infinite number of nodes. All the analytical results presented in this paper series are verified by simulations.

cs.NI↗