Next Article in Journal
Redundancy Allocation of Components with Time-Dependent Failure Rates
Next Article in Special Issue
Pursuit Problem of Unmanned Aerial Vehicles
Previous Article in Journal
Optimized Statistical Beamforming for Cooperative Spectrum Sensing in Cognitive Radio Networks
Previous Article in Special Issue
On Effective Fine Functions for Inspection—Corruption Games (Evolutionary Approach)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals

by
Alexandra Borodina
1,2,*,† and
Vladimir Mazalov
1,2,†
1
Institute of Applied Mathematical Research, Karelian Research Centre, Russian Academy of Sciences, 185910 Petrozavodsk, Russia
2
Institute of Mathematics and Information Technologies, Petrozavodsk State University, 185035 Petrozavodsk, Russia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2023, 11(16), 3535; https://doi.org/10.3390/math11163535
Submission received: 15 July 2023 / Revised: 9 August 2023 / Accepted: 11 August 2023 / Published: 16 August 2023
(This article belongs to the Special Issue Multi-Agent Systems of Competitive and Cooperative Interaction)

Abstract

:
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.

1. Introduction

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 ? / M / 1 model. Customers are accepted by the server during a specified open period of time [ 0 , T ] , 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 ( V E W ) + , 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 F ( t ) (cdf) with the probability density function f ( t ) (pdf), where the player still arrives into the system either at initial moment t = 0 with probability p or at instant t [ t e , T ] following the distribution function, defined as
F ( t ) = p , t [ 0 , t e ) p + t e t f ( θ ) d θ , t [ t e , T ] .
where p ( 0 , 1 ) , t e > 0 , and T < 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, 1 / μ and 1 / γ 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 t = 0 with probability p or at instant t [ t e , T ] .
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 t = 0 , then the payoff function is:
C ( 0 ) = ( 1 p ) 0 V μ e μ θ ( V θ ) d θ + p 1 2 0 V μ e μ θ ( V θ ) d θ + p 1 2 I 0 ,
where I 0 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
I 0 = 0 V μ e μ θ 0 V θ γ e γ τ 0 V ( θ + τ ) μ e μ r ( V r ) d r d τ d θ .
In other words, following our reasoning, Formula (2) reflects that if the second player arrives at the same instance t = 0 as the first one with probability p, then the server selects the player with probability 1 / 2 , i.e., either the first one immediately gets into the server, or it enters orbit prior to service. With probability 1 p , 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
I 0 = V 1 μ e μ V V 1 μ + V 2 γ μ 2 + V γ 2 μ 2 V γ 2 + 4 V γ μ 2 V μ 2 + 2 μ ( γ μ ) 2 + ( e μ V e γ V ) μ γ ( γ μ ) 3 e γ V V 1 μ μ 2 ( γ μ ) 2 .
Note that the second player was served on the interval [ 0 , t ] with probability 0 t μ e μ θ d θ = ( 1 e μ t ) . For convenience, we also predefine the expression
W = 0 V μ e μ θ ( V θ ) d θ = V 1 μ + 1 μ e μ V .
Thus,
C ( 0 ) = 1 p 2 0 V μ e μ θ ( V θ ) d θ + p 1 2 I 0 = 1 p 1 2 V ( 1 e μ V ) 1 μ 1 μ e μ V ( 1 + μ V ) + p 1 2 I 0 = ( 1 p 1 2 ) W + p 1 2 I 0 .
If the first player arrived at t ( 0 , t e ) , the payoff function is:
C ( t ) = ( 1 p ) 0 V μ e μ θ ( V θ ) d θ + p ( 1 e μ t ) 0 V μ e μ θ ( V θ ) d θ + p e μ t I 0 = ( 1 p e μ t ) 0 V μ e μ θ ( V θ ) d θ + p e μ t I 0 = ( 1 p e μ t ) W + p e μ t I 0 .
Thus, if the second player arrived at t = 0 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 [ t , t + V ] . Then, the first player must arrive from orbit and be served no later than t + V . Note that in the limit t 0 + , it is true that
C ( 0 + ) = ( 1 p ) W + p I 0 < C ( 0 ) ,
thus the function C ( t ) increases in t. Moreover, it is also true that W > I 0 .
Further, in equilibrium, we require the fulfillment of the condition C ( 0 ) = C ( t e ) , so
( 1 p 2 ) W + p 2 I 0 = ( 1 p e μ t e ) W + p e μ t e I 0 ,
and it is obvious that
t e = ln 2 μ .
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 t e in [7].
If the first player arrival at t > t e , the payoff function is:
C ( t ) = p ( 1 e μ t ) 0 V μ e μ θ ( V θ ) d θ + p e μ t I 0 + t e t ( 1 e μ ( t θ ) ) 0 V μ e μ τ ( V τ ) d τ + e μ ( t θ ) I 0 d F ( θ ) + t T 0 V μ e μ τ ( V τ ) d τ d F ( θ ) = p ( 1 e μ t ) W + p e μ t I 0 + W t e t ( 1 e μ ( t θ ) ) f ( θ ) d θ + I 0 t e t e μ ( t θ ) f ( θ ) d θ + W t T f ( θ ) d θ .
It is necessary that the condition
t e T f ( θ ) d θ = 1 p
is fulfilled, then the following expression can be obtained
C ( t ) = W ( 1 p e μ t ) + p e μ t I 0 ( W I 0 ) e μ t t e t e μ θ f ( θ ) d θ .
To find the equilibrium density, we use condition C ( t ) = 0 , where C ( t ) is expressed in the following way
C ( t ) = p μ ( W I 0 ) e μ t ( W I 0 ) f ( t ) + μ ( W I 0 ) e μ t t e t e μ θ f ( θ ) d θ ,
thus the condition C ( t ) = 0 implies
p μ ( W I 0 ) ( W I 0 ) e μ t f ( t ) + μ ( W I 0 ) t e t e μ θ f ( θ ) d θ = 0 .
Further, we denote
y ( t ) = t e t e μ θ f ( θ ) d θ ; y ( t ) 0 , t < t e ,
and after reduction by W I 0 , Equation (12) becomes
y ( t ) = μ y ( t ) + p μ ,
and then we find the general solution of the inhomogeneous linear differential equation by the Bernoulli method in the form y ( t ) = u ( t ) v ( t ) , where A ( t ) = μ and B ( t ) = p μ , thus
u ( t ) = e A ( t ) d t = e μ t , v ( t ) = B ( t ) u ( t ) d t = p e μ t + K , y ( t ) = p + K e μ t ,
where K is an unknown constant. So, we obtain an analytical solution for equilibrium pdf f ( t ) in the following form:
f ( t ) = y ( t ) e μ t = μ K ,
and immediately
C ( t ) = W ( 1 p e μ t ) + p e μ t I 0 K ( W I 0 ) ( 1 e μ ( t t e ) ) .
Thus, the constant K can be fined due to Definition (13)
K = p e μ t e , f ( t ) = μ p e μ t e .
Next, it is required in equilibrium that there be equality C ( t ) = C ( t e ) = c o n s t , and Condition (10) also holds, then eventually, the system of equations can be written as:
t e = ln 2 μ , K = p e μ t e , p = 1 1 + μ e μ t e ( T t e ) .
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 f ( t ) = K = c o n s t for t [ t e , T ] and parameters p, t e , 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 [ 0 , 2 ] , the threshold value for the first player waiting V = 1 , and assume the service and retrieval rates μ = 2 and γ = 1 , respectively.
Thus, having calculated the values I 0 = 0.16 and W = 0.57 from (19), we obtain the values
t e = 0.347 , p = 0.377 , K = 0.188 ,
and the expression for equilibrium pdf f ( t ) and payoff function C ( t ) in the following form:
f ( t ) = 0.377 , t t e ,
C ( 0 ) = C ( t ) = 0.491 , t t e .
Figure 1 shows the pdf f ( t ) and the C ( t ) shape on the interval [ t e , T ] .
Note that for sojourn time target function C ( t ) from [7], the corresponding values are:
t e = 0.347 , p = 0.377 , C ( 0 ) = C ( t ) = 0.783 for t e > t ,
which is the same arrival strategy.
Example 2. 
Define V = 10 outside the interval [ t e , T ] , and let T = 2 , μ = 2 , γ = 1 . Then, by carrying out the corresponding calculations, we obtain I 0 = 9.49 , W = 9.5 . It can be obtained from System (19) that
t e = 0.347 , p = 0.377 , K = 0.188 ,
and
f ( t ) = 0.377 , t t e ,
C ( 0 ) = C ( t ) = 9.499 , t t e .
The corresponding curves are shown in Figure 2.
Example 3. 
Now, let the expectation limit V coincide with T, namely T = 2 , V = T , μ = 2 , and γ = 1 . Then, I 0 = 0.97 and W = 1.51 . As in Examples 1 and 2, the key values of the model remain unchanged and equal
t e = 0.347 , p = 0.377 , K = 0.188 ,
also
f ( t ) = 0.377 , t t e ,
However, the expression for the target function C ( t ) changes as follows
C ( 0 ) = C ( t ) = 1.407 , t t e .
The behavior of both functions on the interval [ t e , T ] 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 F ( t ) . 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 t = 0 and assuming that V T , then the payoff is
C ( 0 ) = ( 1 p ) 2 W + 2 p ( 1 p ) 1 2 W + 1 2 I 1 1 + p 2 1 3 W + 2 3 1 2 I 0 2 + 1 2 I 1 2 = ( 1 p ) 2 W + p ( 1 p ) ( W + I 1 1 ) + p 2 3 ( W + I 0 2 + I 1 2 )
where, similarly with the previous analysis, we predetermine the auxiliary values W, I 0 2 , I 1 2 , and I 1 1 :
W = 0 V μ e μ θ ( V θ ) d θ = V 1 μ + 1 μ e μ V ,
I 0 2 = 0 V μ e μ θ d θ 0 V θ γ e γ τ d τ 0 V ( θ + τ ) μ e μ r ( V ( θ + τ + r ) ) d r = V + 2 μ + 1 γ ( e μ V 1 ) + V γ γ μ e μ V + μ 2 γ ( γ μ ) 2 ( e γ V e μ V ) = W + 1 μ + 1 γ ( e μ V 1 ) + V γ γ μ e μ V + μ 2 γ ( γ μ ) 2 ( e γ V e μ V ) .
If the second and third players arrived later than t e , then the first player immediately goes to the server, and their payoff corresponds to W.
I 1 2 = 0 V μ e μ θ d θ 0 V θ γ e γ τ d τ 0 V ( θ + τ ) μ e μ ξ d ξ 0 V ( θ + τ + ξ ) γ e γ η d η × 0 V ( θ + τ + ξ + η ) μ e μ r ( V ( θ + τ + ξ + η + r ) ) d r = V 3 μ 2 γ + e γ V 3 μ 3 γ μ 4 μ 2 V μ + 2 γ μ 3 + 2 μ γ μ 2 2 γ μ + 2 γ + e μ V [ 3 μ 3 γ μ 4 2 μ 2 V μ 1 γ μ 3 + μ V 2 μ 2 4 V μ 4 2 γ μ 2 + V 2 μ 2 + 2 V μ + 2 γ μ + V 2 μ 2 + 4 V μ + 6 2 μ ] ,
If only one of them came after t e , and the other came at the same time as the first one, then at instant t = 0 , there are two players in the system who claim service. Then, with a probability 1 / 2 , the first goes to the server, and the other with the probability 1 / 2 joins orbit.
I 1 1 = t e V [ 0 θ μ e μ s d s 0 θ s γ e γ τ d τ 0 V ( s + τ ) μ e μ r ( V ( s + τ + r ) ) d r + 0 θ μ e μ s d s θ s γ e γ τ d τ 0 V θ μ e μ ξ d ξ 0 V ( θ + ξ ) γ e γ η d η × 0 V ( θ + ξ + η ) μ e μ r ( V ( θ + ξ + η + r ) ) d r + θ V μ e μ s d s 0 V s γ e γ τ d τ 0 V ( s + τ ) μ e μ r ( V ( s + τ + r ) ) d r ] d F ( θ ) + I 0 2 V T d F ( θ ) .
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 I 1 1 .
And finally, if three players arrived simultaneously at time t = 0 , then with the probability 1 / 3 the first player will be served straight away, and with the probability 2 / 3 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 I 0 2 ), or the first player leaves the orbit last (his payoff corresponds to I 1 2 ).
After additional manipulations, we obtain the final expression in the form
I 1 1 = t e V d F ( θ ) [ V + 2 μ + 1 γ ( e μ ( V θ ) ( γ e μ θ μ e γ θ ) γ μ 1 ) + V θ 2 μ 1 γ μ ( e μ θ e γ θ ) γ μ + ( e μ θ e γ θ ) ( μ γ + 1 + μ θ V μ ) + γ θ e V μ γ μ + γ ( V θ ) e μ ( V θ ) ( γ e μ θ μ e γ θ ) ( γ μ ) 2 + γ e V μ ( e θ ( γ μ ) 1 ) ( γ μ ) 2 μ 2 ( γ e μ θ μ e γ θ ) ( e μ ( V θ ) e γ ( V θ ) ) γ ( γ μ ) 3 ] + I 0 2 V T d F ( θ ) .
We note separately that in the case V > T , the following expression holds
I 1 1 = t e T [ 0 θ μ e μ s d s 0 θ s γ e γ τ d τ 0 V ( s + τ ) μ e μ r ( V ( s + τ + r ) ) d r + 0 θ μ e μ s d s θ s γ e γ τ d τ 0 V θ μ e μ ξ d ξ 0 V ( θ + ξ ) γ e γ η d η × 0 V ( θ + ξ + η ) μ e μ r ( V ( θ + ξ + η + r ) ) d r + θ V μ e μ s d s 0 V s γ e γ τ d τ 0 V ( s + τ ) μ e μ r ( V ( s + τ + r ) ) d r ] d F ( θ ) .
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 t = 0 + , then the payoff is:
C ( 0 + ) = ( 1 p ) 2 W + p ( 1 p ) I 1 1 + p 2 2 ( I 0 2 + I 1 2 ) < C ( 0 ) .
Next, consider the case when the first player arrived at the time t ( 0 , t e ) . 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 t + V T , the first player payoff is:
C ( t ) = ( 1 p ) 2 W + 2 p ( 1 p ) ( 1 e μ t ) W + 2 p ( t e t + V [ t θ μ e μ s d s 0 θ s γ e γ τ d τ 0 t + V ( s + τ ) μ e μ r ( t + V s τ r ) d r + t θ μ e μ s d s θ s γ e γ τ d τ 0 t + V θ μ e μ ξ d ξ 0 t + V ( θ + ξ ) γ e γ η d η × 0 t + V ( θ + ξ + η ) μ e μ r ( t + V θ ξ η r ) d r + θ t + V μ e μ s d s 0 t + V s γ e γ τ d τ 0 t + V ( s + τ ) μ e μ r ( t + V s τ r ) d r ] f ( θ ) d θ + ( ( 1 e μ t ) W + e μ t I 0 2 ) t + V T f ( θ ) d θ ) + p 2 ( 0 t μ e μ s d s 0 t s γ e γ τ ( 1 e μ ( t ( s + τ ) ) ) d τ W + 0 t μ e μ s d s 0 t s γ e γ τ e μ ( t ( s + τ ) ) d τ I 0 2 + W 0 t μ e μ s e γ ( t s ) d s + e μ t I 1 2 ) .
Thus, after intermediate calculations, we obtain that t + V < T holds:
C ( t ) = W ( 1 p ) 2 + 2 p ( 1 p ) ( W ( 1 e μ t ) + I 1 1 ) + p 2 W ( 1 e μ t ) + p 2 W ( μ ( e μ t e γ t ) ( γ μ ) 2 γ γ μ t e μ t + μ ( e μ t e γ t ) γ μ ) + p 2 I 0 2 ( γ γ μ t e μ t γ ( e μ t e γ t ) ( γ μ ) 2 ) + p 2 e μ t I 1 2 .
Finally, let us consider the case when the first player enters the system at instant t [ t e , T ] . Let the current player still not be able to wait more than the given time V, and also suppose first that t + V < T . For that t, the payoff is:
C ( t ) = p 2 W + ( I 1 2 W ) e μ t + ( I 0 2 W ) γ μ e γ t e μ t ( μ t γ t + 1 ) ( μ γ ) 2 + 2 p t e t f ( θ ) d θ [ W + ( I 1 2 I 0 2 ) e μ t + ( I 0 2 W ) γ μ e γ ( t θ ) e μ θ γ μ e μ t ( 1 + ( μ γ ) ( t θ ) ) + ( μ γ ) 2 e μ ( t θ ) ( μ γ ) 2 ] + 2 p t t + V f ( θ ) d θ ( 1 e μ t ) W + D ( θ ) + 2 p t + V T f ( θ ) d θ ( W + ( I 0 2 W ) e μ t ) + t e t t e t f ( θ ) f ( η ) d θ d η [ W + ( e μ ( t θ ) e μ ( t θ ) e μ ( t η ) + e μ ( t η ) ) ( I 0 2 W ) + e μ ( t θ ) e μ ( t η ) ( I 1 2 I 0 2 ) ] + 2 t e t ( W + e μ ( t θ ) ( I 0 2 W ) ) f ( θ ) d θ t + V T f ( η ) d η + 2 t e t f ( θ ) d θ t t + V ( W + e μ ( t θ ) ( D ( η ) W ) ) f ( η ) d η + W t + V T t + V T f ( θ ) f ( η ) d θ d η ,
where D ( θ ) does not depend on t and is denoted as:
D ( θ ) = V + 2 μ + 1 γ ( e μ ( V θ ) ( γ e μ θ μ e γ θ ) γ μ 1 ) + V θ 2 μ 1 γ μ ( e μ θ e γ θ ) γ μ + ( e μ θ e γ θ ) ( μ γ + 1 + μ θ V μ ) + γ θ e V μ γ μ + γ ( V θ ) e μ ( V θ ) ( γ e μ θ μ e γ θ ) ( γ μ ) 2 + γ e V μ ( e a ( γ μ ) 1 ) ( γ μ ) 2 μ 2 ( γ e μ θ μ e γ θ ) ( e μ ( V θ ) e γ ( V θ ) ) γ ( γ μ ) 3 .
Expression (29) can be rewritten in the form:
C ( t ) = p 2 W + p 2 ( I 1 2 W ) e μ t + p 2 ( I 0 2 W ) γ μ ( μ γ ) 2 e γ t p 2 ( I 0 2 W ) γ μ ( μ γ ) e μ t t p 2 ( I 0 2 W ) γ μ ( μ γ ) 2 e μ t + 2 p ( 1 p ) W + 2 p ( I 1 2 I 0 2 ) e μ t t e t f ( θ ) d θ + 2 p γ μ ( γ μ ) 2 ( I 0 2 W ) e γ t t e t e θ ( μ γ ) f ( θ ) d θ 2 p ( I 0 2 W ) γ μ ( γ μ ) 2 e μ t t e t f ( θ ) d θ 2 p ( I 0 2 W ) γ μ γ μ t e t ( t θ ) f ( θ ) d θ + 2 p ( I 0 2 W ) e μ t t e t e μ θ f ( θ ) d θ 2 p ( I 0 2 W ) e μ t t t + V f ( θ ) d θ + 2 p t t + V D ( θ ) f ( θ ) d θ + 2 p ( I 0 2 W ) e μ t t + V T f ( θ ) d θ + ( 1 p ) 2 W + 2 ( I 0 2 W ) t e t e μ ( t θ ) f ( θ ) d θ t e t f ( η ) d η + ( W 2 I 0 2 + I 1 2 ) t e t e μ ( t θ ) f ( θ ) d θ 2 + 2 ( I 0 2 W ) t e t e μ ( t θ ) f ( θ ) d θ t + V T f ( η ) d η + 2 t e t e μ ( t θ ) f ( θ ) d θ t t + V ( D ( η ) W ) f ( η ) d η
Then, for the next step, it is necessary to solve the system of equations:
C ( 0 ) = C ( t e ) = C ( t ) = const , t [ t e , T ] .
From Formulas (20) and (28), it follows that the equation C ( 0 ) = C ( t e ) has the form
p ( 1 p ) ( W + I 1 1 ) + p 2 3 ( W + I 0 2 + I 1 2 ) = 2 p ( 1 p ) ( W ( 1 e μ t e ) + I 1 1 ) + p 2 W ( 1 e μ t e ) + p 2 W ( μ ( e μ t e e γ t ) ( γ μ ) 2 γ γ μ t e e μ t e + μ ( e μ t e e γ t e ) γ μ ) + p 2 I 0 2 ( γ γ μ t e e μ t e γ ( e μ t e e γ t e ) ( γ μ ) 2 ) + p 2 e μ t e I 1 2 ,
or
W ( p p 2 + p 2 3 ) + ( p p 2 ) I 1 1 + p 2 3 I 0 2 + p 2 3 I 1 2 = W ( 2 p ( 1 p ) ( 1 e μ t e ) + p 2 ( 1 e μ t e + μ ( e μ t e e γ t ) ( γ μ ) 2 γ γ μ t e e μ t e + μ ( e μ t e e γ t e ) γ μ ) ) + 2 p ( 1 p ) I 1 1 + p 2 I 0 2 ( γ γ μ t e e μ t e γ ( e μ t e e γ t e ) ( γ μ ) 2 ) + p 2 e μ t e I 1 2 ,
Also, the required derivative can be calculated and the equation
C ( t ) = 0 ,
is composed based on Expression (30).
As it already becomes clear, this solution is rather cumbersome for a numerical solution algorithm. Let us consider another way to write the payoff C ( t ) , which seems to be simpler, where in terms of the system of Kolmogorov’s differential inverse equations at instant t [ t e , T ] for state probabilities p i , j , k ( t ) , at the moment t, the system received i customers, j customers are in the server, and k ones in the orbit:
p 0 , 0 , 0 ( t ) = λ 0 ( t ) p 0 , 0 , 0 ( t ) , p 1 , 0 , 0 ( t ) = λ 1 ( t ) p 1 , 0 , 0 ( t ) + μ p 1 , 1 , 0 ( t ) , p 1 , 1 , 0 ( t ) = ( μ + λ 1 ( t ) ) p 1 , 1 , 0 ( t ) + λ 0 ( t ) p 0 , 0 , 0 ( t ) , p 2 , 0 , 1 ( t ) = γ p 2 , 0 , 1 ( t ) + μ p 2 , 1 , 1 ( t ) , p 2 , 1 , 0 ( t ) = μ p 2 , 0 , 1 ( t ) + γ p 2 , 0 , 1 ( t ) + λ 1 ( t ) p 1 , 0 , 0 ( t ) , p 2 , 1 , 1 ( t ) = μ p 2 , 1 , 1 ( t ) + λ 1 ( t ) p 1 , 1 , 0 ( t ) , p 2 , 0 , 0 ( t ) = μ p 2 , 1 , 0 ( t ) ,
where the arrival rate at instant t depends on the number of customers there are in the system, so
λ 0 ( t ) = 2 f ( t ) 1 F ( t ) , λ 1 ( t ) = f ( t ) 1 F ( t ) .
Due to (34), the response for the player entering the system at instant t is
C ( t ) = ( p 0 , 0 , 0 ( t ) + p 1 , 0 , 0 ( t ) + p 2 , 0 , 1 ( t ) + p 2 , 0 , 0 ( t ) ) W + p 1 , 1 , 0 ( t ) [ t t + V f ( θ ) d θ ( 0 θ t μ e μ s d s 0 θ ( t + s ) γ e γ τ d τ 0 V ( s + τ ) μ e μ r d r ( V ( s + τ + r ) ) + 0 θ t μ e μ s d s θ ( t + s ) γ e γ τ d τ 0 t + V θ μ e μ ξ d ξ 0 t + V ( θ + ξ ) γ e γ v d v × 0 t + V ( θ + ξ + v ) μ e μ r d r ( t + V ( θ + ξ + v + r ) ) + θ t V μ e μ s d s 0 V s γ e γ τ d τ 0 V ( s + τ ) μ e μ r ( V ( s + τ + r ) ) d r + I 0 2 t + V T f ( θ ) d θ ) ] + p 2 , 1 , 0 ( t ) I 0 2 + p 2 , 1 , 1 ( t ) I 1 2 .
After carrying out similar calculations as in Formula (25), we obtain the following expression:
C ( t ) = ( p 0 , 0 , 0 ( t ) + p 1 , 0 , 0 ( t ) + p 2 , 0 , 1 ( t ) + p 2 , 0 , 0 ( t ) ) W + p 1 , 1 , 0 ( t ) ( t t + V f ( θ ) d θ [ V + ( 2 μ + 1 γ ) ( e μ ( V θ ) ( γ e μ θ μ e γ θ ) γ μ 1 ) + ( V θ 2 μ 1 γ ) μ ( e μ θ e γ θ ) γ μ + ( e μ θ e γ θ ) ( μ γ + 1 + μ θ V μ ) + γ θ e V μ γ μ + γ ( V θ ) e μ ( V θ ) ( γ e μ θ μ e γ θ ) ( γ μ ) 2 + γ e V μ ( e θ ( γ μ ) 1 ) ( γ μ ) 2 μ 2 ( γ e μ θ μ e γ θ ) ( e μ ( V θ ) e γ ( V θ ) ) γ ( γ μ ) 3 ] + I 0 2 t + V T f ( θ ) d θ ) + p 2 , 1 , 0 ( t ) I 0 2 + p 2 , 1 , 1 ( t ) I 1 2 .
It is necessary that the normalization condition be fulfilled
t e T f ( θ ) d θ = 1 p ,
and also boundary conditions for the Cauchy problem for Equation (34) can be fined as the system of state probabilities for t = t e in [7], namely:
p 0 , 0 , 0 ( t e ) = ( 1 p ) 2 , p 1 , 0 , 0 ( t e ) = 2 p ( 1 p ) ( 1 e μ t e ) , p 1 , 1 , 0 ( t e ) = 2 p ( 1 p ) e μ t e , p 2 , 0 , 1 ( t e ) = p 2 0 t e μ e μ s e γ ( t e s ) d s = p 2 μ μ γ ( e γ t e e μ t e ) , p 2 , 1 , 0 ( t e ) = p 2 0 t e μ e μ s 0 t e s γ e γ τ e μ ( t e ( s + τ ) ) d τ d s = p 2 μ γ e γ t e e μ t e ( μ t e γ t e + 1 ) ( μ γ ) 2 , p 2 , 1 , 1 ( t e ) = p 2 e μ t e , p 2 , 0 , 0 ( t e ) = p 2 0 t e μ e μ s 0 t e s γ e γ τ ( 1 e μ ( t e ( s + τ ) ) ) d τ d s = p 2 ( 1 e μ t e μ e γ t e e μ t e μ γ γ e γ t e e μ t e ( μ t e γ t e + 1 ) ( μ γ ) 2 ) .
Then, for the next step, it is necessary to solve the system of equations:
C ( 0 ) = C ( t e ) = C ( t ) = const , t [ t e , T ] .
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 [ 0 , 1 ] × [ 0 , T ] 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 [ 0 , T ] , T = 4 , and the threshold value for the first player waiting is V = 2 . Assume the service and retrieval rate μ = 2 , γ = 1 , 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
t e = 0.483 , p = 0.421 , C ( 0 ) = C ( t ) = 0.810
and Figure 4 shows the pdf f ( t ) and the C ( t ) shape on the interval [ t e , T ] . For V = 3.5 , the response value is C ( t ) = 0.850 , and for case V = 10 , we obtain C ( t ) = 1.756 , 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 t e = 0.471 , p = 0.398 , C ( 0 ) = C ( t ) = 0.797 for V = 2 .
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 f ( t ) is not a constant and decreases in the interval [ 0.471 , 4 ] . 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 [ t e , T ] .
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.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Templeton, J.G.C.; Falin, G.I. Retrial Queues; Taylor & Francis: Abingdon, UK, 2023. [Google Scholar]
  2. Kim, J.; Kim, B.; Glazer, A.; Hassin, R. A survey of retrial queuing systems. Ann. Oper. Res. 2016, 247, 3–36. [Google Scholar] [CrossRef]
  3. Phung-Duc, T. Retrial queuing models: A survey on theory and applications. arXiv 2019, arXiv:1906.09560. [Google Scholar]
  4. 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).
  5. Morozov, E.; Steyaert, B. Stability Analysis of Regenerative Queueing Models; Springer: Berlin/Heidelberg, Germany, 2021. [Google Scholar]
  6. Glazer, A.; Hassin, R. ?/M/1: On the equilibrium distribution of customer arrivals. Eur. J. Oper. Res. 1983, 13, 146–150. [Google Scholar] [CrossRef]
  7. Chirkova, J.; Mazalov, V.; Morozov, E. Equilibrium in the Queueing System with Retrials. Mathematics 2022, 10, 428. [Google Scholar] [CrossRef]
  8. Haviv, M.; Ravner, L. A survey of queuing systems with strategic timing of arrivals. Queueing Syst. 2021, 99, 163–198. [Google Scholar] [CrossRef]
  9. Haviv, M. Optimal timing of arrival to a queue. Queueing Syst. 2022, 100, 433–435. [Google Scholar] [CrossRef]
  10. Anily, S.; Haviv, M. The price of anarchy in loss systems. Nav. Res. Logist. (NRL) 2022, 69, 689–701. [Google Scholar] [CrossRef]
  11. 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 f ( t ) and payoff function C ( t ) visualization for T = 2 , μ = 2 , γ = 1 , and V = 1 .
Figure 1. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 2 , μ = 2 , γ = 1 , and V = 1 .
Mathematics 11 03535 g001
Figure 2. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 2 , μ = 2 , γ = 1 , and V = 10 .
Figure 2. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 2 , μ = 2 , γ = 1 , and V = 10 .
Mathematics 11 03535 g002
Figure 3. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 2 , μ = 2 , γ = 1 , and V = T .
Figure 3. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 2 , μ = 2 , γ = 1 , and V = T .
Mathematics 11 03535 g003
Figure 4. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 4 , μ = 2 , γ = 1 , and V = 2 .
Figure 4. Equilibrium pdf f ( t ) and payoff function C ( t ) visualization for T = 4 , μ = 2 , γ = 1 , and V = 2 .
Mathematics 11 03535 g004
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.

Share and Cite

MDPI and ACS Style

Borodina, A.; Mazalov, V. On the Equilibrium in a Queuing System with Retrials and Strategic Arrivals. Mathematics 2023, 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

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop