Artificial intelligence

Scientific journal

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Select your language


On height of vertex identifiers of vertex labeled graphs

Sapunov S.1, Pilipenko V.2
1 Institute of Applied Mathematics and mechanics of NAS of Ukraine
2 Speech Science and Technology Department, International Research and Training Center of Information Technologies and Systems «CyberMova»

Full text (PDF)

UDC: 519.7
Publication Language: Russian
Stuc. intelekt. 2013; 18(3):444-454

Abstract: The problem of vertex distinguishing on vertex labeled graphs is considered. Two vertices are called distinguishable if associated languages over the alphabet of labels are different. A linear upper bound of vertex distinguishing word length equal to half of the number of all vertices is obtained. It is shown that at both languages of two different vertices there are distinguishing words and their lengths are less then number of all vertices. Upper bounds of height of finite sets of words over the vertex labels alphabet distinguishing a given vertex from other (i.e. identifiers) are obtained.

Keywords: vertex labeled graphs, languages over the label alphabet, vertex identifiers

References:

  1. Kapitonova Yu.V., Letichevsky A.A. Mathematical Theory of Computational Systems Design. – Moscow : Nauka, 1988. – 296 p.
  2. Dudek G. Jenkin M. Computational Principles of Mobile Robotics – Cambridge University Press, Cambridge, 2000. – 280 p.
  3. Peled Doron A. Software Reliability Methods – Springer. – Verlag, 2001. – 331 p.
  4. Kohavi Z., Jha N. Switching and finite automata theory – Cambridge University Press, 2010. – 617 p.
  5. Sapunov S.V. Mobile Robot Self Location on Topological Environment // Iskusstvennyj intellekt. – 2008. № 4. – P. 558-565.
  6. Grunsky I.S., Sapunov S.V. Identification of vertices of vertex labeled graphs // Trudy IPMM. – 2010. – V. 20. – P. 86-97.
  7. Hopcroft J.E., Motwani R., Ullman J.D. Introduction to Automata Theory, Languages, and Computation. – Moscow, Williams Publishing, 2002. – 528 p.
  8. Grunsky I.S., Sapunov S.V. Reconstruction of the graph of operating environment of mobile robot by vertex-labeling sufficient for further navigation // Iskusstvennyj intellekt. – 2012. № 4. – P. 420-428.

View full text (PDF)