Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 50
Текст из файла (страница 50)
ɇ٠̇Á˚‚‡ÂÚÒfl ÍÓ̘Ì˚Ï (·ÂÒÍÓ̘Ì˚Ï), ÂÒÎË ÏÌÓÊÂÒÚ‚Ó V Â„Ó ‚¯ËÌ ÍÓ̘ÌÓ (ËÎËÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ ·ÂÒÍÓ̘ÌÓ). èÓfl‰ÍÓÏ ÍÓ̘ÌÓ„Ó „‡Ù‡ ̇Á˚‚‡ÂÚÒfl ÍÓ΢ÂÒÚ‚ÓÂ„Ó ‚¯ËÌ; ‡ÁÏÂÓÏ ÍÓ̘ÌÓ„Ó „‡Ù‡ ̇Á˚‚‡ÂÚÒfl ˜ËÒÎÓ Â„Ó Â·Â.ɇ٠ËÎË ÓËÂÌÚËÓ‚‡ÌÌ˚È „‡Ù ÒÓ‚ÏÂÒÚÌÓ Ò ÙÛÌ͈ËÂÈ, ÔËÔËÒ˚‚‡˛˘ÂÈÔÓÎÓÊËÚÂθÌ˚È ‚ÂÒ Í‡Ê‰ÓÏÛ Â·Û, ̇Á˚‚‡ÂÚÒfl ‚Á‚¯ÂÌÌ˚Ï „‡ÙÓÏ ËÎË ÒÂÚ¸˛.ëÂÚ¸ Ú‡ÍÊ ̇Á˚‚‡˛Ú ͇͇ÒÓÏ ‚ ÚÓÏ ÒÎÛ˜‡Â ÍÓ„‰‡ ‚ÂÒ‡ ËÌÚÂÔÂÚËÛ˛ÚÒfl ͇͉ÎËÌ˚ · ‚ÓÁÏÓÊÌÓ„Ó ‚ÎÓÊÂÌËfl ‚ ÌÂÍÓÚÓÓ ‚ÍÎË‰Ó‚Ó ÔÓÒÚ‡ÌÒÚ‚Ó. Ç ÚÂÏË̇ı ÚÂÓËË ÔÓ˜ÌÓÒÚË Â·‡ ͇͇҇ ̇Á˚‚‡˛ÚÒfl ÔÛÚ¸flÏË (Ó·˚˜ÌÓ Ó‰Ë̇ÍÓ‚ÓȉÎËÌ˚); ÚÂÌÒ„ËÚË – ˝ÚÓ Í‡Í‡Ò̇fl ÒÚÛÍÚÛ‡, ‚ ÍÓÚÓÓÈ ÔÛÚ¸fl fl‚Îfl˛ÚÒfl ÎË·Ó˝ÎÂÏÂÌÚÓÏ Ì‡ÚflÊÂÌËfl – ÚÓÒ‡ÏË (Ú.Â.
Ì ÏÓ„ÛÚ ÓÚ‰‡ÎËÚ¸Òfl ‰Û„ ÓÚ ‰Û„‡), ÎË·Ó˝ÎÂÏÂÌÚÓÏ ÒʇÚËfl – ‡ÒÔÓ͇ÏË (Ú.Â. Ì ÏÓ„ÛÚ Ò·ÎËÁËÚ¸Òfl).èÓ‰„‡ÙÓÏ „‡Ù‡ G ̇Á˚‚‡ÂÚÒfl „‡Ù G', ‚¯ËÌ˚ Ë Â·‡ ÍÓÚÓÓ„Ó Ó·‡ÁÛ˛ÚÔÓ‰ÏÌÓÊÂÒÚ‚‡ ‚¯ËÌ Ë Â·Â „‡Ù‡ G. ÖÒÎË G' fl‚ÎflÂÚÒfl ÔÓ‰„‡ÙÓÏ G, ÚÓ „‡Ù ĠÁ˚‚‡ÂÚÒfl ÒÛÔ„‡ÙÓÏ „‡Ù‡ G ' . à̉ۈËÓ‚‡ÌÌ˚È ÔÓ‰„‡Ù – ÔÓ‰ÏÌÓÊÂÒڂӂ¯ËÌ „‡Ù‡ G ‚ÏÂÒÚ ÒÓ ‚ÒÂÏË Â·‡ÏË, Ó·Â ÍÓ̘Ì˚ ÚÓ˜ÍË ÍÓÚÓ˚ıÔË̇‰ÎÂÊ‡Ú ‰‡ÌÌÓÏÛ ÔÓ‰ÏÌÓÊÂÒÚ‚Û.ɇ٠G = (V, E) ̇Á˚‚‡ÂÚÒfl Ò‚flÁÌ˚Ï, ÂÒÎË ‰Îfl β·˚ı ‚¯ËÌ u, v ∈ V ÒÛ˘ÂÒÚ‚ÛÂÚ (u – v) ÔÛÚ¸, Ú.Â. ڇ͇fl ÔÓÒΉӂ‡ÚÂθÌÓÒÚ¸ · uw1 = w0 w 1 , w1 w 2 ,…, wn–1w n == w n–1 v ËÁ Ö, ˜ÚÓ wi ≠ wj ‰Îfl i ≠ j, i, j ∈ {0, 1,…, n}.
鄇٠D = (V, E) ̇Á˚‚‡ÂÚÒflÒËθÌÓ Ò‚flÁÌ˚Ï, ÂÒÎË ‰Îfl β·˚ı ‚¯ËÌ u, v ∈ V ÒÛ˘ÂÒÚ‚Û˛Ú Í‡Í ÓËÂÌÚËÓ‚‡ÌÌ˚È (u – v) ÔÛÚ¸, Ú‡Í Ë ÓËÂÌÚËÓ‚‡ÌÌ˚È (v – u) ÔÛÚ¸. ã˛·ÓÈ Ï‡ÍÒËχθÌ˚ÈÒ‚flÁÌ˚È ÔÓ‰„‡Ù „‡Ù‡ G ̇Á˚‚‡ÂÚÒfl Â„Ó Ò‚flÁÌÓÈ ÍÓÏÔÓÌÂÌÚÓÈ.ëÓ‰ËÌÂÌÌ˚ ·ÓÏ ‚¯ËÌ˚ ̇Á˚‚‡˛ÚÒfl ÒÏÂÊÌ˚ÏË. ëÚÂÔÂ̸ deg(v) ‚¯ËÌ˚v ∈ V „‡Ù‡ G = (V, E) ‡‚̇ ˜ËÒÎÛ Â„Ó ‚¯ËÌ, ÒÏÂÊÌ˚ı Ò v.èÓÎÌ˚Ï „‡ÙÓÏ Ì‡Á˚‚‡ÂÚÒfl „‡Ù, ͇ʉ‡fl Ô‡‡ ‚¯ËÌ ÍÓÚÓÓ„Ó ÒÓ‰ËÌÂ̇·ÓÏ. тۉÓθÌ˚È „‡Ù – „‡Ù, ‚ ÍÓÚÓÓÏ ÏÌÓÊÂÒÚ‚Ó ‚¯ËÌ V ‡Á·Ë‚‡ÂÚÒfl ̇‰‚‡ Ú‡ÍËı ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ÔÓ‰ÏÌÓÊÂÒÚ‚‡, ˜ÚÓ ‚ Ó‰ÌÓÏ Ë ÚÓÏ Ê ÔÓ‰ÏÌÓÊÂÒÚ‚ÂÌÂÚ ÌË Ó‰ÌÓÈ Ô‡˚ ÒÏÂÊÌ˚ı ‚¯ËÌ.
èÛÚ¸ – ˝ÚÓ ÔÓÒÚÓÈ Ò‚flÁÌ˚È „‡Ù, ‚ ÍÓÚÓÓω‚ ‚¯ËÌ˚ ËÏÂ˛Ú ÒÚÂÔÂ̸ 1, ‡ ‰Û„Ë ‚¯ËÌ˚, ÂÒÎË ÓÌË ÒÛ˘ÂÒÚ‚Û˛Ú, ËϲÚÒÚÂÔÂ̸ 2; ‰ÎËÌÓÈ ÔÛÚË fl‚ÎflÂÚÒfl ˜ËÒÎÓ Â„Ó Â·Â. ñËÍÎÓÏ fl‚ÎflÂÚÒfl Á‡ÏÍÌÛÚ˚ÈÔÛÚ¸, Ú.Â. ÔÓÒÚÓÈ Ò‚flÁÌ˚È „‡Ù, ͇ʉ‡fl ‚¯Ë̇ ÍÓÚÓÓ„Ó ËÏÂÂÚ ÒÚÂÔÂ̸ 2.ÑÂÂ‚Ó – ˝ÚÓ ÔÓÒÚÓÈ Ò‚flÁÌ˚È „‡Ù, Ì Ëϲ˘ËÈ ˆËÍÎÓ‚.227É·‚‡ 15.
ê‡ÒÒÚÓflÌËfl ‚ ÚÂÓËË „‡ÙÓ‚Ñ‚‡ „‡Ù‡, ÒÓ‰Âʇ˘Ë ӉË̇ÍÓ‚Ó ˜ËÒÎÓ Ó‰Ë̇ÍÓ‚Ó ÒÓ‰ËÌÂÌÌ˚ı ‚¯ËÌ,̇Á˚‚‡˛ÚÒfl ËÁÓÏÓÙÌ˚ÏË. îÓχθÌÓ, ‰‚‡ „‡Ù‡ G = (V(G), E(G )) Ë H = (V(H),E(H)) ̇Á˚‚‡˛ÚÒfl ËÁÓÏÓÙÌ˚ÏË, ÂÒÎË ÒÛ˘ÂÒÚ‚ÛÂÚ ·ËÂ͈Ëfl f : V(G) → V(H), ڇ͇fl˜ÚÓ ‰Îfl β·˚ı u, v ∈V(G) Â·Ó uv ∈ E(G) ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Â·Ó f(u)f(v)∈ E(H).å˚ ·Û‰ÂÏ ‡ÒÒÏÓÚË‚‡Ú¸ ÚÓθÍÓ ÔÓÒÚ˚ ÍÓ̘Ì˚ „‡Ù˚ Ë Ó„‡Ù˚, ÚÓ˜ÌÂÂÍ·ÒÒ˚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË Ú‡ÍËı ËÁÓÏÓÙÌ˚ı „‡ÙÓ‚.15.1.
êÄëëíéüçàü çÄ ÇÖêòàçÄï ÉêÄîÄåÂÚË͇ ÔÛÚËåÂÚËÍÓÈ ÔÛÚË (ËÎË ÏÂÚËÍÓÈ „‡Ù‡, ÏÂÚËÍÓÈ Í‡Ú˜‡È¯Â„Ó ÔÛÚË) dpatḣÁ˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ „‡Ù‡ G = (V, E), ÓÔ‰ÂÎÂÌ̇fl ‰Îflβ·˚ı u, v ∈ V Í‡Í ‰ÎË̇ ͇ژ‡È¯Â„Ó (u – v) ÔÛÚË ‚ G. ä‡Ú˜‡È¯ËÈ (u – v) ÔÛڸ̇Á˚‚‡ÂÚÒfl „ÂÓ‰ÂÁ˘ÂÒÍÓÈ ÎËÌËÂÈ. ëÓÓÚ‚ÂÚÒÚ‚Û˛˘Â ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó̇Á˚‚‡ÂÚÒfl „‡Ù˘ÂÒÍËÏ ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ, Ò‚flÁ‡ÌÌ˚Ï Ò „‡ÙÓÏ G.åÂÚË͇ ÔÛÚË „‡Ù‡ ä˝ÎË É ÍÓ̘ÌÓ ÔÓÓʉÂÌÌÓÈ „ÛÔÔ˚ (G, ⋅ , e) ̇Á˚‚‡ÂÚÒflÒÎÓ‚‡ÌÓÈ ÏÂÚËÍÓÈ.
åÂÚË͇ ÔÛÚË „‡Ù‡ G = (V, E), Ú‡ÍÓ„Ó ˜ÚÓ V ÏÓÊÂÚ ·˚Ú¸ˆËÍ΢ÂÒÍË ÛÔÓfl‰Ó˜ÂÌÌÓ ‚ „‡ÏËθÚÓÌÓ‚ÓÏ ˆËÍÎÂ, ̇Á˚‚‡ÂÚÒfl „‡ÏËθÚÓÌÓ‚ÓÈÏÂÚËÍÓÈ. åÂÚË͇ „ËÔÂÍÛ·‡ – ÏÂÚË͇ ÔÛÚË „‡Ù‡ „ËÔÂÍÛ·‡ ç(m , 2) Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ V = {0, 1}m , ·‡ ÍÓÚÓÓ„Ó fl‚Îfl˛ÚÒfl Ô‡‡ÏË ‚ÂÍÚÓÓ‚ x, y ∈∈ {0, 1}m, Ú‡ÍËÏË ˜ÚÓ | {i ∈ {1,…, n}: x i ≠ yi} | = 1; Ó̇ ‡‚̇ | {i ∈ {1,…, n}:xi ≠ 1}∆{i ∈ {1,…, n}: y i = 1 |.
ɇÙ˘ÂÒÍÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó, ÒÓÓÚ‚ÂÚÒÚ‚Û˛˘Â „‡ÙÛ „ËÔÂÍÛ·‡, ̇Á˚‚‡ÂÚÒfl ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ „ËÔÂÍÛ·‡.éÌÓ ÒÓ‚Ô‡‰‡ÂÚ Ò ÏÂÚ˘ÂÒÍËÏ ÔÓÒÚ‡ÌÒÚ‚ÓÏ ({0, 1}m , dl1 ).ÇÁ‚¯ÂÌ̇fl ÏÂÚË͇ ÔÛÚËÇÁ‚¯ÂÌ̇fl ÏÂÚË͇ ÔÛÚË dwpath ÂÒÚ¸ ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ V Ò‚flÁÌÓ„Ó‚Á‚¯ÂÌÌÓ„Ó „‡Ù‡ G = (V, E) Ò ÔÓÎÓÊËÚÂθÌ˚ÏË ‚ÂÒ‡ÏË e·Â (w(e)) e ∈ E,ÓÔ‰ÂÎÂÌ̇fl ͇ÍminP∑ w(e),e ∈P„‰Â ÏËÌËÏÛÏ ·ÂÂÚÒfl ÔÓ ‚ÒÂÏ (u – v) ÔÛÚflÏ ê ‚ G.ê‡ÒÒÚÓflÌË ӷıÓ‰‡ê‡ÒÒÚÓflÌË ӷıÓ‰‡ – ‡ÒÒÚÓflÌË ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ V Ò‚flÁÌÓ„Ó „‡Ù‡ G == (V, E), ÓÔ‰ÂÎÂÌÌÓÂ Í‡Í ‰ÎË̇ Ò‡ÏÓ„Ó ‰ÎËÌÌÓ„Ó Ë̉ۈËÓ‚‡ÌÌÓ„Ó ÔÛÚË(Ú.Â.
ÔÛÚË, ÍÓÚÓ˚È fl‚ÎflÂÚÒfl Ë̉ۈËÓ‚‡ÌÌ˚Ï ÔÓ‰„‡ÙÓÏ „‡Ù‡ G) ËÁ ‚¯ËÌ˚ u‚ ‚¯ËÌÛ v ∈ V.Ç Ó·˘ÂÏ ÒÎÛ˜‡Â ÓÌÓ Ì fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ. ɇ٠̇Á˚‚‡ÂÚÒfl „‡ÙÓÏ Ó·ıÓ‰‡,ÂÒÎË Â„Ó ‡ÒÒÚÓflÌË ӷıÓ‰‡ ÒÓ‚Ô‡‰‡ÂÚ Ò ÏÂÚËÍÓÈ ÔÛÚË (ÒÏ., ̇ÔËÏÂ, [CJT93]).䂇ÁËÏÂÚË͇ ÔÛÚË ‚ Ó„‡Ù‡ı䂇ÁËÏÂÚË͇ ÔÛÚË ‚ Ó„‡Ù‡ı ddpath ÂÒÚ¸ Í‚‡ÁËÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌV ÒËθÌÓ Ò‚flÁÌÓ„Ó ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó „‡Ù‡ D = (V, E), ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı u,v ∈ V Í‡Í ‰ÎË̇ ͇ژ‡È¯Â„Ó ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó (u – v) ÔÛÚË ‚ „‡Ù D. ïÓÓ¯ËÈÚ‡ÍÒËÒÚ ÔË ÂÁ‰Â ÔÓ „ÓÓ‰ÒÍËÏ ÛÎˈ‡Ï Ò Ó‰ÌÓÒÚÓÓÌÌËÏ ‰‚ËÊÂÌËÂÏ ‰ÓÎÊÂÌÔÓθÁÓ‚‡Ú¸Òfl ‰‡ÌÌÓÈ Í‚‡ÁËÏÂÚËÍÓÈ.228ó‡ÒÚ¸ IV.
ê‡ÒÒÚÓflÌËfl ‚ ÔËÍ·‰ÌÓÈ Ï‡ÚÂχÚËÍÂñËÍ΢ÂÒ͇fl ÏÂÚË͇ ‚ Ó„‡Ù‡ıñËÍ΢ÂÒÍÓÈ ÏÂÚËÍÓÈ ‚ Ó„‡Ù‡ı ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ VÒËθÌÓ Ò‚flÁÌÓ„Ó ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó „‡Ù‡ D = (V, E), ÓÔ‰ÂÎÂÌ̇fl ͇Íddpath (u, v) + ddpath (v, u),„‰Â ddpath – Í‚‡ÁËÏÂÚË͇ ÔÛÚË ‚ Ó„‡Ù‡ı.-ÏÂÚË͇ÑÎfl Í·ÒÒ‡ ϒ Ò‚flÁÌ˚ı „‡ÙÓ‚ ÏÂÚË͇ d ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (X, d)̇Á˚‚‡ÂÚÒfl -ÏÂÚËÍÓÈ, ÂÒÎË (X, d) ËÁÓÏÂÚ˘ÌÓ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Û ÏÂÚ˘ÂÒÍÓ„ÓÔÓÒÚ‡ÌÒÚ‚‡ (V, dwpath), „‰Â „‡Ù G = (V, E) ∈ ϒ Ë dwpath – ‚Á‚¯ÂÌ̇fl ÏÂÚË͇ ÔÛÚË̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ V „‡Ù‡ G Ò ÔÓÎÓÊËÚÂθÌÓÈ ÙÛÌ͈ËÂÈ Â·ÂÌ˚ı ‚ÂÒÓ‚ w (ÒÏ.‰Â‚ӂˉ̇fl ÏÂÚË͇).Ñ‚ӂˉ̇fl ÏÂÚË͇Ñ‚ӂˉ̇fl ÏÂÚË͇ (ËÎË ‚Á‚¯ÂÌ̇fl ÏÂÚË͇ ‰Â‚‡) d ̇ ÏÌÓÊÂÒÚ‚Â ï ÂÒÚ¸-ÏÂÚË͇ ‰Îfl Í·ÒÒ‡ ϒ ‚ÒÂı ‰Â‚¸Â‚, Ú.Â.
ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X, d)ËÁÓÏÂÚ˘ÌÓ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Û ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (V, dwpath), „‰Â T = (V, E)ÂÒÚ¸ ‰ÂÂ‚Ó Ë dwpath – ‚Á‚¯ÂÌ̇fl ÏÂÚË͇ ÔÛÚË Ì‡ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ V ‰Â‚‡ íÒ ÔÓÎÓÊËÚÂθÌÓÈ ÙÛÌ͈ËÂÈ Â·ÂÌ˚ı ‚ÂÒÓ‚ w. åÂÚË͇ fl‚ÎflÂÚÒfl ‰Â‚ӂˉÌÓÈÏÂÚËÍÓÈ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Ó̇ Û‰Ó‚ÎÂÚ‚ÓflÂÚ Ì‡‚ÂÌÒÚ‚Û ˜ÂÚ˚ÂıÚÓ˜ÂÍ.åÂÚË͇ d ̇ ÏÌÓÊÂÒÚ‚Â ï ̇Á˚‚‡ÂÚÒfl ÓÒ··ÎÂÌÌÓÈ ‰Â‚ÓÔÓ‰Ó·ÌÓÈ ÏÂÚËÍÓÈ,ÂÒÎË ÏÌÓÊÂÒÚ‚Ó ï ÏÓÊÂÚ ·˚Ú¸ ‚ÎÓÊÂÌÓ ‚ ÌÂÍÓÚÓÓ (Ì ӷflÁ‡ÚÂθÌÓ ÔÓÎÓÊËÚÂθÌÓ) ·ÂÌÓ-‚Á‚¯ÂÌÌÓ ‰Â‚Ó, Ú‡ÍÓ ˜ÚÓ ‰Îfl β·˚ı x, y ∈ X ÏÂÚË͇d(x, y) ‡‚̇ ÒÛÏÏ ‚ÂÒÓ‚ ‚ÒÂı · ‚‰Óθ (‰ËÌÒÚ‚ÂÌÌÓ„Ó) ÔÛÚË ÏÂÊ‰Û ÒÓÓÚ‚ÂÚÒÚ‚Û˛˘ËÏË ‚¯Ë̇ÏË ı Ë Û ‰Â‚‡.
åÂÚË͇ fl‚ÎflÂÚÒfl ÓÒ··ÎÂÌÌÓÈ ‰Â‚ӂˉÌÓÈ ÏÂÚËÍÓÈ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Ó̇ Û‰Ó‚ÎÂÚ‚ÓflÂÚ ÓÒ··ÎÂÌÌÓÏÛ̇‚ÂÌÒÚ‚Û ˜ÂÚ˚Âı ÚÓ˜ÂÍ.åÂÚË͇ ÒÓÔÓÚË‚ÎÂÌËflÑÎfl ÒÎÛ˜‡fl Ò‚flÁÌÓ„Ó „‡Ù‡ G = (V, E) Ò ÔÓÎÓÊËÚÂθÌÓÈ ÙÛÌ͈ËÂÈ Â·ÂÌ˚ı‚ÂÒÓ‚ w = (w(e))e ∈ E ‡ÒÒÏÓÚËÏ ‚ÂÒ‡ e·Â Í‡Í ÒÓÔÓÚË‚ÎÂÌËfl. ÇÓÁ¸ÏÂÏ Î˛·˚ ‰‚‡Á΢Ì˚ ‚¯ËÌ˚ Ë Ë v Ô‰ÔÓÎÓÊËÏ, ˜ÚÓ Í ÌËÏ ÔÓ‰ÒÓ‰ËÌÂ̇ ·‡Ú‡Âfl Ú‡ÍËÏÓ·‡ÁÓÏ, ˜ÚÓ Â‰ËÌˈ‡ ÚÓ͇ Ú˜ÂÚ ËÁ v ‚ u. çÂÓ·ıÓ‰Ëχfl ‰Îfl ˝ÚÓ„Ó ‡ÁÌÓÒÚ¸ (ÔÓÚÂ̈ˇÎÓ‚) ̇ÔflÊÂÌËfl ÓÔ‰ÂÎflÂÚÒfl ÔÓ Á‡ÍÓÌÛ éχ Í‡Í ˝ÙÙÂÍÚË‚ÌÓ ÒÓÔÓÚË‚ÎÂÌËÂÏÂÊ‰Û u Ë v ‚ ˝ÎÂÍÚ˘ÂÒÍÓÈ ˆÂÔË; ÓÌÓ Ì‡Á˚‚‡ÂÚÒfl ÏÂÚËÍÓÈ ÒÓÔÓÚË‚ÎÂÌËfl Ω(u, v)ÏÂÊ‰Û ÌËÏË ([KlRa93]) (ÒÏ. ê‡ÒÒÚÓflÌË Ò‰ÌÂ„Ó ÒÓÔÓÚË‚ÎÂÌËfl, „Î. 14). óËÒÎÓ1ÏÓÊÌÓ ‡ÒÒχÚË‚‡Ú¸ ÔÓ‰Ó·ÌÓ ˝ÎÂÍÚ˘ÂÒÍÓÈ ÔÓ‚Ó‰ËÏÓÒÚË Í‡Í ÏÂÛΩ(u, v)1,ÒÓ‰ËÌflÂÏÓÒÚË ÏÂÊ‰Û u Ë v.
àÏÂÌÌÓ, ‚˚ÔÓÎÌflÂÚÒfl ÛÒÎÓ‚Ë Ω(u, v) ≤ minPw(e)e ∈P„‰Â ê – β·ÓÈ (u – v) ÔÛÚ¸, Ò ‡‚ÂÌÒÚ‚ÓÏ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Ú‡ÍÓÈ ÔÛÚ¸ êfl‚ÎflÂÚÒfl ‰ËÌÒÚ‚ÂÌÌ˚Ï; ÒΉӂ‡ÚÂθÌÓ, ÂÒÎË w(e) = 1 ‰Îfl ‚ÒÂı ·Â, ‡‚ÂÌÒÚ‚ÓÓÁ̇˜‡ÂÚ, ˜ÚÓ G fl‚ÎflÂÚÒfl ‰Â‚ÓÏ. åÂÚË͇ ÒÓÔÓÚË‚ÎÂÌËfl ÔËÏÂÌflÂÚÒfl (‚ ÙËÁËÍÂ,ıËÏËË Ë ÒÂÚflı) ‚ ÒÎÛ˜‡flı, ÍÓ„‰‡ ÌÂÓ·ıÓ‰ËÏÓ Û˜ËÚ˚‚‡Ú¸ ˜ËÒÎÓ ÔÛÚÂÈ ÏÂÊ‰Û Î˛·˚Ïˉ‚ÛÏfl ‚¯Ë̇ÏË.ÖÒÎË w(e) = 1 ‰Îfl ‚ÒÂı ·Â, ÚÓΩ(u, v) = ( guu + gvv ) − ( gvv + guu ),∑É·‚‡ 15. ê‡ÒÒÚÓflÌËfl ‚ ÚÂÓËË „‡ÙÓ‚229„‰Â ((gij)) – Ó·Ó·˘fiÌ̇fl Ó·‡Ú̇fl χÚˈ‡ ‰Îfl χÚˈ˚ ã‡Ô·҇ (lij)) „‡Ù‡ G:Á‰ÂÒ¸ lii ÂÒÚ¸ ÒÚÂÔÂ̸ ‚¯ËÌ˚ i, ‡ ‰Îfl i ≠ j ‚Â΢Ë̇ lij = 1, ÂÒÎË ‚¯ËÌ˚ i Ë jÒÏÂÊÌ˚Â, Ë lij = 0, Ë̇˜Â. ÇÂÓflÚÌÓÒÚ̇fl ËÌÚÂÔÂÚ‡ˆËfl Ú‡ÍÓ‚‡: Ω(u, v) == (deg(u) Pr(u − v)) −1 , „‰Â deg(u) – ÒÚÂÔÂ̸ ‚¯ËÌ˚ u Ë Pr(u – v) – ‚ÂÓflÚÌÓÒÚ¸ ÔËÒÎÛ˜‡ÈÌÓ„ ·ÎÛʉ‡ÌËË, ̇˜Ë̇˛˘ÂÏÒfl Ò u, ÔÓÒÂÚËÚ¸ v Ô‰ ‚ÓÁ‡˘ÂÌËÂÏ ‚ u.ìÒ˜ÂÌ̇fl ÏÂÚË͇ìÒ˜ÂÌÌÓÈ ÏÂÚËÍÓÈ Ì‡Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ „‡Ù‡, ‡‚̇fl 1‰Îfl β·˚ı ‰‚Ûı ÒÏÂÊÌ˚ı ‚¯ËÌ Ë ‡‚̇fl 2 ‰Îfl β·˚ı ‡Á΢Ì˚ı ÌÂÒÏÂÊÌ˚ı‚¯ËÌ.
é̇ fl‚ÎflÂÚÒfl 2-ÛÒ˜ÂÌÌÓÈ ÏÂÚËÍÓÈ ‰Îfl ÏÂÚËÍË ÔÛÚË „‡Ù‡. é̇ fl‚ÎflÂÚÒfl(1,2)-Ç-ÏÂÚËÍÓÈ, ÂÒÎË ÒÚÂÔÂ̸ β·ÓÈ ‚¯ËÌ˚ Ì ·Óθ¯Â ˜ÂÏ Ç.åÌÓ„Ó͇ÚÌÓ ‚˚‚ÂÂÌÌÓ ‡ÒÒÚÓflÌËÂåÌÓ„Ó͇ÚÌÓ ‚˚‚ÂÂÌÌ˚Ï ‡ÒÒÚÓflÌËÂÏ Ì‡Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌË ̇ ÏÌÓÊÂÒڂ‚¯ËÌ V m-Ò‚flÁÌÓ„Ó ‚Á‚¯ÂÌÌÓ„Ó „‡Ù‡G = (V, E) , ÓÔ‰ÂÎÂÌÌÓ ‰Îfl β·˚ı u, v ∈∈ V Í‡Í ÏËÌËχθ̇fl ‚Á‚¯ÂÌ̇fl ÒÛÏχ ‰ÎËÌ m ÌÂÔÂÂÒÂ͇˛˘ËıÒfl (u – v) ÔÛÚÂÈ.éÌÓ fl‚ÎflÂÚÒfl Ó·Ó·˘ÂÌËÂÏ ÔÓÌflÚËfl ‡ÒÒÚÓflÌËfl ̇ ÒÎÛ˜‡È, ÍÓ„‰‡ Ú·ÛÂÚÒfl ̇ÈÚËÌÂÒÍÓθÍÓ ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ÔÛÚÂÈ ÏÂÊ‰Û ‰‚ÛÏfl ÚӘ͇ÏË, ̇ÔËÏÂ, ‚ ÒËÒÚÂχıÒ‚flÁË, „‰Â m – 1 ËÁ (u – v) ÔÛÚÂÈ ËÒÔÓθÁÛ˛ÚÒfl ‰Îfl ÍÓ‰ËÓ‚‡ÌËfl ÒÓÓ·˘ÂÌËfl,Ô‰‡‚‡ÂÏÓ„Ó ÔÓ ÓÒÚ‡‚¯ÂÏÛÒfl (u – v) ÔÛÚË (ÒÏ. [McCa97]).ɇ٠G ̇Á˚‚‡ÂÚÒfl m-Ò‚flÁÌ˚Ï, ÂÒÎË Ì ÒÛ˘ÂÒÚ‚ÛÂÚ ÏÌÓÊÂÒÚ‚‡ ËÁ m – 1 ·‡, Û‰‡ÎÂÌË ÍÓÚÓ˚ı Ô‚‡ÚËÚ „‡Ù ‚ ÌÂÒ‚flÁÌ˚È.
ë‚flÁÌ˚È „‡Ù fl‚ÎflÂÚÒfl1-Ò‚flÁÌ˚Ï.ê‡ÁÂÁ – ˝ÚÓ ‡Á·ËÂÌË ÏÌÓÊÂÒÚ‚‡ ̇ ‰‚ ˜‡ÒÚË. ÖÒÎË Á‡‰‡ÌÓ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó SÏÌÓÊÂÒÚ‚‡ Vn = {1,…, n}, ÚÓ Á‡‰‡ÌÓ ‡Á·ËÂÌË {S, Vn\S} ÏÌÓÊÂÒÚ‚‡ Vn . èÓÎÛÏÂÚË͇ ‡ÁÂÁ‡ ̇ Vn , ÓÔ‰ÂÎflÂχfl Ú‡ÍËÏ ‡Á·ËÂÌËÂÏ, ÏÓÊÂÚ ‡ÒÒχÚË‚‡Ú¸ÒflÍ‡Í ÒÔˆˇθ̇fl ÔÓÎÛÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ ÔÓÎÌÓ„Ó ‰‚Û‰ÓθÌÓ„Ó „‡Ù‡K S, Vn \ S , „‰Â ‡ÒÒÚÓflÌË ÏÂÊ‰Û ‚¯Ë̇ÏË ‡‚ÌÓ 1, ÂÒÎË ÓÌË ÔË̇‰ÎÂÊ‡Ú ‡ÁÌ˚Ϙ‡ÒÚflÏ ‰‡ÌÌÓ„Ó „‡Ù‡, Ë ‡‚ÌÓ 0, Ë̇˜Â.èÓÎÛÏÂÚË͇ ‡ÁÂÁ‡ÖÒÎË Á‡‰‡ÌÓ ÔÓ‰ÏÌÓÊÂÒÚ‚Ó S ÏÌÓÊÂÒÚ‚‡ Vn = {1,…, n}, ÚÓ ÔÓÎÛÏÂÚË͇ ‡ÁÂÁ‡(ËÎË ÔÓÎÛÏÂÚË͇ ‡Á‰‚ÓÂÌËfl) δS fl‚ÎflÂÚÒfl ÔÓÎÛÏÂÚËÍa ̇ Vn , ÓÔ‰ÂÎÂÌ̇fl ͇Í1, ÂÒÎË i ≠ j, | S {i, j} |= 1,δ S (i, j ) = 0, Ë̇˜Â.é·˚˜ÌÓ Ó̇ ‡ÒÒχÚË‚‡ÂÚÒfl Í‡Í ‚ÂÍÚÓ ‚ | En | , E(n) = {{i, j} : 1 ≤ i < j ≤ n}.äÛ„Ó‚ÓÈ ‡ÁÂÁ V n Á‡‰‡ÂÚÒfl ÔÓ‰ÏÌÓÊÂÒÚ‚ÓÏ S[k+1, l] = {k + 1,…, l} (mod n) ⊂ Vn :ÂÒÎË ‡ÒÒχÚË‚‡Ú¸ ÚÓ˜ÍË Í‡Í ÛÔÓfl‰Ó˜ÂÌÌ˚ ‚‰Óθ ÓÍÛÊÌÓÒÚË ‚ ÚÓÏ ÊÂÍÛ„Ó‚ÓÏ ÔÓfl‰ÍÂ, ÚÓ S[k+1, l] ÂÒÚ¸ ÏÌÓÊÂÒÚ‚Ó ÔÓÒΉӂ‡ÚÂθÌ˚ı ‚¯ËÌ ÓÚ k + 1 ‰Ó l.ÑÎfl ÍÛ„Ó‚Ó„Ó ‡ÁÂÁ‡ ÒÓÓÚ‚ÂÚÒÚ‚Û˛˘‡fl ÔÓÎÛÏÂÚË͇ ‡ÁÂÁ‡ ̇Á˚‚‡ÂÚÒflÔÓÎÛÏÂÚËÍÓÈ ÍÛ„Ó‚Ó„Ó ‡ÁÂÁ‡.èÓÎÛÏÂÚËÍÓÈ ˜ÂÚÌÓ„Ó ‡ÁÂÁ‡ ̇Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ δS ̇ Vn Ò ˜ÂÚÌ˚Ï | S |.èÓÎÛÏÂÚËÍÓÈ Ì˜ÂÚÌÓ„Ó ‡ÁÂÁ‡ ̇Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ δS ̇ V n Ò Ì˜ÂÚÌ˚Ï| S |.