Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Машины в теории вычислимых функций. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
06.09.2026
Размер:
1 Мб
Скачать
Ȼɨɥɟɟ ɞɟɬɚɥɶɧɨ ɩɪɢ ɦɨɞɟɥɢɪɨɜɚɧɢɢ ɜɵɱɢɫɥɟɧɢɹ ɦɚɲɢɧɵ ɧɢɟɦ ɟɦɤɨɫɬɢݐ ɜ ɦɚɲɢɧɟɜ ɫɱɟɬɱɢɤɢ1, … , ݄ܶ ɫɬɚɧɬɵ1« ݄ ܶ
«݄ܶ-5&-ɦɚɲɢɧɵ଴ ɋɱɟɬɱɢɤɢܶଵ, ܶଶ, ܶଷ, ܶ
ɛɭɞɭɬ ɡɚɧɟɫɟɧɵ ɤɨɧ
ɫɨ ɡɧɚɱɟ
ɛɭɞɭɬ ɯɪɚ
ɧɢɬɶ ɡɧɚɱɟɧɢɹݐെ1ݐെ2ݐെ3ݐെ4 ɩɨɫɥɟɞɧɟɟɢɝɪɚɟɬɪɨɥɶ ɟɦɤɨɫɬɢ ɫɱɟɬɱɢ ɤɨɜ ɞɥɹ ɦɨɞɟɥɢɪɭɟɦɵɯ ɜɵɱɢɫɥɟɧɢɣ ɦɚɲɢɧɵ
ɡɭɸɬɫɹ ɞɥɹ ɜɵɩɨɥɧɟɧɢɹ ɩɪɨɝɪɚɦɦ ɦɚɲɢɧɵ ɧɢɹ ɢܲ ɫɢɬɶɱɢɫɥɨ 0 ɜɫɱɟɬɱɢɤɢݐ
ɫɥɨɠɟɧɢɹɋɱɟɬɱɢɤܾ ɢɫɩɨɥɶɡɭɟɬɫɹɞɥɹɬɨɝɨɱɬɨɛɵɦɨɠɧɨɛɵɥɨɡɚɧɨ
,…,ݐ
ɩɟɪɟɞɨɱɟɪɟɞɧɵɦɷɬɚɩɨɦɪɚɛɨɬɵɦɚɲɢɧɵ
 ɋɱɟɬɱɢɤɢݐଵ,…,ݐ
 ɚ ɬɚɤɠɟ ɩɪɨɝɪɚɦɦܲ
ɢɫɩɨɥɶ-
ୢ୧୴
ɞɟɥɟ-
ɉɟɪɟɞɧɚɱɚɥɨɦɨɫɧɨɜɧɨɣɱɚɫɬɢɜɵɱɢɫɥɟɧɢɹɨɛɟɫɩɟɱɢɦɩɨɥɭɱɟɧɢɟ©ɧɚɜɵ
ɯɨɞɟªɧɭɥɹɩɪɢݐ< ݄+4.
Ɂɞɟɫɶ݅=1,…,݄+3; ܴԢ ɝɪɚɦɦɚܴԢ
ɡɚɜɟɪɲɚɟɬɜɵɱɢɫɥɟɧɢɟɫɧɭɥɟɦɜɪɚɛɨɱɟɦɪɟɝɢɫɬɪɟɜɫɥɭɱɚɟɟɫɥɢ ݐ=
: ݐଶ=0 ՜ܴԢ
ܴԢ
ݐ
>0 ՜End,
: ݐଶ=0 ՜ܴ
ܴԢ
௛ାସ
ݐ
>0 ՜End.
ɫɬɚɪɬɨɜɚɹɩɪɨɝɪɚɦɦɚɦɚɲɢɧɵࣧɄɚɠɞɚɹɩɪɨ
௜ାଵ
,
,
= ݅െ1 ȿɫɥɢݐ൒݄+4ɬɨɩɪɨɢɫɯɨɞɢɬɩɟɪɟɯɨɞ ɤ ɩɪɨɝɪɚɦɦɟܴ
ɨɩɢɫɚɧɚɞɚɥɟɟ
Ɉɩɪɟɞɟɥɢɦɧɚɛɨɪɩɪɨɝɪɚɦɦܳ
: ݐ௠=0, ݎ< ݐସ< ݐଷ< ݐଶ< ݐ
ܴ
0<1<ڮ< ݄, ܶ 0<1<ڮ< ݄, ݐ
ɉɪɨɝɪɚɦɦɚܴ ɚɜɫɱɟɬɱɢɤɢܶ
ɡɚɩɢɫɵɜɚɟɬɜɫɱɟɬɱɢɤɢ1, … , ݄ ɫɨɨɬɜɟɬɫɬɜɭɸɳɢɟɤɨɧɫɬɚɧɬɵ
, ܶଶ, ܶଷ, ܶସ – ɡɧɚɱɟɧɢɹݐെ1ݐെ2ݐെ3ݐെ4ɉɨɫɥɟɷɬɨɝɨɜɪɟ-
, ܴ௝, ܵ
= ڮ= ݐ
ɝɢɫɬɪݎ ɡɚɧɨɫɢɬɫɹ0 ɢ ɩɪɨɢɫɯɨɞɢɬ ɩɟɪɟɯɨɞ ɤ ɩɪɨɝɪɚɦɦɟܴ ɪɚɛɨɬɵ ɩɪɨɝɪɚɦɦɵ ܴ
ɜ ɫɱɟɬɱɢɤɚɯݐଵ,…,ݐ
(
,
݅=1,…,ݏ; ݆=0,…,݄) ɦɚɲɢɧɵ ࣧ.
> ܶଶ> ܶଷ> ܶସ= ݎ>0 ՜0,
= ܶଵ, ݎ=0 ՜ܴ
ɩɪɢ ɷɬɨɦ ɜ ɧɚɱɚɥɟ
ɛɭɞɭɬ ɧɭɥɢ ɇɚɩɨɦɧɢɦ ɱɬɨ ݐ
ɢ 1ɷɬɨɪɚɡɧɵɟɨɛɨɡɧɚɱɟɧɢɹɨɞɧɨɝɨɢɬɨɝɨɠɟɫɱɟɬɱɢɤɚ
ɢܵ
Ɉɩɪɟɞɟɥɢɦɩɪɨɝɪɚɦɦɵܴ
ܴ
: ܲ
ୢ୧୴
ݐ
= ܶ
: ܶଵ= ݎ>0 ՜0,
ܵ
ݐ
= ڮ= ݐ
Ɂɞɟɫɶܨ ɟɫɬɶܳ
ɩɪɢ݄=1 ɢܴɩɪɢ݄>1.
(
)
ܶ
, Ԝ݄
,
= ܶଵ, ݎ=0 ՜ܨ.
՜ܵ
,
ɤɨɬɨɪɚɹɛɭɞɟɬ
՜ݐ
,
.
61
ɉɪɨɝɪɚɦɦɚ ܴ
, ݐଷ ɢɫɩɨɥɶɡɭɹ ɫɱɟɬɱɢɤܶɫɨɞɟɪɠɚɳɢɣݐെ1 ɜ ɤɚɱɟɫɬɜɟ ɡɧɚɱɟɧɢɹ ɟɦɤɨɫɬɢ
ݐ
ɩɪɨɢɡɜɨɞɢɬ ɞɟɥɟɧɢɟ ݐെ4 ɧɚ ݄ ɫ ɩɨɦɨɳɶɸ ɫɱɟɬɱɢɤɨɜ ݐ
ɫɱɟɬɱɢɤɨɜɬɚɤɨɣɟɦɤɨɫɬɢ ɞɨɫɬɚɬɨɱɧɨɞɥɹɤɨɪɪɟɤɬɧɨɣɪɚɛɨɬɵɩɪɨɝɪɚɦɦɵ ɞɟɥɟ
ɧɢɹɉɨɫɥɟɷɬɨɝɨɩɪɨɢɫɯɨɞɢɬɩɟɪɟɯɨɞɤɩɪɨɝɪɚɦɦɟܵ ɡɭɥɶɬɚɬ ɞɟɥɟɧɢɹ ɜɫɱɟɬɱɢɤܶ ɝɪɚɦɦɟ ܴ
ɚɟɫɥɢɟɟ ɧɟɬɬɨɤɩɪɨɝɪɚɦɦɟܳ
ɳɟɣɩɪɨɝɪɚɦɦɵɜ ɫɱɟɬɱɢɤɚɯݐ
 ɡɚɧɨɫɢɬ ɜ ɪɟɝɢɫɬɪݎ ɱɢɫɥɨ0 ɢ ɩɟɪɟɯɨɞɢɬ ɤ ɩɪɨ
ɩɪɢɷɬɨɦɜɧɚɱɚɥɟɪɚɛɨɬɵɫɥɟɞɭɸ
,…,ݐ
ɧɚɯɨɞɹɬɫɹɧɭɥɢɉɪɢݐ൒݄+4 ɪɟɡɭɥɶɬɚɬ
ɤɨɬɨɪɚɹɡɚɩɢɫɵɜɚɟɬɪɟ
ɞɟɥɟɧɢɹɜɫɟɝɞɚɛɨɥɶɲɟɧɭɥɹ
Ɉɩɪɟɞɟɥɢɦɩɪɨɝɪɚɦɦɵܴ
: ܲ
ܴ
ܵ
: ܶ௝= ݎ>0 ՜0,
Ɂɞɟɫɶܨ ɟɫɬɶܳ
ɉɪɨɝɪɚɦɦɚܴ ɫɱɟɬɱɢɤɨɜݐ ɝɪɚɦɦɟܵ
, ݐɫɟɦɤɨɫɬɶɸɫɱɟɬɱɢɤɨɜܶ
 ɗɬɚ ɩɪɨɝɪɚɦɦɚ ɡɚɩɢɫɵɜɚɟɬ ɪɟɡɭɥɶɬɚɬ ɫɥɨɠɟɧɢɹ ɜ ɫɱɟɬɱɢɤܶ
