Е. Деза_ М.М. Деза. Энциклопедический словарь расстояний (2008) (1185330), страница 52
Текст из файла (страница 52)
.ÇÂ΢Ë̇ t ̇Á˚‚‡ÂÚÒfl ÍÓ˝ÙÙˈËÂÌÚÓÏ ‡ÒÚflÊÂÌËfl ÔÓ‰„‡Ù‡ ç.234ó‡ÒÚ¸ IV. ê‡ÒÒÚÓflÌËfl ‚ ÔËÍ·‰ÌÓÈ Ï‡ÚÂχÚËÍÂéÒÚÓ‚ÌÓ ‰ÂÂ‚Ó Ò‚flÁÌÓ„Ó „‡Ù‡ G = (V, E) ÂÒÚ¸ ÔÓ‰ÏÌÓÊÂÒÚ‚ÓÏ ËÁ | V | – 1e·Â, ÍÓÚÓ˚ ӷ‡ÁÛ˛Ú ‰ÂÂ‚Ó Ì‡ ÏÌÓÊÂÒÚ‚Â ‚¯ËÌ V.ê‡ÒÒÚÓflÌË òÚÂÈ̇ê‡ÒÒÚÓflÌË òÚÂÈ̇ ÏÌÓÊÂÒÚ‚‡ S ⊂ V ‚¯ËÌ Ò‚flÁÌÓ„Ó „‡Ù‡ G = (V, E) ÂÒÚ¸ÏËÌËχθÌÓ ˜ËÒÎÓ Â·Â Ò‚flÁÌÓ„Ó ÔÓ‰„‡Ù‡ „‡Ù‡ G, ÒÓ‰Âʇ˘Â„Ó S. í‡ÍÓÈÔÓ‰„‡Ù fl‚ÎflÂÚÒfl ‰Â‚ÓÏ Ë Ì‡Á˚‚‡ÂÚÒfl ‰Â‚ÓÏ òÚÂÈ̇ ‰Îfl S.ëıÂχ Ë̉ÂÍÒËÓ‚‡ÌËfl ‡ÒÒÚÓflÌËÈÉÓ‚ÓflÚ, ˜ÚÓ ÒÂÏÂÈÒÚ‚Ó „‡ÙÓ‚ Ä (èÂ΄, 2000) ËÏÂÂÚ l(n) ÒıÂÏÛ Ë̉ÂÍÒËÓ‚‡ÌËfl‡ÒÒÚÓflÌËÈ, ÂÒÎË ÒÛ˘ÂÒÚ‚ÛÂÚ ÙÛÌ͈Ëfl L, ÍÓÚÓ‡fl Ë̉ÂÍÒËÛÂÚ ‚¯ËÌ˚ ͇ʉӄÓn-‚¯ËÌÌÓ„Ó „‡Ù‡ ‚ Ä ‡Á΢Ì˚ÏË Ë̉ÂÍÒ‡ÏË ‚Â΢ËÌÓÈ ‰Ó ·ËÚ, Ë ÒÛ˘ÂÒÚ‚ÛÂڇ΄ÓËÚÏ, ̇Á˚‚‡ÂÏ˚È ‰ÂÍÓ‰ÂÓÏ ‡ÒÒÚÓflÌËÈ, ÍÓÚÓ˚È Ì‡ıÓ‰ËÚ ‡ÒÒÚÓflÌËÂÏÂÊ‰Û Î˛·˚ÏË ‰‚ÛÏfl ‚¯Ë̇ÏË u, v ‚ „‡Ù ËÁ Ä ‚ ÔÓÎËÌÓÏˇθÌÓ (ÔÓ ‰ÎËÌ „ÓË̉ÂÍÒÓ‚ L(u), L(v)) ‚ÂÏfl.15.3. êÄëëíéüçàü çÄ ÉêÄîÄïèÓ‰„‡Ù-ÒÛÔ„‡Ù ‡ÒÒÚÓflÌËflé·˘ËÈ ÔÓ‰„‡Ù „‡ÙÓ‚ G Ë H – „‡Ù, ÍÓÚÓ˚È ËÁÓÏÓÙÂÌ Ë̉ۈËÓ‚‡ÌÌ˚ÏÔÓ‰„‡Ù‡Ï Ó·ÓËı „‡ÙÓ‚ G Ë H .
é·˘ËÈ ÒÛÔ„‡Ù „‡ÙÓ‚ G Ë H – „‡Ù, ÒÓ‰Âʇ˘ËÈ Ë̉ۈËÓ‚‡ÌÌ˚ ÔÓ‰„‡Ù˚, ËÁÓÏÓÙÌ˚ „‡Ù‡Ï G Ë H.ê‡ÒÒÚÓflÌË áÂÎËÌÍË dZ ̇ ÏÌÓÊÂÒÚ‚Â G ‚ÒÂı „‡ÙÓ‚ (·ÓΠÚÓ˜ÌÓ, ̇ ÏÌÓÊÂÒڂ‚ÒÂı Í·ÒÒÓ‚ ˝Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ËÁÓÏÓÙÌ˚ı „‡ÙÓ‚) ÓÔ‰ÂÎflÂÚÒfl ͇Ímax{n(G1 ), n(G2 )} − n(G1 , G2 )‰Îfl β·˚ı G1 , G2 ∈G, „‰Â n(G 1 , – ˜ËÒÎÓ ‚¯ËÌ ‚ Gi, i = 1, 2 Ë n(G1, G2) – χÍÒËχθÌÓ ˜ËÒÎÓ ‚¯ËÌ Ó·˘Â„Ó ÔÓ‰„‡Ù‡ „‡ÙÓ‚ G1 Ë G2 ).ÑÎfl ÔÓËÁ‚ÓθÌÓ„Ó ÏÌÓÊÂÒÚ‚‡ å „‡ÙÓ‚ ‡ÒÒÚÓflÌË ӷ˘Â„Ó ÔÓ‰„‡Ù‡ dM ̇ åÓÔ‰ÂÎflÂÚÒfl ͇Ímax{n(G1 )n(G2 )} − n(G1 , G2 ),*̇ å ÓÔ‰ÂÎflÂÚÒfl ͇͇ ‡ÒÒÚÓflÌË ӷ˘Â„Ó ÒÛÔ„‡Ù‡ d MN (G1 , G2 ) − min{n(G1 ), n(G2 )}‰Îfl β·˚ı G 1 , G2 ∈ M , „‰Â n(Gi) – ˜ËÒÎÓ ‚¯ËÌ ‚ Gi, i = 1, 2 Ë n(G1, G2) –χÍÒËχθÌÓ ˜ËÒÎÓ ‚¯ËÌ Ó·˘Â„Ó ÔÓ‰„‡Ù‡ „‡ÙÓ‚ G ∈ M Ë G1 Ë G2 ËN(G1, G2) – ÏËÌËχθÌÓ ˜ËÒÎÓ ‚¯ËÌ Ó·˘Â„Ó ÒÛÔ„‡Ù‡ „‡ÙÓ‚ H ∈ M Ë G 1 ËG2.dM fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ å, ÂÒÎË ‚˚ÔÓÎÌflÂÚÒfl ÒÎÂ‰Û˛˘Â ÛÒÎÓ‚Ë (1): ÂÒÎË H ∈∈ M – Ó·˘ËÈ ÒÛÔ„‡Ù „‡ÙÓ‚ G1, G2 ∈ M, ÚÓ ÒÛ˘ÂÒÚ‚ÛÂÚ Ó·˘ËÈ ÔÓ‰„‡Ù G ∈ M*„‡ÙÓ‚ G 1 Ë G2 Ò n(G) ≥ n(G1 ) + n(G2 ) − n( H ).
d Mfl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ å, ÂÒÎË‚˚ÔÓÎÌflÂÚÒfl ÒÎÂ‰Û˛˘Â ÛÒÎÓ‚Ë (2): ÂÒÎË G ∈ M – Ó·˘ËÈ ÔÓ‰„‡Ù „‡ÙÓ‚ G1 , G2 ∈∈ M , ÚÓ ÒÛ˘ÂÒÚ‚ÛÂÚ Ó·˘ËÈ ÒÛÔ„‡Ù H ∈ M „‡ÙÓ‚ G 1 Ë G2 Ò n( H ) ≥*≥ n(G1 ) + n(G2 ) − n(G). å˚ ËÏÂÂÏ d M ≤ d M, ÂÒÎË ‚˚ÔÓÎÌflÂÚÒfl ÛÒÎÓ‚Ë (1) Ë*, ÂÒÎË ‚˚ÔÓÎÌflÂÚÒfl ÛÒÎÓ‚Ë (2).dM ≥ dMÉ·‚‡ 15.
ê‡ÒÒÚÓflÌËfl ‚ ÚÂÓËË „‡ÙÓ‚235ê‡ÒÒÚÓflÌË dM fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ ÏÌÓÊÂÒÚ‚Â G ‚ÒÂı „‡ÙÓ‚, ÏÌÓÊÂÒÚ‚Â ‚ÒÂı„‡ÙÓ‚ ·ÂÁ ˆËÍÎÓ‚, ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ‰‚Û‰ÓθÌ˚ı „‡ÙÓ‚ Ë ÏÌÓÊÂÒÚ‚Â ‚ÒÂı ‰Â‚¸Â‚.*ê‡ÒÒÚÓflÌË d Mfl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ ÏÌÓÊÂÒÚ‚Â G ‚ÒÂı „‡ÙÓ‚, ÏÌÓÊÂÒÚ‚Â ‚ÒÂıÒ‚flÁÌ˚ı „‡ÙÓ‚, ÏÌÓÊÂÒÚ‚Â ‚ÒÂı Ò‚flÁÌ˚ı ‰‚Û‰ÓθÌ˚ı „‡ÙÓ‚ Ë ÏÌÓÊÂÒÚ‚Â ‚ÒÂı*‰Â‚¸Â‚. ê‡ÒÒÚÓflÌË áÂÎËÌÍË dZ ÒÓ‚Ô‡‰‡ÂÚ Ò dM Ë d Ṁ ÏÌÓÊÂÒÚ‚Â G ‚ÒÂı „‡ÙÓ‚.*ç‡ ÏÌÓÊÂÒÚ‚Â í ‚ÒÂı ‰Â‚¸Â‚ ‡ÒÒÚÓflÌËfl dM Ë d MˉÂÌÚ˘Ì˚, ÌÓ ÓÚ΢‡˛ÚÒfl ÓÚ‡ÒÒÚÓflÌËfl áÂÎËÌÍË.ê‡ÒÒÚÓflÌË áÂÎËÌÍË dZ fl‚ÎflÂÚÒfl ÏÂÚËÍÓÈ Ì‡ ÏÌÓÊÂÒÚ‚Â G(n) ‚ÒÂı „‡ÙÓ‚ Ò n‚¯Ë̇ÏË Ë ‡‚ÌÓ n – k ËÎË K – n ‰Îfl ‚ÒÂı G1, G2 ∈ G(n), „‰Â k – χÍÒËχθÌÓ˜ËÒÎÓ ‚¯ËÌ Ó·˘Â„Ó ÔÓ‰„‡Ù‡ „‡ÙÓ‚ G1 Ë G2, ‡ ä – ÏËÌËχθÌÓ ˜ËÒÎÓ ‚¯ËÌÓ·˘Â„Ó ÒÛÔ„‡Ù‡ „‡ÙÓ‚ G1 Ë G2.
ç‡ ÏÌÓÊÂÒÚ‚Â T(n) ‚ÒÂı ‰Â‚¸Â‚ Ò n ‚¯Ë̇ÏË ‡ÒÒÚÓflÌË dZ ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌËÂÏ ‰Â‚‡ áÂÎËÌÍË (ÒÏ., ̇ÔËÏÂ,[Zeli75]).ê·ÂÌÓ ‡ÒÒÚÓflÌËÂê·ÂÌÓ ‡ÒÒÚÓflÌË – ‡ÒÒÚÓflÌË ̇ ÏÌÓÊÂÒÚ‚Â G ‚ÒÂı „‡ÙÓ‚, ÓÔ‰ÂÎÂÌÌÓÂ͇Í| E1 | + | E2 | −2 | E12 | + || V1 | − | V2 ||‰Îfl β·˚ı „‡ÙÓ‚ G1 = (V1 , E1 ) Ë G2 = (V2 , E2 ), , „‰Â G12 = (V12 , E12 ) – Ó·˘ËÈÔÓ‰„‡Ù „‡ÙÓ‚ G1 Ë G 2 Ò Ï‡ÍÒËχθÌ˚Ï ˜ËÒÎÓÏ e·Â. чÌÌÓ ‡ÒÒÚÓflÌË ¯ËÓÍÓÔËÏÂÌflÂÚÒfl ‚ ӷ·ÒÚË Ó„‡Ì˘ÂÒÍÓÈ Ë Ï‰ˈËÌÒÍÓÈ ıËÏËË.ê‡ÒÒÚÓflÌË ÒÚfl„Ë‚‡ÌËflê‡ÒÒÚÓflÌË ÒÚfl„Ë‚‡ÌËfl – ‡ÒÒÚÓflÌË ̇ ÏÌÓÊÂÒÚ‚Â G(n ) ‚ÒÂı „‡ÙÓ‚ Ò n‚¯Ë̇ÏË, ÓÔ‰ÂÎÂÌÌÓ ͇Ín–k‰Îfl β·˚ı G1, G 2 ∈ G(n), „‰Â k – χÍÒËχθÌÓ ˜ËÒÎÓ ‚¯ËÌ „‡Ù‡, ËÁÓÏÓÙÌÓ„ÓÓ‰ÌÓ‚ÂÏÂÌÌÓ „‡ÙÛ, ÔÓÎÛ˜ÂÌÌÓÏÛ ËÁ Í‡Ê‰Ó„Ó „‡Ù‡ G1, G2 ÍÓ̘Ì˚Ï ˜ËÒÎÓÏÓÔ‡ˆËÈ ÒÚfl„Ë‚‡ÌËfl ·Â.éÒÛ˘ÂÒÚ‚ËÚ¸ ÒÚfl„Ë‚‡ÌË ·‡ u v ∈ E , ÔË̇‰ÎÂʇ˘Â„Ó „‡ÙÛ G = (V, E),ÓÁ̇˜‡ÂÚ Á‡ÏÂÌËÚ¸ ‚¯ËÌ˚ u Ë v Ó‰ÌÓÈ Ú‡ÍÓÈ ‚¯ËÌÓÈ, ÍÓÚÓ‡fl fl‚ÎflÂÚÒfl ÒÏÂÊÌÓÈ ‰Îfl ‚ÒÂı ‚¯ËÌ V \{u, v}, ÒÏÂÊÌ˚ı Ò u ËÎË v.ê‡ÒÒÚÓflÌË ÔÂÂÏ¢ÂÌËfl ·‡ê‡ÒÒÚÓflÌË ÔÂÂÏ¢ÂÌËfl ·‡ ÂÒÚ¸ ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â G(n, m) ‚ÒÂı „‡ÙÓ‚Ò n ‚¯Ë̇ÏË Ë m ·‡ÏË, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı G 1 , G2 ∈ G(n, m) ͇ÍÏËÌËχθÌÓ ˜ËÒÎÓ ÔÂÂÏ¢ÂÌËÈ Â·‡, ÌÂÓ·ıÓ‰ËÏ˚ı ‰Îfl ÔÂÓ·‡ÁÓ‚‡ÌËfl „‡Ù‡G1 ‚ „‡Ù G2.
éÌÓ ‡‚ÌÓ m – k, „‰Â k – χÍÒËχθÌÓ ˜ËÒÎÓ Â·Â Ó·˘Â„Ó ÔÓ‰„‡Ù‡„‡ÙÓ‚ G1 Ë G 2 .èÂÂÏ¢ÂÌË ·‡ – Ó‰ËÌ ËÁ ÚËÔÓ‚ ÔÂÓ·‡ÁÓ‚‡ÌËfl ·Â, ÍÓÚÓ˚È Á‡‰‡ÂÚÒflÒÎÂ‰Û˛˘ËÏ Ó·‡ÁÓÏ: „‡Ù ç ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ ËÁ „‡Ù‡ G ÔÂÂÏ¢ÂÌËÂÏ·‡, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú (Ì ӷflÁ‡ÚÂθÌÓ ‡Á΢Ì˚Â) ‚¯ËÌ˚ u, v, w Ë x ‚ „‡Ù G,Ú‡ÍË ˜ÚÓ uv ∈ E(G), wx ≠ E(G) Ë H = G – uv + wx.ê‡ÒÒÚÓflÌË Ò͇˜Í‡ ·‡ê‡ÒÒÚÓflÌË Ò͇˜Í‡ ·‡ – ‡Ò¯ËÂÌ̇fl ÏÂÚË͇ (ÍÓÚÓ‡fl ‚ Ó·˘ÂÏ ÒÎÛ˜‡ÂÏÓÊÂÚ ÔËÌËχڸ Á̇˜ÂÌË ∞) ̇ ÏÌÓÊÂÒÚ‚Â G(n, m) ‚ÒÂı „‡ÙÓ‚ Ò n ‚¯Ë̇ÏË Ë m236ó‡ÒÚ¸ IV. ê‡ÒÒÚÓflÌËfl ‚ ÔËÍ·‰ÌÓÈ Ï‡ÚÂχÚËÍ·‡ÏË, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı G1, G2 ∈ G(n, m) Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ Ò͇˜Íӂ·‡, ÌÂÓ·ıÓ‰ËÏ˚ı ‰Îfl ÔÂÓ·‡ÁÓ‚‡ÌËfl „‡Ù‡ G1 ‚ „‡Ù G 2 .ë͇˜ÓÍ Â·‡ – Ó‰ËÌ ËÁ ÚËÔÓ‚ ÔÂÓ·‡ÁÓ‚‡ÌËfl ·Â, ÍÓÚÓ˚È Á‡‰‡ÂÚÒflÒÎÂ‰Û˛˘ËÏ Ó·‡ÁÓÏ: „‡Ù ç ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ ËÁ „‡Ù‡ G Ò ÔÓÏÓ˘¸˛ Ò͇˜Í‡Â·‡, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ˜ÂÚ˚ ‡Á΢Ì˚ ‚¯ËÌ˚ u, v, w Ë x ‚ „‡Ù G, ڇ͢ÚÓ uv ∈ (G), wx ∉ E(G) Ë H = G – uv + wx.ê‡ÒÒÚÓflÌË ‚‡˘ÂÌËfl ·‡ê‡ÒÒÚÓflÌË ‚‡˘ÂÌËfl ·‡ ÂÒÚ¸ ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â G(n, m) ‚ÒÂı „‡ÙÓ‚ Ò n‚¯Ë̇ÏË Ë m ·‡ÏË, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl β·˚ı G1, G 2 ∈ G(n, m) ͇ÍÏËÌËχθÌÓ ˜ËÒÎÓ ‚‡˘ÂÌËÈ Â·‡, ÌÂÓ·ıÓ‰ËÏ˚ı ‰Îfl ÔÂÓ·‡ÁÓ‚‡ÌËfl „‡Ù‡ G1 ‚„‡Ù G 2 .LJ˘ÂÌË ·‡ – Ó‰ËÌ ËÁ ÚËÔÓ‚ ÔÂÓ·‡ÁÓ‚‡ÌËfl ·Â, ÍÓÚÓ˚È Á‡‰‡ÂÚÒflÒÎÂ‰Û˛˘ËÏ Ó·‡ÁÓÏ: „‡Ù ç ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ ËÁ „‡Ù‡ G Ò ÔÓÏÓ˘¸˛‚‡˘ÂÌËfl ·‡, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ‡Á΢Ì˚ ‚¯ËÌ˚ u, v Ë w ‚ „‡Ù G, ڇ͢ÚÓ uv ∈ E(G), wx ∉ E(G) Ë H = G – uv + uw.ê‡ÒÒÚÓflÌË ‚‡˘ÂÌËfl ‰Â‚‡ê‡ÒÒÚÓflÌË ‚‡˘ÂÌËfl ‰Â‚‡ – ˝ÚÓ ÏÂÚË͇ ̇ ÏÌÓÊÂÒÚ‚Â T(n) ‚ÒÂı ‰Â‚¸Â‚ Ò n‚¯Ë̇ÏË, ÓÔ‰ÂÎÂÌ̇fl ‰Îfl ‚ÒÂı T1 , T2 ∈ T(n) Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ ‚‡˘ÂÌËÈ· ‰Â‚‡, ÌÂÓ·ıÓ‰ËÏ˚ı ‰Îfl ÔÂÓ·‡ÁÓ‚‡ÌËfl T 1 ‚ T 2 .
ÑÎfl ÏÌÓÊÂÒÚ‚‡ T(n)‡ÒÒÚÓflÌË ‚‡˘ÂÌËfl ‰Â‚‡ Ë ‡ÒÒÚÓflÌË ‚‡˘ÂÌËfl ·‡ ÏÓ„ÛÚ ‡Á΢‡Ú¸Òfl.LJ˘ÂÌË ·‡ ‰Â‚‡ – ˝ÚÓ ‚‡˘ÂÌË ·‡, ÓÒÛ˘ÂÒÚ‚ÎflÂÏÓ ̇ ‰Â‚ ˉ‡˛˘Â ‚ ÂÁÛθڇÚ ‰Â‚Ó.ê‡ÒÒÚÓflÌË ÒÏ¢ÂÌËfl ·‡ê‡ÒÒÚÓflÌË ÒÏ¢ÂÌËfl ·‡ (ËÎË ‡ÒÒÚÓflÌË ÒÍÓθÊÂÌËfl ·‡) ÂÒÚ¸ ÏÂÚË͇ ̇ÏÌÓÊÂÒÚ‚Â Gc(n, m) ‚ÒÂı Ò‚flÁÌ˚ı „‡ÙÓ‚ Ò n ‚¯Ë̇ÏË Ë m e·‡ÏË, Á‡‰‡‚‡Âχfl‰Îfl β·˚ı G 1 , G2 ∈ GÒ(n, m) Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ ÒÏ¢ÂÌËÈ Â·‡, ÌÂÓ·ıÓ‰ËÏ˚ı‰Îfl ÔÂÓ·‡ÁÓ‚‡ÌËfl „‡Ù‡ G 1 ‚ „‡Ù G 2 .ëÏ¢ÂÌË ·‡ – Ó‰ËÌ ËÁ ÚËÔÓ‚ ÔÂÓ·‡ÁÓ‚‡ÌËfl ·Â, ÍÓÚÓ˚È Á‡‰‡ÂÚÒflÒÎÂ‰Û˛˘ËÏ Ó·‡ÁÓÏ: „‡Ù ç ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ ËÁ „‡Ù‡ G Ò ÔÓÏÓ˘¸˛ÒÏ¢ÂÌËfl ·‡, ÂÒÎË ÒÛ˘ÂÒÚ‚Û˛Ú ‡Á΢Ì˚ ‚¯ËÌ˚ u, v Ë w ‚ „‡Ù G, ڇ͢ÚÓ uv, uv ∈ E(G), wx ∉ E(G) Ë H = G – uv + uw. ëÏ¢ÂÌË ·‡ – ˝ÚÓ ÓÒÓ·˚È ÚËÔ‚‡˘ÂÌËfl ·‡ ‰Îfl ÒÎÛ˜‡fl, ÍÓ„‰‡ ‚¯ËÌ˚ v, w fl‚Îfl˛ÚÒfl ÒÏÂÊÌ˚ÏË ‚ G.ê‡ÒÒÚÓflÌË ÒÏ¢ÂÌËfl ·‡ ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌÓ ÏÂÊ‰Û Î˛·˚ÏË „‡Ù‡ÏË G ËH Ò ÍÓÏÔÓÌÂÌÚ‡ÏË Gi(1 ≤ i ≤ k) Ë Hi(1 ≤ i ≤ k), ÒÓÓÚ‚ÂÚÒÚ‚ÂÌÌÓ ÂÒÎË Gi Ë Hi ËϲÚÓ‰Ë̇ÍÓ‚˚ ÔÓfl‰ÓÍ Ë ‡ÁÏÂ.ê‡ÒÒÚÓflÌË F-‚‡˘ÂÌËflê‡ÒÒÚÓflÌËÂÏ F-‚‡˘ÂÌËfl ̇Á˚‚‡ÂÚÒfl ‡ÒÒÚÓflÌË ̇ ÏÌÓÊÂÒÚ‚Â GF(n, m) ‚ÒÂı„‡ÙÓ‚ Ò n ‚¯Ë̇ÏË Ë m ·‡ÏË, ÒÓ‰Âʇ˘Ëı ÔÓ‰„‡Ù, ËÁÓÏÓÙÌ˚È ‰‡ÌÌÓÏÛ „‡ÙÛ F ÔÓfl‰Í‡ Ì ÏÂÌ 2, ÓÔ‰ÂÎÂÌÌÓ ‰Îfl ‚ÒÂı G1, G2 ∈ G F(n, m) ͇ÍÏËÌËχθÌÓ ˜ËÒÎÓ F-‚‡˘ÂÌËÈ, ÌÂÓ·ıÓ‰ËÏ˚ı ‰Îfl ÔÂÓ·‡ÁÓ‚‡ÌËfl „‡Ù‡ G1 ‚„‡Ù G 2 .F-‚‡˘ÂÌË – Ó‰ËÌ ËÁ ÚËÔÓ‚ ÔÂÓ·‡ÁÓ‚‡ÌËfl ·Â, ÍÓÚÓ˚È Á‡‰‡ÂÚÒfl ÒÎÂ‰Û˛˘ËÏ Ó·‡ÁÓÏ: ÔÛÒÚ¸ F' ÂÒÚ¸ ÔÓ‰„‡Ù „‡Ù‡ G, ËÁÓÏÓÙÌ˚È „‡ÙÛ F, Ë ÔÛÒÚ¸ u, v,w – ÚË ‡Á΢Ì˚ ‚¯ËÌ˚ „‡Ù‡ G, Ú‡ÍË ˜ÚÓ u ∉ V(F'), v , w ∈ V(F'), uv ∈∈ E (G ) Ë u w ∉ E(G); „‡Ù ç ÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ ËÁ „‡Ù‡ G Ò ÔÓÏÓ˘¸˛F-‚‡˘ÂÌËfl ·‡ uv ‚ ÔÓÎÓÊÂÌË uw, ÂÒÎË H = G – uv + uw..É·‚‡ 15.
ê‡ÒÒÚÓflÌËfl ‚ ÚÂÓËË „‡ÙÓ‚237ê‡ÒÒÚÓflÌË ·Ë̇ÌÓ„Ó ÓÚÌÓ¯ÂÌËflèÛÒÚ¸ R – ÌÂÂÙÎÂÍÒË‚ÌÓ ·Ë̇ÌÓ ÓÚÌÓ¯ÂÌË ÏÂÊ‰Û „‡Ù‡ÏË, Ú.Â. R ⊂ G × GË ÒÛ˘ÂÒÚ‚ÛÂÚ „‡Ù G ∈ G, Ú‡ÍÓÈ ˜ÚÓ (G, G) ∉ R.ê‡ÒÒÚÓflÌË ·Ë̇ÌÓ„Ó ÓÚÌÓ¯ÂÌËfl – ‡Ò¯ËÂÌ̇fl ÏÂÚË͇ (ÍÓÚÓ‡fl ‚ Ó·˘ÂÏÒÎÛ˜‡Â ÏÓÊÂÚ ÔËÌËχڸ Á̇˜ÂÌË ∞) ̇ ÏÌÓÊÂÒÚ‚Â G ‚ÒÂı „‡ÙÓ‚, ÓÔ‰ÂÎÂÌ̇fl‰Îfl β·˚ı „‡ÙÓ‚ G 1 Ë G2 Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ R-ÔÂÓ·‡ÁÓ‚‡ÌËÈ,ÌÂÓ·ıÓ‰ËÏ˚ı ‰Îfl Ú‡ÌÒÙÓχˆËË „‡Ù‡ G1 ‚ „‡Ù G2. å˚ „Ó‚ÓËÏ, ˜ÚÓ „‡Ù çÏÓÊÂÚ ·˚Ú¸ ÔÓÎÛ˜ÂÌ ËÁ „‡Ù‡ G ÔÛÚÂÏ R-ÔÂÓ·‡ÁÓ‚‡ÌËfl, ÂÒÎË (H, G) ∈ R.èËÏÂÓÏ Ú‡ÍÓ„Ó ‡ÒÒÚÓflÌËfl fl‚ÎflÂÚÒfl ‡ÒÒÚÓflÌË ÏÂÊ‰Û ‰‚ÛÏfl ÚÂÛ„ÓθÌ˚ÏË‚ÎÓÊÂÌËflÏË ÔÓÎÌÓ„Ó „‡Ù‡ (Ú.Â.
Â„Ó ÍÎÂÚÓ˜Ì˚ÏË ‚ÎÓÊÂÌËflÏË ‚ ÔÓ‚ÂıÌÓÒÚ¸,Ëϲ˘Û˛ ÚÓθÍÓ 3-„Ó̇θÌ˚ „‡ÌË), ÓÔ‰ÂÎÂÌÌÓÂ Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ t,Ú‡ÍÓ ˜ÚÓ ‚ÎÓÊÂÌËfl ËÁÓÏÂÚ˘Ì˚ Ò ÚÓ˜ÌÓÒÚ¸˛ ‰Ó Á‡Ï¢ÂÌËfl t „‡ÌÂÈ.åÂÚËÍË ÔÂÓ·‡ÁÓ‚‡ÌËfl ·ÂÁ ÔÂÂÒ˜ÂÌËÈÑÎfl ÔÓ‰ÏÌÓÊÂÒÚ‚‡ S ËÁ 2 ÓÒÚÓ‚ÌÓ ‰ÂÂ‚Ó ·ÂÁ ÔÂÂÒ˜ÂÌËÈ ÏÌÓÊÂÒÚ‚‡ S ÂÒÚ¸‰Â‚Ó, ‚¯ËÌ˚ ÍÓÚÓÓ„Ó – ÚÓ˜ÍË ÏÌÓÊÂÒÚ‚‡ S , ‡ ·‡ – ÔÓÔ‡ÌÓÌÂÔÂÂÒÂ͇˛˘ËÂÒfl ÓÚÂÁÍË ÔflÏ˚ı.åÂÚË͇ ÔÂÂÏ¢ÂÌËfl ·‡ ·ÂÁ ÔÂÂÒ˜ÂÌËÈ ([AAH00]) ̇ ÏÌÓÊÂÒÚ‚Â TS ‚ÒÂıÓÒÚÓ‚Ì˚ı ‰Â‚¸Â‚ ·ÂÁ ÔÂÂÒ˜ÂÌËÈ ÏÌÓÊÂÒÚ‚‡ S ÓÔ‰ÂÎflÂÚÒfl ‰Îfl β·˚ı T1, T2 ∈∈ TS Í‡Í ÏËÌËχθÌÓ ˜ËÒÎÓ ÔÂÂÏ¢ÂÌËÈ Â·‡ ·ÂÁ ÔÂÂÒ˜ÂÌËÈ, ÌÂÓ·ıÓ‰ËÏ˚ı ‰ÎflÔÂÓ·‡ÁÓ‚‡ÌËfl T 1 ‚ T2.