Теормин - шпоры, страница 3

Описание файла

PDF-файл из архива "Теормин - шпоры", который расположен в категории "к экзамену/зачёту". Всё это находится в предмете "математическая логика и логическое программирование" из седьмого семестра, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст 3 страницы из PDF

(ɫ) 2006 GrGr (grgr@later.ru)Ɉɩɪɟɞɟɥɟɧɢɟ. ɉɭɫɬɶ M0 – ɡɚɦɤɧɭɬɚɹ ɮɨɪɦɭɥɚ, ɚ * Ž Form - ɦɧɨɠɟɫɬɜɨ ɡɚɦɤɧɭɬɵɯ ɮɨɪɦɭɥ.Ɍɨɝɞɚ M0 ɧɚɡɵɜɚɟɬɫɹ ɥɨɝɢɱɟɫɤɢɦ ɫɥɟɞɫɬɜɢɟɦ Ƚ (ɨɛɨɡɧɚɱɚɟɬɫɹ * | M0 ), ɟɫɥɢ ɤɚɠɞɚɹ ɦɨɞɟɥɶɞɥɹ Ƚ ɹɜɥɹɟɬɫɹ ɦɨɞɟɥɶɸ ɞɥɹ M0.xyz R( x, y ) & R( y, z ) o R( x, z ) , M3f ( k ) (t1 , t2 ,..., tk ) , ɬɨt ( x1 , x2 ,..., xm )[ d1 , d 2 ,..., d m ] f ( k ) (t1 ( x1 , x2 ,..., xm )[ d1 , d 2 ,..., d m ],..., tk ( x1 , x2 ,..., xm )[ d1 , d 2 ,..., d m ]) .2. Ɉɬɧɨɲɟɧɢɟ ɜɵɩɨɥɧɢɦɨɫɬɢ ɮɨɪɦɭɥȿɫɥɢ M - ɚɬɨɦɚɪɧɚɹ ɮɨɪɦɭɥɚ ɜɢɞɚ P ( k ) (t1 , t2 ,..., tk ) , ɬɨ ɜɵɩɨɥɧɢɦɨɫɬɶ ɷɬɨɣ ɮɨɪɦɭɥɵɷɤɜɢɜɚɥɟɧɬɧɚ ɢɫɬɢɧɧɨɫɬɢ ɢɧɬɟɪɩɪɟɬɚɰɢɢ ɩɪɟɞɢɤɚɬɚ Ɋ.ȿɫɥɢ M - ɮɨɪɦɭɥɚ ɜɢɞɚ ™ \ ,\ 1 › \ 2 ,\ 1 &\ 2 ,\ 1 o \ 2 , ɬɨ ɟɟ ɜɵɩɨɥɧɢɦɨɫɬɶ ɷɤɜɢɜɚɥɟɧɬɧɚ4Ɇɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ. (ɫ) 2006 GrGr (grgr@later.ru)M2- ɟɫɥɢ t – ɷɬɨ ɤɨɧɫɬɚɧɬɚ ɫ, ɬɨ t ( x1 , x2 ,..., xm )[d1 , d 2 ,..., d m ] c ;- ɟɫɥɢ tA2{ A1 , A2 ,..., Al ,...} - ɷɪɛɪɚɧɨɜɫɤɢɣ ɛɚɡɢɫ.