ɩɪɢ݆= ݄ ɢܴ
ɩɪɨɢɡɜɨɞɢɬɫɥɨɠɟɧɢɟɱɢɫɥɚ
ɫɢɬɱɢɫɥɨ0 ɜɪɟɝɢɫɬɪݎ ɢɩɟɪɟɯɨɞɢɬɤɩɪɨɝɪɚɦɦɟܴ ɩɪɨɝɪɚɦɦɵܴ
ɢ ܵ
ɞɟɣɫɬɜɭɸɬ ɚɧɚɥɨɝɢɱɧɨ ɤɚɠɞɵɣ ɪɚɡ ɩɪɢɛɚɜɥɹɹ
ɜ ɫɱɟɬɱɢɤɚɯݐଵ,…,ݐ
ɱɟɧɧɨɦɭ ɧɚ ɩɪɟɞɵɞɭɳɟɦ ɲɚɝɟ ɢ ɡɚɩɨɥɧɹɹ ɫɱɟɬɱɢɤɢܶ
(
[
ݐെ4)/݄],Ԝ…,Ԝ݄ڄڄ
 Ɋɟɡɭɥɶɬɚɬɵ ɜɫɟɯ ɫɥɨɠɟɧɢɣ ɨɬɥɢɱɧɵ ɨɬ ɧɭɥɹ ɢ ɜ ɤɚɠɞɨɦ ɫɥɭɱɚɟ ɜɵɞɟ-
ɦɟܳ
(
[
ݐെ4)/݄] ɉɪɨɝɪɚɦɦɚܵ
, ܵ௝ (݆=2,…,݄
൫ܶ
ݐ
ݐ
,Ԝܶଵ൯,
௝ିଵ
= ܶ = ڮ= ݐ
௝ାଵ
՜ܵ
,
= ܶଵ, ݎ=0 ՜ܨ.
ɩɪɢ݆< ݄.
(
[
ݐെ4)/݄
ɩɨɫɥɟɱɟɝɨɩɪɨɢɫɯɨɞɢɬɩɟɪɟɯɨɞɤɩɪɨ
ɧɚɯɨɞɹɬɫɹ ɧɭɥɢ Ɉɫɬɚɥɶɧɵɟ ɩɪɨɝɪɚɦɦɵ ܴ
ɨɫɭɳɟɫɬɜɥɹɟɬɩɟɪɟɯɨɞ ɤ ɩɪɨɝɪɚɦ-
]
ɫɫɨɛɨɣɫɩɨɦɨɳɶɸ
 ɡɚɧɨ-
ɩɪɢɷɬɨɦɜɧɚɱɚɥɟɪɚɛɨɬɵ
(
[
ݐെ4)/݄
]
ɤ ɱɢɫɥɭ ɩɨɥɭ-
,…,ܶɤɨɧɫɬɚɧɬɚɦɢ 3 ڄ
ɥɟɧɧɨɣɟɦɤɨɫɬɢɫɱɟɬɱɢɤɨɜɞɨɫɬɚɬɨɱɧɨɞɥɹɤɨɪɪɟɤɬɧɨɝɨɜɵɱɢɫɥɟɧɢɹ
ɉɭɫɬɶ ɩɪɨɝɪɚɦɦɚܲ ɪɟɝɢɫɬɪɨɜ1, …, ݄, ܶ
݅=1,…,ݏ) ɩɨɥɭɱɚɟɬɫɹ ɢɡ ɩɪɨɝɪɚɦɦɵɵ ܲ
,…,ܶɨɞɧɨɢɦɟɧɧɵɦɢɫɱɟɬɱɢɤɚɦɢɦɚɲɢɧɵɡɚɦɟɧɵ ɞɟɣ
ɡɚɦɟɧɨɣ
(
ɫɬɜɭɸɬɞɥɹɫɥɭɱɚɟɜɩɪɨɜɟɪɤɢɫɨɨɬɧɨɲɟɧɢɣɢɜɵɛɨɪɚɧɨɜɨɝɨɡɧɚɱɟɧɢɹɪɚɛɨɱɟɝɨ
ܲ
ɪɟɝɢɫɬɪɚɚɬɚɤɠɟɡɚɦɟɧɨɣɜɫɟɯɩɟɪɟɯɨɞɨɜɤɩɪɨɝɪɚɦɦɚɦ
ɝɪɚɦɦɚɦܳ
. ɉɪɨɝɪɚɦɦɭܳɞɥɹɦɚɲɢɧɵɨɩɪɟɞɟɥɢɦɬɚɤ
ܳ
: ܲ
(
ݔ
ݐ
= ܶ
,…,ݔ
)
,
՜End.
ɩɟɪɟɯɨɞɚɦɢɤɩɪɨ
,
62
ɉɪɨɝɪɚɦɦɵܳ ɛɨɬɵ ɫɱɟɬɱɢɤɢݐ
ɋɱɟɬɱɢɤܶ
ɫɨɞɟɪɠɢɬݐെ4ɩɨɷɬɨɦɭɩɪɢɢɫɩɨɥɶɡɨɜɚɧɢɢɟɦɤɨɫɬɢɫɱɟɬɱɢɤɨɜ ݐ൒
൒݄+4 ɦɚɲɢɧɚɦɨɞɟɥɢɪɭɟɬɜɵɱɢɫɥɟɧɢɟ
ɦɨɞɟɥɢɪɭɸɬ ɜɵɱɢɫɥɟɧɢɟ ɦɚɲɢɧɵ
,…,ݐ
ɢ ɤɨɧɫɬɚɧɬɵ ɪɚɧɟɟ ɡɚɩɢɫɚɧɧɵɟ ɜ ɫɬɚɪɲɢɟ ɫɱɟɬɱɢɤɢ
ɫɨɡɧɚɱɟɧɢɟɦɟɦɤɨɫɬɢ ݐെ4.
 ɢɫɩɨɥɶɡɭɹ ɞɥɹ ɪɚ-
Ɍɟɨɪɟɦɚɞɨɤɚɡɚɧɚ
ɋɥɟɞɫɬɜɢɟ  ɉɭɫɬɶɮɭɧɤɰɢɹ݂(ݔ᪄)ɫɬɪɨɝɨ ɜɵɱɢɫɥɢɦɚ ɧɚ ݄-5&-ɦɚɲɢɧɟ
(ݔ᪄)
ɫ ɟɦɤɨɫɬɶɸ ɫɱɟɬɱɢɤɨɜܶ
Ɍɨɝɞɚ ݂(ݔ᪄
5&-ɦɚɲɢɧɟɫɟɦɤɨɫɬɶɸɫɱɟɬɱɢɤɨɜ max
)
ɫɬɪɨɝɨ ɜɵɱɢɫɥɢɦɚ ɧɚ ɩɨɞɯɨɞɹɳɟɣ
(ݔ᪄)
(
ܶ
)
, Ԝ݄
+4.
Ɍɟɨɪɟɦɚ ɉɭɫɬɶ ɳɚɹɱɚɫɬɢɱɧɭɸɮɭɧɤɰɢɸ݂(ݔ᪄)ɧɚɡɨɧɟܶ
–ɦɚɲɢɧɚ 650ɫ݇ɪɟɝɢɫɬɪɚɦɢɫɬɟɤɚɜɵɱɢɫɥɹɸ
(ݔ᪄)
Ɍɨɝɞɚɞɥɹ ɥɸɛɨɝɨ݄൒݇+3ɫɭɳɟ
ɫɬɜɭɟɬ
݄-5&-ɦɚɲɢɧɚɫɨɞɧɨɣɩɪɨɝɪɚɦɦɨɣɬɚɤɚɹɱɬɨ
ɝɞɟܶ(ݔ᪄
)
ɱɬɨɢ݂(ݔ᪄
ࣧ(ݔ᪄; ᩸ݐ)= ൜
0, ɟɫɥɢ ݂(ݔ᪄ ݂(ݔ᪄), ɟɫɥɢ ݂(ݔ᪄) ɨɩɪɟɞɟɥɟɧɨɢݐ൒ܶ(ݔ᪄
)
ɧɟɨɩɪɟɞɟɥɟɧɨɢɥɢݐ< ܶ(ݔ᪄
– ɜɵɱɢɫɥɢɦɚɹ ɮɭɧɤɰɢɹ ɤɨɬɨɪɚɹ ɢɦɟɟɬ ɬɭ ɠɟ ɨɛɥɚɫɬɶ ɨɩɪɟɞɟɥɟɧɢɹ
)
ɢɧɚɨɛɥɚɫɬɢɨɩɪɟɞɟɥɟɧɢɹɭɞɨɜɥɟɬɜɨɪɹɟɬɧɟɪɚɜɟɧɫɬɜɚɦ
max
(ݔ᪄)
+2൑ܶ(ݔ᪄)൑݄ڄ(ܶ
(ݔ᪄)+1)
,
)
,
)
,
ɩɪɢ ɷɬɨɦ ɜ ɥɸɛɨɦ ɜɵɱɢɫɥɟɧɢɢ(ݔ᪄; ᩸ݐ)ɫݐ>0ɜ ɪɚɛɨɱɢɣ ɪɟɝɢɫɬɪ ɦɚɲɢɧɵࣧ
ɩɨɩɚɞɚɸɬɬɨɥɶɤɨɡɧɚɱɟɧɢɹɦɟɧɶɲɢɟ
(
݇+3
ڄ[ݐ/݄
]
)
Ⱦɨɤɚɡɚɬɟɥɶɫɬɜɨ Ɉɬɦɟɬɢɦɱɬɨɩɨɨɩɪɟɞɟɥɟɧɢɸɡɨɧɵɜɵɱɢɫɥɟɧɢɹɫɬɟɤɨ
ɜɨɣɪɟɝɢɫɬɪɨɜɨɣɦɚɲɢɧɵܶ
ɉɭɫɬɶ ݐ
(
=
ݐ
,…,ݐ
(ݔ᪄)
max(ݔ᪄
)
ɧɚɛɨɪ ɪɟɝɢɫɬɪɨɜ ɫɬɟɤɚ ɦɚɲɢɧɵ
)
ɩɨɷɬɨɦɭmax
(ݔ᪄)
+2൑݄ڄ
(ݔ᪄)+1)
 ɉɨɥɶɡɭɹɫɶ
