
 
2.2  Some Analytical Results 
Two  basic  Lemmas  provide  the  possibility  of  the 
FBP  and  RBP  construction.  The  first  deals  with  a 
particular case of the S
2s
 and S
3s
 while the second is 
a general case for  every value of S
2s
, S
3s
. Proofs and 
details  for  the  case  of  empty  slots  BP  are  not 
included  in this work due to limited space.   
After making sure that there is a  RBP  the data 
from the array (the minor cycles for each array line) 
are  transferred  to  queues  for  broadcasting.  For 
multiple channels, the data from integrated relations 
are grouping and then are broadcasting.   
Example 5:  The relation A= (a, b, c, d, f) has the 
following  three  subrelations  (s_sub
i
)  starting  from 
the end one; the  3-subrelation  (f)  with  s_sub
3
 =  1,   
the 2-subrelation (b,c,d) with s_sub
2
 = 3, and  the 1-
subrelation (a)  with s_sub
1
 =1. The size of relation 
(s_rel) =5.  
Lemma 1 (particular case): The basic conditions in 
order from a set of data to have a regular broadcast 
plan are: k= S
2s
 / S
3s
 (1) and m= it_mu
2
= S
2s
 / k (2) 
(item multiplicity).  
Proof:  For  (1)  if  k=  S
2s
  |  S
3s
 
 
  then  the  k  offered 
positions can be covered by items of S
2s
 and we can 
take a full BP. From (2) m represent the number of 
times  (it_mu)  that  an  item  of  S
2 
will    be  in  the 
relation.                                                                      
Example 6: (full BP) Consider the case of: S
1
 = {1}, 
S
2
 ={2,3},  S
3
 = { 4,5,6,7,8,9, 10, 11}. Moreover k= 
S
2s
 | S
3s
 = 4(8/2) , and m=2(4/2) the it_mu 
2
 =2=4/2 . 
The relations for the full BP are: (1,2,4,5), (1,3,6,7), 
(1,2,8,9)(1,3,8,9). Since (s_sub
3 
/ s_sub
2
) >1 we have 
r_p =4 (2*2).  
Example 7: Let’s consider  S1 = {1}, S2 ={2,3,4,5},  
S3 = {6,7,8,9, 10, 11,12,13}. Again,  k=2(8/4), m= 
it_mu 
2
=2(4/2).  Hence  the  FBP  is  (1,2,3,6,7), 
(1,4,5,8,9),(1,2,3,10,11)  ,(1,4,5,12,13).    The 
subrelations (2,3) (4,5).  
Lemma  2  (general  case):  Given  that  S
2s
  and    S
3s
  
(and S
2s
  S
3s
) with  k
1
 , k
2
 their  common divisors as: 
k
1
 = n/S
2s
 (3) and k
2
 = n/S
3s
 (4) (where n= common 
divisors of   S
2s
 and S
3s
 ):  (a) if  k
2
 < S
2s
 and k
2
/S
2s
  
(5) then there is  an RBP with it_mu
2
 =  k
2
/S
2s 
  (b) if  
k
2
 > S
2s
 and  S
2s
 /k
2
 (6) then there is  an RBP with 
it_mu
2
 =  S
2s
 /k
2 
   
The RBP will have for both cases  k
2
 relations.   
Proof:  From (3) we get that the number of S
2
 items 
in a  line s_sub
2
 = k
1
 / S
2s
. From (4) we have s_sub
3 
= k
2
/  S
3s
. If   (5) is valid then it  means that the k
2
 
positions (offered by S
3
 ) can be covered  by k
2
/S
2s
 
items (it_mu
2
). If (6) is valid then it means that    the 
k
2
 positions (offered by S3) can be covered by  S
2s
 / 
k
2
                                                                                
Example 8: S
1
 = {1}, S
2
 ={2,..,13},  S
3
 = { 15,..,32} 
,  S
2s
  =  12,  S
3s
  =  18.  If  n  =3,  k
1
  =  3/12  =4,    k
