Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 51
Текст из файла (страница 51)
èÓÎÛÏÂÚË͇ k-‡‚ÌÓÏÂÌÓ„Ó ‡ÁÂÁ‡ ÂÒÚ¸ δS ̇ Vn Ò | S | ∈ { k, n – k} .n nèÓÎÛÏÂÚË͇ ‡‚ÌÓ„Ó ‡ÁÂÁ‡ ÂÒÚ¸ ÔÓÎÛÏÂÚË͇ δS ̇ Vn Ò | S | ∈ , . 2 2 230ó‡ÒÚ¸ IV. ê‡ÒÒÚÓflÌËfl ‚ ÔËÍ·‰ÌÓÈ Ï‡ÚÂχÚËÍÂn nèÓÎÛÏÂÚË͇ ̇‚ÌÓ„Ó ‡ÁÂÁ‡ – ÔÓÎÛÏÂÚË͇ δS ̇ Vn Ò | S | ∉ , (ÒÏ.,22̇ÔËÏÂ, [DeLa97]).ê‡ÁÎÓÊËχfl ÔÓÎÛÏÂÚË͇ê‡ÁÎÓÊËχfl ÔÓÎÛÏÂÚËÍÓÈ – ÔÓÎÛÏÂÚË͇ ̇ V n = {1,…, n}, ÍÓÚÓÛ˛ ÏÓÊÌÓÔ‰ÒÚ‡‚ËÚ¸ Í‡Í ÌÂÓÚˈ‡ÚÂθÌÛ˛ ÎËÌÂÈÌÛ˛ ÍÓÏ·Ë̇ˆË˛ ÔÓÎÛÏÂÚËÍ ‡ÁÂÁ‡.åÌÓÊÂÒÚ‚ÓÏ ‚ÒÂı ‡ÁÎÓÊËÏ˚ı ÔÓÎÛÏÂÚËÍ Ì‡ Vn Ó·‡ÁÛÂÚ ‚˚ÔÛÍÎ˚È ÍÓÌÛÒ,ÍÓÚÓ˚È Ì‡Á˚‚‡ÂÚÒfl ‡ÁÂÁÌ˚Ï ÍÓÌÛÒÓÏ CUTn .èÓÎÛÏÂÚË͇ ̇ Vn ·Û‰ÂÚ ‡ÁÎÓÊËÏÓÈ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Ó̇ fl‚ÎflÂÚÒflÍÓ̘ÌÓÈ l1 -ÔÓÎÛÏÂÚËÍÓÈ.äÛ„Ó‚ÓÈ ‡ÁÎÓÊËÏÓÈ ÔÓÎÛÏÂÚËÍÓÈ Ì‡Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ ̇ Vn = {1,…, n},ÍÓÚÓÛ˛ ÏÓÊÌÓ Ô‰ÒÚ‡‚ËÚ¸ Í‡Í ÌÂÓÚˈ‡ÚÂθÌÛ˛ ÎËÌÂÈÌÛ˛ ÍÓÏ·Ë̇ˆË˛ ÔÓÎÛÏÂÚËÍ ÍÛ„Ó‚Ó„Ó ‡ÁÂÁ‡.èÓÎÛÏÂÚË͇ ̇ Vn ·Û‰ÂÚ ÍÛ„Ó‚ÓÈ ‡ÁÎÓÊËÏÓÈ ÔÓÎÛÏÂÚËÍÓÈ ÚÓ„‰‡ Ë ÚÓθÍÓÚÓ„‰‡, ÍÓ„‰‡ Ó̇ fl‚ÎflÂÚÒfl ÔÓÎÛÏÂÚËÍÓÈ ä‡ÎχÌÒÓ̇ ÔÓ ÓÚÌÓ¯ÂÌ˲ Í ÚÓÏÛ ÊÂÔÓfl‰ÍÛ (ÒÏ.
[ChFi98]).äÓ̘̇fl lp -ÔÓÎÛÏÂÚË͇ÑÎfl ÍÓ̘ÌÓ„Ó ÏÌÓÊÂÒÚ‚‡ ï ÍÓ̘̇fl lp-ÔÓÎÛÏÂÚËÍ Ì‡Á˚‚‡ÂÚÒflÒ ÔÓÎÛÏÂÚË͇ ḋ ï, ڇ͇fl ˜ÚÓ (X, d) ÂÒÚ¸ ÔÓÎÛÏÂÚ˘ÂÒÍÓ ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚Ó l pm -ÔÓÒÚ‡ÌÒÚ‚‡( m , dl p ) ‰Îfl ÌÂÍÓÚÓÓ„Ó m ∈ . ÖÒÎË X = {0, 1}n , ÚÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó(X, d) ̇Á˚‚‡ÂÚÒfl l pm -ÍÛ·ÓÏ. l1m -ÍÛ· ̇Á˚‚‡ÂÚÒfl ı˝ÏÏË̄ӂ˚Ï ÍÛ·ÓÏ.èÓÎÛÏÂÚË͇ ä‡ÎχÌÒÓ̇èÓÎÛÏÂÚËÍÓÈ ä‡ÎχÌÒÓ̇ ̇Á˚‚‡ÂÚÒfl ÔÓÎÛÏÂÚË͇ d ̇ Vn = {1,…, n},Û‰Ó‚ÎÂÚ‚Ófl˛˘‡fl ÛÒÎӂ˲max{d (i, j ) + d (r, s), d (i, s) + d ( j, r )} ≤ d (i, r ) + d ( j, s)‰Îfl ‚ÒÂı 1 ≤ i ≤ j ≤ r ≤ s ≤ n.
Ç ‰‡ÌÌÓÏ ÓÔ‰ÂÎÂÌËË ‚‡ÊÂÌ ÔÓfl‰ÓÍ ˝ÎÂÏÂÌÚÓ‚; ËÏÂÌÌÓ, d fl‚ÎflÂÚÒfl ÔÓÎÛÏÂÚËÍÓÈ ä‡ÎχÌÒÓ̇ ÔÓ ÓÚÌÓ¯ÂÌ˲ Í ÔÓfl‰ÍÛ1,…, n.ù͂˂‡ÎÂÌÚÌÓ, ÂÒÎË ‡ÒÒχÚË‚‡Ú¸ ÚÓ˜ÍË {1,…, n} Í‡Í ‡ÒÔÓÎÓÊÂÌÌ˚ ‚‰ÓθˆËÍ· C n ‚ ÚÓÏ Ê ÍÛ„Ó‚ÓÏ ÔÓfl‰ÍÂ, ÚÓ ‡ÒÒÚÓflÌË d ̇ Vn fl‚ÎflÂÚÒfl ÔÓÎÛÏÂÚËÍÓÈä‡ÎχÌÒÓ̇, ÂÒÎË Ì‡‚ÂÌÒÚ‚Ód (i, r ) + d ( j, s) ≤ d (i, j ) + d (r, s)‚˚ÔÓÎÌflÂÚÒfl ‰Îfl ‚ÒÂı i, j, r, s ∈ V n , Ú‡ÍËı ˜ÚÓ ÓÚÂÁÍË [i, j] Ë [r, s] fl‚Îfl˛ÚÒflÔÂÂÒÂ͇˛˘ËÏËÒfl ıÓ‰‡ÏË C n .Ñ‚ӂˉ̇fl ÏÂÚË͇ ÂÒÚ¸ ÏÂÚË͇ ä‡ÎχÌÒÓ̇ ‰Îfl ÌÂÍÓÚÓÓÈ ÛÔÓfl‰Ó˜ÂÌÌÓÒÚ˂¯ËÌ ‰Â‚‡.
Ö‚ÍÎˉӂ‡ ÏÂÚË͇, Ó„‡Ì˘ÂÌ̇fl ̇ ÏÌÓÊÂÒÚ‚Ó ÚÓ˜ÂÍ, Ó·‡ÁÛ˛˘Ëı ‚˚ÔÛÍÎ˚È ÏÌÓ„ÓÛ„ÓθÌËÍ Ì‡ ÔÎÓÒÍÓÒÚË, fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ ä‡ÎχÌÒÓ̇.èÓÎÛÏÂÚË͇ ÏÛθÚˇÁÂÁ‡èÛÒÚ¸ {S1 ,…, Sq }, q ≥ 2 – ‡Á·ËÂÌË ÏÌÓÊÂÒÚ‚‡ Vn = {1,…, n}, Ú.Â. ÒÓ‚ÓÍÛÔÌÓÒÚ¸S1 ,…, S q ÔÓÔ‡ÌÓ ÌÂÔÂÂÒÂ͇˛˘ËıÒfl ÔÓ‰ÏÌÓÊÂÒÚ‚ ÏÌÓÊÂÒÚ‚‡ Vn , Ú‡ÍËı ˜ÚÓS1 … Sq = Vn .É·‚‡ 15. ê‡ÒÒÚÓflÌËfl ‚ ÚÂÓËË „‡ÙÓ‚231èÓÎÛÏÂÚË͇ ÏÛθÚˇÁÂÁ‡ δ S1 ,…, Sq – ˝ÚÓ ÔÓÎÛÏÂÚË͇ ̇ Vn , ÓÔ‰ÂÎÂÌ̇fl ͇Í0, ÂÒÎË i, j ∈ Sh ‰Îfl ÌÂÍÓÚÓÓ„Ó h, 1 ≤ h ≤ q,δ S1 ,…, Sq (i, j ) = 1, Ë̇˜Â.䂇ÁËÔÓÎÛÏÂÚË͇ ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó ‡ÁÂÁ‡ÑÎfl ÔÓ‰ÏÌÓÊÂÒÚ‚‡ S ÏÌÓÊÂÒÚ‚‡ Vn = {1,…, n} Í‚‡ÁËÔÓÎÛÏÂÚËÍÓÈ ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó ‡ÁÂÁ‡ δ ′S ̇Á˚‚‡ÂÚÒfl Í‚‡ÁËÔÓÎÛÏÂÚË͇ ̇ Vn , ÓÔ‰ÂÎÂÌ̇fl ͇Í1, ÂÒÎË i ∈ S, j ∉ S,δ ′S (i, j ) = 0, Ë̇˜Â.é·˚˜ÌÓ Ó̇ ‡ÒÒχÚË‚‡ÂÚÒfl Í‡Í ‚ÂÍÚÓ ‚ | I n | , I (n) = {{i, j} : 1 ≤ i ≠ j ≤ n}.èÓÎÛÏÂÚË͇ ‡ÁÂÁ‡ δS ÏÓÊÂÚ ·˚Ú¸ Ô‰ÒÚ‡‚ÎÂ̇ Í‡Í δ ′S + δ V′ n \ S .䂇ÁËÔÓÎÛÏÂÚË͇ ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó ÏÛθÚˇÁÂÁ‡ÑÎfl ‡Á·ËÂÌËfl {S1 ,…, Sq }, q ≥ 2 ÏÌÓÊÂÒÚ‚‡ Vn Í‚‡ÁËÔÓÎÛÏÂÚËÍÓÈ ÓËÂÌÚËÓ‚‡ÌÌÓ„Ó ÏÛθÚˇÁÂÁ‡ δ S1 ,…, Sq ̇Á˚‚‡ÂÚÒfl Í‚‡ÁËÔÓÎÛÏÂÚË͇ ̇ Vn , ÓÔ‰ÂÎÂÌ̇fl ͇Í1, ÂÒÎË i ∈ Sh , j ∈ Sm , h < m,δ ′S1 ,…, Sq (i, j ) = 0, Ë̇˜Â.15.2.
ÉêÄîõ, éèêÖÑÖãüÖåõÖ ë èéåéôúû êÄëëíéüçàâk-cÚÂÔÂ̸ „‡Ù‡k-cÚÂÔÂ̸ „‡Ù‡ G = (V, E) ÂÒÚ¸ ÒÛÔ„‡Ù Gk = (V, E') „‡Ù‡ G Ò Â·‡ÏË ÏÂʉۂÒÂÏË Ô‡‡ÏË ‚¯ËÌ, ÏÂÚË͇ ÔÛÚË ‰Îfl ÍÓÚÓ˚ı Ì ·Óθ¯Â ˜ÂÏ k .àÁÓÏÂÚ˘ÂÒÍËÈ ÔÓ‰„‡ÙèÓ‰„‡Ù ç „‡Ù‡ G = (V, E) ̇Á˚‚‡ÂÚÒfl ËÁÓÏÂÚ˘ÂÒÍËÏ ÔÓ‰„‡ÙÓÏ, ÂÒÎËÏÂÚË͇ ÔÛÚË ÏÂÊ‰Û Î˛·˚ÏË ‰‚ÛÏfl ‚¯Ë̇ÏË ÔÓ‰„‡Ù‡ ç ‡‚̇ Ëı ÏÂÚËÍ ÔÛÚË‚ „‡Ù G.êÂÚ‡ÍÚ ÔÓ‰„‡Ù‡èÓ‰„‡Ù ç „‡Ù‡ G = (V, E) ̇Á˚‚‡ÂÚÒfl ÂÚ‡ÍÚ-ÔÓ‰„‡ÙÓÏ, ÂÒÎË ÓÌ ÔÓÓʉÂÌˉÂÏÔÓÚÂÌÚÌ˚Ï ÒÊËχ˛˘ËÏ ÓÚÓ·‡ÊÂÌËÂÏ G ‚ Ò·fl, Ú.Â.
f2 = f : V → V Ò dpath(f(u),f(v)) ≤ dpath(u, v) ‰Îfl ‚ÒÂı . ã˛·ÓÈ ÂÚ‡ÍÚ – ÔÓ‰„‡Ù fl‚ÎflÂÚÒfl ËÁÓÏÂÚ˘ÂÒÍËÏÔÓ‰„‡ÙÓÏ.ÉÂÓ‰ÂÚ˘ÂÒÍËÈ „‡Ùë‚flÁÌ˚È „‡Ù ̇Á˚‚‡ÂÚÒfl „ÂÓ‰ÂÚ˘ÂÒÍËÏ, ÂÒÎË ÒÛ˘ÂÒÚ‚ÛÂÚ ÚÓθÍÓ Ó‰ËÌ Í‡Ú˜‡È¯ËÈ ÔÛÚ¸ ÏÂÊ‰Û Î˛·˚ÏË ‰‚ÛÏfl Â„Ó ‚¯Ë̇ÏË. ã˛·Ó ‰ÂÂ‚Ó fl‚ÎflÂÚÒfl„ÂÓ‰ÂÚ˘ÂÒÍËÏ „‡ÙÓÏ.232ó‡ÒÚ¸ IV.
ê‡ÒÒÚÓflÌËfl ‚ ÔËÍ·‰ÌÓÈ Ï‡ÚÂχÚËÍÂê‡ÒÒÚÓflÌÌÓ-„ÛÎflÌ˚È „‡Ùë‚flÁÌ˚È „‡Ù G = (V, E) ‰Ë‡ÏÂÚ‡ í ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌÌÓ-„ÛÎflÌ˚Ï, ÂÒÎˉÎfl β·˚ı Â„Ó ‚¯ËÌ u, v Ë Î˛·˚ı ˆÂÎ˚ı ˜ËÒÂÎ 0 ≤ i, j ≤ T ÍÓ΢ÂÒÚ‚Ó ‚¯ËÌ w,Ú‡ÍËı ˜ÚÓ dpath(u, w) = i Ë dpath(v, w) = j, Á‡‚ËÒËÚ ÚÓθÍÓ ÓÚ i, j Ë k = dpath(u, v), ÌÓ Ì ÓÚ‚˚·‡ÌÌ˚ı ‚¯ËÌ u Ë v.ëÔˆˇθÌ˚Ï ÒÎÛ˜‡ÂÏ fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ-Ú‡ÌÁËÚË‚Ì˚È „‡Ù, Ú.Â.
Ú‡ÍÓÈ „‡Ù,˜ÚÓ Â„Ó „ÛÔÔ‡ ‡‚ÚÓÏÓÙËÁÏÓ‚ Ú‡ÌÁËÚ˂̇ ‰Îfl β·Ó„Ó 0 ≤ i < T ̇ Ô‡‡ı ‚¯ËÌ(u, v) Ò dpath(u, v) = i.ã˛·ÓÈ ‡ÒÒÚÓflÌÌÓ-„ÛÎflÌ˚È „‡Ù fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ-Û‡‚Ìӂ¯ÂÌÌ˚Ï„‡ÙÓÏ, Ú.Â. | {x ∈ V: d(x, u) ≤ d(x, v)} | = | {x ∈ V: d(x, v) ≤ d(x, u)} | ‰Îfl β·˚ı „Ó· uv, Ë ‡ÒÒÚÓflÌÌÓ-ÒÚÂÔÂÌÌÓ-„ÛÎflÌ˚Ï „‡ÙÓÏ, Ú.Â. | {x ∈ V: d(x, u) = i} |Á‡‚ËÒËÚ ÚÓθÍÓ ÓÚ i, ÌÓ Ì ÓÚ u ∈ V.ê‡ÒÒÚÓflÌÌÓ-„ÛÎflÌ˚È „‡Ù Ë̇˜Â ̇Á˚‚‡ÂÚÒfl ê-ÔÓÎËÌÓÏˇθÌÓÈ ‡ÒÒӈˇÚË‚ÌÓÈ ÒıÂÏÓÈ. äÓ̘ÌÓ ÔÓÎËÌÓÏˇθÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó – ‡ÒÒӈˇÚ˂̇flÒıÂχ, ÍÓÚÓ‡fl ê- Ë Q-ÔÓÎËÌÓÏˇθ̇. íÂÏËÌ ·ÂÒÍÓ̘ÌÓ ÔÓÎËÌÓÏˇθÌÓÂÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó ËÒÔÓθÁÛÂÚÒfl ‰Îfl ÍÓÏÔ‡ÍÚÌÓ„Ó Ò‚flÁÌÓ„Ó ‰‚ÛıÚӘ˜ÌÓ„Ó Ó‰ÌÓÓ‰ÌÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡. LJ̄ Í·ÒÒËÙˈËÓ‚‡Î Ëı Í‡Í Â‚ÍÎˉӂ˚ ‰ËÌ˘Ì˚ ÒÙÂ˚, ‰ÂÈÒÚ‚ËÚÂθÌ˚Â, ÍÓÏÔÎÂÍÒÌ˚Â Ë Í‚‡ÚÂÌËÓÌÌ˚ ÔÓÂÍÚË‚Ì˚ÂÔÓÒÚ‡ÌÒÚ‚‡ ËÎË ÔÓÂÍÚË‚Ì˚ ÔÎÓÒÍÓÒÚË ä˝ÎË.ê‡ÒÒÚÓflÌÌÓ-ÔÓÎËÌÓÏˇθÌ˚È „‡ÙÇÓÁ¸ÏÂÏ Ò‚flÁÌ˚È „‡Ù G = (V, E) ‰Ë‡ÏÂÚ‡ í, ‰Îfl β·Ó„Ó 2 ≤ i ≤ T Ó·ÓÁ̇˜ËϘÂÂÁ Gi „‡Ù Ò ÚÂÏ Ê ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ, ˜ÚÓ Ë G, Ë Â·‡ÏË uv, Ú‡ÍËÏË ˜ÚÓdpath(u, v) = i.ɇ٠G ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌÌÓ-ÔÓÎËÌÓÏˇθÌ˚Ï, ÂÒÎË Ï‡Úˈ‡ ÒÏÂÊÌÓÒÚËβ·Ó„Ó „‡Ù‡ G i, 2 ≤ i ≤ T, fl‚ÎflÂÚÒfl ÔÓÎËÌÓÏÓÏ ‚ ÚÂÏË̇ı χÚˈ˚ ÒÏÂÊÌÓÒÚË G.ã˛·ÓÈ ‡ÒÒÚÓflÌÌÓ-„ÛÎflÌ˚È „‡Ù fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ-ÔÓÎËÌÓÏˇθÌ˚Ï.ê‡ÒÒÚÓflÌÌÓ-̇ÒΉÒÚ‚ÂÌÌ˚È „‡Ùë‚flÁÌ˚È „‡Ù ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌÌÓ-̇ÒΉÒÚ‚ÂÌÌ˚Ï, ÂÒÎË Í‡Ê‰˚È ËÁ „ÓÒ‚flÁÌ˚ı Ë̉ۈËÓ‚‡ÌÌ˚ı ÔÓ‰„‡ÙÓ‚ ËÁÓÏÂÚ˘ÂÌ.
ɇ٠fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ̇ÒΉÒÚ‚ÂÌÌ˚Ï, ÂÒÎË ËÁÓÏÂÚ˘ÂÌ Í‡Ê‰˚È ËÁ Â„Ó Ë̉ۈËÓ‚‡ÌÌ˚ı ÔÛÚÂÈ. ã˛·ÓÈÍÓ„‡Ù, Ú.Â. „‡Ù, ÍÓÚÓ˚È Ì ÒÓ‰ÂÊËÚ Ë̉ۈËÓ‚‡ÌÌ˚ı ÔÛÚÂÈ Ì‡ ˜ÂÚ˚Âı‚¯ËÌ,‡ı fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ-̇ÒΉÒÚ‚ÂÌÌ˚Ï. ɇ٠fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ̇ÒΉÒÚ‚ÂÌÌ˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Â„Ó ÏÂÚË͇ ÔÛÚË Û‰Ó‚ÎÂÚ‚ÓflÂÚÓÒ··ÎÂÌÌÓÏÛ Ì‡‚ÂÌÒÚ‚Û ˜ÂÚ˚Âı ÚÓ˜ÂÍ.
ɇ٠fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ-̇ÒΉÒÚ‚ÂÌÌ˚Ï, ‰‚Û‰ÓθÌ˚Ï ‡ÒÒÚÓflÌÌÓ-̇ÒΉÒÚ‚ÂÌÌ˚Ï, ·ÎÓÍÓ‚˚Ï „‡ÙÓÏ ËÎË ‰Â‚ÓÏ ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Â„Ó ÏÂÚË͇ ÔÛÚË ÂÒÚ¸ ÓÒ··ÎÂÌ̇fl ‰Â‚ӂˉ̇flÏÂÚË͇ ‰Îfl ·ÂÌ˚ı ‚ÂÒÓ‚, ÍÓÚÓ˚ fl‚Îfl˛ÚÒfl, ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ, ÌÂÌÛ΂˚ÏËÔÓÎÛˆÂÎ˚ÏË, ÌÂÌÛ΂˚ÏË ˆÂÎ˚ÏË, ÔÓÎÓÊËÚÂθÌ˚ÏË ÔÓÎÛˆÂÎ˚ÏË ËÎË ÔÓÎÓÊËÚÂθÌ˚ÏË ˆÂÎ˚ÏË ˜ËÒ·ÏË.ɇ٠fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌÌÓ-̇ÒΉÒÚ‚ÂÌÌ˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ͇ʉ˚ÈÂ„Ó Ë̉ۈËÓ‚‡ÌÌ˚È ÔÓ‰„‡Ù – 1-ÓÒÚÓ‚.ÅÎÓÍÓ‚˚È „‡Ùɇ٠̇Á˚‚‡ÂÚÒfl · Î Ó Í Ó ‚ ˚ Ï, ÂÒÎË Í‡Ê‰˚È Â„Ó ·ÎÓÍ, Ú.Â.
χÍÒËχθÌ˚È2-Ò‚flÁÌ˚È Ë̉ۈËÓ‚‡ÌÌ˚È ÔÓ‰„‡Ù, fl‚ÎflÂÚÒfl ÔÓÎÌ˚Ï „‡ÙÓÏ. ã˛·Ó ‰ÂÂ‚Ó –·ÎÓÍÓ‚˚È „‡Ù. ɇ٠fl‚ÎflÂÚÒfl ·ÎÓÍÓ‚˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ Â„Ó ÏÂÚË͇ÔÛÚË fl‚ÎflÂÚÒfl ‰Â‚ӂˉÌÓÈ ÏÂÚËÍÓÈ ËÎË, ˝Í‚Ë‚‡ÎÂÌÚÌÓ, Û‰Ó‚ÎÂÚ‚ÓflÂÚ Ì‡‚ÂÌÒÚ‚Û ˜ÂÚ˚Âı ÚÓ˜ÂÍ.É·‚‡ 15. ê‡ÒÒÚÓflÌËfl ‚ ÚÂÓËË „‡ÙÓ‚233èÚÓÎÂÏ‚ „‡Ùɇ٠̇Á˚‚‡ÂÚÒfl ÔÚÓÎÂÏ‚˚Ï, ÂÒÎË Â„Ó ÏÂÚË͇ ÔÛÚË Û‰Ó‚ÎÂÚ‚ÓflÂÚ Ì‡‚ÂÌÒÚ‚Û èÚÓÎÂÏÂfld ( x, y)d (u, z ) ≤ d ( x, u)d ( y, z ) + d ( x, z )d ( y, u).ɇ٠fl‚ÎflÂÚÒfl ÔÚÓÎÂÏ‚˚Ï ÚÓ„‰‡ Ë ÚÓθÍÓ ÚÓ„‰‡, ÍÓ„‰‡ ÓÌ ‡ÒÒÚÓflÌÌÓ̇ÒΉÒÚ‚ÂÌÌ˚È Ë ıÓ‰‡Î¸Ì˚È, Ú.Â. ͇ʉ˚È ˆËÍÎ ‰ÎËÌ˚ ·ÓΠ3 ËÏÂÂÚ ıÓ‰Û.Ç ˜‡ÒÚÌÓÒÚË, β·ÓÈ ·ÎÓÍÓ‚˚È „‡Ù fl‚ÎflÂÚÒfl ÔÚÓÎÂÏ‚˚Ï.ɇ٠D-‡ÒÒÚÓflÌËflÑÎfl ÏÌÓÊÂÒÚ‚‡ D ÔÓÎÓÊËÚÂθÌ˚ı ˜ËÒÂÎ, ÒÓ‰Âʇ˘Â„Ó 1, Ë ÏÂÚ˘ÂÒÍÓ„ÓÔÓÒÚ‡ÌÒÚ‚‡ (X, d) „‡ÙÓÏ D-‡ÒÒÚÓflÌËfl D(X, d) ̇Á˚‚‡ÂÚÒfl „‡Ù Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ ï Ë ÏÌÓÊÂÒÚ‚ÓÏ Â·Â {uv : d(u, v) ∈ D} (ÒÏ.
D-ıÓχÚ˘ÂÒÍÓ ˜ËÒÎÓ,„Î. 1).ɇ٠D-‡ÒÒÚÓflÌËfl ̇Á˚‚‡ÂÚÒfl „‡ÙÓÏ Â‰ËÌ˘ÌÓ„Ó ‡ÒÒÚÓflÌËfl, ÂÒÎË D = {1},„‡ÙÓÏ ε -‰ËÌ˘ÌÓ„Ó ‡ÒÒÚÓflÌËfl, ÂÒÎË D = [1 – ε , 1 + ε], „‡ÙÓÏ Â‰ËÌ˘ÌÓÈÓÍÂÒÚÌÓÒÚË, ÂÒÎË D = (0, 1], „‡ÙÓÏ ˆÂÎÓ˜ËÒÎÂÌÌÓ„Ó ‡ÒÒÚÓflÌËfl, ÂÒÎË D = +,„‡ÙÓÏ ‡ˆËÓ̇θÌÓ„Ó ‡ÒÒÚÓflÌËfl, ÂÒÎË D = +, „‡ÙÓÏ ÔÓÒÚÓ„Ó ‡ÒÒÚÓflÌËfl,ÂÒÎË D fl‚ÎflÂÚÒfl ÏÌÓÊÂÒÚ‚ÓÏ ÔÓÒÚ˚ı ˜ËÒÂÎ (Ò 1).é·˚˜ÌÓ ÏÂÚ˘ÂÒÍÓ ÔÓÒÚ‡ÌÒÚ‚Ó (X, d) fl‚ÎflÂÚÒfl ÔÓ‰ÔÓÒÚ‡ÌÒÚ‚ÓÏ Â‚ÍÎˉӂ‡ÔÓÒÚ‡ÌÒÚ‚‡ n. ÅÓΠÚÓ„Ó, ͇ʉ˚È ÍÓ̘Ì˚È „‡Ù G = (V, E) ÏÓÊÂÚ ·˚Ú¸ Ô‰ÒÚ‡‚ÎÂÌ Í‡Í „‡Ù D-‡ÒÒÚÓflÌËfl ‚ ÌÂÍÓÚÓÓÏ n. åËÌËχθ̇fl ‡ÁÏÂÌÓÒÚ¸ Ú‡ÍÓ„Ó‚ÍÎˉӂ‡ ÔÓÒÚ‡ÌÒÚ‚‡ ̇Á˚‚‡ÂÚÒfl D-‡ÁÏÂÌÓÒÚ¸˛ „‡Ù‡ G.t-çÂÔ˂ӉËÏÓ ÏÌÓÊÂÒÚ‚ÓåÌÓÊÂÒÚ‚Ó S ⊂ V ‚¯ËÌ ‚ Ò‚flÁÌÓÏ „‡Ù G = (V, E) ̇Á˚‚‡ÂÚÒfl t-ÌÂÔ˂ӉËÏ˚Ï(ÔÓ ï‡ÚÚËÌ„Û Ë ïÂÌÌËÌ„Û, 1994), ÂÒÎË ‰Îfl β·Ó„Ó u ∈ S ÒÛ˘ÂÒÚ‚ÛÂÚ ‚¯Ë̇ v ∈ V,ڇ͇fl ˜ÚÓ ‰Îfl ÏÂÚËÍË ÔÛÚË ‚˚ÔÓÎÌflÂÚÒfl ̇‚ÂÌÒÚ‚Ód ( v, x ) ≤ t < d ( v, V \ S ).óËÒÎÓ t-ÌÂÔ˂ӉËÏÓ ir t „‡Ù‡ G ÂÒÚ¸ ̇ËÏÂ̸¯Â ͇‰Ë̇θÌÓ ˜ËÒÎÓ | S |,Ú‡ÍÓ ˜ÚÓ S fl‚ÎflÂÚÒfl, ‡ S ∪ {v} Ì fl‚ÎflÂÚÒfl t-ÌÂÔ˂ӉËÏ˚Ï ‰Îfl Í‡Ê‰Ó„Ó v ∈ V\S.óËÒÎÓ t-‰ÓÏËÌËÓ‚‡ÌËfl γt Ë ˜ËÒÎÓ t-ÌÂÁ‡‚ËÒËÏÓÒÚË α t „‡Ù‡ G ÂÒÚ¸ ÒÓÓÚ‚ÂÚÒÚ1‚ÂÌÌÓ Í‡‰Ë̇θÌÓ ˜ËÒÎÓ Ì‡ËÏÂ̸¯Â„Ó t-ÔÓÍ˚ÚËfl Ë Ì‡Ë·Óθ¯ÂÈ -ÛÔ‡ÍÓ‚ÍË2ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡ (V, d) (ÒÏ.
P‡‰ËÛÒ ÏÂÚ˘ÂÒÍÓ„Ó ÔÓÒÚ‡ÌÒÚ‚‡, „Î. 1).tèÛÒÚ¸ γ it – ̇ËÏÂ̸¯Â | S |, Ú‡ÍÓ ˜ÚÓ S fl‚ÎflÂÚÒfl, ‡ S ∪ {v} Ì fl‚ÎflÂÚÒfl -ÛÔ‡ÍÓ‚2tÍÓÈ ‰Îfl Í‡Ê‰Ó„Ó v ∈ V\S; ÒΉӂ‡ÚÂθÌÓ, ڇ͇fl ̇үËflÂχfl-ÛÔ‡ÍÓ‚2γ +1≤ irt ≤͇ fl‚ÎflÂÚÒfl Ú‡ÍÊ t-ÔÓÍ˚ÚËÂÏ. èË ˝ÚÓÏ ‚˚ÔÓÎÌflÂÚÒfl ÛÒÎÓ‚Ë t2≤ γ t ≤ γ it ≤ α t .t-éÒÚÓ‚éÒÚÓ‚ÌÓÈ ÔÓ‰„‡Ù H = (V , E( H )) Ò‚flÁÌÓ„Ó „‡Ù‡ G = (V, E) ̇Á˚‚‡ÂÚÒfl t-ÓÒÚÓ‚ÓÏHG„‡Ù‡ G, ÂÒÎË ‰Îfl β·˚ı u, v ∈ V ÒÔ‡‚‰ÎË‚Ó Ì‡‚ÂÌÒÚ‚Ó d path(u, v) / d path(u, v) ≤ t.