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