13.07.2015 Views

Page 2 Lecture Notes in Computer Science 2865 Edited by G. Goos ...

Page 2 Lecture Notes in Computer Science 2865 Edited by G. Goos ...

Page 2 Lecture Notes in Computer Science 2865 Edited by G. Goos ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Ste<strong>in</strong>er Systems for Topology-Transparent Access Control <strong>in</strong> MANETs 2492 Cover-Free Families, Orthogonal Arrays,and Ste<strong>in</strong>er SystemsRather than start<strong>in</strong>g with the exist<strong>in</strong>g constructions for topology-transparenttransmission schedules, let us <strong>in</strong>stead beg<strong>in</strong> anew <strong>by</strong> turn<strong>in</strong>g the problem ofgenerat<strong>in</strong>g a topology-transparent transmission schedule <strong>in</strong>to a comb<strong>in</strong>atorialquestion. Assume that time is divided <strong>in</strong>to discrete units called slots and framesare a fixed number n of slots. Suppose that each node i, 1 ≤ i ≤ N, <strong>in</strong>thenetwork is assigned a transmission schedule S i = s 1 s 2 ...s n with n slots (i.e.,one frame). If s j = 1, 1 ≤ j ≤ n, then a node may transmit <strong>in</strong> the slot j,otherwise it is silent (and could receive).In design<strong>in</strong>g a topology-transparent transmission schedule with design parametersN, the number of nodes <strong>in</strong> the network and D, the maximum nodedegree, we are <strong>in</strong>terested <strong>in</strong> the follow<strong>in</strong>g comb<strong>in</strong>atorial property. For each node,we want to guarantee that if a node i has at most D neighbours its schedule S iguarantees a collision-free transmission to each neighbour.Let us treat each schedule S i as a subset T i on {1, 2,...,n} <strong>by</strong> assign<strong>in</strong>g theelements of the subset to correspond to the positions <strong>in</strong> the schedule, i.e., j ∈ T iif s j =1<strong>in</strong>S i , j =1,...,n (<strong>in</strong> essence, S i is the characteristic vector of theset T i ). Now, the comb<strong>in</strong>atorial problem to ask is for each node i to be given asubset T i with the property that the union of D or fewer other subsets cannotconta<strong>in</strong> T i . Expressed mathematically, if T j , j =1,...,D, are D neighbours of i(T j ≠ T i ), then we require that⎛ ⎞D⋃⎝ T j⎠ ⊅ T i .j=1This is precisely a D cover-free family. These are equivalent to disjunct matrices[6] and to certa<strong>in</strong> superimposed codes [7]; see [5].Let us first observe that the exist<strong>in</strong>g constructions for topology-transparenttransmission schedules [2,10] which, as we showed <strong>in</strong> [16] correspond to an orthogonalarray, give a cover-free family.2.1 An Orthogonal Array Gives a Cover-Free FamilyLet V be a set of v symbols, usually denoted <strong>by</strong> 0, 1,...,v− 1.Def<strong>in</strong>ition 1. A k × v t array A with entries from V is an orthogonal arraywith v levels and strength t (for some t <strong>in</strong> the range 0 ≤ t ≤ k) if every t × v tsubarray of A conta<strong>in</strong>s each t-tuple based on V exactly once 1 as a column. Wedenote such an array <strong>by</strong> OA(t, k, v).Table 1 shows an example from [9] of an orthogonal array of strength twowith v = 4 levels, i.e., V = {0, 1, 2, 3}. Pick any two rows, say the third andthe fourth. Each of the sixteen ordered pairs (x, y),x,y ∈ V appears the samenumber of times, once <strong>in</strong> this case.1 Here, we assume the <strong>in</strong>dex λ =1.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!