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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

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!