covering codes in sierpinski graphsdmg.tuwien.ac.at/nfn/wdm2008/talks/kovse-talk.pdfoutline covering...
TRANSCRIPT
![Page 1: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/1.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Covering codes in Sierpinski graphs
Laurent Beaudou1, Sylvain Gravier1, Sandi Klavzar2,3,4, MichelMollard1, Matjaz Kovse2,4,∗
1Institut Fourier - ERTe Maths a Modeler, CNRS/Universite Joseph Fourier,France
2IMFM, Slovenia3University of Ljubljana, Slovenia4University of Maribor, Slovenia
The research was supported in part by the Slovene-French projects Proteus 17934PB (∗and Egide
Scholarschip)
Covering codes in Sierpinski graphs
![Page 2: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/2.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
1 Covering codes
2 Sierpinski graphs
3 Results
4 Problems
Covering codes in Sierpinski graphs
![Page 3: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/3.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, b)-codes
Definition
For integers a and b, an (a, b)-code is a set of vertices such thatvertices in the code have exactly a neighbors in the code and allother vertices have exactly b neighbors in the code.
M.A. Axenovich, On multiple coverings of the infinite rectangulargrid with balls of constant radius, Discrete Math. 268 (2003),31–48.
P. Dorbec, S. Gravier and M. Mollard, Weighted codes in Leemetrics, submited.
Covering codes in Sierpinski graphs
![Page 4: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/4.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, b)-codes
Definition
For integers a and b, an (a, b)-code is a set of vertices such thatvertices in the code have exactly a neighbors in the code and allother vertices have exactly b neighbors in the code.
M.A. Axenovich, On multiple coverings of the infinite rectangulargrid with balls of constant radius, Discrete Math. 268 (2003),31–48.
P. Dorbec, S. Gravier and M. Mollard, Weighted codes in Leemetrics, submited.
Covering codes in Sierpinski graphs
![Page 5: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/5.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, b)-codes
Definition
For integers a and b, an (a, b)-code is a set of vertices such thatvertices in the code have exactly a neighbors in the code and allother vertices have exactly b neighbors in the code.
M.A. Axenovich, On multiple coverings of the infinite rectangulargrid with balls of constant radius, Discrete Math. 268 (2003),31–48.
P. Dorbec, S. Gravier and M. Mollard, Weighted codes in Leemetrics, submited.
Covering codes in Sierpinski graphs
![Page 6: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/6.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
An example (of (1,3)-code)
Covering codes in Sierpinski graphs
![Page 7: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/7.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Covering codes
G.Cohen, I. Honkala, S. Lytsin and A. Lobstein, Covering codes,Elsevier, Amsterdam, 1997.
Covering codes in Sierpinski graphs
![Page 8: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/8.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Covering codes
G.Cohen, I. Honkala, S. Lytsin and A. Lobstein, Covering codes,Elsevier, Amsterdam, 1997.
Covering codes in Sierpinski graphs
![Page 9: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/9.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Covering codes
G.Cohen, I. Honkala, S. Lytsin and A. Lobstein, Covering codes,Elsevier, Amsterdam, 1997.
Covering codes in Sierpinski graphs
![Page 10: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/10.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Sierpinski graphs
The graph S(n, k) (n, k ≥ 1) is defined on the vertex set{1, 2, . . . , k}n, two different vertices u = (i1, i2, . . . , in) andv = (j1, j2, . . . , jn) being adjacent if and only if u ∼ v . The relation∼ is defined as follows: u ∼ v if there exists an h ∈ {1, 2, . . . , n}such that
it = jt , for t = 1, . . . , h − 1;
ih 6= jh; and
it = jh and jt = ih for t = h + 1, . . . , n.
Covering codes in Sierpinski graphs
![Page 11: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/11.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Sierpinski graphs
The graph S(n, k) (n, k ≥ 1) is defined on the vertex set{1, 2, . . . , k}n, two different vertices u = (i1, i2, . . . , in) andv = (j1, j2, . . . , jn) being adjacent if and only if u ∼ v . The relation∼ is defined as follows: u ∼ v if there exists an h ∈ {1, 2, . . . , n}such that
it = jt , for t = 1, . . . , h − 1;
ih 6= jh; and
it = jh and jt = ih for t = h + 1, . . . , n.
Covering codes in Sierpinski graphs
![Page 12: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/12.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Sierpinski graphs
The graph S(n, k) (n, k ≥ 1) is defined on the vertex set{1, 2, . . . , k}n, two different vertices u = (i1, i2, . . . , in) andv = (j1, j2, . . . , jn) being adjacent if and only if u ∼ v . The relation∼ is defined as follows: u ∼ v if there exists an h ∈ {1, 2, . . . , n}such that
it = jt , for t = 1, . . . , h − 1;
ih 6= jh; and
it = jh and jt = ih for t = h + 1, . . . , n.
Covering codes in Sierpinski graphs
![Page 13: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/13.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Examples
111
24
42
41
14
43
34
12
31
13
32
11
22
44
33
23
21
113
121
122
211
212
221
222 223 232 233 322 323 332
321231
213 312
123 132
133
311
313
331
333
131
112
S(3,3) S(2,4)
Covering codes in Sierpinski graphs
![Page 14: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/14.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Examples
111
24
42
41
14
43
34
12
31
13
32
11
22
44
33
23
21
113
121
122
211
212
221
222 223 232 233 322 323 332
321231
213 312
123 132
133
311
313
331
333
131
112
S(3,3) S(2,4)
Covering codes in Sierpinski graphs
![Page 15: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/15.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Examples
Figure: S(4, 3)
1111
1112
1121
1122
1211
1212
1221 1231 1321 1331
1313
1311
1133
1131
1113
1123 1132
1213 1312
2111
2112
2121 2131
2133
2113
2122
2123 31232132 31322211 2311
2212 2213 2312 2313 3212 3213 3312 3313
3311
3133
3131
31133112
3121
3122
3211
3221
1333
3111
2321 2331 3231 3321 33312221 2231
2222 2223 2233 2323 2333 3223 3233 33232232 2322 2332 3222 3232 3322 3332 3333
1222
1223 1233 13231232 1322 1332
Covering codes in Sierpinski graphs
![Page 16: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/16.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Examples
Figure: S(4, 3)
1111
1112
1121
1122
1211
1212
1221 1231 1321 1331
1313
1311
1133
1131
1113
1123 1132
1213 1312
2111
2112
2121 2131
2133
2113
2122
2123 31232132 31322211 2311
2212 2213 2312 2313 3212 3213 3312 3313
3311
3133
3131
31133112
3121
3122
3211
3221
1333
3111
2321 2331 3231 3321 33312221 2231
2222 2223 2233 2323 2333 3223 3233 33232232 2322 2332 3222 3232 3322 3332 3333
1222
1223 1233 13231232 1322 1332
Covering codes in Sierpinski graphs
![Page 17: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/17.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Some references
Introduced in...
S. Klavzar and U. Milutinovic, Graphs S(n, k) and a variant of theTower of Hanoi problem, Czechoslovak Math. J. 47(122) (1997),95–104.
Covering codes in Sierpinski graphs
![Page 18: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/18.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Motivation comes from topological theory of Fractals andUniversal spaces...
S. L. Lipscomb and J. C. Perry, Lipscomb’s L(A) space fractalizedin Hilbert’s l2(A) space, Proc. Amer. Math. Soc. 115 (1992),1157–1165.
U. Milutinovic, Completeness of the Lipscomb space, Glas. Mat.Ser. III 27(47) (1992), 343–364.
and the fact that
S(n, 3) is isomorphic to the Tower of Hanoi graph (with n disks).
Covering codes in Sierpinski graphs
![Page 19: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/19.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Motivation comes from topological theory of Fractals andUniversal spaces...
S. L. Lipscomb and J. C. Perry, Lipscomb’s L(A) space fractalizedin Hilbert’s l2(A) space, Proc. Amer. Math. Soc. 115 (1992),1157–1165.U. Milutinovic, Completeness of the Lipscomb space, Glas. Mat.Ser. III 27(47) (1992), 343–364.
and the fact that
S(n, 3) is isomorphic to the Tower of Hanoi graph (with n disks).
Covering codes in Sierpinski graphs
![Page 20: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/20.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Motivation comes from topological theory of Fractals andUniversal spaces...
S. L. Lipscomb and J. C. Perry, Lipscomb’s L(A) space fractalizedin Hilbert’s l2(A) space, Proc. Amer. Math. Soc. 115 (1992),1157–1165.U. Milutinovic, Completeness of the Lipscomb space, Glas. Mat.Ser. III 27(47) (1992), 343–364.
and the fact that
S(n, 3) is isomorphic to the Tower of Hanoi graph (with n disks).
Covering codes in Sierpinski graphs
![Page 21: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/21.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Sierpinski graphs or Klavzar-Milutinovic graphs
S. L. Lipscomb, Fractals and Universal Spaces in DimensionTheory (Springer Monographs in Mathematics), Springer-Verlag,Berlin, 2009.
Covering codes in Sierpinski graphs
![Page 22: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/22.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Sierpinski graphs or Klavzar-Milutinovic graphs
S. L. Lipscomb, Fractals and Universal Spaces in DimensionTheory (Springer Monographs in Mathematics), Springer-Verlag,Berlin, 2009.
Covering codes in Sierpinski graphs
![Page 23: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/23.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Sierpinski graphs or Klavzar-Milutinovic graphs
S. L. Lipscomb, Fractals and Universal Spaces in DimensionTheory (Springer Monographs in Mathematics), Springer-Verlag,Berlin, 2009.
Covering codes in Sierpinski graphs
![Page 24: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/24.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Some more references
S. Gravier, S. Klavzar and M. Mollard, Codes andL(2, 1)-labelings in Sierpinski graphs, Taiwanese J. Math. 9(2005), 671–681.
S. Klavzar, Coloring Sierpinski graphs and Sierpinski gasketgraphs, Taiwanese J. Math. 12 (2008), 513–522.
S. Klavzar and M. Jakovac, Vertex-, edge-, and total-coloringsof Sierpinski-like graphs, to appear in Discrete Math.
S. Klavzar, U. Milutinovic and C. Petr, 1-perfect codes inSierpinski graphs, Bull. Austral. Math. Soc. 66 (2002),369–384.
S. Klavzar and B. Mohar, Crossing numbers of Sierpinski-likegraphs, J. Graph Theory 50 (2005), 186–198.
Covering codes in Sierpinski graphs
![Page 25: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/25.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Some more references
S. Gravier, S. Klavzar and M. Mollard, Codes andL(2, 1)-labelings in Sierpinski graphs, Taiwanese J. Math. 9(2005), 671–681.
S. Klavzar, Coloring Sierpinski graphs and Sierpinski gasketgraphs, Taiwanese J. Math. 12 (2008), 513–522.
S. Klavzar and M. Jakovac, Vertex-, edge-, and total-coloringsof Sierpinski-like graphs, to appear in Discrete Math.
S. Klavzar, U. Milutinovic and C. Petr, 1-perfect codes inSierpinski graphs, Bull. Austral. Math. Soc. 66 (2002),369–384.
S. Klavzar and B. Mohar, Crossing numbers of Sierpinski-likegraphs, J. Graph Theory 50 (2005), 186–198.
Covering codes in Sierpinski graphs
![Page 26: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/26.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Some more references
S. Gravier, S. Klavzar and M. Mollard, Codes andL(2, 1)-labelings in Sierpinski graphs, Taiwanese J. Math. 9(2005), 671–681.
S. Klavzar, Coloring Sierpinski graphs and Sierpinski gasketgraphs, Taiwanese J. Math. 12 (2008), 513–522.
S. Klavzar and M. Jakovac, Vertex-, edge-, and total-coloringsof Sierpinski-like graphs, to appear in Discrete Math.
S. Klavzar, U. Milutinovic and C. Petr, 1-perfect codes inSierpinski graphs, Bull. Austral. Math. Soc. 66 (2002),369–384.
S. Klavzar and B. Mohar, Crossing numbers of Sierpinski-likegraphs, J. Graph Theory 50 (2005), 186–198.
Covering codes in Sierpinski graphs
![Page 27: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/27.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Some more references
S. Gravier, S. Klavzar and M. Mollard, Codes andL(2, 1)-labelings in Sierpinski graphs, Taiwanese J. Math. 9(2005), 671–681.
S. Klavzar, Coloring Sierpinski graphs and Sierpinski gasketgraphs, Taiwanese J. Math. 12 (2008), 513–522.
S. Klavzar and M. Jakovac, Vertex-, edge-, and total-coloringsof Sierpinski-like graphs, to appear in Discrete Math.
S. Klavzar, U. Milutinovic and C. Petr, 1-perfect codes inSierpinski graphs, Bull. Austral. Math. Soc. 66 (2002),369–384.
S. Klavzar and B. Mohar, Crossing numbers of Sierpinski-likegraphs, J. Graph Theory 50 (2005), 186–198.
Covering codes in Sierpinski graphs
![Page 28: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/28.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Some more references
S. Gravier, S. Klavzar and M. Mollard, Codes andL(2, 1)-labelings in Sierpinski graphs, Taiwanese J. Math. 9(2005), 671–681.
S. Klavzar, Coloring Sierpinski graphs and Sierpinski gasketgraphs, Taiwanese J. Math. 12 (2008), 513–522.
S. Klavzar and M. Jakovac, Vertex-, edge-, and total-coloringsof Sierpinski-like graphs, to appear in Discrete Math.
S. Klavzar, U. Milutinovic and C. Petr, 1-perfect codes inSierpinski graphs, Bull. Austral. Math. Soc. 66 (2002),369–384.
S. Klavzar and B. Mohar, Crossing numbers of Sierpinski-likegraphs, J. Graph Theory 50 (2005), 186–198.
Covering codes in Sierpinski graphs
![Page 29: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/29.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
One more basic definiton and the main observation
Two types of vertices
A vertex of the form 〈ii . . . i〉 of S(n, k) is called an extremevertex , the other vertices are called inner.
The extreme vertices of S(n, k) are of degree k − 1 while thedegree of the inner vertices is k .Note that there are k extreme vertices and that |S(n, k)| = kn.
Covering codes in Sierpinski graphs
![Page 30: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/30.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
One more basic definiton and the main observation
Two types of vertices
A vertex of the form 〈ii . . . i〉 of S(n, k) is called an extremevertex , the other vertices are called inner.The extreme vertices of S(n, k) are of degree k − 1 while thedegree of the inner vertices is k .
Note that there are k extreme vertices and that |S(n, k)| = kn.
Covering codes in Sierpinski graphs
![Page 31: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/31.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
One more basic definiton and the main observation
Two types of vertices
A vertex of the form 〈ii . . . i〉 of S(n, k) is called an extremevertex , the other vertices are called inner.The extreme vertices of S(n, k) are of degree k − 1 while thedegree of the inner vertices is k .Note that there are k extreme vertices and that |S(n, k)| = kn.
Covering codes in Sierpinski graphs
![Page 32: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/32.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
One more basic definiton and the main observation
Two types of vertices
A vertex of the form 〈ii . . . i〉 of S(n, k) is called an extremevertex , the other vertices are called inner.The extreme vertices of S(n, k) are of degree k − 1 while thedegree of the inner vertices is k .Note that there are k extreme vertices and that |S(n, k)| = kn.
Covering codes in Sierpinski graphs
![Page 33: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/33.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
The main observation
Every vertex of S(n, k) lies in a unique maximal k-clique (completesubgraph of size k).
More precisely
Extremal verices are simplicial vertices (their neighborhood inducescomplete subgraph), and closed neighborhoods of inner verticesinduce complete graphs + an additional edge.
Covering codes in Sierpinski graphs
![Page 34: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/34.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
The main observation
Every vertex of S(n, k) lies in a unique maximal k-clique (completesubgraph of size k).
More precisely
Extremal verices are simplicial vertices (their neighborhood inducescomplete subgraph), and closed neighborhoods of inner verticesinduce complete graphs + an additional edge.
Covering codes in Sierpinski graphs
![Page 35: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/35.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
The main observation
Every vertex of S(n, k) lies in a unique maximal k-clique (completesubgraph of size k).
More precisely
Extremal verices are simplicial vertices (their neighborhood inducescomplete subgraph), and closed neighborhoods of inner verticesinduce complete graphs + an additional edge.
Covering codes in Sierpinski graphs
![Page 36: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/36.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Figure: S(4, 3)
1111
1112
1121
1122
1211
1212
1221 1231 1321 1331
1313
1311
1133
1131
1113
1123 1132
1213 1312
2111
2112
2121 2131
2133
2113
2122
2123 31232132 31322211 2311
2212 2213 2312 2313 3212 3213 3312 3313
3311
3133
3131
31133112
3121
3122
3211
3221
1333
3111
2321 2331 3231 3321 33312221 2231
2222 2223 2233 2323 2333 3223 3233 33232232 2322 2332 3222 3232 3322 3332 3333
1222
1223 1233 13231232 1322 1332
Covering codes in Sierpinski graphs
![Page 37: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/37.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Figure: S(4, 3)
1111
1112
1121
1122
1211
1212
1221 1231 1321 1331
1313
1311
1133
1131
1113
1123 1132
1213 1312
2111
2112
2121 2131
2133
2113
2122
2123 31232132 31322211 2311
2212 2213 2312 2313 3212 3213 3312 3313
3311
3133
3131
31133112
3121
3122
3211
3221
1333
3111
2321 2331 3231 3321 33312221 2231
2222 2223 2233 2323 2333 3223 3233 33232232 2322 2332 3222 3232 3322 3332 3333
1222
1223 1233 13231232 1322 1332
Covering codes in Sierpinski graphs
![Page 38: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/38.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Results
Easy observation
Codes in Sierpinski graphs S(1, k) = complete graphs are clear,therefore from now on we always assume that n ≥ 2.
Covering codes in Sierpinski graphs
![Page 39: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/39.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Results
Easy observation
Codes in Sierpinski graphs S(1, k) = complete graphs are clear,therefore from now on we always assume that n ≥ 2.
Covering codes in Sierpinski graphs
![Page 40: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/40.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Necessary conditions
Lemma
Let C be an (a, b)-code in S(n, k) then a < k or b = 0.
Lemma
Let C be an (a, b)-code in S(n, k) and Kk its clique. Thenb − 1 ≤ |C ∩ Kk | ≤ a + 1.
Lemma
Let C be an (a, b)-code of S(n, k). Then a ≤ b.
An immediate consequence of Lemmas 2 and 3 gives that the onlypossible (a, b)-codes are for b = a, a + 1 or a + 2.
Covering codes in Sierpinski graphs
![Page 41: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/41.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Necessary conditions
Lemma
Let C be an (a, b)-code in S(n, k) then a < k or b = 0.
Lemma
Let C be an (a, b)-code in S(n, k) and Kk its clique. Thenb − 1 ≤ |C ∩ Kk | ≤ a + 1.
Lemma
Let C be an (a, b)-code of S(n, k). Then a ≤ b.
An immediate consequence of Lemmas 2 and 3 gives that the onlypossible (a, b)-codes are for b = a, a + 1 or a + 2.
Covering codes in Sierpinski graphs
![Page 42: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/42.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Necessary conditions
Lemma
Let C be an (a, b)-code in S(n, k) then a < k or b = 0.
Lemma
Let C be an (a, b)-code in S(n, k) and Kk its clique. Thenb − 1 ≤ |C ∩ Kk | ≤ a + 1.
Lemma
Let C be an (a, b)-code of S(n, k). Then a ≤ b.
An immediate consequence of Lemmas 2 and 3 gives that the onlypossible (a, b)-codes are for b = a, a + 1 or a + 2.
Covering codes in Sierpinski graphs
![Page 43: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/43.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Necessary conditions
Lemma
Let C be an (a, b)-code in S(n, k) then a < k or b = 0.
Lemma
Let C be an (a, b)-code in S(n, k) and Kk its clique. Thenb − 1 ≤ |C ∩ Kk | ≤ a + 1.
Lemma
Let C be an (a, b)-code of S(n, k). Then a ≤ b.
An immediate consequence of Lemmas 2 and 3 gives that the onlypossible (a, b)-codes are for b = a, a + 1 or a + 2.
Covering codes in Sierpinski graphs
![Page 44: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/44.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Divisibility condition
Lemma
Let C be an (a, b)-code of S(n, k) with d extremal vertices in C.Then
|C | · (k − a + b) = bkn + d .
Corollary
Let C be an (a, b)-code of S(n, k) without extremal vertices. Then(k − a + b)|bkn.
Covering codes in Sierpinski graphs
![Page 45: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/45.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Divisibility condition
Lemma
Let C be an (a, b)-code of S(n, k) with d extremal vertices in C.Then
|C | · (k − a + b) = bkn + d .
Corollary
Let C be an (a, b)-code of S(n, k) without extremal vertices. Then(k − a + b)|bkn.
Covering codes in Sierpinski graphs
![Page 46: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/46.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Handshaking Lemma gives...
Lemma
If a and k are odd then there is no (a, a)-code in S(n, k).
From the divisibility condition it follows:
Lemma
If an (a, a + 2)-code exists in S(n, k), then n = 2 and k = 2a + 1.
Covering codes in Sierpinski graphs
![Page 47: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/47.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Handshaking Lemma gives...
Lemma
If a and k are odd then there is no (a, a)-code in S(n, k).
From the divisibility condition it follows:
Lemma
If an (a, a + 2)-code exists in S(n, k), then n = 2 and k = 2a + 1.
Covering codes in Sierpinski graphs
![Page 48: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/48.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Existence results
Lemma
Suppose there exist (a, b)-code in S(2, k) that does not includeany of the extreme vertices, then there also exists (a, b)-code inS(n, k) for all n ≥ 3.
Covering codes in Sierpinski graphs
![Page 49: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/49.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
111
24
42
41
14
43
34
12
31
13
32
11
22
44
33
23
21
113
121
122
211
212
221
222 223 232 233 322 323 332
321231
213 312
123 132
133
311
313
331
333
131
112
S(3,3) S(2,4)
Covering codes in Sierpinski graphs
![Page 50: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/50.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
111
24
42
41
14
43
34
12
31
13
32
11
22
44
33
23
21
113
121
122
211
212
221
222 223 232 233 322 323 332
321231
213 312
123 132
133
311
313
331
333
131
112
S(3,3) S(2,4)
Covering codes in Sierpinski graphs
![Page 51: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/51.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, a)-codes in S(n, k)
Lemma
An (a, a)-code of S(n, k), n ≥ 2, a < k, exist if and only if:
(i) a is even or
(ii) a is odd and k is even.
Corollary
Let C be an (a, a)-code in S(n, k). Then |C | = a · kn−1.
Covering codes in Sierpinski graphs
![Page 52: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/52.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, a)-codes in S(n, k)
Lemma
An (a, a)-code of S(n, k), n ≥ 2, a < k, exist if and only if:
(i) a is even or
(ii) a is odd and k is even.
Corollary
Let C be an (a, a)-code in S(n, k). Then |C | = a · kn−1.
Covering codes in Sierpinski graphs
![Page 53: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/53.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, a + 2)-codes in S(2, k)
Lemma
An (a, a + 2)-code exists in S(n, k) for n = 2 and k = 2a + 1.
Proof.
Idea: use (an arbitrary) Eulerian tour of Kn and includealternatively vertices from the corresponding k-cliques of S(2, k)into the code.
Covering codes in Sierpinski graphs
![Page 54: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/54.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, a + 2)-codes in S(2, k)
Lemma
An (a, a + 2)-code exists in S(n, k) for n = 2 and k = 2a + 1.
Proof.
Idea: use (an arbitrary) Eulerian tour of Kn and includealternatively vertices from the corresponding k-cliques of S(2, k)into the code.
Covering codes in Sierpinski graphs
![Page 55: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/55.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(2,4)-code in S(2, 5)
〈04〉〈00〉
〈01〉
〈02〉〈03〉〈10〉
〈11〉
〈12〉〈13〉
〈14〉
〈20〉
〈40〉
〈30〉
〈21〉
〈22〉〈23〉
〈24〉〈31〉
〈32〉〈33〉
〈34〉
〈44〉
〈43〉
〈41〉
〈42〉
Eulerian tour in K5:0 → 1 → 2 → 3 → 4 → 0 → 2 → 4 → 1 → 3 → 0
0
1
23
4
Covering codes in Sierpinski graphs
![Page 56: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/56.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Corollary
Let C be an (a, a + 2)-code in S(n, k), where n = 2 andk = 2a + 1. Then |C | = (a + 1) · k.
Covering codes in Sierpinski graphs
![Page 57: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/57.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Near codes and (a, a + 1)-codes
C is a near code if the condition from the definition of (a, b)-codeis fulfilled for all inner vertices.
In this case extreme vertices miss at most one neighbor from thecode.
We denote by • extremal vertices in the near code and ◦ extremalvertices in its complementary. Furthermore, we add the subscript ∗for a vertex of weight 0 and + for weight 1.
Covering codes in Sierpinski graphs
![Page 58: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/58.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Near codes and (a, a + 1)-codes
C is a near code if the condition from the definition of (a, b)-codeis fulfilled for all inner vertices.
In this case extreme vertices miss at most one neighbor from thecode.
We denote by • extremal vertices in the near code and ◦ extremalvertices in its complementary. Furthermore, we add the subscript ∗for a vertex of weight 0 and + for weight 1.
Covering codes in Sierpinski graphs
![Page 59: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/59.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Special near codes
SOn is a near code with the additional conditions n is odd andthere are a + 1 extreme vertices •∗ and the k − a− 1 othersare ◦∗ (in particular SOn is an (a, a + 1)-code).
WOn is a near code with the additional conditions n is oddand there are a extreme vertices •+ and the k − a others are◦+
SEn is a near code with the additional conditions n is even andthere are a extreme vertices •+ and the k − a others are •∗.
WEn is a near code with the additional conditions n is evenand there are a + 1 extreme vertices ◦+ and the k − a− 1others are ◦∗
Covering codes in Sierpinski graphs
![Page 60: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/60.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Special near codes
SOn is a near code with the additional conditions n is odd andthere are a + 1 extreme vertices •∗ and the k − a− 1 othersare ◦∗ (in particular SOn is an (a, a + 1)-code).
WOn is a near code with the additional conditions n is oddand there are a extreme vertices •+ and the k − a others are◦+
SEn is a near code with the additional conditions n is even andthere are a extreme vertices •+ and the k − a others are •∗.
WEn is a near code with the additional conditions n is evenand there are a + 1 extreme vertices ◦+ and the k − a− 1others are ◦∗
Covering codes in Sierpinski graphs
![Page 61: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/61.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Special near codes
SOn is a near code with the additional conditions n is odd andthere are a + 1 extreme vertices •∗ and the k − a− 1 othersare ◦∗ (in particular SOn is an (a, a + 1)-code).
WOn is a near code with the additional conditions n is oddand there are a extreme vertices •+ and the k − a others are◦+
SEn is a near code with the additional conditions n is even andthere are a extreme vertices •+ and the k − a others are •∗.
WEn is a near code with the additional conditions n is evenand there are a + 1 extreme vertices ◦+ and the k − a− 1others are ◦∗
Covering codes in Sierpinski graphs
![Page 62: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/62.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Special near codes
SOn is a near code with the additional conditions n is odd andthere are a + 1 extreme vertices •∗ and the k − a− 1 othersare ◦∗ (in particular SOn is an (a, a + 1)-code).
WOn is a near code with the additional conditions n is oddand there are a extreme vertices •+ and the k − a others are◦+
SEn is a near code with the additional conditions n is even andthere are a extreme vertices •+ and the k − a others are •∗.
WEn is a near code with the additional conditions n is evenand there are a + 1 extreme vertices ◦+ and the k − a− 1others are ◦∗
Covering codes in Sierpinski graphs
![Page 63: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/63.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Theorem
Let n ≥ 2, a ≥ 0 and k > a be integers. The near codes of S(n, k)are precisely SOn and WOn if n is odd and SEn and WEn if n iseven.
Covering codes in Sierpinski graphs
![Page 64: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/64.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
(a, a + 1)-codes in S(n, k)
Corollary
Graph S(n, k) admits an (a, a + 1)-code if and only if n is odd and0 ≤ a ≤ k − 1.
Corollary
Let C be an (a, a + 1)-code in S(n, k), where n is an odd number.Then |C | = (a + 1) · kn+1
k+1 .
Covering codes in Sierpinski graphs
![Page 65: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/65.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Main result
Theorem
The existing (a, b)-codes in S(n, k) satisfy 0 ≤ a < k and they areof three different types:
(i) An (a, a)-code in S(n, k) for n ≥ 2 and k is even or a is evenand k is odd.
(ii) An (a, a + 1)-code in S(n, k) for k odd.
(iii) An (a, a + 2)-code in S(n, k) for n = 2 and k = 2a + 1.
Covering codes in Sierpinski graphs
![Page 66: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/66.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Uniqueness of (a, b)-codes
Are all (a, b)-codes in Sierpinski graphs (up to the automorphisms)unique?
Distinguishing number of Sierpinski graphs
Is it larger than 2?
Another fractal type constructions
might be interesting to study different graph parameters.
Covering codes in Sierpinski graphs
![Page 67: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/67.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Uniqueness of (a, b)-codes
Are all (a, b)-codes in Sierpinski graphs (up to the automorphisms)unique?
Distinguishing number of Sierpinski graphs
Is it larger than 2?
Another fractal type constructions
might be interesting to study different graph parameters.
Covering codes in Sierpinski graphs
![Page 68: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/68.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Uniqueness of (a, b)-codes
Are all (a, b)-codes in Sierpinski graphs (up to the automorphisms)unique?
Distinguishing number of Sierpinski graphs
Is it larger than 2?
Another fractal type constructions
might be interesting to study different graph parameters.
Covering codes in Sierpinski graphs
![Page 69: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/69.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
Uniqueness of (a, b)-codes
Are all (a, b)-codes in Sierpinski graphs (up to the automorphisms)unique?
Distinguishing number of Sierpinski graphs
Is it larger than 2?
Another fractal type constructions
might be interesting to study different graph parameters.
Covering codes in Sierpinski graphs
![Page 70: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/70.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T
H A N K Y O U!
Covering codes in Sierpinski graphs
![Page 71: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/71.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H
A N K Y O U!
Covering codes in Sierpinski graphs
![Page 72: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/72.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A
N K Y O U!
Covering codes in Sierpinski graphs
![Page 73: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/73.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N
K Y O U!
Covering codes in Sierpinski graphs
![Page 74: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/74.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N K
Y O U!
Covering codes in Sierpinski graphs
![Page 75: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/75.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N K
Y O U!
Covering codes in Sierpinski graphs
![Page 76: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/76.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N K Y
O U!
Covering codes in Sierpinski graphs
![Page 77: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/77.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N K Y O
U!
Covering codes in Sierpinski graphs
![Page 78: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/78.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N K Y O U
!
Covering codes in Sierpinski graphs
![Page 79: Covering codes in Sierpinski graphsdmg.tuwien.ac.at/nfn/WDM2008/talks/kovse-talk.pdfOutline Covering codes Sierpinski graphs Results Problems (a;b)-codes De nition For integers a and](https://reader036.vdocuments.mx/reader036/viewer/2022062922/5f09ffa87e708231d429851d/html5/thumbnails/79.jpg)
OutlineCovering codes
Sierpinski graphsResults
Problems
T H A N K Y O U!
Covering codes in Sierpinski graphs