ɫɮɨɪɦɭɥɢɪɨɜɚɧɧɵɦɢɜɝɥɚɜɟɪɟɡɭɥɶɬɚɬɚɦɢɞɥɹɦɚɲɢɧ650ɜɦɟɫɬɨɩɪɨɝɪɚɦɦɵ
ɦɚɲɢɧɵ
ɛɭɞɟɦɪɚɫɫɦɚɬɪɢɜɚɬɶɩɪɨɝɪɚɦɦɭ ܲ
ܲ
=(ܮ଴: ܲ
ܮ ܮ
;…;ܲ
: ܏ܗ ܜܗ ܮ
௞ାଶ
: ݐ௜:=ݐ௜+1; ܏ܗ ܜܗ ܮ଴;᩷(݅=1,…,݇
ܮ
: ݎ:=ݎ),
௞ାଵ
௞ାଶ
;᩸ܲ
;
ɫɩɟɰɢɚɥɶɧɨɝɨɜɢɞɚ
଴ ଶ
;…;ܲ
;
)
ɝɞɟ
.
ܲ
ܲ
= ൬ܑ܎ ݃ = ቀܑ܎ ݃
(
ݔ᪄,Ԝݐ᪄, Ԝݎ) ܜܐ܍ܖ ቀݎ:=ݖ
௝ ଶ
(
ݔ᪄,Ԝݐ᪄, Ԝݎ) ܜܐ܍ܖ (ݎ:=ݖ
; ܏ܗ ܜܗ ܮ
௝ ଶ
; ܏ܗ ܜܗ ܮ
ቁ൰, ݆᩷=1,…,ݍ
)
ቁ, ݈᩷=1,…,ݍ
௞ାଵ
,
.

Ɂɞɟɫɶݍ
, ݍଶאԳ ݅௝א{1, … , ݇}, ݆=1,ݍଵݖ
ɪɟɝɢɫɬɪɵࣧ଴ ɚ݃
(
ݔ᪄,Ԝݐ᪄, Ԝݎ
)
ɩɨɩɚɪɧɨɧɟɫɨɜɦɟɫɬɧɵɟɤɨɧɴɸɧɤɰɢɢɪɚɜɟɧɫɬɜɢɧɟɪɚɜɟɧɫɬɜɩɟɪɟɦɟɧɧɵɯɢɱɢɫɥɚ 0.
ɉɭɫɬɶ
(
݃(ݔ᪄,Ԝݐ᪄, Ԝݎ)ؠ¬ ڀ
௜ୀଵ
ڀ
௝ୀଵ
݃
ɋɱɢɬɚɟɦ݃ ɬɨɠɞɟɫɬɜɟɧɧɨɢɫɬɢɧɧɵɦɩɪɢݍ
)
ݔ᪄,Ԝݐ᪄, Ԝݎ
.
= ݍଶ=0ɍɫɥɨɜɢɹ݃
ɢ݃ ɢɦɟ-
ɸɬɩɨɞɯɨɞɹɳɢɣɜɢɞɱɬɨɛɵɢɯɦɨɠɧɨɛɵɥɨɢɫɩɨɥɶɡɨɜɚɬɶɩɪɢɡɚɩɢɫɢɩɪɨɝɪɚɦɦ 5&-ɦɚɲɢɧ
Ⱦɥɹɦɨɞɟɥɢɪɨɜɚɧɢɹ ɜɵɱɢɫɥɟɧɢɣ ɧɚ ɦɚɲɢɧɟ
Ɉɧɚɛɭɞɟɬ ɢɦɟɬɶ ɧɚɛɨɪɫɱɟɬɱɢɤɨɜݐ
,…,ݐ଺, ݐଵ,…,ݐ௞ ɋɱɟɬɱɢɤɢݐଵ,…,ݐ
ɩɨɫɬɪɨɢɦ݄5&-ɦɚɲɢɧɭ ࣧ.
ɫɱɢɬɚɟɦ
ɦɥɚɞɲɢɦɢ
ȼɩɪɨɰɟɫɫɟɪɚɛɨɬɵ݄-5&-ɦɚɲɢɧɵ ɟɟ ɜɯɨɞɧɵɟɪɟɝɢɫɬɪɵݔ᪄ ɫɨɞɟɪɠɚɬɡɧɚ- ɱɟɧɢɹɨɞɧɨɢɦɟɧɧɵɯ ɜɯɨɞɧɵɯɪɟɝɢɫɬɪɨɜɦɚɲɢɧɵ650 ݐ᪄ – ɡɧɚɱɟɧɢɹɨɞɧɨɢɦɟɧɧɵɯɪɟɝɢɫɬɪɨɜɫɬɟɤɚ
ɋɱɟɬɱɢɤɢ ݐଵ,…,ݐ
ɚɫɬɚɪɲɢɟ ɫɱɟɬɱɢɤɢ
ɢɫɩɨɥɶɡɭɸɬɫɹ
ɞɥɹ ɨɪɝɚɧɢɡɚɰɢɢ ɜɵɱɢɫɥɟɧɢɣ ɉɪɢ ɜɵɱɢɫɥɟɧɢɢ ɧɚ ɦɚɲɢɧɟ ɫɨ ɡɧɚɱɟɧɢɟɦ ɟɦɤɨɫɬɢɫɱɟɬɱɢɤɨɜݐ ɡɨɧɚ ɦɨɞɟɥɢɪɭɟɦɨɣ ɦɚɲɢɧɵ650 ɩɪɟɞɩɨɥɚɝɚɟɬɫɹ ɧɟ ɛɨɥɶ
ɲɟɣ ɱɟɦ
[
ݐ/݄]െ1  ɬ௔ɟ ɡɧɚɱɟɧɢɹ ɪɟɝɢɫɬɪɨɜ ɦɚɲɢɧɵ
ɞɨɥɠɧɵɛɵɬɶɦɟɧɶɲɟɤɨɧɫɬɚɧɬɧɨɝɨɪɟɝɢɫɬɪɚܶ
Ɋɚɛɨɬɚɦɚɲɢɧɵ ɪɟɡɦɟɬɤɭܮ
Ɉɬɦɟɬɢɦɬɟɫɥɭɱɚɢɤɨɝɞɚɦɚɲɢɧɚɞɨɥɠɧɚɩɪɟɪɵɜɚɬɶɜɵɱɢɫɥɟ
ɪɚɡɛɢɜɚɟɬɫɹɧɚɷɬɚɩɵɪɚɡɞɟɥɟɧɧɵɟɩɪɨɯɨɠɞɟɧɢɟɦɱɟ-
.
ɩɪɢ ɦɨɞɟɥɢɪɨɜɚɧɢɢ
ɧɢɹɢɜɵɞɚɜɚɬɶ0
1) ɦɚɤɫɢɦɚɥɶɧɨ ɜɨɡɦɨɠɧɨɝɨ ɡɧɚɱɟɧɢɹ ɡɨɧɵ
[
ݐ/݄]െ1 ɦɨɞɟɥɢɪɭɟɦɨɣ ɦɚ-
ɲɢɧɵ 650 ɧɟɞɨɫɬɚɬɨɱɧɨ ɞɥɹ ɯɪɚɧɟɧɢɹ ɡɧɚɱɟɧɢɣ ɜɯɨɞɧɵɯ ɪɟɝɢɫɬɪɨɜ
[
(
ݐ/݄]൑ݔ
ݐ<< max
ɩɪɢɧɟɤɨɬɨɪɨɦ݅ɷɬɨɬɫɥɭɱɚɣɜɤɥɸɱɚɟɬɜɫɟɛɹɢɫɢɬɭɚɰɢɸ
(ݔ᪄)
+2;
2) ɩɨɫɥɟɨɱɟɪɟɞɧɨɝɨɷɬɚɩɚɨɞɢɧɢɡɪɟɝɢɫɬɪɨɜɫɬɟɤɚɦɨɞɟɥɢɪɭɟɦɨɣɦɚɲɢ­ɧɵɩɪɟɜɵɫɢɥɦɚɤɫɢɦɚɥɶɧɨɞɨɩɭɫɬɢɦɨɟɡɧɚɱɟɧɢɟɡɨɧɵ
[
ݐ/݄]െ1;
 ɦɨɞɟɥɢɪɭɟɦɚɹ ɦɚɲɢɧɵ 650 ɜɨɲɥɚ ɜ ɛɟɫɤɨɧɟɱɧɵɣ ɷɬɚɩɜɵɱɢɫɥɟɧɢɹ