ɋɟɦɚɧɬɢɱɟɫɤɢɦ ɞɟɪɟɜɨɦɧɚɡɵɜɚɟɬɫɹ ɛɢɧɚɪɧɨɟ ɤɨɪɧɟɜɨɟ ɞɟɪɟɜɨ ɫɥɟɞɭɸɳɟɝɨɜɢɞɚ (ɫɦ. ɪɢɫɭɧɨɤ ɫɥɟɜɚ).ȼ ɬɚɤɨɦ ɞɟɪɟɜɟ ɤɚɠɞɚɹ ɜɟɬɜɶ ɫɨɨɬɜɟɬɫɬɜɭɟɬ ɤɚɤɨɣ™A1ɧɢɛɭɞɶ ɷɪɛɪɚɧɨɜɫɤɨɣ ɢɧɬɟɪɩɪɟɬɚɰɢɢ.ɋ ɩɨɦɨɳɶɸ ɫɟɦɚɧɬɢɱɟɫɤɨɝɨ ɞɟɪɟɜɚ ɦɨɠɧɨ ɥɟɝɤɨɫɮɨɪɦɭɥɢɪɨɜɚɬɶ ɤɪɢɬɟɪɢɢ ɜɵɩɨɥɧɢɦɨɫɬɢ ɫɢɫɬɟɦɵɞɢɡɴɸɧɤɬɨɜ.™A2 A2™A2Ɉɩɪɟɞɟɥɟɧɢɟ. Ɉɫɧɨɜɧɵɦ ɩɪɢɦɟɪɨɦ ɞɢɡɴɸɧɤɬɚ D( x1 , x2 ,..., xn )ɧɚɡɵɜɚɬɶɫɹ ɩɨɞɫɬɚɧɨɜɤɚ D( x1 , x2 ,..., xn )L1 › L2 › ... › Lm ɛɭɞɟɬ^x t ,..., x t ` , ɝɞɟ t , t ,..., t  H .n1n11112nɆɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ. (ɫ) 2006 GrGr (grgr@later.ru)Ɇɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ.

(ɫ) 2006 GrGr (grgr@later.ru)ɍɬɜɟɪɠɞɟɧɢɟ. ɋɢɫɬɟɦɚ ɞɢɡɴɸɧɤɬɨɜ ɧɟɜɵɩɨɥɧɢɦɚ ɬɨɝɞɚ ɢ ɬɨɥɶɤɨ ɬɨɝɞɚ, ɤɨɝɞɚ ɞɥɹ ɥɸɛɨɣɷɪɛɪɚɧɨɜɫɤɨɣ ɢɧɬɟɪɩɪɟɬɚɰɢɢ, ɤɨɬɨɪɚɹ ɡɚɞɚɧɚ ɜ ɜɢɞɟ ɩɨɫɥɟɞɨɜɚɬɟɥɶɧɨɫɬɢ ɥɢɬɟɪ, ɫɭɳɟɫɬɜɭɟɬɬɚɤɨɣ ɨɫɧɨɜɧɨɣ ɩɪɢɦɟɪ D' ɞɢɡɴɸɧɤɬɚ D ɢɡ ɷɬɨɣ ɫɢɫɬɟɦɵ, ɱɬɨD '( x1 , x2 ,..., xn ) L '1 › L '2 › ... › L 'm , ɱɬɨ ɞɥɹ ɧɟɤɨɬɨɪɵɯ ɟɝɨ ɤɨɦɩɨɧɟɧɬ ɛɭɞɟɬ ɜɵɩɨɥɧɹɬɶɫɹ2) ɞɥɹ ɥɸɛɨɣ ɩɨɞɫɬɚɧɨɜɤɢ K , ɤɨɬɨɪɚɹ ɬɨɠɟ ɭɧɢɮɢɰɢɪɭɟɬ E1 , E2 ,..., En ɧɚɣɞɟɬɫɹ ɬɚɤɚɹɩɨɞɫɬɚɧɨɜɤɚ U , ɱɬɨ K TU (ɬ.ɟ. K ɹɜɥɹɟɬɫɹ ɱɚɫɬɧɵɦ ɫɥɭɱɚɟɦ T ).ɪɚɜɟɧɫɬɜɨ L 'mV™A 'imim , ɬ.ɟ. ɜɫɟɝɞɚ ɛɭɞɟɬ ɧɚɯɨɞɢɬɶɫɹ ɥɨɠɧɵɣ ɨɫɧɨɜɧɨɣ ɩɪɢɦɟɪ.Ɉɩɪɟɞɟɥɟɧɢɟ.

ɉɭɫɬɶ v – ɜɟɪɲɢɧɚ ɫɟɦɚɧɬɢɱɟɫɤɨɝɨ ɞɟɪɟɜɚ, ɜ ɤɨɬɨɪɨɦ ɢɡ ɤɨɪɧɹ ɜɟɞɟɬ ɩɭɬɶ,ɩɨɦɟɱɟɧɧɵɣ ɥɢɬɟɪɚɦɢ L1 , L2 ,..., Ln . ɉɭɫɬɶ ɬɚɤɠɟ ɞɢɡɴɸɧɤɬ D ɩɪɢɧɚɞɥɟɠɢɬ ɫɢɫɬɟɦɟ SM .Ƚɨɜɨɪɹɬ, ɱɬɨ ɞɢɡɴɸɧɤɬ D ɨɩɪɨɜɟɪɝɚɟɬɫɹ ɜ ɜɟɪɲɢɧɟ v, ɟɫɥɢ ɫɭɳɟɫɬɜɭɟɬ ɬɚɤɨɣ ɨɫɧɨɜɧɨɣɩɪɢɦɟɪ D', ɫɨɫɬɨɹɳɢɣ ɢɡ ɥɢɬɟɪ L '1 , L '2 ,..., L 'n , ɩɪɢɱɟɦ ɥɸɛɚɹ ɥɢɬɟɪɚ L 'i ɢɡ D ɛɭɞɟɬ ɪɚɜɧɚ™Li .Ɉɩɪɟɞɟɥɟɧɢɟ.

ȼɟɪɲɢɧɚ v ɧɚɡɵɜɚɟɬɫɹ ɨɩɪɨɜɟɪɝɚɸɳɢɦ ɭɡɥɨɦ ɞɥɹ ɫɢɫɬɟɦɵ ɞɢɡɴɸɧɤɬɨɜ SM ,ɟɫɥɢ1) ɜ ɜɟɪɲɢɧɟ v ɨɩɪɨɜɟɪɝɚɟɬɫɹ ɤɚɤɨɣ-ɧɢɛɭɞɶ ɞɢɡɴɸɧɤɬ D ɢɡ SM ;2) ɧɢɤɚɤɚɹ ɞɪɭɝɚɹ ɜɟɪɲɢɧɚ, ɥɟɠɚɳɚɹ ɜɵɲɟ ɧɚ ɩɭɬɢ ɢɡ ɤɨɪɧɹ ɤ v ɧɟ ɨɩɪɨɜɟɪɝɚɟɬ ɧɢɨɞɧɨɝɨ ɞɢɡɴɸɧɤɬɚ.Ʌɟɦɦɚ (ɨ ɫɟɦɚɧɬɢɱɟɫɤɨɦ ɞɟɪɟɜɟ): ɋɢɫɬɟɦɚ ɞɢɡɴɸɧɤɬɨɜ ɧɟɜɵɩɨɥɧɢɦɚ ɬɨɝɞɚ ɢ ɬɨɥɶɤɨ ɬɨɝɞɚ,ɤɨɝɞɚ ɜ ɟɟ ɫɟɦɚɧɬɢɱɟɫɤɨɦ ɞɟɪɟɜɟ ɤɚɠɞɚɹ ɜɟɬɜɶ ɫɨɞɟɪɠɢɬ ɨɩɪɨɜɟɪɝɚɸɳɢɣ ɭɡɟɥ, ɢ ɱɢɫɥɨ ɬɚɤɢɯɭɡɥɨɜ ɤɨɧɟɱɧɨ.Ʌɟɦɦɚ (Ʉɟɧɢɝɚ): ȿɫɥɢ ɟɫɬɶ ɛɟɫɤɨɧɟɱɧɨɟ ɫɟɦɚɧɬɢɱɟɫɤɨɟ ɞɟɪɟɜɨ, ɢ ɢɡ ɤɚɠɞɨɣ ɟɝɨ ɜɟɪɲɢɧɵɜɵɯɨɞɢɬ ɤɨɧɟɱɧɨɟ ɱɢɫɥɨ ɞɭɝ, ɬɨ ɷɬɨ ɞɟɪɟɜɨ ɫɨɞɟɪɠɢɬ ɛɟɫɤɨɧɟɱɧɭɸ ɜɟɬɜɶ.Ɇɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ.

(ɫ) 2006 GrGr (grgr@later.ru)­ t1 s1°Ɉɩɪɟɞɟɥɟɧɢɟ. ɇɚɢɛɨɥɟɟ ɨɛɳɢɦ ɭɧɢɮɢɤɚɬɨɪɨɦ ɞɥɹ ɫɢɫɬɟɦɵ ɭɪɚɜɧɟɧɢɣ ɜɢɞɚ ®........... ɞɥɹ°t¯ m smɚɬɨɦɚɪɧɵɯ ɮɨɪɦɭɥ E1ɱɬɨ:P(t1 , t2 ,..., tm ) ɢ E2P( s1 , s2 ,..., sm ) ɧɚɡɵɜɚɟɬɫɹ ɬɚɤɚɹ ɩɨɞɫɬɚɧɨɜɤɚ T ,­ t1T s1T°1) ɜɵɩɨɥɧɹɟɬɫɹ ɫɢɫɬɟɦɚ ɪɚɜɟɧɫɬɜ ® ........... ;°t T s Tm¯m2) ɥɸɛɚɹ ɞɪɭɝɚɹ ɩɨɞɫɬɚɧɨɜɤɚ, ɞɥɹ ɤɨɬɨɪɨɣ ɷɬɚ ɫɢɫɬɟɦɚ ɬɚɤɠɟ ɜɵɩɨɥɧɹɟɬɫɹ, ɹɜɥɹɟɬɫɹ ɱɚɫɬɧɵɦɫɥɭɱɚɟɦ T .ɍɬɜɟɪɠɞɟɧɢɟ. T - ɇɈɍ ɞɥɹ ɮɨɪɦɭɥ E1 P(t1 , t2 ,..., tm ) ɢ E2 P( s1 , s2 ,..., sm ) ɬɨɝɞɚ ɢ ɬɨɥɶɤɨɬɨɝɞɚ, ɤɨɝɞɚ T ɹɜɥɹɟɬɫɹ ɇɈɍ ɞɥɹ ɫɢɫɬɟɦɵ ɭɪɚɜɧɟɧɢɣ ɞɥɹ ɷɬɢɯ ɮɨɪɦɭɥ.Ʌɟɦɦɚ (ɨ ɫɜɹɡɤɟ): ɉɭɫɬɶ x – ɩɟɪɟɦɟɧɧɚɹ, ɚ t – ɬɟɪɦ, ɩɪɢɱɟɦ ɯ ɧɟ ɹɜɥɹɟɬɫɹ ɫɜɨɛɨɞɧɨɣɩɟɪɟɦɟɧɧɨɣ ɞɥɹ t. Ɍɨɝɞɚ ɟɫɥɢ ɤɨɧɟɱɧɚɹ ɩɨɞɫɬɚɧɨɜɤɚ T ɹɜɥɹɟɬɫɹ ɭɧɢɮɢɤɚɬɨɪɨɦ x ɢ t (ɬ.ɟ.xT tT ), ɬɨ T { x } .tɋɥɟɞɫɬɜɢɟ.

ɉɨɞɫɬɚɧɨɜɤɚ T ɢɡ ɭɫɥɨɜɢɹ ɥɟɦɦɵ ɹɜɥɹɟɬɫɹ ɇɈɍ ɞɥɹ x ɢ t.Ɍɟɨɪɟɦɚ ɗɪɛɪɚɧɚ ɫɜɨɞɢɬ ɩɪɨɛɥɟɦɭ ɜɵɩɨɥɧɢɦɨɫɬɢ ɫɢɫɬɟɦɵ ɞɢɡɴɸɧɤɬɨɜ ɤ ɢɫɫɥɟɞɨɜɚɧɢɸɢɫɬɢɧɧɨɫɬɢ ɛɭɥɟɜɵɯ ɮɨɪɦɭɥ.­ x1 t1°Ɍɟɨɪɟɦɚ (ɨ ɩɪɢɜɟɞɟɧɧɨɣ ɫɢɫɬɟɦɟ ɭɪɚɜɧɟɧɢɣ): ȿɫɥɢ ® ........... - ɩɪɢɜɟɞɟɧɧɚɹ ɫɢɫɬɟɦɚ°x¯ m tmɭɪɚɜɧɟɧɢɣ, ɩɪɢɱɟɦ ɧɢ ɨɞɢɧ x ɧɟ ɹɜɥɹɟɬɫɹ ɫɜɨɛɨɞɧɨɣ ɩɟɪɟɦɟɧɧɨɣ ɞɥɹ ɥɸɛɨɝɨ t ɢɡ ɫɢɫɬɟɦɵ, ɬɨxmx1,...,ɇɈɍ ɬɚɤɨɣ ɫɢɫɬɟɦɵ Ot1tmȺɥɝɨɪɢɬɦ Ⱦɟɜɢɫɚ-ɉɚɬɬɟɧɚ ɩɪɨɜɟɪɤɢ ɩɪɨɬɢɜɨɪɟɱɢɜɨɫɬɢ ɫɢɫɬɟɦɵ ɞɢɡɴɸɧɤɬɨɜ.1.

ɋɬɪɨɢɦ ɫɟɦɚɧɬɢɱɟɫɤɨɟ ɞɟɪɟɜɨ2. ɉɨɪɨɠɞɚɟɦ ɨɫɧɨɜɧɵɟ ɩɪɢɦɟɪɵ ɞɢɡɴɸɧɤɬɨɜ ɢɡ ɫɢɫɬɟɦɵ.ɉɨɫɥɟ ɷɬɨɝɨ ɩɪɨɜɟɪɹɟɬɫɹ ɨɩɪɨɜɟɪɠɢɦɨɫɬɶ ɨɫɧɨɜɧɵɯ ɩɪɢɦɟɪɨɜ ɜ ɜɟɪɲɢɧɟ ɫɟɦɚɧɬɢɱɟɫɤɨɝɨɞɟɪɟɜɚ. Ⱥɥɝɨɪɢɬɦ ɡɚɜɟɪɲɚɟɬɫɹ ɭɫɩɟɲɧɨ, ɟɫɥɢ ɩɨɫɬɪɨɟɧɧɚɹ ɫɢɫɬɟɦɚ ɨɩɪɨɜɟɪɝɚɸɳɢɯ ɭɡɥɨɜɩɟɪɟɫɟɤɚɟɬ ɜɫɟ ɞɟɪɟɜɨ.Ⱥɥɝɨɪɢɬɦ ɭɧɢɮɢɤɚɰɢɢ Ɇɨɪɬɟɥɥɨ-Ɇɨɪɬɚɧɚɪɢ­ t1 s1°Ⱦɚɧɚ ɫɢɫɬɟɦɚ ɬɟɪɦɚɥɶɧɵɯ ɭɪɚɜɧɟɧɢɣ ®........... . Ⱥɥɝɨɪɢɬɦ ɪɟɲɚɟɬ ɟɟ ɦɟɬɨɞɨɦ ɩɨɞɫɬɚɧɨɜɤɢ.°t¯ m smɌɟɨɪɟɦɚ (ɗɪɛɪɚɧɚ; ɨɛ ɨɫɧɨɜɧɵɯ ɩɪɢɦɟɪɚɯ): ɋɢɫɬɟɦɚ ɞɢɡɴɸɧɤɬɨɜ S ɧɟɜɵɩɨɥɧɢɦɚ(ɩɪɨɬɢɜɨɪɟɱɢɜɚ) ɬɨɝɞɚ ɢ ɬɨɥɶɤɨ ɬɨɝɞɚ, ɤɨɝɞɚ ɫɭɳɟɫɬɜɭɟɬ ɤɨɧɟɱɧɨɟ ɦɧɨɠɟɫɬɜɨ S' ɨɫɧɨɜɧɵɯɩɪɢɦɟɪɨɜ ɞɢɡɴɸɧɤɬɨɜ ɢɡ S, ɬɚɤɨɟ, ɱɬɨ S' – ɬɨɠɟ ɩɪɨɬɢɜɨɪɟɱɢɜɨɟ ɦɧɨɠɟɫɬɜɨ.Ɉɩɪɟɞɟɥɟɧɢɟ. Ʉɨɦɩɨɡɢɰɢɟɣ ɤɨɧɟɱɧɵɯ ɩɨɞɫɬɚɧɨɜɨɤ T ɢ K ɧɚɡɵɜɚɟɬɫɹ ɬɚɤɚɹ ɤɨɧɟɱɧɚɹɩɨɫɬɚɧɨɜɤɚ P , ɱɬɨ ɞɥɹ ɥɸɛɨɣ ɩɟɪɟɦɟɧɧɨɣ x P ( x ) ( xT )K .

Ʉɨɦɩɨɡɢɰɢɹ ɩɨɞɫɬɚɧɨɜɨɤɨɛɨɡɧɚɱɚɟɬɫɹ ɤɚɤ KT .Ɉɩɪɟɞɟɥɟɧɢɟ. ɉɨɞɫɬɚɧɨɜɤɚ T ɧɚɡɵɜɚɟɬɫɹ ɭɧɢɮɢɤɚɬɨɪɨɦ ɞɥɹ ɥɨɝɢɱɟɫɤɢɯ ɜɵɪɚɠɟɧɢɣE1 , E2 ,..., En , ɟɫɥɢ E1T E2T ... EnT .Ɉɩɪɟɞɟɥɟɧɢɟ. ɉɨɞɫɬɚɧɨɜɤɚ T ɧɚɡɵɜɚɟɬɫɹ ɧɚɢɛɨɥɟɟ ɨɛɳɢɦ ɭɧɢɮɢɤɚɬɨɪɨɦ (ɇɈɍ) ɞɥɹɥɨɝɢɱɟɫɤɢɯ ɜɵɪɚɠɟɧɢɣ E1 , E2 ,..., En , ɟɫɥɢ1) T - ɭɧɢɮɢɤɚɬɨɪ ɞɥɹ E1 , E2 ,..., En ;^`Ⱦɨ ɬɟɯ ɩɨɪ, ɩɨɤɚ ɜɨɡɦɨɠɧɨ, ɜɵɩɨɥɧɢɬɶ ɫɥɟɞɭɸɳɢɟ ɞɟɣɫɬɜɢɹ:ȼɵɛɪɚɬɶ ɩɪɨɢɡɜɨɥɶɧɨɟ ɭɪɚɜɧɟɧɢɟ ɢ ɩɪɢɦɟɧɢɬɶ ɤ ɧɟɦɭ ɨɞɧɨ ɢɡ 6 ɩɪɚɜɢɥ:1) ɟɫɥɢ ɭɪɚɜɧɟɧɢɟ ɢɦɟɟɬ ɜɢɞ f (t '1 , t '2 ,..., t 'k ) g ( s '1 , s '2 ,..., s 'k ) , ɬɨ ɨɧɨ ɩɪɟɨɛɪɚɡɨɜɵɜɚɟɬɫɹ­ t '1 s '1°ɜ k ɭɪɚɜɧɟɧɢɣ ® ........... ;°t ' s 'k¯ k2) ɟɫɥɢ ɭɪɚɜɧɟɧɢɟ ɢɦɟɟɬ ɜɢɞ f (t '1 , t '2 ,..., t 'k ) g ( s '1 , s '2 ,..., s 'k ) , ɩɪɢɱɟɦ f z g , ɬɨɚɥɝɨɪɢɬɦ ɨɫɬɚɧɚɜɥɢɜɚɟɬɫɹ ɫ ɨɲɢɛɤɨɣ;3) ɟɫɥɢ ɭɪɚɜɧɟɧɢɟ ɢɦɟɟɬ ɜɢɞ c k , ɝɞɟ c ɢ k – ɤɨɧɫɬɚɧɬɵ, ɢɥɢ x=x, ɝɞɟ ɯ – ɩɟɪɟɦɟɧɧɚɹ, ɬɨɬɚɤɨɟ ɭɪɚɜɧɟɧɢɟ ɧɚɞɨ ɭɞɚɥɢɬɶ;124) ɟɫɥɢ ɭɪɚɜɧɟɧɢɟ ɢɦɟɟɬ ɜɢɞ t y , ɝɞɟ y – ɩɟɪɟɦɟɧɧɚɹ, ɚ t – ɬɟɪɦ, ɬɨ ɷɬɨ ɭɪɚɜɧɟɧɢɟɡɚɦɟɧɹɟɬɫɹ ɧɚ y t ;5) ɟɫɥɢ ɭɪɚɜɧɟɧɢɟ ɢɦɟɟɬ ɜɢɞ y si , ɩɪɢɱɟɦ y ɧɟ ɹɜɥɹɟɬɫɹ ɫɜɨɛɨɞɧɨɣ ɩɟɪɟɦɟɧɧɨɣ ɞɥɹ si,ɧɨ ɜɫɬɪɟɱɚɟɬɫɹ ɜ ɤɚɤɢɯ-ɧɢɛɭɞɶ ɭɪɚɜɧɟɧɢɹɯ t j s j , ɬɨ ɜ ɧɢɯ ɧɚɞɨ ɩɪɨɢɡɜɟɫɬɢ ɡɚɦɟɧɭ{ y }.si6) ɟɫɥɢ ɭɪɚɜɧɟɧɢɟ ɢɦɟɟɬ y si , ɢ ɩɪɢ ɷɬɨɦ y ɹɜɥɹɟɬɫɹ ɫɜɨɛɨɞɧɨɣ ɩɟɪɟɦɟɧɧɨɣ ɞɥɹ si, ɬɨɚɥɝɨɪɢɬɦ ɨɫɬɚɧɚɜɥɢɜɚɟɬɫɹ ɫ ɨɲɢɛɤɨɣ.Ɍɟɨɪɟɦɚ: Ⱥɥɝɨɪɢɬɦ ɭɧɢɮɢɤɚɰɢɢ ɡɚɜɟɪɲɚɟɬɫɹ ɢ ɪɚɛɨɬɚɟɬ ɤɨɪɪɟɤɬɧɨ, ɬ.ɟ.:1.

