RESEARCH ARTICLE
J.Natn.Sci.Foundation Sri Lanka 2018 46 (1): 81 - 88 DOI: http://dx.doi.org/10.4038/jnsfsr.v46i1.8267
Some topological indices of the family of nanostructures of polycyclic aromatic hydrocarbons (PAHs)
Najmeh Soleimani
1*, Esmaeel Mohseni
2, Niloofar Maleki
2and Najmeh Imani
21<RXQJ5HVHDUFKHUVDQG(OLWH&OXE.DUDM%UDQFK,VODPLF$]DG8QLYHUVLW\.DUDM,UDQ
26DOHKDQ,QVWLWXWHRI+LJKHU(GXFDWLRQ4DHPVKDKU,UDQ
Revised: 30 September 2017; Accepted: 19 October 2017
* Corresponding author (soleimani.najmeh@gmail.com; https://orcid.org/0000-0002-2336-1066)
This article is published under the Creative Commons CC-BY-ND License (http://creativecommons.org/licenses/by-nd/4.0/).
This license permits use, distribution and reproduction, commercial and non-commercial, provided that the original work is properly cited and is not changed anyway.
Abstract: 0ROHFXODUGHVFULSWRUVSOD\DVLJQL¿FDQWUROHLQPDQ\
areas such as chemistry and pharmacology. Among these, topological indices have a prominent place. In this paper, we focus on the structure of polycyclic aromatic hydrocarbons and calculate theta, Pi and Sadhana indices of nanostructures. These LQGLFHVRQWKHJURXQGRITXDVLRUWKRJRQDOFXWµTRF¶HGJHVWULSV
in molecular graph. Also, the exact formulae for connectivity indices of nanotubes and nanotori are presented in this manuscript. These topological indices are useful for surveying structure of nanostructures, which have a relationship with degrees of their vertices.
Keywords: Connectivity indices, cut method, nanostructures, Pi index, Sadhana index, theta index.
INTRODUCTION
Graph theory models have extensively been used as predictors of properties of chemical compounds 7ULQDMVWLü 7RGHVFLQL &RQVRQQL
DQG UHIHUHQFHV ZLWKLQ 09 'LXGHD ZDV WKH ¿UVW
scientist who considered graph theoretical problems of nanotechnology, and some works on computing topological indices of nanostructure, nanotubes and nanotori are presented in many papers (Diudea & John, 2001; Diudea & Kirby, 2001; Diudea, 2002; Diudea et al., 2003; 2004).
The present study is a continuation of our previous studies (Nikmehr et al., 2015; Soleimani et al., 2015;
2016) on computing some topological indices of nanostructures.
METHODOLOGY
From the point of graph theory, all organic molecular structures can be drawn as graphs in which atoms and bonds are represented by vertices and edges, respectively.
ܸሺܩሻ ܩLet ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ
Ê
ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ
ܧሺܩሻÊ
ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ
ܥת ܥൌ ǡÊ
݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ
ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻ
Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ
Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ
Ê
݉ሺܩǡ ܿሻ
ÊÊ
߯Ê
݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻ
Ê
݅ଵǥ ݅ାଵ
Ê
݀Ê
ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻ
Ê
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻ
Ê
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻ
Ê
ܩ ൌ ܩሾǡ ݍሿÊ
ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ
Ê
ܩሾʹǡͶሿÊ
݁ଵÊ
݁ଶǡÊ
ܿଵǡÊ
ܿଷÊ
ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ
ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺ
Ê
ȁܥሺܿଵሻȁ ൌ ʹǡÊ
ȁܥሺܿଶሻȁ ൌ ͶǡÊ
ȁܥሺܿଷሻȁ ൌ Ê
ȁܥሺܿସሻȁ ൌ ͺǤÊ
Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ
ͳͶÊ
ܿସÊ
ܩ ൌ ܩሾʹǡͶሿÊ
be a simple graph with vertex set ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻÊ ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ ܧሺܩሻÊ ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ ܥת ܥൌ ǡÊ ݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇ǤÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻÊ
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻÊ
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻÊ
݉ሺܩǡ ܿሻÊÊ ߯Ê ݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻÊ
݅ଵǥ ݅ାଵÊ ݀Ê ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభ
Ǥ
భǥశభ
ǥ ሺͷሻÊ
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀య
Ǥ
భమయ
ǥ ሺሻÊ
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻÊ ܩ ൌ ܩሾǡ ݍሿÊ ȁܸሺܩሻȁ ൌ ʹʹݍÊ ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷÊ ܩሾʹǡͶሿÊ݁ଵÊ ݁ଶǡÊ ܿଵǡÊ ܿଷÊ ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺÊ ȁܥሺܿଵሻȁ ൌ ʹǡÊ ȁܥሺܿଶሻȁ ൌ ͶǡÊ ȁܥሺܿଷሻȁ ൌ Ê ȁܥሺܿସሻȁ ൌ ͺǤÊ Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ ͳͶ Ê ܿସÊ ܩ ൌ ܩሾʹǡͶሿÊ
and edge
ܸሺܩሻ ܩ set ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ
Ê
ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ
ܧሺܩሻÊ
ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ
ܥת ܥൌ ǡÊ
݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ
ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻ
Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ
Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ
Ê
݉ሺܩǡ ܿሻ
ÊÊ
߯Ê
݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻ
Ê
݅ଵǥ ݅ାଵ
Ê
݀Ê
ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభ
Ǥ
భǥశభ
ǥ ሺͷሻ
Ê
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻ
Ê
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻ
Ê
ܩ ൌ ܩሾǡ ݍሿÊ
ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ
Ê
ܩሾʹǡͶሿÊ
݁ଵÊ
݁ଶǡÊ
ܿଵǡÊ
ܿଷÊ
ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ
ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺ
Ê
ȁܥሺܿଵሻȁ ൌ ʹǡÊ
ȁܥሺܿଶሻȁ ൌ ͶǡÊ
ȁܥሺܿଷሻȁ ൌ Ê
ȁܥሺܿସሻȁ ൌ ͺǤÊ
Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ
ͳͶÊ
ܿସÊ
ܩ ൌ ܩሾʹǡͶሿÊ
. The edge connecting the vertices
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
and
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
will be denoted by
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
. The degree of the vertex
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
, denoted by
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
LVWKHQXPEHURI¿UVWQHLJKERXUVRI
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
in the underlying graph. The distance between
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
and
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ඥௗ ଵభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
in ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻÊ ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ ܧሺܩሻÊ ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ ܥת ܥൌ ǡÊ ݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇ǤÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻÊ
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻÊ
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻÊ
݉ሺܩǡ ܿሻÊÊ ߯Ê ݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻÊ
݅ଵǥ ݅ାଵÊ ݀Ê ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻÊ
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻÊ
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻÊ ܩ ൌ ܩሾǡ ݍሿÊ ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷÊ ܩሾʹǡͶሿÊ݁ଵÊ ݁ଶǡÊ ܿଵǡÊ ܿଷÊ ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺÊ ȁܥሺܿଵሻȁ ൌ ʹǡÊ ȁܥሺܿଶሻȁ ൌ ͶǡÊ ȁܥሺܿଷሻȁ ൌ Ê ȁܥሺܿସሻȁ ൌ ͺǤÊ Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ ͳͶ Ê ܿସÊ ܩ ൌ ܩሾʹǡͶሿÊ
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ , ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ
Ê
ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ
ܧሺܩሻÊ
ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ
ܥת ܥൌ ǡÊ
݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ
ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻ
Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ
Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ
Ê
݉ሺܩǡ ܿሻ
ÊÊ
߯Ê
݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻ
Ê
݅ଵǥ ݅ାଵ
Ê
݀Ê
ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻ
Ê
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻ
Ê
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻ
Ê
ܩ ൌ ܩሾǡ ݍሿÊ
ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ
Ê
ܩሾʹǡͶሿÊ
݁ଵÊ
݁ଶǡÊ
ܿଵǡÊ
ܿଷÊ
ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ
ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺ
Ê
ȁܥሺܿଵሻȁ ൌ ʹǡÊ
ȁܥሺܿଶሻȁ ൌ ͶǡÊ
ȁܥሺܿଷሻȁ ൌ Ê
ȁܥሺܿସሻȁ ൌ ͺǤÊ
Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ
ͳͶÊ
ܿସÊ
ܩ ൌ ܩሾʹǡͶሿÊ
, is the length of a shortest
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ଵඥௗభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
path in
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻÊ ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ ܧሺܩሻÊ ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ ܥת ܥൌ ǡÊ ݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇ǤÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻÊ
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻÊ
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻÊ
݉ሺܩǡ ܿሻÊÊ ߯Ê ݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభ
ǡ
భǥశభ
ǥ ሺͶሻÊ
݅ଵǥ ݅ାଵÊ ݀Ê ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻÊ
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀య
Ǥ
భమయ
ǥ ሺሻÊ
ଶܺሺܩሻ ൌ σ ଵ
ඥௗభାௗమାௗయǤ
భమయ ǥ ሺሻÊ ܩ ൌ ܩሾǡ ݍሿÊ ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷÊ ܩሾʹǡͶሿÊ݁ଵÊ ݁ଶǡÊ ܿଵǡÊ ܿଷÊ ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺÊ ȁܥሺܿଵሻȁ ൌ ʹǡÊ ȁܥሺܿଶሻȁ ൌ ͶǡÊ ȁܥሺܿଷሻȁ ൌ Ê ȁܥሺܿସሻȁ ൌ ͺǤÊ Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ ͳͶ Ê ܿସÊ ܩ ൌ ܩሾʹǡͶሿÊ
. Two edges e = uv and I [\ of ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻÊ ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ ܧሺܩሻÊ ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ ܥת ܥൌ ǡÊ ݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇ǤÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻÊ
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻÊ
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻÊ
݉ሺܩǡ ܿሻÊÊ ߯Ê ݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభ
ǡ
భǥశభ
ǥ ሺͶሻÊ
݅ଵǥ ݅ାଵÊ ݀Ê ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻÊ
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀య
Ǥ
భమయ
ǥ ሺሻÊ
ଶܺሺܩሻ ൌ σ ଵ
ඥௗభାௗమାௗయǤ
భమయ ǥ ሺሻÊ ܩ ൌ ܩሾǡ ݍሿÊ ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷÊ ܩሾʹǡͶሿÊ݁ଵÊ ݁ଶǡÊ ܿଵǡÊ ܿଷÊ ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺÊ ȁܥሺܿଵሻȁ ൌ ʹǡÊ ȁܥሺܿଶሻȁ ൌ ͶǡÊ ȁܥሺܿଷሻȁ ൌ Ê ȁܥሺܿସሻȁ ൌ ͺǤÊ Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ ͳͶ Ê ܿସÊ ܩ ൌ ܩሾʹǡͶሿÊ
are called co-distant, ދe co I¶LIDQGRQO\LIWKH\REH\WKHIROORZLQJUHODWLRQ
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻÊ ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ ܧሺܩሻÊ ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ ܥת ܥൌ ǡÊ ݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇ǤÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻÊ
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻÊ
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻÊ
݉ሺܩǡ ܿሻÊÊ ߯Ê ݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻÊ
݅ଵǥ ݅ାଵÊ ݀Ê ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻÊ
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻÊ
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻÊ ܩ ൌ ܩሾǡ ݍሿÊ ȁܸሺܩሻȁ ൌ ʹʹݍÊ ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷÊ ܩሾʹǡͶሿÊ݁ଵÊ ݁ଶǡÊ ܿଵǡÊ ܿଷÊ ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺÊ ȁܥሺܿଵሻȁ ൌ ʹǡÊ ȁܥሺܿଶሻȁ ൌ ͶǡÊ ȁܥሺܿଷሻȁ ൌ Ê ȁܥሺܿସሻȁ ൌ ͺǤÊ Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ ͳͶ Ê ܿସÊ ܩ ൌ ܩሾʹǡͶሿÊ
The above relation coLVUHÀH[LYHDQGV\PPHWULFIRU
any edge e of
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀
௨݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ Ê ܥ
ଵǡ ܥ
ଶǡ ǥ ǡ ܥ
Ê ܧሺܩሻ Ê ܧሺܩሻ ൌ ܥ
ଵ ܥ
ଶ ǥ ܥ
Ê ܥ
ת ܥ
ൌ ǡ Ê ݅ ് ݆ Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ
ଶ
Ǥǥ ሺͳሻ Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ Ê
݉ሺܩǡ ܿሻ ÊÊ ߯ Ê ݉ ͳ ÊÊ
߯ ሺܩሻ ൌ ͳ
ඥ݀
భǥ ݀
శభǡ
భǥశభ
ǥ ሺͶሻ Ê
݅
ଵǥ ݅
ାଵÊ ݀
Ê ݒ
Ê
ܺ ሺܩሻ ൌ ͳ
ඥ݀
భ ڮ ݀
శభǤ
భǥశభ
ǥ ሺͷሻ Ê
ଶ
߯ ሺܩሻ ൌ ͳ ඥ݀
భ݀
మ݀
యǤ
భమయ
ǥ ሺሻ Ê
ଶ
ܺ ሺܩሻ ൌ σ
ଵඥௗభାௗమାௗయ
Ǥ
భమయ
ǥ ሺሻ Ê ܩ ൌ ܩሾǡ ݍሿ Ê ȁܸሺܩሻȁ ൌ ʹʹݍ Ê
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ Ê ܩሾʹǡͶሿ Ê ݁
ଵÊ ݁
ଶǡ Ê ܿ
ଵǡ Ê ܿ
ଷÊ ȁܥሺ݁
ଵሻȁ ൌ ͳʹ Ê ȁܥሺ݁
ଶሻȁ ൌ ͳͲ Ê
ȁܥሺ݁
ଷሻȁ ൌ ͺ Ê ȁܥሺܿ
ଵሻȁ ൌ ʹǡ Ê ȁܥሺܿ
ଶሻȁ ൌ Ͷǡ Ê ȁܥሺܿ
ଷሻȁ ൌ Ê ȁܥሺܿ
ସሻȁ ൌ ͺǤ Ê Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ Ͷ Ê ͳͶ Ê ܿ
ସÊ ܩ ൌ ܩሾʹǡͶሿ Ê
but in general is not transitive. A graph is called a co-graph if the relation co is also transitive and thus an equivalence relation.
Let
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻÊ ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ ܧሺܩሻÊ ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ ܥת ܥൌ ǡÊ ݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇ǤÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻÊ
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻÊ
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻÊ
݉ሺܩǡ ܿሻÊÊ ߯Ê ݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻÊ
݅ଵǥ ݅ାଵÊ ݀Ê ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభ
Ǥ
భǥశభ
ǥ ሺͷሻÊ
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀య
Ǥ
భమయ
ǥ ሺሻÊ
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻÊ ܩ ൌ ܩሾǡ ݍሿÊ ȁܸሺܩሻȁ ൌ ʹʹݍÊ ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷÊ ܩሾʹǡͶሿÊ݁ଵÊ ݁ଶǡÊ ܿଵǡÊ ܿଷÊ ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺÊ ȁܥሺܿଵሻȁ ൌ ʹǡÊ ȁܥሺܿଶሻȁ ൌ ͶǡÊ ȁܥሺܿଷሻȁ ൌ Ê ȁܥሺܿସሻȁ ൌ ͺǤÊ Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ ͳͶ Ê ܿସÊ ܩ ൌ ܩሾʹǡͶሿÊ
be the set of edges
ܸሺܩሻ ܩin ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ
Ê
ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ
ܧሺܩሻÊ
ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ
ܥת ܥൌ ǡÊ
݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ
ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻ
Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ
Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ
Ê
݉ሺܩǡ ܿሻ
ÊÊ
߯Ê
݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻ
Ê
݅ଵǥ ݅ାଵ
Ê
݀Ê
ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻ
Ê
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻ
Ê
ଶܺሺܩሻ ൌ σ ඥௗ ଵ
భାௗమାௗయǤ
భమయ ǥ ሺሻ
Ê
ܩ ൌ ܩሾǡ ݍሿÊ
ȁܸሺܩሻȁ ൌ ʹʹݍÊ
ȁܧሺܩሻȁ ൌ ͵͵ݍ െ ͷ
Ê
ܩሾʹǡͶሿÊ
݁ଵÊ
݁ଶǡÊ
ܿଵǡÊ
ܿଷÊ
ȁܥሺ݁ଵሻȁ ൌ ͳʹÊ
ȁܥሺ݁ଶሻȁ ൌ ͳͲÊ
ȁܥሺ݁ଷሻȁ ൌ ͺ
Ê
ȁܥሺܿଵሻȁ ൌ ʹǡÊ
ȁܥሺܿଶሻȁ ൌ ͶǡÊ
ȁܥሺܿଷሻȁ ൌ Ê
ȁܥሺܿସሻȁ ൌ ͺǤÊ
Ͷǡ ͵ǡ ʹǡ Ͷǡ Ͷǡ ͶÊ
ͳͶÊ
ܿସÊ
ܩ ൌ ܩሾʹǡͶሿÊ
that are co-distant to
ܸሺܩሻ ܩ ܧሺܩሻ ݑ ݒ ݑݒ ݀௨ ݀ሺݑǡ ݒሻ
ݑ̴ݒ ݀ሺݒǡ ݔሻ ൌ ݀ሺݒǡ ݕሻ ͳ ൌ ݀ሺݑǡ ݔሻ ͳ ൌ ݀ሺݑǡ ݕሻǤ ܥሺ݁ሻǣ ൌ ሼ݂ א ܧሺܩሻǢ ݂ܿ݁ሽ
݁ א ܧሺܩሻ
Ê
ܥଵǡ ܥଶǡ ǥ ǡ ܥÊ
ܧሺܩሻÊ
ܧሺܩሻ ൌ ܥଵ ܥଶ ǥ ܥÊ
ܥת ܥൌ ǡÊ
݅ ് ݆Ê
݅ǡ ݆ ൌ ͳǡʹǡ ǥ ǡ ݇Ǥ
ÊÊ
߆ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿଶ
Ǥǥ ሺͳሻ
Ê
ߎሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ܿ ൈ ሺȁܧሺܩሻȁ െ ܿሻ
Ǥǥ ሺʹሻ
Ê
ܵ݀ሺܩሻ ൌ ݉ሺܩǡ ܿሻ ൈ ሺȁܧሺܩሻȁ െ ܿሻǤ
ǥ ሺ͵ሻ
Ê
݉ሺܩǡ ܿሻ
ÊÊ
߯Ê
݉ ͳÊÊ
߯ሺܩሻ ൌ ͳ
ඥ݀భǥ ݀శభǡ
భǥశభ
ǥ ሺͶሻ
Ê
݅ଵǥ ݅ାଵ
Ê
݀Ê
ݒÊ
ܺሺܩሻ ൌ ͳ
ඥ݀భ ڮ ݀శభǤ
భǥశభ
ǥ ሺͷሻ
Ê
ଶ߯ሺܩሻ ൌ ͳ ඥ݀భ݀మ݀యǤ
భమయ
ǥ ሺሻ
Ê
ଶܺሺܩሻ ൌ σ ଵ
ඥௗభାௗమାௗయǤ
భమయ ǥ ሺሻ