ɩɟɪɟɲɥɚɤɦɟɬɤɟܮ
௞ାଶ
).
ȿɫɥɢɜɦɨɞɟɥɢɪɭɟɦɨɦɜɵɱɢɫɥɟɧɢɢɧɟɜɫɬɪɟɱɚɟɬɫɹɧɢɨɞɢɧɢɡɷɬɢɯɫɥɭɱɚɟɜ ɨɧɨɡɚɜɟɞɨɦɨɤɨɧɟɱɧɨɬɚɤɤɚɤɩɪɢɛɟɫɤɨɧɟɱɧɨɦɜɵɱɢɫɥɟɧɢɢɩɪɢɫɭɬɫɬɜɭɟɬɥɢɛɨ ɛɟɫɤɨɧɟɱɧɵɣɷɬɚɩɥɢɛɨɧɟɨɝɪɚɧɢɱɟɧɧɨɟɭɜɟɥɢɱɟɧɢɟɧɟɤɨɬɨɪɨɝɨɪɟɝɢɫɬɪɚɫɬɟɤɚ
ɚɡɨɧɚɦɨɞɟɥɢɪɭɟɦɨɣɦɚɲɢɧɵ650 ɧɚɞɚɧɧɨɦɜɯɨɞɟݔ᪄ ɦɟɧɶɲɟ/݄
]
ɬɚɤɤɚɤɡɨ­ɧɚɪɚɜɧɚɡɧɚɱɟɧɢɸɨɞɧɨɝɨɢɡɪɟɝɢɫɬɪɨɜɫɬɟɤɚɢɥɢɨɞɧɨɝɨɢɡɜɯɨɞɧɵɯɪɟɝɢɫɬɪɨɜ ɜɧɟɤɨɬɨɪɵɣɦɨɦɟɧɬɜɵɱɢɫɥɟɧɢɹɩɨɷɬɨɦɭɦɨɞɟɥɢɪɨɜɚɧɢɟɜɵɱɢɫɥɟɧɢɣɦɚɲɢ­ɧɵ650 ɛɭɞɟɬɩɪɨɢɫɯɨɞɢɬɶɤɨɪɪɟɤɬɧɨ
64
ɉɪɢ ɩɨɦɨɳɢ ɪɟɝɢɫɬɪɨɜ 0  ܶ
,…,ܶ
ɨɛɥɚɫɬɶ ɡɧɚɱɟɧɢɣ ɪɚɛɨɱɟɝɨ ɪɟɝɢ
௞ାଷ
ɫɬɪɚ ɪɚɡɛɢɜɚɟɬɫɹɧɚ݇+3 ɨɬɪɟɡɤɚɨɞɢɧɚɤɨɜɨɣɞɥɢɧɵɞɨɫɬɚɬɨɱɧɨɣɞɥɹɯɪɚɧɟ ɧɢɹɥɸɛɨɝɨɡɧɚɱɟɧɢɹɜɩɪɟɞɟɥɚɯɡɨɧɵɜɵɱɢɫɥɟɧɢɹ ɦɚɲɢɧɵ
ɑɢɫɥɨɜɪɟɝɢ-
ɫɬɪɟ ݎ ɦɚɲɢɧɵ ɤɨɞɢɪɭɟɬ ɩɚɪɭ ɡɧɚɱɟɧɢɣ ɡɧɚɱɟɧɢɟ ɪɚɛɨɱɟɝɨ ɪɟɝɢɫɬɪɚ ɨɫɬɚɬɨɤ ɨɬ ɞɟɥɟɧɢɹݎ ɧɚܶ ɯɪɚɧɟɧɢɟ ɪɚɛɨɱɟɝɨ ɪɟɝɢɫɬɪɚ
ɧɚɱɚɥɶɧɵɣ ɪɟɠɢɦ ɷɬɚɩɚ ɜ ɧɟɦ ɪɚɛɨɱɢɣ ɪɟɝɢɫɬɪ ࣧ ɫɨɞɟɪɠɢɬ ɡɧɚɱɟ-
ݎ< ܶ
ɧɢɟɪɟɝɢɫɬɪɚݎ ɦɚɲɢɧɵ ൑ݎ< ܶ ɳɟɦɭɷɬɚɩɭܶ
=1,…,݇) – ɪɟɠɢɦ ɭɜɟɥɢɱɟɧɢɹ ɫɱɟɬɱɢɤɚݐ
௜ାଶ
൑ݎ< ܶ
௞ାଶ
 ɜ ɫɢɥɭ ɨɩɢɫɚɧɧɨɝɨɜɵɲɟ ɨɝɪɚɧɢɱɟɧɢɹ ɧɚ ɡɨɧɭ
ɜ ɬɚɤɨɦ ɜɢɞɟ ɜɨɡɦɨɠɧɨ ɢ ɪɟɠɢɦ ɪɚɛɨɬɵ0 ൑
); ܶଵ൑ݎ< ܶଶ – ɩɪɨɦɟɠɭɬɨɱɧɵɟɜɵɱɢɫɥɟɧɢɹܶ
ɢ ɩɟɪɟɯɨɞɚ ɤ ɫɥɟɞɭɸ
ɪɟɠɢɦɡɚɜɟɪɲɟɧɢɹɜɵɱɢɫɥɟɧɢɣɢɨɠɢɞɚɧɢɹɜɨɡ
௞ାଷ
௜ାଵ
ɦɨɠɧɨɫɬɢ ɩɨɥɭɱɢɬɶ ɪɟɡɭɥɶɬɚɬ ȿɫɥɢ݄> ݇+3ɬɨɨɫɬɚɜɲɢɟɫɹ ɡɧɚɱɟɧɢɹ ɪɚɛɨ
ɱɟɝɨɪɟɝɢɫɬɪɚɧɟɢɫɩɨɥɶɡɭɸɬɫɹ
ɉɪɢɦɨɞɟɥɢɪɨɜɚɧɢɢɷɬɚɩɚɜɵɱɢɫɥɟɧɢɹɦɚɲɢɧɵ
ɠɢɦɟ0 ൑ݎ< ܶ
ɫɨɯɪɚɧɹɟɬɡɧɚɱɟɧɢɟɪɚɛɨɱɟɝɨɪɟɝɢɫɬɪɚɦɨɞɟɥɢɪɭɟɦɨɣɦɚɲɢɧɵ
ɜɨɜɫɩɨɦɨɝɚɬɟɥɶɧɨɦɫɱɟɬɱɢɤɟɡɚɬɟɦɜɪɟɠɢɦɟܶ
(
ɜɢɹ ݃
ɨɧɚɡɚɧɨɫɢɬɜɪɟɝɢɫɬɪݎ ɡɧɚɱɟɧɢɟܶ
)
ݔ᪄,Ԝݐ᪄, Ԝݎ
ɢɜɵɩɨɥɧɹɟɬɫɨɨɬɜɟɬɫɬɜɭɸɳɢɟɤɨɦɚɧɞɵɦɚɲɢɧɵ650Ⱦɥɹɷɬɨɝɨ
+ ݎԢɝɞɟ݅ɧɨɦɟɪɪɟɝɢɫɬɪɚɫɬɟɤɚɤɨɬɨɪɵɣ
௜ାଵ
݄-5&-ɦɚɲɢɧɚɜ ɪɟ
൑ݎ< ܶ
ɨɧɚɩɪɨɜɟɪɹɟɬɭɫɥɨ-
ɧɭɠɧɨ ɭɜɟɥɢɱɢɬɶ ɚݎԢ – ɧɨɜɨɟ ɡɧɚɱɟɧɢɟ ɪɚɛɨɱɟɝɨ ɪɟɝɢɫɬɪɚ ȼ ɤɚɠɞɨɦ ɪɟɠɢɦɟ
௜ାଵ
൑ݎ< ܶ
ɜɢɞɚܶ ɥɟɱɟɝɨ ɢɡɬɟɤɭɳɟɝɨɡɧɚɱɟɧɢɹɪɚɛɨɱɟɝɨɪɟɝɢɫɬɪɚɜɵɱɢɬɚɟɬɫɹܶ ɬɚɬɟ ɱɟɝɨ ɬɚɦ ɨɤɚɡɵɜɚɟɬɫɹ ɧɨɜɨɟ ɡɧɚɱɟɧɢɟ ɪɚɛɨɱɟɝɨ ɪɟɝɢɫɬɪɚ ɦɚɲɢɧɵ
ɩɪɨɢɫɯɨɞɢɬ ɭɜɟɥɢɱɟɧɢɟ ɪɟɝɢɫɬɪɚ ɫɬɟɤɚ ɫ ɧɨɦɟɪɨɦ݅ ɩɨɫ-
௜ାଶ
ɜ ɪɟɡɭɥɶ
௜ାଵ
 ɢ
ɧɚɱɢɧɚɟɬɫɹ ɫɥɟɞɭɸɳɢɣɷɬɚɩɜɵɱɢɫɥɟɧɢɹ
Ⱦɥɹ ɡɚɜɟɪɲɟɧɢɹ ɜɵɱɢɫɥɟɧɢɹ ɢ ɜɵɞɚɱɢ ɪɟɡɭɥɶɬɚɬɚݎԢ ɜ ɪɚɛɨɱɢɣ ɪɟɝɢɫɬɪ
ɦɚɲɢɧɵɡɚɩɢɫɵɜɚɟɬɫɹܶ
+ ݎԢɉɨɫɥɟɷɬɨɝɨɦɚɲɢɧɚ ɨɠɢɞɚɟɬɩɨɤɚɫɱɟɬ
௞ାଶ
ɱɢɤɢ ɧɟ ɭɜɟɥɢɱɚɬɫɹ ɞɨɫɬɚɬɨɱɧɨ ɞɥɹ ɬɨɝɨ ɱɬɨɛɵ ɨɫɧɨɜɧɚɹ ɱɚɫɬɶ ɩɪɨɝɪɚɦɦɵ
ɛɨɥɶɲɟ ɧɟ ɫɪɚɛɚɬɵɜɚɥɚ ɷɬɨ ɩɪɨɢɡɨɣɞɟɬ ɤɨɝɞɚ ɛɭɞɟɬ ɜɵɩɨɥɧɟɧɨݐ ɱɢɬɚɟɬ ɢɡɡɧɚɱɟɧɢɹɪɚɛɨɱɟɝɨɪɟɝɢɫɬɪɚɱɢɫɥɨܶ
ɱɬɨɛɵɩɨɥɭɱɢɬɶɧɭɠɧɵɣɪɟ
௞ାଶ
௞൒ܶଶ
ɢɜɵ-
ɡɭɥɶɬɚɬȿɫɥɢɧɟɨɛɯɨɞɢɦɨ ɩɪɟɪɜɚɬɶɜɵɱɢɫɥɟɧɢɟɢɜɵɞɚɬɶɡɧɚɱɟɧɢɟ0ɦɚɲɢɧɚ ɩɨɫɬɭɩɚɟɬɚɧɚɥɨɝɢɱɧɨɫɥɭɱɚɸɨɛɵɱɧɨɝɨɡɚɜɟɪɲɟɧɢɹɜɵɱɢɫɥɟɧɢɹ
Ɉɩɢɲɟɦ ɞɟɬɚɥɶɧɨ ɤɨɧɫɬɪɭɤɰɢɸ ɢ ɪɚɛɨɬɭ ɦɚɲɢɧɵȼ ɩɪɟɞɫɬɚɜɥɟɧɧɨɣ
ɧɢɠɟɩɪɨɝɪɚɦɦɟܲ ɛɭɞɟɦ ɢɫɩɨɥɶɡɨɜɚɬɶݖ ɫɱɟɬɱɢɤɚ݄-5&-ɦɚɲɢɧɵ ࣧ, ɫɨɨɬɜɟɬɫɬɜɭɸɳɟɝɨ ɪɟɝɢɫɬɪɭ ݖ
ȼɫɥɭɱɚɟɟɫɥɢݖ
= ݎɛɭɞɟɦ ɢɫɩɨɥɶɡɨɜɚɬɶ ɜɩɪɨɝɪɚɦɦɟܲ ɫɱɟɬɱɢɤݐ
ɧɨɦɫɥɭɱɚɟ – ɨɞɧɨɢɦɟɧɧɵɣɪɟɝɢɫɬɪɭݖ ɥɨɦ ܦ
ɛɭɞɟɦ ɨɛɨɡɧɚɱɚɬɶ ɭɫɥɨɜɢɟܶ
ɨɛɨɡɧɚɱɢɦ ɭɫɥɨɜɢɟ0 ൑ݎ< ܶ
 ɋɢɦɜɨɥɨɦ߯ ɨɛɨɡɧɚɱɢɦ ɭɫɥɨɜɢɟݔଵ,…,ݔ௡< ܶ