ɞɥɹ ɥɸɛɨɣ ɫɢɫɬɟɦɵ ɭɪɚɜɧɟɧɢɣ l ɚɥɝɨɪɢɬɦ ɨɫɬɚɧɚɜɥɢɜɚɟɬɫɹ ɩɨɫɥɟ ɩɪɢɦɟɧɟɧɢɹ ɤ ɷɬɨɣɫɢɫɬɟɦɟ;2. ɟɫɥɢ ɷɬɚ ɫɢɫɬɟɦɚ ɭɧɢɮɢɰɢɪɭɟɦɚ, ɬɨ ɚɥɝɨɪɢɬɦ ɜɵɞɚɟɬ ɩɪɢɜɟɞɟɧɧɭɸ ɫɢɫɬɟɦɭ l’, ɬɚɤɭɸ,ɱɬɨ ɟɟ ɇɈɍ ɫɨɜɩɚɞɚɟɬ ɫ ɇɈɍ ɢɫɯɨɞɧɨɣ ɫɢɫɬɟɦɵ;3. ɟɫɥɢ ɷɬɚ ɫɢɫɬɟɦɚ ɧɟ ɭɧɢɮɢɰɢɪɭɟɦɚ, ɬɨ ɚɥɝɨɪɢɬɦ ɨɫɬɚɧɚɜɥɢɜɚɟɬɫɹ ɫ ɨɲɢɛɤɨɣ.Ɉɩɪɟɞɟɥɟɧɢɟ. ɉɪɚɜɢɥɨ ɪɟɡɨɥɸɰɢɢ ɞɥɹ ɞɜɭɯ ɞɢɡɴɸɧɤɬɨɜ D1 D '1 › L ɢ D2ɇɈɍ T - ɷɬɨ ɜɵɜɨɞ ɢɯ ɪɟɡɨɥɶɜɟɧɬɵ – ɞɢɡɴɸɧɤɬɚ ɜɢɞɚ D0 ( D '1 › D '2 )T .D '2 › ™L ɢ ɢɯɈɩɪɟɞɟɥɟɧɢɟ.

