ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

Π’Ρ‹Π±ΠΎΡ€ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠ°. 
Алгоритмы Ρ‚Π΅ΠΎΡ€ΠΈΠΈ Π³Ρ€Π°Ρ„ΠΎΠ²: Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ Ѐорда–БСллмана

Π Π΅Ρ„Π΅Ρ€Π°Ρ‚ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

ΠŸΡƒΡΡ‚ΡŒ 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.

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, Π° ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, ΠΈ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ вмСстС с Π΅Π³ΠΎ ΠΌΠΎΠ΄ΠΈΡ„ΠΈΠΊΠ°Ρ†ΠΈΠ΅ΠΉ останутся справСдливыми ΠΈ Π΄Π»Ρ Π½Π°Π³Ρ€ΡƒΠΆΠ΅Π½Π½ΠΎΠ³ΠΎ ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ псСвдографа. ΠŸΡ€ΠΈ этом Π² ΡΠ»ΡƒΡ‡Π°Π΅ ΠΊΡ€Π°Ρ‚Π½Ρ‹Ρ… Π΄ΡƒΠ³ слСдуСт ΡƒΡ‡ΠΈΡ‚Ρ‹Π²Π°Ρ‚ΡŒ лишь Π΄ΡƒΠ³ΠΈ минимальной Π΄Π»ΠΈΠ½Ρ‹, Π° ΠΏΡ€ΠΈ Π½Π°Π»ΠΈΡ‡ΠΈΠΈ ΠΏΠ΅Ρ‚Π΅Π»ΡŒ — лишь, ΠΏΠ΅Ρ‚Π»ΠΈ ΠΎΡ‚Ρ€ΠΈΡ†Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠΉ Π΄Π»ΠΈΠ½Ρ‹. Π­Ρ‚ΠΎ Π·Π°ΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅ пСрСносится ΠΈ Π½Π° Π½Π΅ΠΎΡ€ΠΈΠ΅Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹Π΅ псСвдографы.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