Graatsiline märgendus

Graatsiline märgendus on selline m-servalise graafi märgendus, kus igale graafi tipule on omistatud väärtus vahemikus 0 kuni m (kaasaarvatud) nii, et ükski tipule omistatud arv ei kordu ja igale tippude x ja y vahelisele servale omistatud väärtus, mis on x ja y väärtuse absoluutvahe, on samuti unikaalne. Graafi, millele on võimalik graatsilist märgendust teha, nimetatakse graatsiliseks graafiks. Termini "graatsiline märgendus" autor on Solomon W. Golomb. Originaalis oli märgenduse klassifikatsiooni nimetus beetamärgendus (ß-märgendus). Nimetust kasutas esimesena Alexander Rosa graafide märgenduste artiklis 1967 aastal. Üks peamistest tõestamata hüpoteesidest graafiteoorias on graatsiliste puude hüpotees, samuti tuntud kui Ringel-Kotzigi hüpotees. Hüpotees sai nime autorite Gerhard Ringeli ja Anton Kotzigi järgi. Hüpotees väidab, et kõik puud on graatsilised. Graatsilise märgenduse nõrgem versioon on peaaegu graatsiline märgendus, kus tippude väärtused on arvuvahemiku 0 kuni m+1 (kaasaarvatud) alamhulk. Nagu graatsilise märgenduse puhulgi, ei tohi peaaegu graatsilise märgenduse tippudele omistatud väärtused kattuda ning servade väärtused on määratud tippude absoluutvahega. Servade väärtused peavad olema vahemikus 1 kuni m+1 (kaasaarvatud) ja unikaalsed. Graafi G {\displaystyle G} graatsiliseks märgenduseks nimetatakse sellist tippude f : V → [ 0 , m ] {\displaystyle f:V\rightarrow [0,m]} ja servade f γ : E → [ 1 , m ] {\displaystyle f_{\gamma }:E\rightarrow [1,m]} märgendust, kus nii f {\displaystyle f} kui f γ {\displaystyle f_{\gamma }} on injektiivsed ja kehtib seos f γ ( u , v ) = | f ( u ) − f ( v ) | {\displaystyle f_{\gamma }(u,v)=|f(u)-f(v)|} . Aastal 1966 defineeris Rosa a-märgenduse kui graatsilise märgenduse lisaparameetriga k {\displaystyle k} , kus iga servale x y {\displaystyle xy} kehtib kas f ( x ) ≤ k < f ( y ) {\displaystyle f(x)\leq k<f(y)} või f ( y ) ≤ k < f ( x ) {\displaystyle f(y)\leq k<f(x)} . Aastal 1982 tutvustasid Maheo ja Thuillier terminit "k-graatsilisus". Graaf G {\displaystyle G} servade arvuga q {\displaystyle q} on k-graatsiline, kui leidub märgendus f {\displaystyle f} tippudest { 0 , 1 , 2 , . . . , q + k − 1 } {\displaystyle \{0,1,2,...,q+k-1\}} nii, et servad, millele omistatakse väärtusteks nendevaheliste tippude absoluutvahe, kuuluvad hulka { k , k + 1 , . . . , q + k − q } {\displaystyle \{k,k+1,...,q+k-q\}} . Graafi G {\displaystyle G} tipu arvuga m {\displaystyle m} γ {\displaystyle \gamma } -märgenduseks nimetatakse üksühest funktsiooni f {\displaystyle f} graafi G {\displaystyle G} tippudest { 0 , 1 , 2 , . . . , m } {\displaystyle \{0,1,2,...,m\}} , kus iga serva u v {\displaystyle uv} märgendatakse funktsiooniga f γ ( u , v ) = | f ( u ) − f ( v ) | {\displaystyle f_{\gamma }(u,v)=|f(u)-f(v)|} . γ {\displaystyle \gamma } -märgendust tutvustasid Chartrand, Erwin, VanderJagt ja Zhang aastal 2004. Graafi nimetatakse paaritu-graatsiliselt märgendatuks, kui leidub injektsioon f {\displaystyle f} hulgast V ( G ) {\displaystyle V(G)} hulka { 0 , 1 , 2 , . . . , 2 q − 1 } {\displaystyle \{0,1,2,...,2q-1\}} nii, et kui iga serv x y {\displaystyle xy} on märgendatud | f ( x ) − f ( y ) | {\displaystyle |f(x)-f(y)|} , siis iga serva märgendus kuulub hulka { 1 , 3 , 5 , . . . , 2 q − 1 } {\displaystyle \{1,3,5,...,2q-1\}} . q {\displaystyle q} on graafi servade arv. Graafi G = ( V , E ) {\displaystyle G=(V,E)} nimetatakse Hammingi-graatsiliselt märgendatuks, kui leidub injektiivne märgendus g {\displaystyle g} V {\displaystyle V} -st binaarsete | E | {\displaystyle |E|} -paaride  massiivi nii, et { d ( g ( v ) , g ( u ) ) | u v ∈ E } = { 1 , 2 , . . . , | E | } {\displaystyle \{d(g(v),g(u))|uv\in E\}=\{1,2,...,|E|\}} , kus d on Hammingi kaugus. Oma originaalartiklis tõestas Rosa, et Euleri graaf servade arvuga m = 1 {\displaystyle m=1} või m = 2 {\displaystyle m=2} ei saa olla graatsiline. Samuti oma originaalartiklis tõestas Rosa, et tsükkel C n {\displaystyle C_{n}} on graatsiline siis ja ainult siis, kui n = 0 {\displaystyle n=0} või n = 3 {\displaystyle n=3} . On tõestatud, et kõik ahelad ja röövikgraafid on graatsilised. On tõestatud, et kõik perfektsete paaridega lobster-graafid on graatsilised. Kõik kuni 27-servalised puud on graatsilised. Selle tulemuseni jõudsid Aldred ja McKay aastal 1998, kasutades arvuteid. Aastal 2010 jõuti tulemuseni, et kõik kuni 35-servalised graafid on graatsilised. On tõestatud, et kõik n-dimensionaalsed hüperkuubid on graatsilised. Virginia Vassilevska, "Coding and Graceful Labeling of trees." SURF 2001. PostScript Vaadatud 23.04.2018 Rosa, A. (1967). "Theory of Graphs (Internat. Sympos., Rome, 1966)". New York: Gordon and Breach: 349–355. MR 0223271. {{cite journal}}: viitemall journal nõuab parameetrit |journal= (juhend); eiran parameetrit |contribution= (juhend) Huang, C.; Kotzig, A.; Rosa, A. (1982). "Further results on tree labellings". Utilitas Mathematica. 21: 31–48. MR 0668845. Danny Dyer, Ian Payne, Nabil Shalaby, Brenda Wicks (2012). "On the graceful conjecture for triangular cacti" (PDF). Vaadatud 30.04.2018.{{netiviide}}: CS1 hooldus: mitu nime: autorite loend (link) Ming Zhou, Rodrigo (2016). "Graceful Labeling of Graphs" (PDF): 4. Vaadatud 23.04.2018. {{cite journal}}: viitemall journal nõuab parameetrit |journal= (juhend) Gallian, Joseph A. (1997). "A dynamic survey of graph labeling". Electronic Journal of Combinatorics. 5. MR 1668059. Vaadatud 23.04.2018.. Morgan, David (2008). "All lobsters with perfect matchings are graceful". Bulletin of the Institute of Combinatorics and its Applications. 53: 82–85. Vaadatud 23.04.2018.. Aldred, R. E. L.; McKay, Brendan D. (1998). "Graceful and harmonious labellings of trees". Bulletin of the Institute of Combinatorics and its Applications. 23: 69–72. MR 1621760.. Fang, Wenjie (2010). "A Computational Approach to the Graceful Tree Conjecture". arXiv:1003.3045. {{cite journal}}: viitemall journal nõuab parameetrit |journal= (juhend). Kotzig, Anton (1981). "Decompositions of complete graphs into isomorphic cubes". Journal of Combinatorial Theory, Series B. 31 (3): 292–296. DOI:10.1016/0095-8956(81)90031-9. MR 0638285.. Graatsiliste puude kontrollimise projekt