2 
= 
3/18=6,  and  k
2
/S
2s 
=  6/12  =  2.  Hence  we  have    6 
relations  and  the  2-subrelations  are: 
(….,2,3,4,5,…),(…,6,7,8,9…),(…,10,11,12,13,…), 
(….,2,3,4,5,…),(…,6,7,8,9…),(…,10,11,12,13,…). 
If n=2, k
1
 = 2/12 =6,  k
2 
= 2/18=9, and from k
2
/S
2s 
=we have 9  12.  
The less dimension principle, LDP, coming from 
the diminishing of the size of cold set  s_sum
k-1
  (for 
k sets ), the provides an opportunity to minimize the 
delay (especially for the hot data) by using smaller  
number of data in s_sum. If an RBP is feasible for  
the  low  dimension  of  values    this  area    can    be 
copied many times and provide an RBP for  all the 
available channels. 
Example  9:  Let  us  consider  S
1s
=10, 
S
2s
=20,S
3s
=40,S
5s
=120.  Taking:  d
1
= 
5,d
2
=5,d
3
=5,d
4
=1    with  s_sum  =  16  the    AWT
1 
= 
32(=4+5+5+1  +  4+5+5+1  +  1).  For    d
1
= 
5,d
2
=5,d
3
=8,d
4
=1  with s_sum = 19 the  AWT
1 
= 38. 
Considering smaller size of  s_sum for an  RBP  
the size of PV
i
 is increasing. Finally : from LDP  the 
AWT (LDP) is less that any other size of s_sum  
Theorem  1  :  Let  us  consider  the case  of    multiple 
channel  allocation  with    different    multiplicity  of 
sets (such as:  S
1
, S
2
, S
3
). Then, if pvi|d4, the validity 
of  multiplicity constraint (it_mu
i+1
 <it_mu
i
 (i=1,..,k-
1) can  be achieved from the pv criterion ( pv
i
 <pv
i+1
 
,  i<k,  k=#sets).  Similarly  the  pv  criterion  can 
guarantee the multiplicity constraint criterion. 
Proof: Lets prove that if pv
i
< pv
i+1
 (1) then it_mu
i
 > 
it_mu
i+1
. (2). From (1) =>1/ pv
i
 > 1/ pv
i+1
 => d
4
/ pv
i
 
> d
4
/ pv
i+1
. If    (d
4
/ pv
i
 )  I, => it_mu
i
 > it_mu
i+1
. 
Following the reverse order we can go  from (2) to 
(1).  Therefore,  it  is  not  necessary  to  examine  the 
multiplicity  criterion  and  the  pv  criterion  can 
provide the multiplicity.                                             
Example 10:  Let’s  consider    again  the  same    four 
sets    S
1
,S
2
,S
3
,S
4 
  with  S
1s
=10,  S
2s
=20,S
3s
=  40,  S
4s
 
=120. If gl =20 (20 is a divisor of 120)  then S
1s
 / gl,  
S
2s
  /  gl,  gl  /  S
3s. 
The  chg  exists.  The  number  of 
channels is: nc=120/20= 6. Considering s_sum1 = 5, 
s_sum2=5,s_sum3=8  then  pv
1
  =  10/5=2,  pv
2
= 
20/5=4,  pv
3
  =40/8=5.  We  have  pv
1
<pv
2
<pv
3
  (pv 
criterion) and since pv
1
|20 ,pv
2
|20,pv
3
|20   (or d
4
 | pv
i
 
)  I ) then the chg is valid and and an RBP can be 
constructed. From all  this process it is evident that 
there is no need  to test the cmc .  
Theorem 2: If pv
i
 (i<k, k =#sets) are analogous to a
i
 
the  AWT
i 
are  also  analogous  to  the  a
i
  and  pv1  / 
AWT1 = pv
2
/AWT
2
 =…= pv
k
 / AWT
k-1
. 
Proof:  Let us consider k=4. and  (pv
1
/a
1
) = (pv
2
/a
2
) 
= (pv
3
/a
3
)                                                                (1) 
Data Dimensioning for Delay Differentiation Services in Regular Plans for Mobile Clients
71