ɜɤɚɱɟɫɬɜɟɨɛɨɡɧɚɱɟɧɢɹɪɟɝɢɫɬɪɚɢɥɢ
ɪɟɝɢɫɬɪɢɥɢɫɱɟɬɱɢɤɦɚɲɢɧɵࣧɋɢɦɜɨ
൑ݎ< ܶ௜ (݅=2,…,݇+3 ɋɢɦɜɨɥɨɦܦ
௜ିଵ
ɦɚɲɢɧɵ 650
ɜɩɪɨɬɢɜ
଴ ଴
.

65
ɫɢɦɜɨɥɨɦ߬ – ɭɫɥɨɜɢɟݐ ɫɵɜɚɬɶɜɜɢɞɟݖ
= ݐ
Ȼɥɨɤɢɤɨɦɚɧɞɞɭɛɥɢɪɭɸɬɫɹɞɥɹ݆=1,…,ݍ
< ܶଶɊɚɜɟɧɫɬɜɚɜɢɞɚݖଵ= ݐଵ= ڮ= ݐ௝= ݖ
= ݖ
,…,
.
, ݈᩸=1,…,ݍଶ, ᩸݅=1,…,݇.
ɛɭɞɟɦɡɚɩɢ
ɉɪɨɝɪɚɦɦɚܲ – ɟɞɢɧɫɬɜɟɧɧɚɹ ɩɪɨɝɪɚɦɦɚ ɍɫɥɨɜɢɟ ߯ ɜɨ ɜɫɟɯ ɫɬɪɨɤɚɯ
ɩɪɨɝɪɚɦɦɵܲ ɨɛɟɫɩɟɱɢɜɚɟɬɩɨɥɭɱɟɧɢɟɧɭɥɹɜɫɥɭɱɚɟɟɫɥɢɦɚɤɫɢɦɚɥɶɧɨɜɨɡɦɨɠ
ɧɨɝɨɡɧɚɱɟɧɢɹ ɡɨɧɵ ɦɨɞɟɥɢɪɭɟɦɨɣ ɦɚɲɢɧɵ ɧɟɞɨɫɬɚɬɨɱɧɨɞɥɹ ɯɪɚɧɟɧɢɹ ɡɧɚɱɟ­ɧɢɹɧɟɤɨɬɨɪɨɝɨɜɯɨɞɧɨɝɨɪɟɝɢɫɬɪɚ
Ȼɨɥɶɲɚɹɱɚɫɬɶ ɜɵɱɢɫɥɟɧɢɣɩɪɨɢɫɯɨɞɢɬɩɪɢݐ
< ܶଶɊɟɡɭɥɶɬɚɬݎ
ɫɬɢɜɵɱɢɫɥɟɧɢɣɞɨɥɠɟɧɛɵɬɶɡɚɩɢɫɚɧɜɪɟɝɢɫɬɪݎ ɜɜɢɞɟɱɢɫɥɚܶ
ɫɥɭɱɚɟɛɥɨɤ(9
)
ɨɛɟɫɩɟɱɢɬɩɨɥɭɱɟɧɢɟݎ
ɜɤɚɱɟɫɬɜɟɪɟɡɭɥɶɬɚɬɚɪɚɛɨɬɵɦɚɲɢɧɵ
௞ାଶ
+ ݎ
ɷɬɨɣɱɚ
ȼɷɬɨɦ
Ɉɱɟɜɢɞɧɨɧɚɱɚɥɶɧɚɹɤɨɧɮɢɝɭɪɚɰɢɹ ɦɚɲɢɧɵɫɨɨɬɜɟɬɫɬɜɭɟɬɧɚɱɚɥɭɪɚ
ɛɨɬɵ
 ɉɭɫɬɶ ɢɦɟɟɬɫɹ ɧɟɤɨɬɨɪɵɣ ɧɚɛɨɪ ɡɧɚɱɟɧɢɣ ɪɟɝɢɫɬɪɨɜ ɦɚɲɢɧɵ
ɚɤɨɧɮɢɝɭɪɚɰɢɹɦɚɲɢɧɵɢɦɟɟɬɜɢɞ
(
ݔ᪄; ݐԢ
,…,ݐԢଵפ0 פݐԢହפݐԢସפݐԢଷפݐԢଶפݐԢଵפݎԢ
ɝɞɟݐԢ
,…,ݐԢ
– ɥɸɛɵɟɡɧɚɱɟɧɢɹɫɱɟɬɱɢɤɨɜɗɬɚɤɨɧɮɢɝɭɪɚɰɢɹɫɨɨɬɜɟɬɫɬɜɭɟɬɧɚ-
ɛɨɪɭɡɧɚɱɟɧɢɣɪɟɝɢɫɬɪɨɜɦɚɲɢɧɵ650
Ȼɥɨɤ(1
ɱɢɤݐ
ɡɧɚɱɟɧɢɹݎԢ – ɜ ɫɱɟɬɱɢɤݐ
ɡɚɩɢɫɢɱɢɫɥɚܶ
)
ɪɚɛɨɬɚɟɬɜɪɟɠɢɦɟ0 ൑ݎ< ܶ
ɢɩɟɪɟɯɨɞ ɤ ɫɥɟɞɭɸɳɟɦɭ ɛɥɨɤɭ ɩɨɫɪɟɞɫɬɜɨɦ
ɜɪɟɝɢɫɬɪݎ. Ɂɚɜɟɪɲɚɟɬɪɚɛɨɬɭɛɥɨɤɚɤɨɧɮɢɝɭɪɚɰɢɹ
(
ݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפ0 פ0 פ0 פ0 פݎԢ
ɩɪɢɩɪɨɯɨɠɞɟɧɢɢɱɟɪɟɡɦɟɬɤɭܮ
ɜɧɟɦɩɪɨɢɡɜɨɞɢɬɫɹɡɚɩɢɫɶ1 ɜɫɱɟɬ-
)
,
.
)
,
ɨɬɤɨɬɨɪɨɣɩɪɨɢɫɯɨɞɢɬɩɟɪɟɯɨɞɤɤɨɧɮɢɝɭɪɚɰɢɢ
(
ݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפ0 פ0 פ0 פ1 פܶ
)
.
(
ɋɪɟɞɢ ɡɧɚɱɟɧɢɣ ݃
ݔ᪄, ݐԢ
,…,ݐԢ௞, ݎԢ) ɩɪɢ ɪɚɡɥɢɱɧɵɯ ݌ ɢ ݍ ɦɨɠɟɬ ɛɵɬɶ
ɧɟ ɛɨɥɟɟɨɞɧɨɝɨɢɫɬɢɧɧɨɝɨɋɥɭɱɚɣɤɨɝɞɚɧɟɬɧɢɨɞɧɨɝɨɨɡɧɚɱɚɟɬɡɚɰɢɤɥɢɜɚɧɢɟ
ɦɚɲɢɧɵ ɱɢɣɪɟɝɢɫɬɪɱɢɫɥɨܶ
ɢɨɛɟɫɩɟɱɢɜɚɹɩɨɥɭɱɟɧɢɟɧɭɥɹ
ȼɷɬɨɦɫɥɭɱɚɟɪɚɛɨɬɚɟɬ ɛɥɨɤ(8
ɡɚɜɟɪɲɚɹɬɚɤɢɦɨɛɪɚɡɨɦɨɫɧɨɜɧɭɸ ɱɚɫɬɶ ɜɵɱɢɫɥɟɧɢɹ
௞ାଶ
)
ɢɦɚɲɢɧɚ ɡɚɩɢɫɵɜɚɟɬɜɪɚɛɨ
66
(1)
ܲ:
(
(
(
(
(
(
(
ɞɟɥɹɟɬɫɹ ɜɵɩɨɥɧɹɟɦɚɹ ɜɟɬɜɶ ɩɪɨɝɪɚɦɦɵ ɡɧɚɱɟɧɢɟݖԢ ɜɪɚɛɨɱɢɣɪɟɝɢɫɬɪɢɡݖ
߯, Ԝ߬,Ԝܦ
1, ݆)߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
2, ݆)߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
3, ݆)߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ 4, ݆)߯, Ԝ߬,Ԝܦ 5, ݅)߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ 6, ݅)߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ 7, ݈)߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
߯, Ԝ߬,Ԝܦ
(8)
߯, Ԝ߬,Ԝܦ
(9)
߯,Ԝݐ
߯,Ԝݐ
߯,Ԝݐ
߯,Ԝݐ
߯,Ԝݐ
,Ԝݐ଺>0,Ԝݐହ= ݎ՜ܶ
,Ԝ݃
௝ ଵ
,Ԝ݃
௝ ଵ
,Ԝ݃
௝ ଵ
,Ԝ݃
௝ ଵ
,Ԝ݃
௝ ଵ
,Ԝ݃
௝ ଵ
,Ԝ݃
,Ԝݐ௜= ܶଵ,Ԝݐ଺= ݐ
௜ାଶ
,Ԝݐ௜< ܶଵ,Ԝݐ଺= ݐ
௜ାଶ
,Ԝݐ௜< ܶଵ,Ԝݐ଺= ݐ
௜ାଶ
,Ԝݐ௜< ܶଵ,Ԝݐ଺= ݐ
௜ାଶ
,Ԝݐ௜< ܶଵ,Ԝݐ଺= ݐ
௜ାଶ
,Ԝݐ௜< ܶଵ,Ԝݐ଺= ݐ
௜ାଶ
,Ԝ݃
௟ ଶ
,Ԝ݃
௟ ଶ
,Ԝ݃
௟ ଶ
,Ԝ݃
௟ ଶ
,Ԝ݃
௟ ଶ
,Ԝ݃
௟ ଶ
,Ԝ݃
, Ԝ݃(ݔ᪄, ݐ᪄, ݐ
,Ԝܦ
௞൒ܶଶ
,Ԝܦ
௞൒ܶଶ
,Ԝܦ
௞൒ܶଶ
,Ԝܦ
௞൒ܶଶ
,Ԝܦ
௞൒ܶଶ
(
)
ݔ᪄, ݐ᪄, ݐ
(
ݔ᪄, ݐ᪄, ݐ
(
ݔ᪄, ݐ᪄, ݐ
(
ݔ᪄, ݐ᪄, ݐ
(
ݔ᪄, ݐ᪄, ݐ
(
ݔ᪄, ݐ᪄, ݐ
(
ݔ᪄, ݐ᪄, ݐ
( ( ( ( ( ( (
,Ԝݐ
)
,Ԝݐ
)
,Ԝݐ
)
,Ԝݐ
)
,Ԝݐ
)
,Ԝݐ
)
,Ԝݐ
)
ݔ᪄, ݐ᪄, ݐ
,Ԝݐ
)
, ݐ
ݔ᪄, ݐ
,Ԝݐ
)
ݔ᪄, ݐ᪄, ݐ
,Ԝݐ
)
ݔ᪄, ݐ᪄, ݐ
,Ԝݐ
)
ݔ᪄, ݐ᪄, ݐ
,Ԝݐ
)
ݔ᪄, ݐ᪄, ݐ
,Ԝݐ
)
ݔ᪄, ݐ᪄, ݐ
,Ԝݐ
)
,Ԝݐହ=0,Ԝݎ= ܶ
௞ାଷ
,Ԝݐହ= ݎ>0,Ԝݐଶ>0 ՜ܶ
௞ାଷ
, Ԝݎ< ݐହ,Ԝݐଵ= ݎ> ܶ
௞ାଷ
,Ԝݐହ> ݐଵ> ܶ
௞ାଷ
,Ԝݐହ= ݐଵ> ܶ
௞ାଷ
< ݖ
,Ԝݐଵ, ݐଶ=0,Ԝݐଷ= ݎ> ܶ
< ݖ
,Ԝݐଵ, ݐଶ=0,Ԝݐଷ> ܶଵ= ݎ՜ݐ
= ݖ
,Ԝݐଷ=0,Ԝݎ= ܶ
= ݖ
,Ԝݐଷ= ݎ>0,Ԝݐଶ= ܶ
= ݖ
,Ԝݐଷ> ݎ,Ԝݐଵ= ݎ> ܶ
= ݖ
,Ԝݐଷ> ݎ,Ԝݐଵ> ܶଵ= ݎ՜ݐ
= ݖ
,Ԝݐଷ= ݎ>0,Ԝݐଶ> ܶ
=0 ՜ܶ
,…,௜ିଵ
=0,Ԝݐହ=0,Ԝݎ= ܶ
,…,௜ିଵ
=0,Ԝݐହ= ݎ>0,Ԝݐଶ>0 ՜ܶ
,…,௜ିଵ
=0,Ԝݎ< ݐହ,Ԝݐଵ= ݎ> ܶ
,…,௜ିଵ
=0,Ԝݐହ> ݐଵ> ܶ
,…,௜ିଵ
=0,Ԝݐହ= ݐଵ> ܶ
,…,௜ିଵ
< ݖ
,Ԝݐଵ, ݐଶ=0,Ԝݐଷ= ݎ> ܶ
< ݖ
,Ԝݐଵ, ݐଶ=0,Ԝݐଷ> ܶଵ= ݎ՜ݐ
= ݖ
,Ԝݐଷ=0,Ԝݎ= ܶ
= ݖ
,Ԝݐଷ= ݎ>0,Ԝݐଶ= ܶ
= ݖ
,Ԝݐଷ> ݎ,Ԝݐଵ= ݎ> ܶ
= ݖ
,Ԝݐଷ> ݎ,Ԝݐଵ> ܶଵ= ݎ՜ݐ
= ݖ
,Ԝݐଷ= ݎ>0,Ԝݐଶ> ܶ
௞ାଶ
௞ାଶ
= ݎ՜ݐ
௞ାଶ
= ݎ՜ݐ
௞ାଶ
௜ೕାଵ
,Ԝݐଵ=0 ՜ݐ
௜ೕାଵ
௜ାଵ
௜ାଵ
= ݎ՜ݐ
௜ାଵ
= ݎ՜ݐ
௜ାଵ
௞ାଶ
,Ԝݐଵ=0 ՜ݐ
௞ାଶ
ȼɵɞɟɥɢɦɞɜɚɪɚɡɥɢɱɧɵɯɫɥɭɱɚɹɢɫɬɢɧɧɨɫɬɢɨɞɧɨɝɨɢɡɡɧɚɱɟɧɢɣ݃
ɉɭɫɬɶɢɫɬɢɧɧɨ݃
(
ݔ᪄, ԜݐԢ
,…,ݐԢ௞, ԜݎԢ)ɝɞɟ݆א{1, … , ݍ
ɨɞɧɨɝɨ ɢɡɪɟɝɢɫɬɪɨɜɢɥɢɫɱɟɬɱɢɤɨɜݔ᪄,Ԝݐ᪄,Ԝݐହɢ ɧɨɦɟɪ݅
}ɗɬɢɦɡɧɚɱɟɧɢɟɦɨɩɪɟ-
 ɤɨɬɨɪɨɟ ɛɭɞɟɬ ɡɚɩɢɫɚɧɨ
՜ܶ ՜ܶ
՜ܶ ՜ܶ
՜0, ՜ܶ
՜ܶ ՜ܶ
՜ܶ ՜ܶ
՜ܶ ՜0,
՜ܶ
.
ଵ ଵ
ଷ ௜ೕାଵ
ଵ ଵ
ଵ ଶ
௞ାଶ ௜ାଵ
௜ାଵ ଵ
ଶ ଵ
ଷ ௞ାଶ
ଵ ଵ
ଵ ଶ
௞ାଶ ௞ାଶ
௞ାଶ ଵ
ɪɟɝɢɫɬɪɚ ɫɬɟɤɚ ɤɨɬɨɪɵɣ ɛɭɞɟɬ ɭɜɟɥɢɱɟɧ ɉɨɫɥɟ ɷɬɨɝɨ ɷɬɚɩɚ ɦɚɲɢɧɚ 650
ɧɟɡɚɜɟɪɲɢɬɜɵɩɨɥɧɟɧɢɟɩɪɨɝɪɚɦɦɵ
, ,
,
,
,
,
,
,
,
,
,
,
,
, ,
, , , , ,
,
,
, , .
௝ ଴
67
Ɍɚɤ ɤɚɤݎԢ ɧɚɯɨɞɢɬɫɹ ɜ ɫɱɟɬɱɢɤɟݐ
=0 ȿɫɥɢ ݖԢ
ݐ
=0 ɬɨ ɦɚɲɢɧɚ ࣧ ɩɨ ɩɟɪɜɨɣ ɫɬɪɨɤɟ ɛɥɨɤɚ(2, ݆
ɜɤɨɧɮɢɝɭɪɚɰɢɸ
 ɜɵɩɨɥɧɟɧɨ݃
(
ݔ᪄,Ԝݐ᪄,Ԝݐ
)
ܶ
൑ݎ< ܶ
)
ɩɟɪɟɯɨɞɢɬ
ɢ
,…,ݐԢଵפ1 פݎԢפݖԢ
ቀݔ᪄; ݐԢ
ȼ ɫɥɭɱɚɟ ɤɨɝɞɚݖԢ
>0 ɧɚɱɢɧɚɟɬ ɜɵɩɨɥɧɹɬɶɫɹ ɛɥɨɤ
פ0 פ0 פ2 פܶ
ɫɢɧɯɪɨɧɧɨɟ ɭɜɟɥɢɱɟɧɢɟ ɪɟɝɢɫɬɪɚݎ ɢ ɫɱɟɬɱɢɤɚݐ
ɧɢɹ ݖԢ
,…,ݐԢଵפ1 פݎԢפݖԢ
൫ݔ᪄; ݐԢ
ɇɚɱɢɧɚɟɬɜɵɩɨɥɧɹɬɶɫɹɛɥɨɤ
ɧɢɹɡɧɚɱɟɧɢɹɢɡɪɚɛɨɱɟɝɨɪɟɝɢɫɬɪɚɜɫɱɟɬɱɢɤݐ
ቀݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפݖԢ
ȼɪɚɛɨɱɢɣɪɟɝɢɫɬɪɡɚɩɢɫɵɜɚɟɬɫɹɱɢɫɥɨܶ
ቀݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפݖԢ
פ0 פ0 פ0 פܶଵ+ ݖԢ
(
)
2, ݆
ɋɱɟɬɱɢɤɢɪɚɫɬɭɬɞɨɦɨɦɟɧɬɚɩɨɫɬɭɩɥɟ
פܶଵ+ ݖԢ
פܶଵ+ ݖԢ
௜ೕାଵ
 ɩɨɤɚݐ
ɚɡɧɚɱɟɧɢɹܶ
פܶ
פ0 פܶଵ+ ݖԢ
௜ೕାଵ
פܶ
௜ೕାଵ
+ ݖԢ
ቁ.
(
)
1, ݆
 ɉɪɨɢɫɯɨɞɢɬ
ɧɟ ɞɨɫɬɢɝɧɟɬ ɡɧɚɱɟ
൯.
ɜɫɱɟɬɱɢɤݐ
௜ೕାଵ
ቁ.
פ1 פܶଵቁ.
Ɍɚɤ ɤɚɤ ɡɧɚɱɟɧɢɟݎ ɭɦɟɧɶɲɢɥɨɫɶ ɧɚɱɢɧɚɟɬ ɪɚɛɨɬɚɬɶ ɛɥɨɤ(3, ݆) ȼ ɧɟɦݎ
ɫɢɧɯɪɨɧɧɨɭɜɟɥɢɱɢɜɚɸɬɫɹɞɨɬɟɯɩɨɪɩɨɤɚݎ ɧɟɞɨɫɬɢɝɧɟɬɡɧɚɱɟɧɢɹݐ
ɢݐ
ቀݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפݖԢ
ɉɪɨɢɫɯɨɞɢɬɩɟɪɟɯɨɞɤɛɥɨɤɭ
ɧɢɹݐ
פܶଵ+ ݖԢ
פܶ
௜ೕାଵ
(
)
4, ݆
ɋɱɟɬɱɢɤɢɪɚɫɬɭɬɞɨɦɨɦɟɧɬɚɭɜɟɥɢɱɟ-
+ ݖԢ
1 פܶଵ+ ݖԢ
+1פܶଵ+ ݖԢ
ቁ.
ቀݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפݖԢ
Ɍɚɤɢɦ ɨɛɪɚɡɨɦ ɜ ɫɱɟɬɱɢɤɟݐ
פܶଵ+ ݖԢ
ɨɛɪɚɡɨɜɚɧɨ ɱɢɫɥɨ ɯɪɚɧɹɳɟɟ ɢɧɮɨɪɦɚɰɢɸ
ɨ ɧɨɜɨɦ ɡɧɚɱɟɧɢɢ ɪɟɝɢɫɬɪɚݎ ɦɚɲɢɧɵ ɞɟɬ ɭɜɟɥɢɱɢɜɚɬɶɫɹ ɫɱɟɬɱɢɤݐ
ɭɜɟɥɢɱɟɧɢɹ ݐ
ቀݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפݖԢ
 ɉɪɨɢɫɯɨɞɢɬ ɡɚɩɢɫɶݐɜݎ ɫ ɩɟɪɟɯɨɞɨɦ ɜ ɪɟɠɢɦ
פܶଵ+ ݖԢ
ȼɨɛɨɢɯɪɚɫɫɦɨɬɪɟɧɧɵɯɫɥɭɱɚɹɯɜɪɟɠɢɦɟܶ
ɬɚɬɶɛɥɨɤ5, ݅
Ɉɧɭɜɟɥɢɱɢɜɚɟɬɫɱɟɬɱɢɤɢɞɨɦɨɦɟɧɬɚɭɜɟɥɢɱɟɧɢɹɫɱɟɬɱɢɤɚ ݐ
68
פܶ
௜ೕାଵ
ɢ ɨ ɪɟɠɢɦɟ ɜ ɤɨɬɨɪɨɦ ɞɨɥɠɟɧ ɛɭ-
פܶ
௜ೕାଵ
+ ݖԢ
௜ೕାଵ
+ ݖԢ
൑ݎ< ܶ
פ0 פܶଵ+ ݖԢ
פ1 פܶ
௜ೕାଵ
௜ೕାଶ
ቁ.
+ ݖԢ
ቁ.
ɧɚɱɢɧɚɟɬɪɚɛɨ
.
ɗɬɨɩɪɨɢɡɨɣɞɟɬɤɨɝɞɚɫɱɟɬɱɢɤɢݐ ɤɨɜɫɨɨɬɜɟɬɫɬɜɭɟɬɬɪɟɛɭɟɦɨɦɭɢɡɦɟɧɟɧɢɸɪɟɝɢɫɬɪɨɜɫɬɟɤɚɦɚɲɢɧɵ
ቀݔ᪄; ݐԢ
,Ԝ…,ԜݐԢ
ȿɫɥɢݐ
= ܶ
ɫɬɟɤɚ ɦɚɲɢɧɵ
, ԜݐԢ
௜ೕାଵ
ɬɨ ɩɪɨɢɡɨɲɥɨɩɟɪɟɩɨɥɧɟɧɢɟɡɧɚɱɟɧɢɟɨɞɧɨɝɨɢɡ ɪɟɝɢɫɬɪɨɜ
ɩɪɟɜɵɫɢɥɨ ɦɚɤɫɢɦɚɥɶɧɨ ɞɨɩɭɫɬɢɦɭɸ ɡɨɧɭ ɜɵɱɢɫɥɟɧɢɹ ɗɬɨ
ɡɧɚɱɢɬɱɬɨɥɢɛɨɜɵɱɢɫɥɟɧɢɟ
, ݐଵ,…,ݐ
+1,Ԝ0,Ԝ…,Ԝ0 פ0 פ0 פ0 פ0 פ0 פ0 פܶ
ɛɟɫɤɨɧɟɱɧɨɥɢɛɨɞɥɹɩɨɥɧɨɝɨɦɨɞɟɥɢɪɨɜɚɧɢɹ
ɨɛɪɚɬɹɬɫɹɜ0. ɂɡɦɟɧɟɧɢɟɫɱɟɬɱɢ-
௜ೕିଵ
+ ݖԢ
௜ೕାଵ
ቁ.
ɷɬɨɝɨɜɵɱɢɫɥɟɧɢɹ ɢɫɩɨɥɶɡɭɟɦɨɝɨɡɧɚɱɟɧɢɹɟɦɤɨɫɬɢɫɱɟɬɱɢɤɨɜݐ ɧɟɞɨɫɬɚɬɨɱɧɨ ȼɥɸɛɨɦɫɥɭɱɚɟɦɚɲɢɧɚɩɪɟɪɵɜɚɟɬɞɚɧɧɭɸɱɚɫɬɶɜɵɱɢɫɥɟɧɢɹɨɛɟɫɩɟɱɢɜɚɹ ɩɨɥɭɱɟɧɢɟɧɭɥɹɞɥɹɷɬɨɝɨɨɧɚɡɚɧɨɫɢɬܶ
ȿɫɥɢݐ
ɜɵɩɨɥɧɢɬɫɹɜɬɨɪɚɹɫɬɪɨɤɚɛɥɨɤɚ5, ݅
< ܶଵɬɨɜɵɱɢɫɥɟɧɢɟɩɪɨɞɨɥɠɚɟɬɫɹȼɫɥɭɱɚɟݖԢ
ɜɪɚɛɨɱɢɣɪɟɝɢɫɬɪ
௞ାଶ
=0 ɜɷɬɨɬɦɨɦɟɧɬ
ቀݔ᪄; ݐԢ
…,ԜݐԢ
௜ೕାଵ
, ԜݐԢ
+1,Ԝ0,Ԝ…,Ԝ0 פ0 פ0 פ0 פ0 פ0 פ1 פ0ቁ.
ɗɬɚɤɨɧɮɢɝɭɪɚɰɢɹɹɜɥɹɟɬɫɹɧɚɱɚɥɶɧɨɣɞɥɹɫɥɟɞɭɸɳɟɝɨɷɬɚɩɚɜɵɱɢɫɥɟɧɢɣ
Ɉɧɚɫɨɨɬɜɟɬɫɬɜɭɟɬɫɨɫɬɨɹɧɢɸɦɚɲɢɧɵ
ȼ ɫɥɭɱɚɟݖԢ
ɢɡɚɩɢɫɶ1 ɜɫɱɟɬɱɢɤݐ
ቀݔ᪄; ݐԢ
,Ԝ…,ԜݐԢ
>0 ɩɪɨɢɫɯɨɞɢɬ ɡɚɩɢɫɶ ɡɧɚɱɟɧɢɹ ɢɡ ɪɟɝɢɫɬɪɚݎ ɜ ɫɱɟɬɱɢɤݐ
ɩɭɬɟɦɭɜɟɥɢɱɟɧɢɹɫɱɟɬɱɢɤɨɜ
, ԜݐԢ
௜ೕାଵ
+1,Ԝ0,Ԝ…,Ԝ0 פ0 פܶ
ȼɪɟɝɢɫɬɪݎ ɡɚɩɢɫɵɜɚɟɬɫɹɱɢɫɥɨܶ
ቀݔ᪄; ݐԢ
…,ԜݐԢ
௜ೕାଵ
, ԜݐԢ
+1,Ԝ0,Ԝ…,Ԝ0 פ0 פܶ
ɇɚɱɢɧɚɟɬɜɵɩɨɥɧɹɬɶɫɹɛɥɨɤ6, ݅ ɧɢɟɪɟɝɢɫɬɪɚݎ ɢɫɱɟɬɱɢɤɚݐ ɱɟɧɢɹ ݐ
. Ɍɚɤɢɦ ɨɛɪɚɡɨɦ ɜ ݐɨɤɚɡɵɜɚɟɬɫɹ ɱɢɫɥɨݖԢ
ɞɨɬɟɯɩɨɪɩɨɤɚ ɡɧɚɱɟɧɢɟݎ ɧɟɭɜɟɥɢɱɢɬɫɹ ɞɨ ɡɧɚ-
ɤɧɚɱɚɥɭɫɥɟɞɭɸɳɟɝɨɷɬɚɩɚ
+ ݖԢ
௜ೕାଵ
௜ೕାଵ
ȼɧɟɦɩɪɨɢɫɯɨɞɢɬɫɢɧɯɪɨɧɧɨɟɭɜɟɥɢɱɟ-
פ0 פ0 פ1 פ0 פܶ
+ ݖԢ
௜ೕାଵ
פ0 פ0 פ1 פ1 פܶ
ɜ ݐ
ɢɡɧɚɱɚɥɶɧɨ ɡɚɩɢɫ-
ɚɧɨ1 ɧɨɩɪɨɰɟɫɫɩɪɟɪɵɜɚɟɬɫɹɞɨɟɝɨɩɨɫɥɟɞɧɟɝɨɭɜɟɥɢɱɟɧɢɹ
,Ԝ…,ԜݐԢ
(ݔ᪄; ݐԢ
+ ݖԢ
פ0 פܶ
௜ೕାଵ
פ0 פ0 פݖԢ
ȼɵɩɨɥɧɹɟɬɫɹɬɪɟɬɶɹɫɬɪɨɤɚɛɥɨɤɚ൫6, ݅
(ݔ᪄; ݐԢ
,Ԝ…,ԜݐԢ
+ ݖԢ
פ0 פܶ
௜ೕାଵ
פ0Ԝ|0 פݖԢ
௜ೕାଵ
௜ೕାଵ
, ԜݐԢ
+1,Ԝ0,Ԝ…,Ԝ0 פ
פܶ
௜ೕାଵ
ɢɜɪɟɝɢɫɬɪݎ ɩɨɩɚɞɚɟɬݖԢ
, ԜݐԢ
+1,Ԝ0,Ԝ…,Ԝ0 פ
פܶ
௜ೕାଵ
+ ݖԢ
+ ݖԢ
פܶ
+1פݖԢ
௜ೕାଵ
).
).
௜ೕାଵ
+ ݖԢ
௜ೕାଵ
ቁ.
ቁ.
69
ȼɢɬɨɝɟɩɨɥɭɱɟɧɚɧɚɱɚɥɶɧɚɹɤɨɧɮɢɝɭɪɚɰɢɹɫɥɟɞɭɸɳɟɝɨɷɬɚɩɚɜɵɱɢɫɥɟɧɢɣ
ɫɨɨɬɜɟɬɫɬɜɭɸɳɚɹɫɨɫɬɨɹɧɢɸɦɚɲɢɧɵ
ɉɭɫɬɶɬɟɩɟɪɶɢɫɬɢɧɧɨ݃
(
ݔ᪄, ԜݐԢ
ɲɥɨɦɭɫɥɭɱɚɸɨɩɪɟɞɟɥɹɟɬɫɹɡɧɚɱɟɧɢɟݖԢ ɝɢɫɬɪɢɡɪɟɝɢɫɬɪɚɢɥɢɫɱɟɬɱɢɤɚݖ
ɢɬɨɬɮɚɤɬɱɬɨɦɚɲɢɧɚ650
ɤɧɚɱɚɥɭɨɱɟɪɟɞɧɨɝɨɷɬɚɩɚ
,…,ݐԢ௞, ԜݎԢ)݈א{1, … , ݍ
ɤɨɬɨɪɨɟɛɭɞɟɬɡɚɩɢɫɚɧɨɜɪɚɛɨɱɢɣɪɟ
}Ⱥɧɚɥɨɝɢɱɧɨɩɪɨ
ɩɨɥɧɹɬɶɤɨɦɚɧɞɭɩɪɢɪɚɳɟɧɢɹɢɡɚɜɟɪɲɢɬɜɵɩɨɥɧɟɧɢɟɩɪɨɝɪɚɦɦɵ
ɇɚɩɨɦɧɢɦɱɬɨɜɞɚɧɧɵɣɦɨɦɟɧɬɦɚɲɢɧɚɧɚɯɨɞɢɬɫɹɜɤɨɧɮɢɝɭɪɚɰɢɢ
ɧɟɛɭɞɟɬɜɵ
(
ݔ᪄; ݐԢ
,…,ݐԢଵפ1 פݎԢפ0 פ0 פ0 פ1 פܶ
Ɍɚɤ ɤɚɤ ɡɧɚɱɟɧɢɟݎԢ ɧɚɯɨɞɢɬɫɹ ɜ ݐ ɷɬɨɦɜɟɪɧɨܶ
൑ݎ< ܶ
ɇɚɱɢɧɚɟɬɜɵɩɨɥɧɹɬɶɫɹɛɥɨɤ
 ɜɵɩɨɥɧɟɧɨ ɭɫɥɨɜɢɟ݃
ɦɨɟ ɞɚɧɧɨɝɨ ɛɥɨɤɚ ɞɭɛɥɢɪɭɟɬ ɫɨɞɟɪɠɢɦɨɟ ɨɩɢɫɚɧɧɵɯ ɜɵɲɟ ɛɥɨɤɨɜ
(
)(
3, ݆
ɫɵɜɚɹɜݎ ɡɧɚɱɟɧɢɟܶ ɱɟɧɢɟܶ
)
4, ݆
ɩɨɷɬɨɦɭɨɧɜɵɩɨɥɧɹɟɬɫɹɩɨɥɧɨɫɬɶɸɚɧɚɥɨɝɢɱɧɨɷɬɢɦɛɥɨɤɚɦɡɚɩɢ
+ ݎԢ ɜɪɟɠɢɦɟܶଵ൑ݎ< ܶଶɄɚɤɬɨɥɶɤɨɜݎ ɩɨɩɚɞɚɟɬɡɧɚ
௞ାଶ
+ ݎԢɨɫɧɨɜɧɚɹɱɚɫɬɶɜɵɱɢɫɥɟɧɢɹɡɚɜɟɪɲɚɟɬɫɹ
௞ାଶ
)
.
(
ݔ᪄, ݐ᪄, ݐ
(
)
7, ݈
ɩɪɨɝɪɚɦɦɵɋɨɞɟɪɠɢ
(
1, ݆
)(
)
 ɩɪɢ
2, ݆
)
ȼ ɪɟɡɭɥɶɬɚɬɟ ɨɩɢɫɚɧɧɵɯ ɜɵɲɟ ɜɵɱɢɫɥɟɧɢɣ ɜ ɧɟɤɨɬɨɪɵɣ ɦɨɦɟɧɬ ɜ ɪɚɛɨ-
ɱɢɣ ɪɟɝɢɫɬɪ ɩɨɩɚɞɚɟɬ ɱɢɫɥɨ ɜɢɞɚܶ
+ ݎԢ ɝɞɟ ݎԢɱɢɫɥɨ ɤɨɬɨɪɨɟ ɬɪɟɛɭɟɬɫɹ
௞ାଶ
ɜɵɞɚɬɶ ɤɚɤɪɟɡɭɥɶɬɚɬɜɵɱɢɫɥɟɧɢɹɉɨɫɥɟɷɬɨɝɨɦɚɲɢɧɚɨɠɢɞɚɟɬɩɨɤɚɧɟɫɬɚ-
ɧɟɬɜɟɪɧɨ ݐ
ɩɨɫɥɟɬɨɝɨɤɚɤ ɷɬɨɭɫɥɨɜɢɟɜɵɩɨɥɧɢɥɨɫɶɨɧɨɨɫɬɚɟɬɫɹ ɜɵ
௞൒ܶଶ
ɩɨɥɧɟɧɧɵɦ ɞɨɤɨɧɰɚɜɵɱɢɫɥɟɧɢɹɢɜɛɥɨɤɟ(9) ɨɛɪɚɛɚɬɵɜɚɟɬɪɟɡɭɥɶɬɚɬȻɥɨɤ(9) ɧɚɱɢɧɚɟɬɪɚɛɨɬɭɫɤɨɧɮɢɝɭɪɚɰɢɢ
(
,0,…,0פ0 פ0 פ0 פ0 פ0 פ0 פܶ
ݔ᪄; ܶ
௞ାଶ
ɋɨɞɟɪɠɢɦɨɟɛɥɨɤɚ9 ɚɧɚɥɨɝɢɱɧɨɫɨɞɟɪɠɢɦɨɦɭɨɩɢɫɚɧɧɵɯɜɵɲɟɛɥɨɤɚ
(
ɛɟɡ ɩɟɪɜɨɣ ɫɬɪɨɤɢ ɢ ɛɥɨɤɚ
ɜݎ ɡɧɚɱɟɧɢɟݎԢ ɜ ɪɟɠɢɦɟܶ
)
6, ݅
 ɩɨɷɬɨɦɭ ɜɵɩɨɥɧɹɟɬɫɹ ɨɧ ɬɚɤ ɠɟ ɡɚɩɢɫɵɜɚɹ
௞ାଶ
൑ݎ< ܶ
 ɉɨɫɥɟ ɬɨɝɨ ɤɚɤ ɡɧɚɱɟɧɢɟݎԢ ɩɨɩɚɞɟɬ
௞ାଷ
+ ݎԢ
)
.
(
5, ݅
ɜݎ ɛɨɥɶɲɟ ɧɢɤɚɤɚɹ ɫɬɪɨɤɚ ɩɪɨɝɪɚɦɦɵ ɧɟ ɛɭɞɟɬ ɜɵɩɨɥɧɹɬɶɫɹ ɞɨ ɤɨɧɰɚɜɵɱɢɫ­ɥɟɧɢɹɩɨɷɬɨɦɭݎԢ ɛɭɞɟɬɪɟɡɭɥɶɬɚɬɨɦɪɚɛɨɬɵɦɚɲɢɧɵ
ɇɟɬɪɭɞɧɨ ɜɢɞɟɬɶ ɱɬɨ ɜ ɨɩɢɫɚɧɧɵɯ ɜɵɱɢɫɥɟɧɢɹɯ ɜ ɪɚɛɨɱɢɣ ɪɟɝɢɫɬɪ ɦɚ-
ɲɢɧɵ ɧɢɤɨɝɞɚ ɧɟ ɩɨɩɚɞɚɟɬ ɡɧɚɱɟɧɢɟ ɛɨɥɶɲɟɟ ɢɥɢ ɪɚɜɧɨɟ(݇+3)ڄ[ݐ/݄ ɟɫɥɢɬɨɥɶɤɨݐ>0).
ɂɬɚɤɜɫɥɭɱɚɟɤɨɧɟɱɧɨɝɨɜɵɱɢɫɥɟɧɢɹɦɚɲɢɧɵ ɱɟɧɢɢɟɦɤɨɫɬɢɫɱɟɬɱɢɤɨɜɪɟɡɭɥɶɬɚɬɵɤɚɠɞɨɝɨɷɬɚɩɚɜɵɱɢɫɥɟɧɢɣɦɚɲɢɧ
ɢɩɪɢɞɨɫɬɚɬɨɱɧɨɦɡɧɚ-
ɢ
ɫɨɜɩɚɞɚɸɬ ɚ ɡɧɚɱɢɬ ɫ ɭɱɟɬɨɦ ɤɨɪɪɟɤɬɧɨɣ ɨɛɪɚɛɨɬɤɢ ɦɚɲɢɧɨɣ ɨɤɨɧɱɚɧɢɹ
ɜɵɱɢɫɥɟɧɢɹɫɨɜɩɚɞɚɸɬɢɪɟɡɭɥɶɬɚɬɵɜɵɱɢɫɥɟɧɢɣȼɫɥɭɱɚɟɛɟɫɤɨɧɟɱɧɨɝɨɜɵ
ɱɢɫɥɟɧɢɹ ɧɚ ɦɚɲɢɧɟ
ɢɥɢ ɧɟɞɨɫɬɚɬɨɱɧɨɣ ɟɦɤɨɫɬɢ ɫɱɟɬɱɢɤɨɜ ɞɥɹ ɦɨɞɟɥɢ-
ɪɨɜɚɧɢɹɷɬɨɝɨɜɵɱɢɫɥɟɧɢɹɚɬɚɤɠɟɩɪɢݐ<max(ݔ᪄)+2 ɦɚɲɢɧɚ ɜɵɞɚɟɬɜɤɚ-

)
]
70
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]