68 3.2.1 Borne inférieure générale, p.70 ,
´ elément du code en position Eb. S'il y a unélémentunélément du code en position Cb, d'après le lemme 3.46, F + (?2, 0) est une 6 + -fenêtre, et d'après la condition 2, ?1, 0) est aussi une 6 + -fenêtre ,
?1) est nécessairement une 6 + -fenêtre, et d'après le lemme 3.46, F + (1, ?2) est une 6 + -fenêtre Aussi nous pouvons supposer qu'il n'y a pas d'´ elément du code en position Gd. Par symétrie, nous pouvons supposer qu'il n'y a pas d'´ elément du code parmi les positions Be, Bc et Dg. En utilisant la condition 2, cela implique qu'il y a deuxéléments deuxéléments du code en position Db et Bd. S'il y a unélémentunélément du code en position Gg, F + (1, ?1) est nécessairement une 6 + -fenêtre, et d'après le lemme 3 ?1) est une 6 + -fenêtre. Aussi nous pouvons supposer qu'il n'y a pas d'´ elément du code en position Gg. S'il y a unélémentunélément du code en position Ge, ?1) est nécessairement une 6 + fenêtre . S'il y a unélémentunélément du code en position Fb, F + (?1, ?1) est nécessairement une 6-fenêtre aussi. Sinon, F + (?2, ?1), F + (?1, 1) ou F + (?2, 2) est une 6 + fenêtre S'il y a unélémentunélément du code en position Fb (resp. en position Bf), F + (?1 ,
Supposons qu'il n'y a pas d'´ elément du code parmi les positions Ed et ,
?1) et F + (2, 1) sont des 6 + -fenêtres. Supposons qu'il y ait unélémentunélément du code en position Ed ou Ee. Alors, d'après la condition 2, F + (0, 1) est une 6 + -fenêtre. S'il y a unélémentunélément du code en position Ed, d'après le lemme 3, ?1) est une 6 + -fenêtre. S'il y a unélémentunélément du code en position Ee, d'après le lemme 3.46, F + (1, 1) est une 6 + -fenêtre ,
F + (?1, 0) est une 6 + -fenêtre. D'après la condition 1, il y a unélémentunélément du code parmi les positions Cb et Fb. Alors, d'après le lemme 3, pp.0-6 ,
F + (?1, 0) est une 6 + -fenêtre. D'après la condition 2, il y a unélémentunélément du code parmi les positions Dd et Ed. S'il y a unélémentunélément du code en position Dd (resp, Ed et pas en Dd), d'après le lemme 3.46, F + (1, 1) (resp. F + (1, ?1)) est une 6 + -fenêtre ,
D'après le lemme 3.46, F + (?1, 0) est une 6 + -fenêtre, Si F +, issue.1 1 ,
134 4.2.2 Codes identifiants tolérants, p.139 ,
176 5.3.1 En fonction du nombre de sommets, p.186 ,
Si G n'est pas ?-régulier et connexe, alors G est (? ? 1)-dégénéré et la proposition 5.25 s'applique. Supposons donc que G est connexe et ?-régulier. Soit v un sommet de G Chaque composante connexe de G ? v est (? ? 1)-dégénérée et donc G ? v est (? ? 1)- dégénéré. D'après la proposition 5.25, G ? v a une coloration localement identifiante avec 2? 2 ? 3? + 1 couleurs Comme auparavant, nous recolorions chaque voisin de v de telle sorte que la coloration reste localement identifiante et qu'un voisin de v n'ayant pas le même voisinage que v ait dans son voisinage une couleur qui n'appara??tappara??t pas dans les voisins de v. Pour faire cela, il y a 2(??1) 2 couleurs interdites d'après le lemme 5.24 et ? couleurs interdites par les couleurs des voisins, dont une comptée en double, Preuve du théorème 5 Cela fait donc 2? 2 ? 3? + 1 couleurs interdites. En ajoutantéventuellement ajoutantéventuellement une couleur, nous obtenons une coloration localement identifiante de G ? v avec 2? 2 ? 3? + 2 couleurs. On peut maintenant donner une couleur compì etement nouvellè a v et obtenir une coloration localement identifiante de G avec 2? 2 ? 3? + 3. Nous avons donc montré que ? lid (G) = O(? 2 ) et qu'il existe des graphes ayant besoin d'un nombre de couleurs de l'ordre de ? 2 couleurs. Cependant, nous ne connaissons pas le coefficient optimal pour cette borne ,
,v n?1 les sommets de P n . D'après le lemme 5 ,
+ k + 1, nous ne créons pas d'arêtes c(v i )(c(v i )+k+1) En effet, aucun sommet de la clique C n'a la couleur c(v i )+k+1 = c(v j ) car la coloration c est propre dans G i?1 (fait (i)). De plus, tous les sommets de C sont adjacentàadjacent`adjacentà v j , et d'après (ii) n' ,
Pour montrer que la coloration est localement identifiante, prenons deux sommets v i et v j adjacents, tels que N [v i ] = N [v j ]. Supposons tout d'abord que i, j ? k. Sans perte de généralité, supposons qu'il existe un sommet adjacentàadjacent`adjacentà v i mais pasàpas ,
Sans perte de généralité, supposons que i < j et que j > k. Soit C le voisinage ouvert de v j dans G j . Par définition de c, il y a un sommet v ? dans G j?1 tel que C ? {v ? } soit une (k + 1)-clique et tel que c(v j ) = c(v ? ) + k + 1. Dans tous les cas, c(v j ) = c(v ? ) + k + 1, et la couleur c(v ? ) est dans le voisinage de v i mais pas de v j d'après le fait (ii) ,
la propriété ? G est ?-lid-coloriable ? peut s'exprimer en CMSOL (voir le chapitre 3 page 93) En effet,E ? forment une partition s'exprime facilement en CMSOL, ce qui nous une coloration propre, Pour tester si elle est localement identifiante, on peut tester pour chaque paire de sommets {x, y}, s'ils sont jumeaux et si il existe une couleur qui les sépare ,
Nous avons donc une lid-colorationrégulì ere de G. Si v est de degré 1 dans G ? , alors v est adjacentàadjacent`adjacentà un sommet w de G ? et nous donnonsàdonnons`donnonsà u une couleur qui n'est pas dans c ,
x 8 } admet une 5-lid-colorationrégulì ere. Sans perte de généralité, supposons que c(x 1 ) = 1 et que c, p.3 ,
Si le degré de x 9 dans G ? est 1, alors x 9 est adjacentàadjacent`adjacentà un sommet x 10 de degré au moins 2 et nous posons b = c(x 10 ) et c ? {1 Le tableau suivant donne les valeurs de x 2 , x 3 , ...x 8 en fonction des valeurs possibles de (a; b, c) Notons que c(x 2 ) ? {1, 2, 3}, c(x 3 ) / ? {1, 2, 3}, c(x 6 ) = a, c(x 7 ) / ? {a, b, c}, c(x 8 ) = c et quatre sommets consécutifs ont des couleurs distinctes. La coloration obtenue est donc une lid-colorationrégulì ere de G, ce qui est contradictoire, pp.2431543-2431542 ,
Minimal identifying codes in trees and planar graphs with large girth, European Journal of Combinatorics, vol.31, issue.5, pp.1372-1384, 2010. ,
DOI : 10.1016/j.ejc.2009.11.012
Complexity results for identifying codes in planar graphs, International Transactions in Operational Research, vol.29, issue.7, pp.691-710, 2010. ,
DOI : 10.1111/j.1475-3995.2009.00750.x
Watching systems in graphs: An extension of identifying codes, Discrete Applied Mathematics, vol.161, issue.12, 2012. ,
DOI : 10.1016/j.dam.2011.04.025
URL : https://hal.archives-ouvertes.fr/hal-00481469
Covering codes in Sierpi´nskiSierpi´nski graphs, Discrete Mathematics & Theoretical Computer Science, vol.12, issue.3, pp.63-74, 2010. ,
Exact Minimum Density of Codes Identifying Vertices in the Square Grid, SIAM Journal on Discrete Mathematics, vol.19, issue.1, pp.69-82, 2005. ,
DOI : 10.1137/S0895480104444089
Total domination in interval graphs, Information Processing Letters, vol.23, issue.3, pp.131-134, 1986. ,
DOI : 10.1016/0020-0190(86)90112-2
Codes identifiants et codes localisateurs-dominateurs sur certains graphes, 2001. ,
Identifying and locating-dominating codes on chains and cycles, European Journal of Combinatorics, vol.25, issue.7, pp.969-987, 2004. ,
DOI : 10.1016/j.ejc.2003.12.013
URL : http://doi.org/10.1016/j.ejc.2003.12.013
Combinatorics : Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability, 1986. ,
Dominating Sets in Chordal Graphs, SIAM Journal on Computing, vol.11, issue.1, pp.191-199, 1982. ,
DOI : 10.1137/0211015
An upper bound for the chromatic number of hypergraphs, Sakharth. SSR Mecn. Akad. Moambe, 1974. ,
Discriminating codes in bipartite graphs, Electronic Notes in Discrete Mathematics, vol.26, pp.29-35, 2006. ,
DOI : 10.1016/j.endm.2006.08.005
Lobstein : Discriminating codes in bipartite graphs : bounds, extremal cardinalities, complexity, Advances in Mathematics of Communications, pp.403-420, 2008. ,
New identifying codes in the binary Hamming space, European Journal of Combinatorics, vol.31, issue.2, pp.491-501, 2010. ,
DOI : 10.1016/j.ejc.2009.03.032
A linear algorithm for minimum 1-identifying codes in oriented trees, Discrete Applied Mathematics, vol.154, issue.8, pp.1246-1253, 2006. ,
DOI : 10.1016/j.dam.2005.11.007
URL : https://hal.archives-ouvertes.fr/hal-00360156
The minimum density of an identifying code in the king lattice, Discrete Mathematics, vol.276, issue.1-3, pp.95-109, 2004. ,
DOI : 10.1016/S0012-365X(03)00306-6
Lobstein : Identifying codes with small radius in some infinite regular graphs, Electronic Journal of Combinatorics, vol.8, 2002. ,
Minimizing the size of an identifying or locating-dominating code in a graph is NP-hard, Theoretical Computer Science, vol.290, issue.3, pp.2109-2120, 2003. ,
DOI : 10.1016/S0304-3975(02)00536-4
Extremal cardinalities for identifying and locating-dominating codes in graphs, Discrete Mathematics, vol.307, issue.3-5, pp.3-5356, 2007. ,
DOI : 10.1016/j.disc.2005.09.027
Lobstein : Minimum sizes of identifying codes in graphs differing by one edge or one vertex ,
Oellermann : Resolvability in graphs and the metric dimension of a graph, Discrete Applied Mathematics, vol.105, pp.1-399, 2000. ,
Identifying codes and locating???dominating sets on paths and cycles, Discrete Applied Mathematics, vol.159, issue.15, pp.1540-1547, 2011. ,
DOI : 10.1016/j.dam.2011.06.008
Universal cycles for combinatorial structures, Discrete Mathematics, vol.110, issue.1-3, pp.43-59, 1992. ,
DOI : 10.1016/0012-365X(92)90699-G
On codes identifying vertices in the two-dimensional square lattice with diagonals, IEEE Transactions on Computers, vol.50, issue.2, pp.174-176, 2001. ,
DOI : 10.1109/12.908992
Zémor : Improved identifying codes for the grid, Electronic Journal of Combinatorics, vol.6, 1999. ,
The monadic second-order logic of graphs. I. Recognizable sets of finite graphs, Information and Computation, vol.85, issue.1, pp.12-75, 1990. ,
DOI : 10.1016/0890-5401(90)90043-H
URL : https://hal.archives-ouvertes.fr/hal-00353765
Error-correcting codes on the towers of Hanoi graphs, Discrete Mathematics, vol.208, issue.209, pp.208-209157, 1999. ,
DOI : 10.1016/S0012-365X(99)00070-9
Near-Universal Cycles for Subsets Exist, SIAM Journal on Discrete Mathematics, vol.23, issue.3, pp.1441-1449, 2009. ,
DOI : 10.1137/080735795
URL : http://arxiv.org/abs/0809.3725
The Complexity of Multiterminal Cuts, SIAM Journal on Computing, vol.23, issue.4, pp.864-894, 1994. ,
DOI : 10.1137/S0097539792225297
Parreau : On two variations of identifying codes, Discrete Mathematics, issue.17, pp.3111948-1956, 2011. ,
Parreau : Locally identifying coloring of graphs, Electronic Journal of Combinatorics, vol.19, 2012. ,
Domination, independent domination, and duality in strongly chordal graphs, Discrete Applied Mathematics, vol.7, issue.2, pp.115-130, 1984. ,
DOI : 10.1016/0166-218X(84)90061-1
URL : http://doi.org/10.1016/0166-218x(84)90061-1
Identifying Codes in Line Graphs, Journal of Graph Theory, vol.12, issue.1, 2012. ,
DOI : 10.1002/jgt.21686
URL : https://hal.archives-ouvertes.fr/hal-00605406
Extremal graphs for the identifying code problem, European Journal of Combinatorics, vol.32, issue.4, pp.628-638, 2011. ,
DOI : 10.1016/j.ejc.2011.01.002
URL : https://hal.archives-ouvertes.fr/hal-00477467
Perarnau : Locally identifying colouring of graphs with given maximum degree, Discrete Mathematics, issue.10, pp.312-2012 ,
Raspaud : Bounds on the size of identifying codes in triangle-free graphs, Discrete Applied Mathematics, vol.160, pp.10-111532, 2012. ,
Parreau : An improved lower bound for (1, ? 2)-identifying codes in the king grid ,
Extremal problems on identifying codes in digraphs and bondy's theorem on induced subsets, 2012. ,
Computers and Intractability : A Guide to the Theory of NP-Completeness, 1979. ,
Vaiana : Location with dominating sets, Congressus Numerantium, vol.151, pp.129-144, 2001. ,
Hardness results and approximation algorithms for identifying codes and locating-dominating codes in graphs, Algorithmic Operations Research, vol.3, issue.1, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00306997
Codes and l(2, 1)-labelings in Sierpi´nskiSierpi´nski graphs, Taiwanese Journal of Mathematics, vol.4, pp.671-681, 2004. ,
New results on variants of covering codes in Sierpi´nskiSierpi´nski graphs, 2012. ,
On graphs having a <mml:math altimg="si3.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi>V</mml:mi><mml:mo>???</mml:mo><mml:mo stretchy="false">{</mml:mo><mml:mi>x</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:math> set as an identifying code, Discrete Mathematics, vol.307, issue.3-5, pp.432-434, 2007. ,
DOI : 10.1016/j.disc.2005.09.035
Identifying codes of cycles, European Journal of Combinatorics, vol.27, issue.5, pp.767-776, 2006. ,
DOI : 10.1016/j.ejc.2004.09.005
URL : https://hal.archives-ouvertes.fr/hal-00360168
On the metric dimension of a graph, Ars Combinatoria, vol.2, pp.191-195, 1976. ,
Plantholt : The point-distinguishing chromatic index, 1985. ,
Fundamentals of domination in graphs, 1998. ,
On a new class of identifying codes in graphs, Information Processing Letters, vol.102, issue.2-3, pp.92-98, 2007. ,
DOI : 10.1016/j.ipl.2006.11.007
On codes identifying sets of vertices in Hamming spaces. Designs, Codes and Cryptography, pp.193-2041011256721935, 1023. ,
Codes for Identification in the King Lattice, Graphs and Combinatorics, vol.19, issue.4, pp.505-516, 2003. ,
DOI : 10.1007/s00373-003-0531-2
Projective planes. Graduate texts in mathematics, 1973. ,
-Set, SIAM Journal on Discrete Mathematics, vol.7, issue.4, pp.598-604, 1994. ,
DOI : 10.1137/S0895480191220861
Universal cycles of 4-subsets and 5-subsets ,
Universal cycles of k-subsets and k-permutations, Discrete Mathematics, vol.117, issue.1-3, pp.141-150, 1993. ,
DOI : 10.1016/0012-365X(93)90330-V
On identifying and locating-dominating codes, Thèse de doctorat, Turku Centre for computer science, 2011. ,
Identification in <mml:math altimg="si5.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:msup><mml:mrow><mml:mi mathvariant="double-struck">Z</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> using Euclidean balls, Discrete Applied Mathematics, vol.159, issue.5, pp.335-343, 2011. ,
DOI : 10.1016/j.dam.2010.12.008
Optimal identifying codes in cycles and paths. ` A para??trepara??tre dans Graphs and Combinatorics, pp.1-13, 2012. ,
Tolerant identification with Euclidean balls, para??trepara??tre dans Networks, 2012. ,
DOI : 10.1002/net.21472
URL : https://hal.archives-ouvertes.fr/hal-00620256
On a new class of codes for identifying vertices in graphs, IEEE Transactions on Information Theory, vol.44, issue.2, pp.599-611, 1998. ,
DOI : 10.1109/18.661507
Graphs S(n, k) and a Variant of the Tower of Hanoi Problem, Czechoslovak Mathematical Journal, vol.47, issue.1, pp.4795-104, 1997. ,
DOI : 10.1023/A:1022444205860
1-perfect codes in Sierpi??ski graphs, Bulletin of the Australian Mathematical Society, vol.21, issue.03, pp.369-384, 2002. ,
DOI : 10.2307/2159369
On the essential test sets of discrete matrices, Discrete Applied Mathematics, vol.60, issue.1-3, pp.249-255, 1995. ,
DOI : 10.1016/0166-218X(94)00055-I
Berger-wolf : Identifying codes and the set cover problem, Proceedings of the 44th annual Allerton Conference on Communication, Control, and Computing, 2006. ,
Perfect codes on the towers of Hanoi graph, Bulletin of the Australian Mathematical Society, vol.6, issue.03, pp.367-376, 1998. ,
DOI : 10.2307/3606393
Lipscomb's L(A) Space Fractalized in Hilbert's l 2 (A) Space, Proceedings of the, pp.1157-1165, 1992. ,
DOI : 10.2307/2159369
Codes identifiants et codes localisateurs-dominants, une bibliographie ,
Coverings and colorings of hypergraphs Proceedings of the fourth south-eastern conference on combinatorics, graph theory, and computing, 1973. ,
Combinatorial problems and exercises, 1979. ,
DOI : 10.1090/chel/361
Completeness of the lipscomb space, Glasnik Matemati?ki Serija III, vol.27, issue.47, pp.343-364, 1992. ,
Planar NAE3SAT is in P, ACM SIGACT News, vol.19, issue.2, pp.51-54, 1988. ,
DOI : 10.1145/49097.49099
Computing roots of graphs is hard, Discrete Applied Mathematics, vol.54, issue.1, pp.81-88, 1994. ,
DOI : 10.1016/0166-218X(94)00023-9
Identification Keys and Diagnostic Tables: A Review, Journal of the Royal Statistical Society. Series A (General), vol.143, issue.3, pp.253-292, 1980. ,
DOI : 10.2307/2982129
New bounds for (r,?????????2)-identifying codes in the infinite king grid, Cryptography and Communications, vol.44, issue.1, pp.41-47, 2010. ,
DOI : 10.1007/s12095-009-0015-1
Une propriété de bicoloration des hypergraphes planaires, pp.345-349, 1975. ,
Robust Location Detection With Sensor Networks, IEEE Journal on Selected Areas in Communications, vol.22, issue.6, pp.1016-1025, 2004. ,
DOI : 10.1109/JSAC.2004.830895
Locating sensors in paths and cycles: The case of 2-identifying codes, European Journal of Combinatorics, vol.29, issue.1, pp.72-82, 2008. ,
DOI : 10.1016/j.ejc.2006.12.006
Identifying vertices in graphs and digraphs, Thèse de doctorat, 2007. ,
Dominating and reference sets in a graph, Journal of Mathematical and Physical Sciences, vol.22, issue.4, pp.445-455, 1988. ,
Rall : On location-domination numbers for certain classes of graphs, Congressus Numerantium, vol.45, pp.97-106, 1984. ,
Solution of an outstanding conjecture: the non-existence of universal cycles with k=n???2, Discrete Mathematics, vol.258, issue.1-3, pp.1-3193, 2002. ,
DOI : 10.1016/S0012-365X(02)00298-4
Approximability of identifying codes and locating???dominating codes, Information Processing Letters, vol.103, issue.1, pp.28-33, 2007. ,
DOI : 10.1016/j.ipl.2007.02.001
The even cycle problem for directed graphs, Journal of the American Mathematical Society, vol.5, issue.2, pp.217-219, 1992. ,
DOI : 10.1090/S0894-0347-1992-1135027-1
Line perfect graphs, Mathematical Programming, vol.2, issue.1, pp.255-259, 1007. ,
DOI : 10.1007/BF01593791
Another Algebraic Proof of Bondy's Theorem on Induced Subsets, Journal of Combinatorial Theory, Series A, vol.89, issue.1, pp.145-147, 2000. ,
DOI : 10.1006/jcta.1999.3013
Identifying codes of cycles with odd orders, European Journal of Combinatorics, vol.29, issue.7, pp.1717-1720, 2008. ,
DOI : 10.1016/j.ejc.2007.09.006
On adjacent-vertex-distinguishing total coloring of graphs, Science in China Series A, vol.48, issue.3, pp.289-299, 2005. ,
DOI : 10.1360/03YS0207
Adjacent strong edge coloring of graphs, Applied Mathematics Letters, vol.15, issue.5, pp.623-626, 2002. ,
DOI : 10.1016/S0893-9659(02)80015-5