ɉɪɚɜɢɥɨ ɫɤɥɟɢɜɚɧɢɹ ɞɥɹ ɞɢɡɴɸɧɤɬɚ D D '› L › L ' ɢ ɇɈɍ T ɞɥɹ L ɢ L' – ɷɬɨɜɵɜɨɞ ɫɤɥɟɣɤɢ D ɩɨ ɩɚɪɟ L ɢ L' – ɞɢɡɴɸɧɤɬɚ ɜɢɞɚ D0 ( D '› L)T .Ɉɩɪɟɞɟɥɟɧɢɟ. Ɋɟɡɨɥɸɬɢɜɧɵɣ ɜɵɜɨɞ ɞɥɹ ɫɢɫɬɟɦɵ ɞɢɡɴɸɧɤɬɨɜ S – ɷɬɨ ɬɚɤɚɹ ɤɨɧɟɱɧɚɹɩɨɫɥɟɞɨɜɚɬɟɥɶɧɨɫɬɶ ɞɢɡɴɸɧɤɬɨɜ D1 , D2 ,..., Dn , ɱɬɨ ɞɥɹ ɥɸɛɨɝɨ ɧɨɦɟɪɚ i>1 ɜɵɩɨɥɧɹɟɬɫɹ ɨɞɧɨɢɡ ɬɪɟɯ ɬɪɟɛɨɜɚɧɢɣ:1) Di - ɜɚɪɢɚɧɬ D ɢɡ S, ɬ.ɟ. Di ɩɨɥɭɱɟɧ ɢɡ D ɩɭɬɟɦ ɩɟɪɟɢɦɟɧɨɜɚɧɢɹ ɩɟɪɟɦɟɧɧɵɯ ɛɟɡɨɬɨɠɞɟɫɬɜɥɟɧɢɹ;2) Di - ɪɟɡɨɥɶɜɟɧɬɚ ɞɜɭɯ ɞɢɡɴɸɧɤɬɨɜ ɫ ɦɟɧɶɲɢɦɢ ɧɨɦɟɪɚɦɢ;3) Di - ɫɤɥɟɣɤɚ ɞɢɡɴɸɧɤɬɚ ɫ ɦɟɧɶɲɢɦ ɧɨɦɟɪɨɦɊɟɡɨɥɸɬɢɜɧɵɣ ɜɵɜɨɞ ɧɚɡɵɜɚɟɬɫɹ ɭɫɩɟɲɧɵɦ (ɪɟɡɨɥɸɬɢɜɧɵɦ ɨɩɪɨɜɟɪɠɟɧɢɟɦ), ɟɫɥɢ ɟɝɨɩɨɫɥɟɞɧɢɣ ɞɢɡɴɸɧɤɬ Dn - ɩɭɫɬɨɣ.Ʌɟɦɦɚ (ɨ ɪɟɡɨɥɸɰɢɢ): ȿɫɥɢ D0 - ɪɟɡɨɥɶɜɟɧɬɚ ɞɢɡɴɸɧɤɬɨɜ D ɢ D', ɬɨ ɨɧ ɹɜɥɹɟɬɫɹ ɢɯɥɨɝɢɱɟɫɤɢɦ ɫɥɟɞɫɬɜɢɟɦ.Ʌɟɦɦɚ (ɨ ɫɤɥɟɣɤɟ): ȿɫɥɢ D0 - ɫɤɥɟɣɤɚ ɞɢɡɴɸɧɤɬɚ D, ɬɨ ɨɧ ɹɜɥɹɟɬɫɹ ɟɝɨ ɥɨɝɢɱɟɫɤɢɦɫɥɟɞɫɬɜɢɟɦ.Ɍɟɨɪɟɦɚ (ɤɨɪɪɟɤɬɧɨɫɬɢ ɪɟɡɨɥɸɬɢɜɧɨɝɨ ɜɵɜɨɞɚ): ȿɫɥɢ D1 , D2 ,..., Dn - ɪɟɡɨɥɸɬɢɜɧɵɣ ɜɵɜɨɞɢɡ ɫɟɦɟɣɫɬɜɚ ɞɢɡɴɸɧɤɬɨɜ S, ɬɨ Dn - ɥɨɝɢɱɟɫɤɨɟ ɫɥɟɞɫɬɜɢɟ S.Ʌɟɦɦɚ (ɨ ɩɨɞɴɟɦɟ ɞɥɹ ɪɟɡɨɥɸɰɢɢ): ɉɭɫɬɶ D '1 ɢ D '2 - ɨɫɧɨɜɧɵɟ ɩɪɢɦɟɪɵ ɞɢɡɴɸɧɤɬɨɜ D1 ɢD2 ɫɨɨɬɜɟɬɫɬɜɟɧɧɨ, ɚ D '0 - ɪɟɡɨɥɶɜɟɧɬɚ D '1 ɢ D '2 .

Ɍɨɝɞɚ ɞɢɡɴɸɧɤɬ D0 , ɹɜɥɹɸɳɢɣɫɹɪɟɡɨɥɶɜɟɧɬɨɣ D1 ɢ D2 , ɬɚɤɨɜ, ɱɬɨ D '0 - ɨɫɧɨɜɧɨɣ ɩɪɢɦɟɪ D0 .1413Ɇɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ. (ɫ) 2006 GrGr (grgr@later.ru)Ɇɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ. (ɫ) 2006 GrGr (grgr@later.ru)Ɇɚɬɟɦɚɬɢɱɟɫɤɚɹ ɥɨɝɢɤɚ, ɫɜɨɞɤɚ ɨɩɪɟɞɟɥɟɧɢɣ.

(ɫ) 2006 GrGr (grgr@later.ru)Ɍɟɨɪɟɦɚ (ɩɨɥɧɨɬɵ ɞɥɹ ɪɟɡɨɥɸɰɢɣ): ȿɫɥɢ S – ɩɪɨɬɢɜɨɪɟɱɢɜɚɹ ɫɢɫɬɟɦɚ ɞɢɡɴɸɧɤɬɨɜ, ɬɨɫɭɳɟɫɬɜɭɟɬ ɪɟɡɨɥɸɬɢɜɧɨɟ ɨɩɪɨɜɟɪɠɟɧɢɟ S.Ɉɩɪɟɞɟɥɟɧɢɟ. SLD-ɪɟɡɨɥɸɬɢɜɧɵɦ ɜɵɱɢɫɥɟɧɢɟɦ ɡɚɩɪɨɫɚ G ɤ ɯɨɪɧɨɜɫɤɨɣ ɥɨɝɢɱɟɫɤɨɣɩɪɨɝɪɚɦɦɟ Ɋ ɧɚɡɵɜɚɟɬɫɹ ɩɨɫɥɟɞɨɜɚɬɟɥɶɧɨɫɬɶ ɩɚɪ (Gi ,Ti ) , ɤɨɧɟɱɧɚɹ ɢɥɢ ɛɟɫɤɨɧɟɱɧɚɹ, ɬɚɤɚɹ,ɱɬɨ1) G0 G2) Ɂɚɩɪɨɫ Gi 1 - SLD-ɪɟɡɨɥɶɜɟɧɬɚ ɡɚɩɪɨɫɚ Gi ɢ ɜɚɪɢɚɧɬɚ D' ɩɪɨɝɪɚɦɦɧɨɝɨ ɭɬɜɟɪɠɞɟɧɢɹ D,ɬɚɤɨɝɨ VarGi ˆ VarD ' ‡ , ɚ Ti 1 - ɇɈɍ ɞɥɹ ɷɬɨɣ ɪɟɡɨɥɶɜɟɧɬɵ.ɧɟɩɨɞɜɢɠɧɚɹ ɬɨɱɤɚ ɪɚɜɧɚ ɨɛɴɟɞɢɧɟɧɢɸ ɜɫɟɯ ɫɥɟɞɫɬɜɢɣ ɤɨɧɟɱɧɨɣ ɤɪɚɬɧɨɫɬɢ ɢ ɹɜɥɹɟɬɫɹɧɚɢɦɟɧɶɲɟɣ ɷɪɛɪɚɧɨɜɫɤɨɣ ɦɨɞɟɥɶɸ ɞɥɹ ɥɨɝɢɱɟɫɤɨɣ ɩɪɨɝɪɚɦɦɵ Ɋ).3.

Свежие статьи
Популярно сейчас