All articles published by MDPI are made immediately available worldwide under an open access license. No special
permission is required to reuse all or part of the article published by MDPI, including figures and tables. For
articles published under an open access Creative Common CC BY license, any part of the article may be reused without
permission provided that the original article is clearly cited. For more information, please refer to
https://www.mdpi.com/openaccess.
Feature papers represent the most advanced research with significant potential for high impact in the field. A Feature
Paper should be a substantial original Article that involves several techniques or approaches, provides an outlook for
future research directions and describes possible research applications.
Feature papers are submitted upon individual invitation or recommendation by the scientific editors and must receive
positive feedback from the reviewers.
Editor’s Choice articles are based on recommendations by the scientific editors of MDPI journals from around the world.
Editors select a small number of articles recently published in the journal that they believe will be particularly
interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the
most exciting work published in the various research areas of the journal.
This paper considers a callback single-server system with an orbit and a First-Come First-Served (FCFS) service discipline. Customers (users, clients) that encounter a busy server are sent into orbit and then have the option to retry service after an exponential period of time. In addition, each customer entering the system uses a strategy and must independently decide when to arrive in the system within a fixed admission period of time so that the expected sojourn time is minimal. We interpret the arrival process as a Nash equilibrium solution of a noncooperative game when the arrival intensity is completely described by an unknown distribution function, and then we propose a way to find an equilibrium for the case when the client’s waiting time for service is obviously limited. The analytical solution for the equilibrium is illustrated numerically for two-person and three-person games.
As a rule, in the classical sense, the queuing theory assumes a nonfixed infinite flow of requests to the system that do not have a strategy, and the traditional steady-state analysis is applicable. The paper considers a queuing system with an orbit when the request is given the opportunity to repeatedly try to get to the service. If a customer entering the system encounters a busy server, they are queued into orbit and can retry to occupy the server. Since queues with retrials are of great importance in modeling modern wireless telecommunication systems, there are many works that offer a steady-state performance analysis of such queues. In particular, retrial queues with orbit are well suited to service industry models where clients are allowed multiple service attempts. An overview of such models has been prepared, for example, in [1,2,3]. Important results on stability conditions based on the regenerative approach can be found in detail in [4,5].
For the first time, a strategic approach to defining a queue as a population of a fixed size of incoming customers is demonstrated in [6] for the one-server model. Customers are accepted by the server during a specified open period of time , the total number of arrivals is assumed to be Poisson distributed, and customers make decisions independently of each other. The main direction of research given by Glazer and Hassin in [6] concerns the conclusion that the arrival rate is not constant at equilibrium over the facility open period, as is usually assumed in the classical queuing theory.
Following the statement of the problem from [7], we will consider a system with a finite number of users (players), which certainly guarantees the stability of the system. Let the same requests be served on the First-Come First-Served principle. All the same, contrary to this work, we will consider another objective function. Indeed, now, instead of observing the average sojourn time of the player, we will pay attention to the case when the player cannot stay in the system for more than the fixed time V. As the payoff function of the player, consider the value , where W is their average sojourn time. The objective of a player is to choose a strategy that will maximize their gain or, in other words, minimize the total time that they spend in the system.
Let us focus on homogeneous customers and look for a symmetrical equilibrium solution in which all customers use the same arrival strategy F. This formulation of the problem is quite natural when the population is large and anonymous, and no identification of individual clients is required. In particular, in systems with a strategy, in many cases, a symmetric equilibrium is the only possible outcome (see, for instance, the review in [8,9,10,11]).
From the practice of research in this area, it is obvious that finding a symmetric equilibrium distribution is a rather cumbersome task and sometimes is not trivially solved even numerically.
Thus, we will define the queuing game, where all players arrive according to a symmetric continuous arrival strategy (cdf) with the probability density function (pdf), where the player still arrives into the system either at initial moment with probability p or at instant following the distribution function, defined as
where , , and are predefined, and the time T is commonly referred to as closing time.
Suppose also that the stability condition holds exponential service with parameter and exponential seeking time with parameter ; thus, and are the average service and seeking times, respectively. Next, we consider a queuing game for two and three players using the new payoff function and compare the derived equilibrium with the results illustrated in our initial paper [7].
2. Two-Player Case
Without loss of generality, we will assume that one of the players, here the second one, chooses the arrival time with cdf (1). This means that the second player enters the system either at instant with probability p or at instant .
Further, our aspiration is to find the best response of the first player to the strategy of the second one defined by Rule (1).
Let the first player enter the system at instant , then the payoff function is:
where denotes the time profit of the first player until limit V for the case when the second player must be serviced first. Then, the first player arrives at the server from orbit and is served
In other words, following our reasoning, Formula (2) reflects that if the second player arrives at the same instance as the first one with probability p, then the server selects the player with probability , i.e., either the first one immediately gets into the server, or it enters orbit prior to service. With probability , the second player arrives after the first one, then the first can be served immediately.
If the first player joins orbit, meaning before limit time V, they must wait for the second to leave the server, come from orbit in exponential time, and be served; otherwise, their payoff will be zero.
So, it is fair that
Note that the second player was served on the interval with probability For convenience, we also predefine the expression
Thus,
If the first player arrived at , the payoff function is:
Thus, if the second player arrived at with probability p, then either they were served before the time t (then the first one immediately goes to the service) or they must be served in the interval . Then, the first player must arrive from orbit and be served no later than . Note that in the limit , it is true that
thus the function increases in t. Moreover, it is also true that .
Further, in equilibrium, we require the fulfillment of the condition , so
and it is obvious that
It should be noted that in the two-person queuing game with retrials and average sojourn time as a cost function, the same formula was obtained for in [7].
If the first player arrival at , the payoff function is:
It is necessary that the condition
is fulfilled, then the following expression can be obtained
To find the equilibrium density, we use condition , where is expressed in the following way
and then we find the general solution of the inhomogeneous linear differential equation by the Bernoulli method in the form , where and , thus
where K is an unknown constant. So, we obtain an analytical solution for equilibrium pdf in the following form:
and immediately
Thus, the constant K can be fined due to Definition (13)
Next, it is required in equilibrium that there be equality , and Condition (10) also holds, then eventually, the system of equations can be written as:
Summing up all the above considerations, we can formulate the following statement.
Theorem 1.
An equilibrium in the two-person queuing game with retrials is represented by cdf (1), where for and parameters p, , and K satisfy Condition (19).
To be able to compare the results with those obtained earlier in [7] for the case when the average sojourn time of a customer is used as an objective function, we take the same experiment parameters while varying stay limit V.
Example 1.
Suppose the system arrivals occur on the interval , the threshold value for the first player waiting , and assume the service and retrieval rates and , respectively.
Thus, having calculated the values and from (19), we obtain the values
and the expression for equilibrium pdf and payoff function in the following form:
Figure 1 shows the pdf and the shape on the interval .
Note that for sojourn time target function from [7], the corresponding values are:
which is the same arrival strategy.
Example 2.
Define outside the interval , and let , , . Then, by carrying out the corresponding calculations, we obtain , . It can be obtained from System (19) that
Now, let the expectation limit V coincide with T, namely , , , and . Then, and . As in Examples 1 and 2, the key values of the model remain unchanged and equal
also
However, the expression for the target function changes as follows
The behavior of both functions on the interval is shown in Figure 3.
It is important to summarize that despite the different objective function the arrival strategy for the two-player game is the same as derived in [7]. As expected, it is noticeable in the examples that the player’s payoff significantly depends on stay limit V.
3. Three-Player Case
Consider the case when the second and third players enter the system according to the strategy when the interarrival times correspond to the distribution . Let the players be considered identical, so if they arrive at the same time in orbit or service, then they are selected equally likely. Next, we look for the optimal strategy for the first player.
If the first player arrives at the moment and assuming that , then the payoff is
where, similarly with the previous analysis, we predetermine the auxiliary values W, , , and :
If the second and third players arrived later than , then the first player immediately goes to the server, and their payoff corresponds to W.
If only one of them came after , and the other came at the same time as the first one, then at instant , there are two players in the system who claim service. Then, with a probability , the first goes to the server, and the other with the probability joins orbit.
If the first player goes into orbit, then the third player can arrive in the system while servicing the second one. Thus, the third player can take the server before the player from the orbit, so in that case, the payoff of the first player corresponds to .
And finally, if three players arrived simultaneously at time , then with the probability the first player will be served straight away, and with the probability the first and other one will go into orbit. Then, two options are equally probable, either the first player leaves the orbit earlier (his payoff corresponds to ), or the first player leaves the orbit last (his payoff corresponds to ).
After additional manipulations, we obtain the final expression in the form
We note separately that in the case , the following expression holds
However, for the sake of brevity, we omit further calculations for this case, since they are performed in the same way.
If the customer arrives at instant , then the payoff is:
Next, consider the case when the first player arrived at the time . Then, the first player is served immediately if either the other two have been served before instant t, or only one customer has been served before t, and the other has not managed to come from orbit. Otherwise, the first player enters the orbit.
So, for the case when , the first player payoff is:
Thus, after intermediate calculations, we obtain that holds:
Finally, let us consider the case when the first player enters the system at instant . Let the current player still not be able to wait more than the given time V, and also suppose first that . For that t, the payoff is:
As it already becomes clear, this solution is rather cumbersome for a numerical solution algorithm. Let us consider another way to write the payoff , which seems to be simpler, where in terms of the system of Kolmogorov’s differential inverse equations at instant for state probabilities , at the moment t, the system received i customers, j customers are in the server, and k ones in the orbit:
where the arrival rate at instant t depends on the number of customers there are in the system, so
Due to (34), the response for the player entering the system at instant t is
After carrying out similar calculations as in Formula (25), we obtain the following expression:
It is necessary that the normalization condition be fulfilled
and also boundary conditions for the Cauchy problem for Equation (34) can be fined as the system of state probabilities for in [7], namely:
Then, for the next step, it is necessary to solve the system of equations:
Since explicit calculations for the case of three players in an equilibrium distribution are rather complex analytically, we will use a numerical approach that is quite common for problems of this type (see for instance [8]). A discrete approximation technique based on simulation on a grid with a small rank on a set was proposed for a queuing game with retrials in [7]. The same algorithm is used below for the case of three players.
As before, the purpose of the study was to compare the player’s strategy for different objective functions, thus we need to choose the same parameters as in [7].
Example 4.
Suppose the system arrivals occur on the interval , , and the threshold value for the first player waiting is . Assume the service and retrieval rate , , respectively. So, having calculated the parameters numerically from (32), (33), and (37) and apply the approximation algorithm on the grid for equilibrium pdf we obtain
and Figure 4 shows the pdf and the shape on the interval . For , the response value is , and for case , we obtain , without changes in equilibrium strategy.
An alternative technique of the numerical solution of Kolmogorov’s system of differential Equations (34) and Formulas (32) and (37) gives the following solutions , , for .
It should be noted that both methods give consistent results for the equilibrium arrival strategy for a three-player game with retrials. In contrast to the case of two players, now the equilibrium pdf is not a constant and decreases in the interval . Moreover, just as in the case of two players, where it was easy to obtain analytical solutions, in the case of three players, the strategies found numerically agree with the results of calculations in the paper [7], where another objective function was considered for the same system.
All numerical tests were realized in Python3 language using modules for symbolic calculation and executed on the HP ENVY Ultrabook with an Intel(R) Core(TM) i3 7100U 2.4 GHz processor with 4 GB of RAM, running Windows 10.
4. Conclusions
This paper deals with a game-theoretical approach to the analysis of a single-server queuing system with retrials from the orbit. In contrast to the classical approach of the queuing theory, it is assumed that the customers (players) are guided by the arrival strategy and so the arrival rate is not constant in general. We investigate the arrival strategy in Nash equilibrium, where the goal is to maximize the expected reward per player when the total time that he spends in the system is limited by constant V.
For games with two and three persons, it is shown that the optimal arrival behavior is such that the player either enters the system with a nonzero probability at the initial time, or there will be an arrival pause along a positive interval, after which the arrival rate is controlled by the equilibrium distribution density. In the case of three players, the equilibrium pdf is not a constant and decreases over the interval .
In the further direction of the analysis, it is necessary to generalize the results and the numerical algorithm to the case of an arbitrary number of players for a system with retrials and optimal timing of arrival to a queue. It is supposed to consider the problem in the asymptotic setting as the number of players tends to infinity.
Author Contributions
Conceptualization, A.B. and V.M.; methodology, A.B. and V.M.; software, A.B. and V.M.; validation, A.B. and V.M.; formal analysis, A.B. and V.M.; investigation, A.B. and V.M.; resources, A.B. and V.M.; data curation, A.B. and V.M.; writing—original draft preparation, A.B. and V.M.; writing—review and editing, A.B. and V.M.; visualization, A.B. and V.M.; supervision, A.B. and V.M. All authors have read and agreed to the published version of the manuscript.
Funding
This research was supported by the Russian Science Foundation (No. 22-11-20015, https://rscf.ru/project/22-11-20015/) (accessed on 1 June 2023), jointly with support of the authorities of the Republic of Karelia with funding from the Venture Investment Foundation of the Republic of Karelia.
Kim, J.; Kim, B.; Glazer, A.; Hassin, R. A survey of retrial queuing systems. Ann. Oper. Res.2016, 247, 3–36. [Google Scholar] [CrossRef]
Phung-Duc, T. Retrial queuing models: A survey on theory and applications. arXiv2019, arXiv:1906.09560. [Google Scholar]
Morozov, E.; Morozova, T. On the stationary remaining service time in the queuieng systems. CEUR Workshop Proc.2020, 2792, 140–149. Available online: https://ceur-ws.org/Vol-2792/paper10.pdf (accessed on 1 June 2023).
Morozov, E.; Steyaert, B. Stability Analysis of Regenerative Queueing Models; Springer: Berlin/Heidelberg, Germany, 2021. [Google Scholar]
Glazer, A.; Hassin, R. ?/M/1: On the equilibrium distribution of customer arrivals. Eur. J. Oper. Res.1983, 13, 146–150. [Google Scholar] [CrossRef]
Chirkova, J.; Mazalov, V.; Morozov, E. Equilibrium in the Queueing System with Retrials. Mathematics2022, 10, 428. [Google Scholar] [CrossRef]
Haviv, M.; Ravner, L. A survey of queuing systems with strategic timing of arrivals. Queueing Syst.2021, 99, 163–198. [Google Scholar] [CrossRef]
Haviv, M. Optimal timing of arrival to a queue. Queueing Syst.2022, 100, 433–435. [Google Scholar] [CrossRef]
Anily, S.; Haviv, M. The price of anarchy in loss systems. Nav. Res. Logist. (NRL)2022, 69, 689–701. [Google Scholar] [CrossRef]
Guo, P.; Haviv, M.; Luo, Z.; Wang, Y. Signaling service quality through queue disclosure. Manuf. Serv. Oper. Manag.2023, 25, 543–562. [Google Scholar] [CrossRef]
Figure 1.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 1.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 2.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 2.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 3.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 3.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 4.
Equilibrium pdf and payoff function visualization for , , , and .
Figure 4.
Equilibrium pdf and payoff function visualization for , , , and .
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Borodina, A.; Mazalov, V.
On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics2023, 11, 3535.
https://doi.org/10.3390/math11163535
AMA Style
Borodina A, Mazalov V.
On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics. 2023; 11(16):3535.
https://doi.org/10.3390/math11163535
Chicago/Turabian Style
Borodina, Alexandra, and Vladimir Mazalov.
2023. "On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals" Mathematics 11, no. 16: 3535.
https://doi.org/10.3390/math11163535
APA Style
Borodina, A., & Mazalov, V.
(2023). On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics, 11(16), 3535.
https://doi.org/10.3390/math11163535
Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.
Article Metrics
No
No
Article Access Statistics
For more information on the journal statistics, click here.
Multiple requests from the same IP address are counted as one view.
Borodina, A.; Mazalov, V.
On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics2023, 11, 3535.
https://doi.org/10.3390/math11163535
AMA Style
Borodina A, Mazalov V.
On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics. 2023; 11(16):3535.
https://doi.org/10.3390/math11163535
Chicago/Turabian Style
Borodina, Alexandra, and Vladimir Mazalov.
2023. "On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals" Mathematics 11, no. 16: 3535.
https://doi.org/10.3390/math11163535
APA Style
Borodina, A., & Mazalov, V.
(2023). On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics, 11(16), 3535.
https://doi.org/10.3390/math11163535
Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.