Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 64
Текст из файла (страница 64)
èÛÒÚ¸ d ( x, y) – ‰ÎË̇ ͇ژ‡È¯Â„Ó ÔÛÚË ËÁ ÏÂÊ‰Û ı Ëy ∈ 2. ÖÒÎË d fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ 2 , ÚÓ Ó̇ ̇Á˚‚‡ÂÚÒfl ÏÂÚËÍÓÈ, ÔÓÓʉÂÌÌÓÈ ÔÛÚÂÏ (ÒÏ., ̇ÔËÏÂ, [Melt91]).G2A = { , },G2B = { , },èÛÒÚ¸ G – Ó‰ÌÓ ËÁ ÏÌÓÊÂÒÚ‚ G1 = { , →},G2C = { , },G2D = {→ , },G3A = {→ , , },G3B = {→ , , },G4A = {→ , , },G4B = { , , },G5 = {→ , , , }.
èÛÒÚ¸ (G) – ÏÌÓÊÂÒÚ‚Ó ÔÛÚÂÈ, ÔÓÎÛ˜ÂÌÌ˚ı ÔÓÒ‰ÒÚ‚ÓÏ ÒÓ˜ÎÂÌÂÌËfl ÔÛÚÂÈ ‚ G Ë ÒÓÓÚ‚ÂÚÒÚ‚Û˛˘ËıÔÛÚÂÈ ‚ ÔÓÚË‚ÓÔÓÎÓÊÌ˚ı ̇ԇ‚ÎÂÌËflı. ã˛·‡fl ÏÂÚË͇, ÔÓÓʉÂÌ̇fl ÔÛÚÂÏ,ÒÓ‚Ô‡‰‡ÂÚ Ò Ó‰ÌÓÈ ËÁ ÏÂÚËÍ d(G). ÅÓΠÚÓ„Ó, ËÏÂ˛Ú ÏÂÒÚÓ ÒÎÂ‰Û˛˘Ë ÙÓÏÛÎ˚:1. d ( G1 ) ( x, y) =| u1 | + | u2 |;2. d ( G2 A ) ( x, y) = {| 2u1 − u2 |,| u2 |};3. d ( G2B )( x, y) = max{| 2u1 − u2 |,| u2 |};4. d ( G2 C ) ( x, y) = max{| 2u2 − u1 |,| u1 |};5. d ( G2D )( x, y) = max{| 2u2 − u1 |,| u1 |};6. d ( G3 A ) ( x, y) = max{| u1 |,| u2 |,| u1 − u2 |};7. d ( G3 B ) ( x, y) = max{| u1 |,| u2 |,| u1 + u2 |};8. d ( G4A )9. d ( G4B ){( x, y) = max{2 (| u}| − | u |) / 2 , 0}+ | u |;( x, y) = max 2 (| u1 | − | u2 |) / 2 , 0 + | u2 |;21110. d ( G ) ( x, y) = max{| u1 |,| u2 |};5„‰Â u1 = x1 − y1 , u2 = x 2 − y2 , ‡ ⋅ fl‚ÎflÂÚÒfl ÔÓÚÓÎÓ˜ÌÓÈ ÙÛÌ͈ËÂÈ: ‰Îfl β·Ó„Ó ‰ÂÈÒÚ‚ËÚÂθÌÓ„Ó ı ˜ËÒÎÓ fl‚ÎflÂÚÒfl x ̇ËÏÂ̸¯ËÏ ˆÂÎ˚Ï ˜ËÒÎÓÏ, ÍÓÚÓÓ ·Óθ¯Â ËΡ‚ÌÓ ı.èÓÎÛ˜ÂÌÌ˚ ËÁ G-ÏÌÓÊÂÒÚ‚ ÏÂÚ˘ÂÒÍË ÔÓÒÚ‡ÌÒÚ‚‡, Ëϲ˘Ë ӉË̇ÍÓ‚˚ˆËÙÓ‚˚ Ë̉ÂÍÒ˚, fl‚Îfl˛ÚÒfl ËÁÓÏÂÚ˘Ì˚ÏË.
d ( G ) ÂÒÚ¸ ÏÂÚË͇ „ÓÓ‰ÒÍÓ„Ó1Í‚‡Ú‡Î‡, ‡ d ( G ) – ÏÂÚË͇ ¯‡ıχÚÌÓÈ ‰ÓÒÍË.5åÂÚË͇ ÍÓÌflåÂÚËÍÓÈ ÍÓÌfl ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ 2, ÓÔ‰ÂÎÂÌ̇fl Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓıÓ‰Ó‚, ÍÓÚÓ˚ ÔÓ̇‰Ó·ËÚÒfl ҉·ڸ ¯‡ıχÚÌÓÏÛ ÍÓÌ˛ ‰Îfl ÔÂÂÏ¢ÂÌËfl ËÁ ı ‚ 2 .1Ö ‰ËÌ˘̇fl ÒÙ‡ SknightÒ ˆÂÌÚÓÏ ‚ ̇˜‡Î ÍÓÓ‰ËÌ‡Ú ÒÓ‰ÂÊËÚ Ó‚ÌÓ 8 ˆÂÎÓ-288ó‡ÒÚ¸ V. ê‡ÒÒÚÓflÌËfl ‚ ÍÓÏÔ¸˛ÚÂÌÓÈ ÒÙÂÂ1˜ËÒÎÂÌÌ˚ı ÚÓ˜ÂÍ {(±2, ±1), (±1, ±2)} Ë ÏÓÊÂÚ ·˚Ú¸ Á‡ÔË҇̇ Í‡Í Sknight= Sl31 ∩ Sl2∞ ,„‰Â Sl31 ÂÒÚ¸ l1 -ÒÙ‡ ‡‰ËÛÒ‡ 3 Ë Sl2∞ ÂÒÚ¸ l∞-ÒÙ‡ ‡‰ËÛÒ‡ 2 Ë ˆÂÌÚÓÏ ‚ ̇˜‡ÎÂÍÓÓ‰ËÌ‡Ú ([DaCh88]).ê‡ÒÒÚÓflÌË ÏÂÊ‰Û ı Ë Û ‡‚ÌÓ 3, ÂÒÎË (M, m) = (1, 0), ‡‚ÌÓ 4, ÂÒÎË (M, m) = (2, 2), Ë M M + m M M + m ‡‚ÌÓ max , (mod 2), Ë̇˜Â, „‰Â M = + ( M + m) − max , 2 3 2 3 = max{| u1 |,| u2 |}, m = min{| u1 |,| u2 |}, u1 = x1 − y1 , u2 = x 2 − y2 .åÂÚË͇ ÒÛÔÂ-ÍÓÌflèÛÒÚ¸ p, q ∈ , Ô˘ÂÏ p + q ˜ÂÚÌÓ Ë (p, q) = 1.(p, q)-ÒÛÔÂ-ÍÓ̸ (ËÎË (p, q)-Ô˚„ÛÌ) ÂÒÚ¸ Ù˄ۇ Ó·Ó·˘ÂÌÌ˚ı ¯‡ıχÚ, ıÓ‰ ÍÓÚÓÓÈ ÒÓÒÚÓËÚ ËÁ Ô˚Ê͇ ̇ ÍÎÂÚÓÍ ‚ Ó‰ÌÓÏ Ì‡Ô‡‚ÎÂÌËË Ë ÔÓÒÎÂ‰Û˛˘Â„Ó ÓÚÓ„Ó̇θÌÓ„Ó Ô˚Ê͇ ̇ q ÍÎÂÚÓÍ ‚ Á‡‰‡ÌÌÛ˛ ÍÓ̘ÌÛ˛ ÍÎÂÚÍÛ.
íÂÏËÌ˚ Ó·Ó·˘ÂÌÌ˚ı ¯‡ıÏ‡Ú ÒÛ˘ÂÒÚ‚Û˛Ú ‰Îfl (p, 1)-Ô˚„Û̇ Ò p = 0,1,2,3,4 (‚ËÁ˸, ÙÂÁ¸, Ó·˚˜Ì˚ÈÍÓ̸, ‚·β‰, ÊˇÙ) Ë ‰Îfl (p, 2)-Ô˚„Û̇ Ò p = 0,1,2,3 (‰‡··‡·‡, Ó·˚˜Ì˚È ÍÓ̸,‡ÎÙËÎ, Á·‡).åÂÚË͇ (p, q)-ÒÛÔÂ-ÍÓÌfl (ËÎË ÏÂÚË͇ (p, q)-Ô˚„Û̇) – ÏÂÚË͇ ̇ 2, ÓÔ‰ÂÎÂÌ̇fl Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ ıÓ‰Ó‚, ÍÓÚÓÓ ÔÓ̇‰Ó·ËÚÒfl (p, q)-ÒÛÔÂ-ÍÓÌ˛ ‰ÎflÔÂÂÏ¢ÂÌËfl ËÁ ı ‚ y ∈ 2. í‡ÍËÏ Ó·‡ÁÓÏ,  ‰ËÌ˘̇fl ÒÙ‡ S1p, q Ò ˆÂÌÚÓÏ ‚̇˜‡Î ÍÓÓ‰ËÌ‡Ú ÒÓ‰ÂÊËÚ Ó‚ÌÓ 8 ˆÂÎÓ˜ËÒÎÂÌÌ˚ı ÚÓ˜ÂÍ {(±p, ±q), (±q, ±p)}([DaMu90].)åÂÚË͇ ÍÓÌfl – ÏÂÚË͇ (1,2)-ÒÛÔÂ-ÍÓÌfl. åÂÚËÍÛ „ÓÓ‰ÒÍÓ„Ó Í‚‡Ú‡Î‡ ÏÓÊÌÓ‡ÒÒχÚË‚‡Ú¸ Í‡Í ÏÂÚËÍÛ ‚ËÁËfl, Ú.Â.
ÏÂÚËÍÛ (0,1)-ÒÛÔÂ-ÍÓÌfl.åÂÚË͇ ·‰¸ËåÂÚËÍÓÈ Î‡‰¸Ë ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ 2, ÓÔ‰ÂÎÂÌ̇fl Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ ıÓ‰Ó‚, ÍÓÚÓ˚ ÔÓ̇‰Ó·ËÚÒfl ҉·ڸ ¯‡ıχÚÌÓÈ Î‡‰¸Â ‰Îfl ÔÂÂÏ¢ÂÌËfl ËÁ x ‚y ∈ 2. чÌ̇fl ÏÂÚË͇ ËÏÂÂÚ ÚÓθÍÓ Á̇˜ÂÌËfl {0,1,2} Ë ÒÓ‚Ô‡‰ÂÚ Ò ı˝ÏÏË̄ӂÓÈÏÂÚËÍÓÈ Ì‡ 2 .åÂÚË͇ ÒÍÛ„ÎÂÌËflÇÓÁ¸ÏÂÏ ‰‚‡ ÔÓÎÓÊËÚÂθÌ˚ı ˜ËÒ· α, β Ò α ≤ β < 2 Ë ‡ÒÒÏÓÚËÏ (α,β)-‚Á‚¯ÂÌÌÛ˛ l∞-„Ë‰Û ÍÓÓ‰Ë̇Ú, Ú.Â. ·ÂÒÍÓ̘Ì˚È „‡Ù Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ 2, ‰‚ ‚¯ËÌ˚ ÍÓÚÓÓ„Ó fl‚Îfl˛ÚÒfl ÒÏÂÊÌ˚ÏË, ÂÒÎË Ëı l∞-‡ÒÒÚÓflÌË ‡‚ÌÓ Â‰ËÌˈÂ, Ô˘ÂÏ„ÓËÁÓÌڇθÌ˚Â/‚ÂÚË͇θÌ˚Â Ë ‰Ë‡„Ó̇θÌ˚ ·‡ ËÏÂ˛Ú ‚ÂÒ‡ α Ë β ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ.åÂÚËÍÓÈ ÒÍÛ„ÎÂÌËfl (ËÎË ÏÂÚËÍÓÈ (α, β)-ÒÍÛ„ÎÂÌËfl, ÒÏ. [Borg86]) ̇Á˚‚‡ÂÚÒflÏÂÚË͇ ‚Á‚¯ÂÌÌÓ„Ó ÔÛÚË ‚ ‚˚¯ÂÛ͇Á‡ÌÌÓÏ „‡ÙÂ.
ÑÎfl β·˚ı x, y ∈ 2 Ó̇ÏÓÊÂÚ ·˚Ú¸ Á‡ÔË҇̇ ͇Íβm + α( M − m),„‰Â M = max{| u1 |,| u2 |}, m = min{| u1 |,| u2 |}, u1 = x1 − y1 , u2 = x 2 − y2 .ÖÒÎË ‚ÂÒ‡ α Ë β ‡‚Ì˚ ‚ÍÎˉӂ˚Ï ‰ÎËÌ‡Ï 1, 2 „ÓËÁÓÌڇθÌ˚ı/‚ÂÚË͇θÌ˚ıË ‰Ë‡„Ó̇θÌ˚ı · ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ, ÚÓ ÔÓÎÛ˜‡ÂÏ Â‚ÍÎË‰Ó‚Û ‰ÎËÌÛ Í‡Ú˜‡È¯Â„ÓÔÛÚË ¯‡ıχÚÌÓÈ ‰ÓÒÍË ÏÂÊ‰Û ı Ë Û. ÖÒÎË α = β = 1, ÚÓ ËÏÂÂÏ ÏÂÚËÍÛ ¯‡ıχÚÌÓȉÓÒÍË. åÂÚË͇ (3, 4)-ÒÍÛ„ÎÂÌËfl ̇˷ÓΠ˜‡ÒÚÓ ËÒÔÓθÁÛÂÚÒfl ‰Îfl ‡·ÓÚ˚ Ò ˆËÙÓ‚˚ÏË Ó·‡Á‡ÏË; Ó̇ ̇Á˚‚‡ÂÚÒfl ÔÓÒÚÓ (3, 4)-ÏÂÚËÍÓÈ.É·‚‡ 19. ê‡ÒÒÚÓflÌËfl ̇ ‰ÂÈÒÚ‚ËÚÂθÌÓÈ Ë ˆËÙÓ‚ÓÈ ÔÎÓÒÍÓÒÚflı289åÂÚË͇ 3D-ÒÍÛ„ÎÂÌËfl – ÏÂÚË͇ ‚Á‚¯ÂÌÌÓ„Ó ÔÛÚË „‡Ù‡ Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ 3 ‚ÓÍÒÂÎÂÈ, ‰‚‡ ËÁ ÍÓÚÓ˚ı fl‚Îfl˛ÚÒfl ÒÏÂÊÌ˚ÏË, ÂÒÎË Ëı l∞-‡ÒÒÚÓflÌË ‡‚ÌÓ‰ËÌˈÂ, Ô˘ÂÏ ‚ÂÒ‡ α, β Ë γ Ò‚flÁ‡Ì˚ ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ Ò ‡ÒÒÚÓflÌËflÏË ÓÚ 6 „‡Ì‚˚ıÒÓÒ‰ÂÈ, 12 ·ÂÌ˚ı ÒÓÒ‰ÂÈ Ë 8 Û„ÎÓ‚˚ı ÒÓÒ‰ÂÈ.åÂÚË͇ ‚Á‚¯ÂÌÌÓ„Ó ‡ÁÂÁ‡ê‡ÒÒÏÓÚËÏ ‚Á‚¯ÂÌÌÛ˛ l∞-„ˉÛ, Ú.Â.
„‡Ù Ò ÏÌÓÊÂÒÚ‚ÓÏ ‚¯ËÌ 2, ‰‚ ËÁÍÓÚÓ˚ı fl‚Îfl˛ÚÒfl ÒÏÂÊÌ˚ÏË, ÂÒÎË Ëı l∞-‡ÒÒÚÓflÌË ‡‚ÌÓ Â‰ËÌˈÂ, Ë Í‡Ê‰ÓÂÂ·Ó ËÏÂÂÚ Á‡‰‡ÌÌ˚È ÔÓÎÓÊËÚÂθÌ˚È ‚ÂÒ (ËÎË ˆÂÌÛ). é·˚˜Ì‡fl ÏÂÚË͇ ‚Á‚¯ÂÌÌÓ„Ó ÔÛÚË ÏÂÊ‰Û ‰‚ÛÏfl ÔËÍÒÂÎflÏË fl‚ÎflÂÚÒfl ÏËÌËχθÌÓÈ ˆÂÌÓÈ ÒÓ‰ËÌfl˛˘Â„Ó ËıÔÛÚË. åÂÚËÍÓÈ ‚Á‚¯ÂÌÌÓ„Ó ‡ÁÂÁ‡ ÏÂÊ‰Û ‰‚ÛÏfl ÔËÍÒÂÎflÏË Ì‡Á˚‚‡ÂÚÒfl ÏËÌËχθ̇fl ˆÂ̇ (ÓÔ‰ÂÎÂÌ̇fl ÒÂȘ‡Ò Í‡Í ÒÛÏχ ˆÂÌ ÔÂÂÒÂ͇ÂÏ˚ı ·Â) ‡ÁÂÁ‡,Ú.Â.
ÍË‚ÓÈ ‚ ÔÎÓÒÍÓÒÚË, ÒÓ‰ËÌfl˛˘ÂÈ Ëı Ë Ó·ıÓ‰fl˘ÂÈ ÔËÍÒÂÎË.åÂÚË͇ ˆËÙÓ‚Ó„Ó Ó·˙ÂχåÂÚËÍÓÈ ˆËÙÓ‚Ó„Ó Ó·˙Âχ ̇Á˚‚‡ÂÚÒfl ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ä ‚ÒÂı Ó„‡Ì˘ÂÌÌ˚ı ÔÓ‰ÏÌÓÊÂÒÚ‚ (ËÁÓ·‡ÊÂÌËÈ ËÎË Ó·‡ÁÓ‚) ÏÌÓÊÂÒÚ‚‡ 2 (‚ Ó·˘ÂÏ ÒÎÛ˜‡Â n ), ÓÔ‰ÂÎÂÌ̇fl ͇Ívol( A∆B),„‰Â vol(A) = |A|, Ú.Â. ˜ËÒÎÓ ÒÓ‰Âʇ˘ËıÒfl ‚ Ä ÔËÍÒÂÎÂÈ, Ë A∆B – ÒËÏÏÂÚ˘ÂÒ͇fl‡ÁÌÓÒÚ¸ ÏÂÊ‰Û ÏÌÓÊÂÒÚ‚‡ÏË Ä Ë Ç.чÌ̇fl ÏÂÚË͇ – ˆËÙÓ‚ÓÈ ‡Ì‡ÎÓ„ ÏÂÚËÍË çËÍÓ‰Ëχ.òÂÒÚËÛ„Óθ̇fl ı‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇òÂÒÚËÛ„Óθ̇fl ı‡ÛÒ‰ÓÙÓ‚‡ ÏÂÚË͇ ÂÒÚ¸ ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â ‚ÒÂı Ó„‡Ì˘ÂÌÌ˚ı ÔÓ‰ÏÌÓÊÂÒÚ‚ (ËÁÓ·‡ÊÂÌËÈ ËÎË Ó·‡ÁÓ‚) ¯ÂÒÚËÛ„ÓθÌÓÈ „ˉ˚ ̇ ÔÎÓÒÍÓÒÚË, ÓÔ‰ÂÎÂÌ̇fl ͇Íinf{p, q : A ⊂ B + qH , D ⊂ A + pH}‰Îfl β·˚ı ËÁÓ·‡ÊÂÌËÈ Ä Ë Ç, „‰Â ç – Ô‡‚ËθÌ˚È ¯ÂÒÚËÛ„ÓθÌËÍ ‡Áχ (Ú.Â.
Ò p + 1 ÔËÍÒÂÎÂÏ Ì‡ ͇ʉÓÏ Â·Â) Ò ˆÂÌÚÓÏ ‚ ̇˜‡Î ÍÓÓ‰Ë̇Ú, ÒÓ‰Âʇ˘ËÈÒ‚Ó˛ ‚ÌÛÚÂÌÌÓÒÚ¸, Ë + fl‚ÎflÂÚÒfl ÒÎÓÊÂÌËÂÏ åËÌÍÓ‚ÒÍÓ„Ó: A + B = {y + y : x ∈ A,y ∈ B} (ÒÏ. åÂÚË͇ èÓÏÔÂÈ˛–ï‡ÛÒ‰ÓÙ‡–ÅÎfl¯ÍÂ, „Î. 9). ÖÒÎË Ä fl‚ÎflÂÚÒfl ÔËÍÒÂÎÂÏ ı, ÚÓ ‡ÒÒÚÓflÌË ÏÂÊ‰Û ı Ë Ç ‡‚ÌÓ sup y ∈B d6 ( x, y), „‰Â d6 – ¯ÂÒÚËÛ„Óθ̇fl ÏÂÚË͇, Ú.Â. ÏÂÚË͇ ÔÛÚË Ì‡ ¯ÂÒÚËÛ„ÓθÌÓÈ „ˉÂ.É·‚‡ 20êÄëëíéüçàü ÑàÄÉêÄåå ÇéêéçéÉéÑÎfl ÍÓ̘ÌÓ„Ó ÏÌÓÊÂÒÚ‚‡ Ä Ó·˙ÂÍÚÓ‚ Ai ‚ ÔÓÒÚ‡ÌÒÚ‚Â S ÔÓÒÚÓÂÌË ‰Ë‡„‡ÏÏ˚ÇÓÓÌÓ„Ó ÏÌÓÊÂÒÚ‚‡ Ä ÓÁ̇˜‡ÂÚ ‡Á·ËÂÌË ÔÓÒÚ‡ÌÒÚ‚‡ S ̇ ӷ·ÒÚË ÇÓÓÌÓ„ÓV(A i) Ú‡ÍËÏ Ó·‡ÁÓÏ, ˜ÚÓ·˚ V(Ai) ÒÓ‰ÂʇÎË ‚Ò ÚÓ˜ÍË S, ÍÓÚÓ˚ ‡ÒÔÓÎÓÊÂÌ˚"·ÎËÊÂ" Í Ai, ˜ÂÏ Í Î˛·ÓÏÛ ‰Û„ÓÏÛ Ó·˙ÂÍÚÛ Aj ËÁ Ä.ÑÎfl ÔÓÓʉ‡˛˘Â„Ó ÏÌÓÊÂÒÚ‚‡ P = {p1 , …, pk }, k ≥ 2, ‡Á΢Ì˚ı ÚÓ˜ÂÍ (ÔÓÓʉ‡˛˘Ëı ˝ÎÂÏÂÌÚÓ‚), ËÎË „Â̇ÚÓÓ‚ ËÁ n, n ≥ 2, Òڇ̉‡ÚÌ˚È ÏÌÓ„ÓÛ„ÓθÌËÍÇÓÓÌÓ„Ó V(pi), Ò‚flÁ‡ÌÌ˚È Ò ÔÓÓʉ‡˛˘ËÏ ˝ÎÂÏÂÌÚÓÏ pi, ÓÔ‰ÂÎflÂÚÒfl ͇ÍV ( pi ) = {x ∈ n : d E ( x, pi ) ≤ d E ( x, p j ) ‰Îfl β·Ó„Ó j ≠ i},„‰Â dE – Ó·˚˜ÌÓ ‚ÍÎË‰Ó‚Ó ‡ÒÒÚÓflÌË ̇ n.
åÌÓÊÂÒÚ‚ÓV ( P, d E , n ) = {V ( p1 ), …, V ( pk )}̇Á˚‚‡ÂÚÒfl n-ÏÂÌÓÈ Òڇ̉‡ÚÌÓÈ ‰Ë‡„‡ÏÏÓÈ ÇÓÓÌÓ„Ó, ÔÓÓʉ‡ÂÏÓÈ ê . ɇÌˈ˚ (n-ÏÂÌ˚ı) ÏÌÓ„ÓÛ„ÓθÌËÍÓ‚ ÇÓÓÌÓ„Ó Ì‡Á˚‚‡˛ÚÒfl ((n–1)-ÏÂÌ˚ÏË) „‡ÌflÏËÇÓÓÌÓ„Ó, „‡Ìˈ˚ „‡ÌÂÈ ÇÓÓÌÓ„Ó Ì‡Á˚‚‡˛ÚÒfl (n–2)-ÏÂÌ˚ÏË „‡ÌflÏË ÇÓÓÌÓ„Ó, …, „‡Ìˈ˚ ‰‚ÛÏÂÌ˚ı „‡ÌÂÈ ÇÓÓÌÓ„Ó Ì‡Á˚‚‡˛ÚÒfl ·‡ÏË ÇÓÓÌÓ„Ó, „‡Ìˈ˚ · – ‚¯Ë̇ÏË ÇÓÓÌÓ„Ó.é·Ó·˘ÂÌË Òڇ̉‡ÚÌÓÈ ‰Ë‡„‡ÏÏ˚ ÇÓÓÌÓ„Ó ‚ÓÁÏÓÊÌÓ ‚ ÒÎÂ‰Û˛˘Ëı ÚÂı̇ԇ‚ÎÂÌËflı:1. é·Ó·˘ÂÌË ‚ ÒÏ˚ÒΠÔÓÓʉ‡˛˘Â„Ó ÏÌÓÊÂÒÚ‚‡ A = {A1 , …, Ak }, ÍÓÚÓÓ ÏÓÊÂÚ ·˚Ú¸ ÏÌÓÊÂÒÚ‚ÓÏ ÔflÏ˚ı, ÏÌÓÊÂÒÚ‚ÓÏ Ó·Î‡ÒÚÂÈ Ë Ú.Ô.2. é·Ó·˘ÂÌË ‚ ÒÏ˚ÒΠÔÓÒÚ‡ÌÒÚ‚‡ S, ÍÓÚÓÓ ÏÓÊÂÚ ·˚Ú¸ ÒÙÂÓÈ (ÒÙ¢ÂÒ͇fl ‰Ë‡„‡Ïχ ÇÓÓÌÓ„Ó), ˆËÎË̉ÓÏ (ˆËÎË̉˘ÂÒ͇fl ‰Ë‡„‡Ïχ ÇÓÓÌÓ„Ó),ÍÓÌÛÒÓÏ (ÍÓÌ˘ÂÒ͇fl ‰Ë‡„‡Ïχ ÇÓÓÌÓ„Ó), ÔÓ‚ÂıÌÓÒÚ¸˛ ÏÌÓ„Ó„‡ÌÌË͇ (‰Ë‡„‡Ïχ ÏÌÓ„Ó„‡ÌÌË͇ ÇÓÓÌÓ„Ó) Ë Ú.Ô.3. é·Ó·˘ÂÌË ‚ ÒÏ˚ÒΠÙÛÌ͈ËË d, „‰Â d(x, A) fl‚ÎflÂÚÒfl ÏÂÓÈ "‡ÒÒÚÓflÌËfl" ÓÚÚÓ˜ÍË x ∈ S ‰Ó ÔÓÓʉ‡˛˘Â„Ó ˝ÎÂÏÂÌÚ‡ Ai ∈ A.í‡Í‡fl ÙÛÌ͈Ëfl Ó·Ó·˘ÂÌÌÓ„Ó ‡ÒÒÚÓflÌËfl d ̇Á˚‚‡ÂÚÒfl ÔÓÓʉ‡˛˘ËÏ ‡ÒÒÚÓflÌËÂÏ ÇÓÓÌÓ„Ó (ËÎË ‡ÒÒÚÓflÌËÂÏ ÇÓÓÌÓ„Ó, V-‡ÒÒÚÓflÌËÂÏ) Ë ÔÓÁ‚ÓÎflÂÚ ÔÓÎÛ˜ËÚ¸ÏÌÓ„Ó ‰Û„Ëı ÙÛÌ͈ËÈ, ÍÓÏ ӷ˚˜ÌÓÈ ÏÂÚËÍË Ì‡ S.
ÖÒÎË F fl‚ÎflÂÚÒfl ÒÚÓ„Ó ‚ÓÁ‡ÒÚ‡˛˘ÂÈ ÙÛÌ͈ËÂÈ V-‡ÒÒÚÓflÌËfl d, Ú.Â. F( d ( x, Ai )) ≤ F( d ( x, A j )) ÚÓ„‰‡ Ë ÚÓθÍÓÚÓ„‰‡, ÍÓ„‰‡ d ( x, Ai ) ≤ d ( x, A j ), ÚÓ Ó·Ó·˘ÂÌÌ˚ ‰Ë‡„‡ÏÏ˚ ÇÓÓÌÓ„Ó V ( A, F( d ), S ) ËV ( A, d , S ) ÒÓ‚Ô‡‰‡˛Ú Ë „Ó‚ÓflÚ, ˜ÚÓ V-‡ÒÒÚÓflÌË F(d) fl‚ÎflÂÚÒfl Ú‡ÌÒÙÓÏËÛÂÏ˚Ï‚ V-‡ÒÒÚÓflÌË d, Ë ˜ÚÓ Ó·Ó·˘ÂÌ̇fl ‰Ë‡„‡Ïχ ÇÓÓÌÓ„Ó V ( A, F( d ), S ) fl‚ÎflÂÚÒflÚ˂ˇθÌ˚Ï Ó·Ó·˘ÂÌËÂÏ Ó·Ó·˘ÂÌÌÓÈ ‰Ë‡„‡ÏÏ˚ ÇÓÓÌÓ„Ó V ( A, d , S ). ÇÔËÎÓÊÂÌËflı ‰Îfl Ú˂ˇθÌÓ„Ó Ó·Ó·˘ÂÌËfl Òڇ̉‡ÚÌÓÈ ‰Ë‡„‡ÏÏ˚ ÇÓÓÌÓ„ÓV ( P, d , n ) ˜‡ÒÚÓ ÔÓθÁÛ˛ÚÒfl ˝ÍÒÔÓÌÂ̈ˇθÌ˚Ï ‡ÒÒÚÓflÌËÂÏ, ÎÓ„‡ËÙÏ˘ÂÒÍËχÒÒÚÓflÌËÂÏ Ë ÒÚÂÔÂÌÌ˚Ï ‡ÒÒÚÓflÌËÂÏ.