ΠΡΠ±ΠΎΡ Π°Π»Π³ΠΎΡΠΈΡΠΌΠ°.
ΠΠ»Π³ΠΎΡΠΈΡΠΌΡ ΡΠ΅ΠΎΡΠΈΠΈ Π³ΡΠ°ΡΠΎΠ²: Π°Π»Π³ΠΎΡΠΈΡΠΌ Π€ΠΎΡΠ΄Π°βΠΠ΅Π»Π»ΠΌΠ°Π½Π°
ΠΡΡΡΡ D = (V, X) — Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΡΠΉ ΠΎΡΠ³ΡΠ°Ρ, V = { Ρ 1, …, Ρ n}, n > 2. ΠΠ²Π΅Π΄Π΅ΠΌ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ Π»i (k), Π³Π΄Π΅ i = 1, …, n, k = 1, 2, … ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΡΡ ΡΠΈΠΊΡΠΈΡΠΎΠ²Π°Π½Π½ΡΡ i ΠΈ k Π²Π΅Π»ΠΈΡΠΈΠ½Π° Π»i (k) ΡΠ°Π²Π½Π° Π΄Π»ΠΈΠ½Π΅ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΏΡΡΠΈ ΡΡΠ΅Π΄ΠΈ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² Ρ i, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠΈΡ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ k Π΄ΡΠ³; Π΅ΡΠ»ΠΈ ΠΆΠ΅ ΡΠ°ΠΊΠΈΡ ΠΏΡΡΠ΅ΠΉ Π½Π΅Ρ, ΡΠΎ Π»i (k) = ?. ΠΡΠΎΠΌΠ΅ ΡΠΎΠ³ΠΎ, Π΅ΡΠ»ΠΈ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΡ Π²Π΅ΡΡΠΈΠ½Ρ Ρ Π V ΡΡΠΈΡΠ°ΡΡ ΠΏΡΡΠ΅ΠΌ ΠΈΠ· Ρ Π² Ρ Π½ΡΠ»Π΅Π²ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, ΡΠΎ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ Π»i (k) ΠΌΠΎΠΆΠ½ΠΎ Π²Π²Π΅ΡΡΠΈ… Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
ΠΡΠ±ΠΎΡ Π°Π»Π³ΠΎΡΠΈΡΠΌΠ°. ΠΠ»Π³ΠΎΡΠΈΡΠΌΡ ΡΠ΅ΠΎΡΠΈΠΈ Π³ΡΠ°ΡΠΎΠ²: Π°Π»Π³ΠΎΡΠΈΡΠΌ Π€ΠΎΡΠ΄Π°βΠΠ΅Π»Π»ΠΌΠ°Π½Π° (ΡΠ΅ΡΠ΅ΡΠ°Ρ, ΠΊΡΡΡΠΎΠ²Π°Ρ, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½Π°Ρ)
ΠΠ»Ρ ΡΠ΅ΡΠ΅Π½ΠΈΡ ΠΏΠΎΡΡΠ°Π²Π»Π΅Π½Π½ΠΎΠΉ Π·Π°Π΄Π°ΡΠΈ Π±ΡΠ΄Π΅ΠΌ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ Π°Π»Π³ΠΎΡΠΈΡΠΌ Π€ΠΎΡΠ΄Π° — ΠΡΠ»Π»ΠΌΠ°Π½Π°.
ΠΠ°Π·ΠΎΠ²Π΅ΠΌ ΠΎΡΠ³ΡΠ°Ρ D = (V, X) Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΡΠΌ, Π΅ΡΠ»ΠΈ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ Π΄ΡΠ³ X ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π° Π½Π΅ΠΊΠΎΡΠΎΡΠ°Ρ ΡΡΠ½ΠΊΡΠΈΡ l: X > R, ΠΊΠΎΡΠΎΡΡΡ ΡΠ°ΡΡΠΎ Π½Π°Π·ΡΠ²Π°ΡΡ Π²Π΅ΡΠΎΠ²ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ. Π’Π΅ΠΌ ΡΠ°ΠΌΡΠΌ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D Π² ΠΊΠ°ΠΆΠ΄ΠΎΠΉ Π΄ΡΠ³Π΅ x € X ΠΏΠΎΡΡΠ°Π²Π»Π΅Π½ΠΎ Π² ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΠ΅ Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ΅ Π΄Π΅ΠΉΡΡΠ²ΠΈΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ l (x). ΠΠ½Π°ΡΠ΅Π½ΠΈΠ΅ l (x) Π±ΡΠ΄Π΅ΠΌ Π½Π°Π·ΡΠ²Π°ΡΡ Π΄Π»ΠΈΠ½Π½ΠΎΠΉ Π΄ΡΠ³ΠΈ x. ΠΠ»Ρ ΡΡΠΎΠ³ΠΎ ΠΏΡΡΠΈ Ρ Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ ΠΎΡΠ³ΡΠ°ΡΠ° D ΠΎΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΡΠ΅ΡΠ΅Π· l (Ρ) ΡΡΠΌΠΌΡ Π΄Π»ΠΈΠ½ Π²Ρ ΠΎΠ΄ΡΡΠΈΡ Π² Ρ Π΄ΡΠ³, ΠΏΡΠΈ ΡΡΠΎΠΌ ΠΊΠ°ΠΆΠ΄Π°Ρ Π΄ΡΠ³Π° ΡΡΠΈΡΡΠ²Π°Π΅ΡΡΡ ΡΡΠΎΠ»ΡΠΊΠΎ ΡΠ°Π·, ΡΠΊΠΎΠ»ΡΠΊΠΎ ΠΎΠ½Π° Π²Ρ ΠΎΠ΄ΠΈΡ Π² ΠΏΡΡΡ. ΠΠ΅Π»ΠΈΡΠΈΠ½Ρ l (Ρ) Π±ΡΠ΄Π΅ΠΌ Π½Π°Π·ΡΠ²Π°ΡΡ Π΄Π»ΠΈΠ½Π½ΠΎΠΉ ΠΏΡΡΠΈ Ρ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D. Π Π°Π½Π΅Π΅ ΡΠ°ΠΊ Π½Π°Π·ΡΠ²Π°Π»ΠΎΡΡ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ Π΄ΡΠ³ Π² ΠΏΡΡΠΈ Ρ. Π ΡΠ²ΡΠ·ΠΈ Ρ ΡΡΠΈΠΌ Π·Π°ΠΌΠ΅ΡΠΈΠΌ, ΡΡΠΎ Π΅ΡΠ»ΠΈ Π΄Π»ΠΈΠ½Ρ Π΄ΡΠ³ Π²ΡΠ±ΡΠ°Π½Ρ ΡΠ°Π²Π½ΡΠΌΠΈ l, ΡΠΎ l (Ρ) Π²ΡΡΠ°ΠΆΠ°Π΅Ρ Π²Π²Π΅Π΄Π΅Π½Π½ΡΡ ΡΠ°Π½Π΅Π΅ Π΄Π»ΠΈΠ½Ρ ΠΏΡΡΠΈ Ρ Π² Π½Π΅Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅. Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π»ΡΠ±ΠΎΠΉ Π½Π΅Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΡΠΉ ΠΎΡΠ³ΡΠ°Ρ ΠΌΠΎΠΆΠ½ΠΎ ΡΡΠΈΡΠ°ΡΡ Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΡΠΌ Ρ Π΄Π»ΠΈΠ½Π°ΠΌΠΈ Π΄ΡΠ³, ΡΠ°Π²Π½ΡΠΌΠΈ l. ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΠΈ Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΡΠΉ Π³ΡΠ°Ρ, Π° ΡΠ°ΠΊΠΆΠ΅ Π΄Π»ΠΈΠ½Π° ΠΌΠ°ΡΡΡΡΡΠ° Π² Π½Π΅ΠΌ.
ΠΡΡΡΡ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D ΠΈΠ· Π²Π΅ΡΡΠΈΠ½Ρ Ρ Π² Π²Π΅ΡΡΠΈΠ½Ρ Ρ, Π³Π΄Π΅ Ρ ? Ρ, Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΌ, Π΅ΡΠ»ΠΈ ΠΎΠ½ ΠΈΠΌΠ΅Π΅Ρ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ Π΄Π»ΠΈΠ½Ρ ΡΡΠ΅Π΄ΠΈ Π²ΡΠ΅Ρ ΠΏΡΡΠ΅ΠΉ ΠΎΡΠ³ΡΠ°ΡΠ° D ΠΈΠ· Ρ Π² Ρ. ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΠΈ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΌΠ°ΡΡΡΡΡ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ Π³ΡΠ°ΡΠ΅ G.
ΠΡΠ»ΠΈ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D ΠΈΠΌΠ΅ΡΡΡΡ Π·Π°ΠΌΠΊΠ½ΡΡΡΠ΅ ΠΏΡΡΠΈ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, ΡΠΎ Π΄Π»Ρ Π·Π°Π΄Π°Π½Π½ΡΡ Π²Π΅ΡΡΠΈΠ½ Ρ 1, Ρ ΠΎΡΠ³ΡΠ°ΡΠ° D, Π³Π΄Π΅ Ρ ? Ρ, ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΏΡΡΠΈ ΠΈΠ· Ρ Π² Ρ ΠΌΠΎΠΆΠ΅Ρ ΠΈ Π½Π΅ Π±ΡΡΡ. ΠΠ΅ΠΉΡΡΠ²ΠΈΡΠ΅Π»ΡΠ½ΠΎ, Π΅ΡΠ»ΠΈ Π² D ΠΈΠΌΠ΅Π΅ΡΡΡ Π·Π°ΠΌΠΊΠ½ΡΡΡΠΉ ΠΏΡΡΡ Ρ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ ΠΈ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΏΡΡΡ ΠΈΠ· Ρ Π² Ρ, ΠΏΡΠΎΡ ΠΎΠ΄ΡΡΠΈΠΉ Ρ ΠΎΡΡ Π±Ρ ΡΠ΅ΡΠ΅Π· ΠΎΠ΄Π½Ρ Π²Π΅ΡΡΠΈΠ½Ρ, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡΡΡΡ Π² Ρ, ΡΠΎ ΠΎΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ Π² D Π½Π°ΠΉΠ΄Π΅ΡΡΡ ΠΏΡΡΡ Ρ ΠΈΠ· Ρ Π² Ρ Π²ΠΈΠ΄Π° Ρ = Ρ1Π Ρ Π Ρ2, Π³Π΄Π΅ Ρ1, Ρ2 — ΠΏΡΡΠΈ Π² D (Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ ΡΠ°ΠΊΠΆΠ΅, ΡΡΠΎ-Π»ΠΈΠ±ΠΎ Ρ1, Π»ΠΈΠ±ΠΎ Ρ2 ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΡΡΠΎΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡΡ; ΠΏΡΠΈ ΡΡΠΎΠΌ ΠΏΡΠ΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π΅ΠΌ, ΡΡΠΎ Π¨ Π Ρ = Ρ Π Π¨ = Ρ). ΠΠΎ ΡΠΎΠ³Π΄Π° Ρ1 Π Ρ Π Ρ Π Ρ2, Ρ1 Π Ρ Π Ρ Π Ρ Π Ρ2 … ΡΠ°ΠΊΠΆΠ΅ ΠΏΡΡΠΈ Π² D ΠΈΠ· Ρ Π² Ρ, ΠΈ Π΄Π»ΠΈΠ½Π° ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΡΠ»Π΅Π΄ΡΡΡΠ΅Π³ΠΎ ΠΏΡΡΠΈ Π² ΡΡΠΎΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ ΠΎΡΠ»ΠΈΡΠ°Π΅ΡΡΡ ΠΎΡ Π΄Π»ΠΈΠ½Ρ ΠΏΡΠ΅Π΄ΡΠ΄ΡΡΠ΅Π³ΠΎ Π½Π° l (Ρ) < 0, Π° Π·Π½Π°ΡΠΈΡ, Π΄Π»ΠΈΠ½Ρ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ Π² Ρ ΠΌΠΎΠ³ΡΡ ΠΏΡΠΈΠ½ΠΈΠΌΠ°ΡΡ ΡΠΊΠΎΠ»Ρ ΡΠ³ΠΎΠ΄Π½ΠΎ ΠΌΠ°Π»ΡΠ΅ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ. ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½Π°Ρ ΡΠΈΡΡΠ°ΡΠΈΡ ΠΈΠΌΠ΅Π΅Ρ ΠΌΠ΅ΡΡΠΎ Π² ΡΠ»ΡΡΠ°Π΅, ΠΊΠΎΠ³Π΄Π° Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ Π³ΡΠ°ΡΠ΅ G Π²Π΅ΡΡΠΈΠ½Ρ Ρ , Ρ Π½Π°Ρ ΠΎΠ΄ΡΡΡΡ Π² ΠΎΠ΄Π½ΠΎΠΉ ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½ΡΠ΅ ΡΠ²ΡΠ·Π½ΠΎΡΡΠΈ, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠ΅ΠΉ Ρ ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½ΠΎ ΡΠ΅Π±ΡΠΎ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ. Π ΡΠ°ΠΊΠΈΡ ΡΠ»ΡΡΠ°ΡΡ ΠΈΠΌΠ΅ΡΡ ΡΠΌΡΡΠ» Π»ΠΈΡΡ Π·Π°Π΄Π°ΡΠΈ ΠΏΠΎΠΈΡΠΊΠ° ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ (ΠΌΠ°ΡΡΡΡΡΠΎΠ²) ΡΡΠ΅Π΄ΠΈ ΠΏΡΡΠ΅ΠΉ (ΠΌΠ°ΡΡΡΡΡΠΎΠ²), ΡΠΈΡΠ»ΠΎ Π΄ΡΠ³ (ΡΠ΅Π±Π΅Ρ) Π² ΠΊΠΎΡΠΎΡΡΡ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΎ ΡΠ²Π΅ΡΡ Ρ.
ΠΡΠΈΠ²Π΅Π΄Π΅ΠΌ Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΡΠ²ΠΎΠΉΡΡΠ²Π° ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ (ΠΌΠ°ΡΡΡΡΡΠΎΠ²) Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D = (V, X) (Π³ΡΠ°ΡΠ΅ G = (V, X)):
- 1) Π΅ΡΠ»ΠΈ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ x € X l (x) > 0, ΡΠΎ Π»ΡΠ±ΠΎΠΉ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΏΡΡΡ (ΠΌΠ°ΡΡΡΡΡ) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΠΎΡΡΠΎΠΉ ΡΠ΅ΠΏΡΡ;
- 2) Π΅ΡΠ»ΠΈ Ρ 1×2 … Ρ k — ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΏΡΡΡ (ΠΌΠ°ΡΡΡΡΡ), ΡΠΎ Π΄Π»Ρ Π»ΡΠ±ΡΡ Π½ΠΎΠΌΠ΅ΡΠΎΠ² i, j ΡΠ°ΠΊΠΈΡ , ΡΡΠΎ 1? i < j? k, ΠΏΡΡΡ (ΠΌΠ°ΡΡΡΡΡ) Ρ i Ρ i+1 ΡΠ°ΠΊΠΆΠ΅ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΌ;
- 3) Π΅ΡΠ»ΠΈ Ρ … ΠΈ Ρ — ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΏΡΡΡ (ΠΌΠ°ΡΡΡΡΡ) ΡΡΠ΅Π΄ΠΈ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ Π² Ρ (ΡΡΠ΅Π΄ΠΈ ΠΌΠ°ΡΡΡΡΡΠΎΠ², ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠΈΡ Ρ , Ρ), ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠΈΡ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ k+1 Π΄ΡΠ³ (ΡΠ΅Π±Π΅Ρ), ΡΠΎ Ρ … u — ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΏΡΡΡ (ΠΌΠ°ΡΡΡΡΡ) ΡΡΠ΅Π΄ΠΈ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ Π² u (ΡΡΠ΅Π΄ΠΈ ΠΌΠ°ΡΡΡΡΡΠΎΠ², ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠΈΡ Ρ , u), ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠΈΡ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ k Π΄ΡΠ³ (ΡΠ΅Π±Π΅Ρ).
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΡΠ΅ΠΏΠ΅ΡΡ Π·Π°Π΄Π°ΡΡ ΠΏΠΎΠΈΡΠΊΠ° ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ (ΠΌΠ°ΡΡΡΡΡΠΎΠ²) Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ (Π³ΡΠ°ΡΠ΅). ΠΡΠΈ ΡΡΠΎΠΌ Π΄Π»Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎΡΡΠΈ ΡΠ°ΡΡΡΠΆΠ΄Π΅Π½ΠΈΡ Π±ΡΠ΄Π΅ΠΌ ΠΏΡΠΎΠ²ΠΎΠ΄ΠΈΡΡ Π΄Π»Ρ ΠΎΡΠ³ΡΠ°ΡΠ° (Π΄Π»Ρ Π³ΡΠ°ΡΠ° ΠΎΠ½ΠΈ Π°Π½Π°Π»ΠΎΠ³ΠΈΡΠ½Ρ).
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 1. ΠΡΠΈ ΡΠ΅ΡΠ΅Π½ΠΈΠΈ Π½Π΅ΠΊΠΎΡΠΎΡΡΡ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈΡ Π·Π°Π΄Π°Ρ Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎΡΡΡ ΠΏΠΎΠΈΡΠΊΠ° ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅. Π’Π°ΠΊΠ°Ρ Π·Π°Π΄Π°ΡΠ° Π»Π΅Π³ΠΊΠΎ ΡΠ²ΠΎΠ΄ΠΈΡΡΡ ΠΊ ΠΈΡΡΠ»Π΅Π΄ΡΠ΅ΠΌΠΎΠΉ Π½ΠΈΠΆΠ΅ Π·Π°Π΄Π°ΡΠ΅ ΠΏΠΎΠΈΡΠΊΠ° ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ Π·Π°ΠΌΠ΅Π½ΠΎΠΉ Π·Π½Π°ΠΊΠΎΠ² ΠΏΡΠΈ Π΄Π»ΠΈΠ½Π°Ρ Π΄ΡΠ³ Π½Π° ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΡΠ΅.
ΠΡΡΡΡ D = (V, X) — Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΡΠΉ ΠΎΡΠ³ΡΠ°Ρ, V = { Ρ 1, …, Ρ n}, n > 2. ΠΠ²Π΅Π΄Π΅ΠΌ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ Π»i (k), Π³Π΄Π΅ i = 1, …, n, k = 1, 2, …. ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΡΡ ΡΠΈΠΊΡΠΈΡΠΎΠ²Π°Π½Π½ΡΡ i ΠΈ k Π²Π΅Π»ΠΈΡΠΈΠ½Π° Π»i (k) ΡΠ°Π²Π½Π° Π΄Π»ΠΈΠ½Π΅ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΏΡΡΠΈ ΡΡΠ΅Π΄ΠΈ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² Ρ i, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠΈΡ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ k Π΄ΡΠ³; Π΅ΡΠ»ΠΈ ΠΆΠ΅ ΡΠ°ΠΊΠΈΡ ΠΏΡΡΠ΅ΠΉ Π½Π΅Ρ, ΡΠΎ Π»i (k) = ?. ΠΡΠΎΠΌΠ΅ ΡΠΎΠ³ΠΎ, Π΅ΡΠ»ΠΈ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΡ Π²Π΅ΡΡΠΈΠ½Ρ Ρ Π V ΡΡΠΈΡΠ°ΡΡ ΠΏΡΡΠ΅ΠΌ ΠΈΠ· Ρ Π² Ρ Π½ΡΠ»Π΅Π²ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, ΡΠΎ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ Π»i (k) ΠΌΠΎΠΆΠ½ΠΎ Π²Π²Π΅ΡΡΠΈ ΡΠ°ΠΊΠΆΠ΅ ΠΈ Π΄Π»Ρ k = 0, ΠΏΡΠΈ ΡΡΠΎΠΌ Π»1(0) = 0, Π»i (0) = ?, i = 2, …, n. (1).
ΠΠ²Π΅Π΄Π΅ΠΌ ΡΠ°ΠΊΠΆΠ΅ Π² ΡΠ°ΡΡΠΌΠΎΡΡΠ΅Π½ΠΈΠ΅ ΠΊΠ²Π°Π΄ΡΠ°ΡΠ½ΡΡ ΠΌΠ°ΡΡΠΈΡΡ C (D) = [Ρij] ΠΏΠΎΡΡΠ΄ΠΊΠ° n Ρ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΠΌΠΈ.
cij = l (Ρ i, Ρ j), Π΅ΡΠ»ΠΈ (Ρ i, Ρ j) € X;
?, Π΅ΡΠ»ΠΈ (Ρ i, Ρ j) € Π₯, ΠΊΠΎΡΠΎΡΡΡ Π±ΡΠ΄Π΅ΠΌ Π½Π°Π·ΡΠ²Π°ΡΡ ΠΌΠ°ΡΡΠΈΡΠ΅ΠΉ Π΄Π»ΠΈΠ½ Π΄ΡΠ³ Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ ΠΎΡΠ³ΡΠ°ΡΠ° D.
Π‘Π»Π΅Π΄ΡΡΡΠ΅Π΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Π΄Π°Π΅Ρ ΠΏΡΠΎΡΡΡΠ΅ ΡΠΎΡΠΌΡΠ»Ρ Π΄Π» Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ Π²Π΅Π»ΠΈΡΠΈΠ½ Π»i (k).
Π£ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 1. ΠΡΠΈ i — 2, …, n, k? 0 Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π»i (k+1) = min {Π»j (k)+cij}.
1? j? n.
Π° ΠΏΡΠΈ i — 1, k? 0 ΡΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²ΠΎ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π»i (k+1) = min{0; min {Π»j (k)=cj1}}.
1? j? n.
ΠΡΠΏΠΎΠ»ΡΠ·ΡΡ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 1, Π½Π΅ΡΡΡΠ΄Π½ΠΎ ΠΎΠΏΠΈΡΠ°ΡΡ Π°Π»Π³ΠΎΡΠΈΡΠΌ Π½Π°Ρ ΠΎΠΆΠ΄Π΅Π½ΠΈΡ ΡΠ°Π±Π»ΠΈΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΈ Π²Π΅Π»ΠΈΡΠΈΠ½ Π»i (k) (Π±ΡΠ΄Π΅ΠΌ Π·Π°ΠΏΠΈΡΡΠ²Π°ΡΡ Π² Π²ΠΈΠ΄Π΅ ΠΌΠ°ΡΡΠΈΡΡ, Π³Π΄Π΅ i — Π½ΠΎΠΌΠ΅Ρ ΡΡΡΠΎΠΊΠΈ, k+1 — Π½ΠΎΠΌΠ΅Ρ ΡΡΠΎΠ»Π±ΡΠ°). ΠΠ΅ΠΉΡΡΠ²ΠΈΡΠ΅Π»ΡΠ½ΠΎ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ ΡΠ΅ΠΊΡΡΡΠ΅Π½ΡΠ½ΡΠ΅ ΡΠΎΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ (2), (3) ΠΈ ΠΈΡΡ ΠΎΠ΄Ρ ΠΈΠ· (1), ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΠΌ Π½Π°Π±ΠΎΡ Π²Π΅Π»ΠΈΡΠΈΠ½ Π»1(k), …, Π»n (k) ((k+1) ΡΡΠΎΠ»Π±Π΅Ρ ΠΌΠ°ΡΡΠΈΡΡ), Π½Π°ΡΠΈΠ½Π°Ρ Ρ k = 0, Π° Π·Π°ΡΠ΅ΠΌ ΡΠ°Π³ Π·Π° ΡΠ°Π³ΠΎΠΌ ΡΠ²Π΅Π»ΠΈΡΠΈΠ²Π°Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ k Π΄ΠΎ Π»ΡΠ±ΠΎΠΉ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎΠΉ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ.
ΠΡΠ΄Π΅ΠΌ ΡΠ΅ΠΏΠ΅ΡΡ ΠΏΡΠ΅Π΄ΠΏΠΎΠ»Π°Π³Π°ΡΡ, ΡΡΠΎ Π² D ΠΎΡΡΡΡΡΡΠ²ΡΡΡ ΠΏΡΠΎΡΡΡΠ΅ ΠΊΠΎΠ½ΡΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ (Π½ΠΈΠΆΠ΅ Π² ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠΈ 5 ΠΏΡΠΈΠ²ΠΎΠ΄ΠΈΡΡΡ ΠΏΡΠΎΡΡΠΎΠΉ ΠΌΠ΅ΡΠΎΠ΄ ΠΏΡΠΎΠ²Π΅ΡΠΊΠΈ ΡΡΠΎΠ³ΠΎ ΡΡΠ»ΠΎΠ²ΠΈΡ). ΠΠ»Ρ Π΄Π°Π»ΡΠ½Π΅ΠΉΡΠΈΡ ΡΠ°ΡΡΡΠΆΠ΄Π΅Π½ΠΈΠΉ Π½Π°ΠΌ ΠΏΠΎΠ½Π°Π΄ΠΎΠ±ΡΡΡΡ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡΠ΅Π»ΡΠ½ΡΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ.
Π£ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 2. ΠΠ· Π²ΡΡΠΊΠΎΠ³ΠΎ Π·Π°ΠΌΠΊΠ½ΡΡΠΎΠ³ΠΎ ΠΏΡΡΠΈ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ ΠΌΠΎΠΆΠ½ΠΎ Π²ΡΠ΄Π΅Π»ΠΈΡΡ ΠΏΡΠΎΡΡΠΎΠΉ ΠΊΠΎΠ½ΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ.
Π£ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 3. ΠΡΠ»ΠΈ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ ΠΎΡΡΡΡΡΡΠ²ΡΡΡ ΠΏΡΠΎΡΡΡΠ΅ ΠΊΠΎΠ½ΡΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, ΡΠΎ Π² Π½Π΅ΠΌ Π½Π΅Ρ Π·Π°ΠΌΠΊΠ½ΡΡΡΡ ΠΏΡΡΠ΅ΠΉ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ.
Π£ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 4. Π Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅, Π² ΠΊΠΎΡΠΎΡΠΎΠΌ ΠΎΡΡΡΡΡΡΠ²ΡΡΡ ΠΏΡΠΎΡΡΡΠ΅ ΠΊΠΎΠ½ΡΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ· Π²ΡΡΠΊΠΎΠ³ΠΎ Π½Π΅Π·Π°ΠΌΠΊΠ½ΡΡΠΎΠ³ΠΎ ΠΏΡΡΠΈ Π²ΡΠ΄Π΅Π»ΠΈΡΡ ΠΏΡΠΎΡΡΡΡ ΡΠ΅ΠΏΡ Ρ ΡΠ΅ΠΌΠΈ ΠΆΠ΅ Π½Π°ΡΠ°Π»ΡΠ½ΠΎΠΉ ΠΈ ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠΉ Π²Π΅ΡΡΠΈΠ½Π°ΠΌΠΈ, Π΄Π»ΠΈΠ½Π° ΠΊΠΎΡΠΎΡΠΎΠΉ Π½Π΅ ΠΏΡΠ΅Π²ΡΡΠ°Π΅Ρ Π΄Π»ΠΈΠ½Ρ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΏΡΡΠΈ.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 2. ΠΡΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ Π³ΡΠ°ΡΠ° ΠΌΡ ΠΏΡΠ΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π»ΠΈ, ΡΡΠΎ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ l (x), x € X, ΠΊΠΎΠ½Π΅ΡΠ½Ρ. ΠΠ΅ΠΆΠ΄Ρ ΡΠ΅ΠΌ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ Π»i (k) (i = 1, 2, …, n, k = 0, 1, …, n — 1) ΠΌΠΎΠΆΠ½ΠΎ Π°Π½Π°Π»ΠΎΠ³ΠΈΡΠ½ΡΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ ΠΈ Π΄Π»Ρ ΡΠ»ΡΡΠ°Ρ, ΠΊΠΎΠ³Π΄Π° Π΄Π»Ρ Π½Π΅ΠΊΠΎΡΠΎΡΡΡ x € X Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ l (x) = ?. ΠΡΠΈ ΡΡΠΎΠΌ ΡΠΎΡ ΡΠ°Π½ΡΠ΅Ρ ΡΠΈΠ»Ρ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 1, Π° ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, ΠΈ Π°Π»Π³ΠΎΡΠΈΡΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΡΠ°Π±Π»ΠΈΡΡ Π²Π΅Π»ΠΈΡΠΈΠ½ Π»i (k). ΠΡΠΌΠ΅ΡΠΈΠΌ, ΠΎΠ΄Π½Π°ΠΊΠΎ, ΡΡΠΎ ΡΠ΅ΠΏΠ΅ΡΡ ΠΌΠΎΠ³ΡΡ ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°ΡΡ Π²Π΅ΡΡΠΈΠ½Ρ, Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΡΠ΅ ΠΈΠ· Ρ 1 Ρ Π΄Π»ΠΈΠ½Π°ΠΌΠΈ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² ΡΡΠΈ Π²Π΅ΡΡΠΈΠ½Ρ, ΡΠ°Π²Π½ΡΠΌΠΈ ?, Ρ. Π΅. ΠΌΡ ΡΠΆΠ΅ Π½Π΅ ΠΌΠΎΠΆΠ΅ΠΌ ΡΡΠ΄ΠΈΡΡ ΠΏΠΎ Π»i (n-1) ΠΎ Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΠΎΡΡΠΈ Π²Π΅ΡΡΠΈΠ½ Ρ i ΠΈΠ· Ρ 1.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 3. ΠΡΠ»ΠΈ ΠΏΡΠΈ Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠΌ k0, Π³Π΄Π΅ 0? k0? n — 2, Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° Π»i (k0) = Π»i (k0 + 1), i = 1, 2, …, n, ΠΈ, Π² ΡΠ°ΡΡΠ½ΠΎΡΡΠΈ, Π»i (n — 1) = Π»i (k0), i = 1, 2, …, n, Ρ. Π΅. Π² Π΄Π°Π½Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π»i (k) ΠΏΡΠΈ k > k0 Π½Π΅ Π½Π΅ΡΡΡ Π½ΠΈΠΊΠ°ΠΊΠΎΠΉ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡΠ΅Π»ΡΠ½ΠΎΠΉ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ, ΠΈ ΡΠΎΠ³Π΄Π° ΠΈΠΌΠ΅Π΅Ρ ΡΠΌΡΡΠ» ΠΎΠ±ΠΎΡΠ²Π°ΡΡ ΠΏΡΠΎΡΠ΅ΡΡ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΠ³ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ Π½Π°Π±ΠΎΡΠΎΠ² Π²Π΅Π»ΠΈΡΠΈΠ½ Π»1(k), …, Π»n (k) Π½Π° Π·Π½Π°ΡΠ΅Π½ΠΈΠΈ k = k0.
ΠΡΠΈΠ²Π΅Π΄Π΅ΠΌ ΡΠ΅ΠΏΠ΅ΡΡ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅, Π΄Π°ΡΡΠ΅Π΅ Π½Π°ΠΌ Π»Π΅Π³ΠΊΠΎ ΠΏΡΠΎΠ²Π΅ΡΡΠ΅ΠΌΠΎΠ΅ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎΠ΅ ΠΈ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎΠ΅ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ ΡΠΎΠ³ΠΎ, ΡΡΠΎ Π² D ΠΎΡΡΡΡΡΡΠ²ΡΡΡ ΠΏΡΠΎΡΡΡΠ΅ ΠΊΠΎΠ½ΡΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ. ΠΡΠΈ ΡΡΠΎΠΌ Π±ΡΠ΄Π΅ΠΌ ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°ΡΡ ΡΠ»ΡΡΠ°ΠΉ, ΠΊΠΎΠ³Π΄Π° ΠΈΠ· Π²Π΅ΡΡΠΈΠ½Ρ Ρ 1 Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΡ Π²ΡΠ΅ Π΄ΡΡΠ³ΠΈΠ΅ Π²Π΅ΡΡΠΈΠ½Ρ ΠΎΡΠ³ΡΠ°ΡΠ° D. ΠΡΠΎΠ³ΠΎ Π²ΡΠ΅Π³Π΄Π° ΠΌΠΎΠΆΠ½ΠΎ Π΄ΠΎΠ±ΠΈΡΡΡΡ ΡΠ΄Π°Π»Π΅Π½ΠΈΠ΅ΠΌ Π²Π΅ΡΡΠΈΠ½, Π½Π΅ Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΡΡ ΠΈΠ· Ρ 1.
Π£ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 5. ΠΡΡΡΡ Π² ΠΎΡΠ³ΡΠ°ΡΠ΅ D = (V, X), Π³Π΄Π΅ V = { Ρ 1, …, Ρ n}, Π»ΡΠ±Π°Ρ Π²Π΅ΡΡΠΈΠ½Π° Ρ i, i € {2, …, n}, Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΠ° ΠΈΠ· Ρ 1. Π’ΠΎΠ³Π΄Π°, Π΄Π»Ρ ΡΠΎΠ³ΠΎ ΡΡΠΎΠ±Ρ Π² D ΠΎΡΡΡΡΡΡΠ²ΠΎΠ²Π°Π»ΠΈ ΠΏΡΠΎΡΡΡΠ΅ ΠΊΠΎΠ½ΡΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ, ΡΡΠΎΠ±Ρ Π²ΡΠΏΠΎΠ»Π½ΡΠ»ΠΎΡΡ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ Π»i (n -1) = Π»i (n), i = 1, …, n.
ΠΠ»Π³ΠΎΡΠΈΡΠΌ (Π°Π»Π³ΠΎΡΠΈΡΠΌ Π€ΠΎΡΠ΄Π° — ΠΠ΅Π»Π»ΠΌΠ°Π½Π°) Π½Π°Ρ ΠΎΠΆΠ΄Π΅Π½ΠΈΡ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΏΡΡΠΈ Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D ΠΈΠ· Ρ 1 Π² Ρ i1, (i? 1):
Π¨Π°Π³ 1. ΠΡΡΡΡ ΠΌΡ ΡΠΆΠ΅ ΡΠΎΡΡΠ°Π²ΠΈΠ»ΠΈ ΡΠ°Π±Π»ΠΈΡΡ Π²Π΅Π»ΠΈΡΠΈΠ½ Π»i (k), i = 1, 2, …, n, k = 0, 1, 2, …, n — 1. ΠΡΠ»ΠΈ Π»i (n-1) = ?, ΡΠΎ Π²Π΅ΡΡΠΈΠ½Π° Ρ i1 Π½Π΅ Π΄ΠΎΡΡΠΈΠΆΠΈΠΌΠ° ΠΈΠ· Ρ 1 (ΠΏΡΠ΅Π΄ΠΏΠΎΠ»Π°Π³Π°Π΅ΠΌ, ΡΡΠΎ Π²ΡΠ΅ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ l (x), x € X ΠΊΠΎΠ½Π΅ΡΠ½Ρ). Π ΡΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΡΠ°Π±ΠΎΡΠ° Π°Π»Π³ΠΎΡΠΈΡΠΌΠ° Π·Π°ΠΊΠ°Π½ΡΠΈΠ²Π°Π΅ΡΡΡ.
Π¨Π°Π³ 2. ΠΡΡΡΡ Π»i1(n-1) < ?, ΡΠΎΠ³Π΄Π° ΡΠΈΡΠ»ΠΎ Π»i1(n-1) Π²ΡΡΠ°ΠΆΠ°Π΅Ρ Π΄Π»ΠΈΠ½Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΏΡΡΠΈ ΠΈΠ· Ρ 1 Π² Ρ i1 Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ k? 1, ΠΏΡΠΈ ΠΊΠΎΡΠΎΡΠΎΠΌ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π»i1(k1) = Π»i1(n-1). ΠΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ ΡΠΈΡΠ΅Π» Π»i (k) ΠΏΠΎΠ»ΡΡΠ°Π΅ΠΌ, ΡΡΠΎ k1 — ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ Π΄ΡΠ³ Π² ΠΏΡΡΠΈ ΡΡΠ΅Π΄ΠΈ Π²ΡΠ΅Ρ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ Ρ 1 Π² Ρ i1 Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D.
Π¨Π°Π³ 3. ΠΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΠΌ Π½ΠΎΠΌΠ΅ΡΠ° i2, …, ik1+1 ΡΠ°ΠΊΠΈΠ΅, ΡΡΠΎ Π»i2(k1−1) + Ρi2, i1 = Π»i1(k1).
Π»i3(k1−2) + Ρi3, i2 = Π»i1(k1 — 1).
Π»i (0) + ci j = Π»i (1).
k1+1 k1+1 k1 k1.
(ΡΡΠΈ Π½ΠΎΠΌΠ΅ΡΠ° Π½Π°ΠΉΠ΄ΡΡΡΡ Π² ΡΠΈΠ»Ρ (2)).
ΠΠ· (4) Ρ ΡΡΠ΅ΡΠΎΠΌ ΡΠΎΠ³ΠΎ, ΡΡΠΎ Π»i1(k1)=Π»i1(n — 1) < ?, ΠΈΠΌΠ΅Π΅ΠΌ ci2, i1,…, ci, i < ?, Π»i (0) < ?,.
.k1+1 k1 k1+1.
ΠΎΡΠΊΡΠ΄Π°, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ (1), ΠΏΠΎΠ»ΡΡΠ°Π΅ΠΌ.
- (Ρ i2, Ρ i1), …, (Ρ i, Ρ i) € X, l (Ρ i2, Ρ i1) = ci2, i1, …, l (Ρ i2, Ρ i1) = ci, I;
- 1+1 k1 k1+1 k1 k1+1 k1
Π»i (0) = 0, i = 1, Ρ i = Ρ 1 (5).
k1+1 k1+1 k1+1.
Π‘ΠΊΠ»Π°Π΄ΡΠ²Π°Ρ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° (4) ΠΈ ΡΡΠΈΡΡΠ²Π°Ρ (5), ΠΈΠΌΠ΅Π΅ΠΌ.
l (Ρ 1k1 Ρ i … Ρ i2 Ρ i1) = Π»i1(k1),.
Ρ. Π΅. Ρ 1 Ρ i … Ρ i2 Ρ i1 — ΠΈΡΡ ΠΎΠ΄Π½ΡΠΉ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΏΡΡΡ ΠΈΠ· Ρ 1 Π² Ρ i1 Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D. ΠΠ°ΠΌΠ΅ΡΠΈΠΌ, ΡΡΠΎ Π² ΡΡΠΎΠΌ ΠΏΡΡΠΈ ΡΠΎΠ²Π½ΠΎ ki Π΄ΡΠ³. Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ ΠΌΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΠ»ΠΈ ΠΏΡΡΡ Ρ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΌ ΡΠΈΡΠ»ΠΎΠΌ Π΄ΡΠ³ ΡΡΠ΅Π΄ΠΈ Π²ΡΠ΅Ρ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² Ρ i1 Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 4. ΠΠΎΠΌΠ΅ΡΠ° i2, i3, …, ik1, ΡΠ΄ΠΎΠ²Π»Π΅ΡΠ²ΠΎΡΡΡΡΠΈΠ΅ (6), Π²ΠΎΠΎΠ±ΡΠ΅ Π³ΠΎΠ²ΠΎΡΡ, ΠΌΠΎΠ³ΡΡ Π±ΡΡΡ Π²ΡΠ΄Π΅Π»Π΅Π½Ρ Π½Π΅ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎ. ΠΡΠ° Π½Π΅ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΡ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ ΡΠ»ΡΡΠ°ΡΠΌ, ΠΊΠΎΠ³Π΄Π° ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΡΠ°Π·Π»ΠΈΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² Ρ i1 c ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΌ ΡΠΈΡΠ»ΠΎΠΌ Π΄ΡΠ³ ΡΡΠ΅Π΄ΠΈ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΡ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² Ρ i1 Π² Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠΌ ΠΎΡΠ³ΡΠ°ΡΠ΅ D.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 5. ΠΠ»Π³ΠΎΡΠΈΡΠΌ ΠΌΠΎΠΆΠ½ΠΎ ΠΌΠΎΠ΄ΠΈΡΠΈΡΠΈΡΠΎΠ²Π°ΡΡ, Ρ ΡΠ΅ΠΌ Ρ 1 Π² Ρ i1, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠΈΡ Π½Π΅ Π±ΠΎΠ»Π΅Π΅ k0 Π΄ΡΠ³, Π³Π΄Π΅ k0 — Π·Π°Π΄Π°Π½Π½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, k0 > 1. XΡΠΎΠ±Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΏΡΡΡ ΠΈΠ· Ρ 1 Π² Π·Π°Π΄Π°Π½Π½ΡΡ Π²Π΅ΡΡΠΈΠ½Ρ Ρ i1 ΡΡΠ΅Π΄ΠΈ ΠΏΡΡΠ΅ΠΉ ΠΈΠ· Ρ 1 Π² Ρ i1. ΠΠ»Ρ ΡΡΠΎΠ³ΠΎ Π² Π°Π»Π³ΠΎΡΠΈΡΠΌΠ΅ Π²ΠΌΠ΅ΡΡΠΎ Π»i (n — 1) ΡΠ»Π΅Π΄ΡΠ΅Ρ Π²ΠΎΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡΡΡ Π»i1(k0). ΠΡΠΌΠ΅ΡΠΈΠΌ, ΡΡΠΎ ΠΏΡΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠΈ ΡΠΊΠ°Π·Π°Π½Π½ΠΎΠΉ ΠΌΠΎΠ΄ΠΈΡΠΈΠΊΠ°ΡΠΈΠΈ Π°Π»Π³ΠΎΡΠΈΡΠΌΠ° ΠΏΡΠ΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΎΠ± ΠΎΡΡΡΡΡΡΠ²ΠΈΠΈ ΠΏΡΠΎΡΡΡΡ ΠΊΠΎΠ½ΡΡΡΠΎΠ² ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ ΠΈΠ·Π»ΠΈΡΠ½Π΅. ΠΡΠΈ ΡΠΎΠΌ, Π΅ΡΠ»ΠΈ Π² ΠΎΡΠ³ΡΠ°ΡΠ΅ D ΠΈΠΌΠ΅ΡΡΡΡ ΠΏΡΠΎΡΡΡΠ΅ ΠΊΠΎΠ½ΡΡΡΡ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, ΠΌΠΎΠΆΠ΅Ρ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π½Π΅ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π»1(k0) < 0.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 6. ΠΠ»Π³ΠΎΡΠΈΡΠΌ ΠΈ Π΅Π³ΠΎ ΠΌΠΎΠ΄ΠΈΡΠΈΠΊΠ°ΡΠΈΡ, ΠΎΠΏΠΈΡΠ°Π½Π½Π°Ρ Π²ΡΡΠ΅, ΠΏΠΎΡΠ»Π΅ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅Π³ΠΎ ΠΈΠ·ΠΌΠ΅Π½Π΅Π½ΠΈΡ Π² ΡΠ΅ΡΠΌΠΈΠ½ΠΎΠ»ΠΎΠ³ΠΈΠΈ ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡΡ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΠΌΡ ΠΈ ΠΊ Π½Π΅ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠΌΡ Π³ΡΠ°ΡΡ G. ΠΡΠΈ ΡΡΠΎΠΌ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ ΠΎΡΡΡΡΡΡΠ²ΠΈΡ ΠΏΡΠΎΡΡΡΡ ΠΊΠΎΠ½ΡΡΡΠΎΠ² ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ Π·Π°ΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ΠΌ ΠΎΡΡΡΡΡΡΠ²ΠΈΡ ΡΠ΅Π±Π΅Ρ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ 7. ΠΠ΅ΡΡΡΠ΄Π½ΠΎ Π΄ΠΎΠΊΠ°Π·Π°ΡΡ, ΡΡΠΎ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ 1, Π° ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, ΠΈ Π°Π»Π³ΠΎΡΠΈΡΠΌ Π²ΠΌΠ΅ΡΡΠ΅ Ρ Π΅Π³ΠΎ ΠΌΠΎΠ΄ΠΈΡΠΈΠΊΠ°ΡΠΈΠ΅ΠΉ ΠΎΡΡΠ°Π½ΡΡΡΡ ΡΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²ΡΠΌΠΈ ΠΈ Π΄Π»Ρ Π½Π°Π³ΡΡΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ ΠΏΡΠ΅Π²Π΄ΠΎΠ³ΡΠ°ΡΠ°. ΠΡΠΈ ΡΡΠΎΠΌ Π² ΡΠ»ΡΡΠ°Π΅ ΠΊΡΠ°ΡΠ½ΡΡ Π΄ΡΠ³ ΡΠ»Π΅Π΄ΡΠ΅Ρ ΡΡΠΈΡΡΠ²Π°ΡΡ Π»ΠΈΡΡ Π΄ΡΠ³ΠΈ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ, Π° ΠΏΡΠΈ Π½Π°Π»ΠΈΡΠΈΠΈ ΠΏΠ΅ΡΠ΅Π»Ρ — Π»ΠΈΡΡ, ΠΏΠ΅ΡΠ»ΠΈ ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ. ΠΡΠΎ Π·Π°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ ΠΏΠ΅ΡΠ΅Π½ΠΎΡΠΈΡΡΡ ΠΈ Π½Π° Π½Π΅ΠΎΡΠΈΠ΅Π½ΡΠΈΡΠΎΠ²Π°Π½Π½ΡΠ΅ ΠΏΡΠ΅Π²Π΄ΠΎΠ³ΡΠ°ΡΡ.