Математическая логика и теория алгоритмов. Самохин А.В. - 174 стр.

UptoLike

ВУЗ: 

МГТУ ГА | Москва

Составители: 

Рубрика: 

174 çÌÁ×Á X. ôÅÏÒÅÍÁ Ï ÎÅÐÏÄ×ÉÖÎÏÊ ÔÏÞËÅ
3.4. ðÒÉÍÅÒ ÉÓÐÏÌØÚÏ×ÁÎÉÑ
ðÒÏÓÔÅÊÛÅÅ (ÈÏÔÑ ÎÅ ÏÞÅÎØ ÔÉÐÉÞÎÏÅ) ÐÒÉÍÅÎÅÎÉÅ ÔÅÏÒÅÍÙ Ï ÎÅÐÏÄ×ÉÖ-
ÎÏÊ ÔÏÞËÅ ¡ Åݾ ÏÄÎÏ ÄÏËÁÚÁÔÅÌØÓÔ×Ï ÔÅÏÒÅÍÙ 64 Ï ÎÅÒÁÚÒÅÛÉÍÏÓÔÉ Ó×ÏÊÓÔ×
×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ. ÷ ÓÁÍÏÍ ÄÅÌÅ, ÐÕÓÔØ ÅÓÔØ ÎÅÔÒÉ×ÉÁÌØÎÏÅ Ó×ÏÊÓÔ×Ï A
×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ, ËÏÔÏÒÏÅ ÍÏÖÎÏ ÒÁÓÐÏÚÎÁ×ÁÔØ ÐÏ ÎÏÍÅÒÁÍ ÆÕÎËÃÉÊ
× ÇÌÁ×ÎÏÊ ÎÕÍÅÒÁÃÉÉ U. ðÕÓÔØ p ¡ ËÁËÏÊ-ÔÏ ÎÏÍÅÒ ËÁËÏÊ-ÔÏ ÆÕÎËÃÉÉ U
p
,
ÏÂÌÁÄÁÀÝÅÊ ÜÔÉÍ Ó×ÏÊÓÔ×ÏÍ, Á q ¡ ËÁËÏÊ-ÔÏ ÎÏÍÅÒ ËÁËÏÊ-ÔÏ ÆÕÎËÃÉÉ U
q
,
ÉÍ ÎÅ ÏÂÌÁÄÁÀÝÉÍ. ôÏÇÄÁ ÆÕÎËÃÉÑ
h(x) =
q, ÅÓÌÉ ÆÕÎËÃÉÑ U
x
ÏÂÌÁÄÁÅÔ Ó×ÏÊÓÔ×ÏÍ A,
p, ÅÓÌÉ ÆÕÎËÃÉÑ U
x
ÎÅ ÏÂÌÁÄÁÅÔ Ó×ÏÊÓÔ×ÏÍ A
ÂÕÄÅÔ ×ÙÞÉÓÌÉÍÏÊ É ÎÅ ÂÕÄÅÔ ÉÍÅÔØ ÎÅÐÏÄ×ÉÖÎÏÊ ÔÏÞËÉ.
174                             çÌÁ×Á X. ôÅÏÒÅÍÁ Ï ÎÅÐÏÄ×ÉÖÎÏÊ ÔÏÞËÅ

3.4. ðÒÉÍÅÒ ÉÓÐÏÌØÚÏ×ÁÎÉÑ

   ðÒÏÓÔÅÊÛÅÅ (ÈÏÔÑ ÎÅ ÏÞÅÎØ ÔÉÐÉÞÎÏÅ) ÐÒÉÍÅÎÅÎÉÅ ÔÅÏÒÅÍÙ Ï ÎÅÐÏÄ×ÉÖ-
ÎÏÊ ÔÏÞËÅ ¡ Åݾ ÏÄÎÏ ÄÏËÁÚÁÔÅÌØÓÔ×Ï ÔÅÏÒÅÍÙ 64 Ï ÎÅÒÁÚÒÅÛÉÍÏÓÔÉ Ó×ÏÊÓÔ×
×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ. ÷ ÓÁÍÏÍ ÄÅÌÅ, ÐÕÓÔØ ÅÓÔØ ÎÅÔÒÉ×ÉÁÌØÎÏÅ Ó×ÏÊÓÔ×Ï A
×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ, ËÏÔÏÒÏÅ ÍÏÖÎÏ ÒÁÓÐÏÚÎÁ×ÁÔØ ÐÏ ÎÏÍÅÒÁÍ ÆÕÎËÃÉÊ
× ÇÌÁ×ÎÏÊ ÎÕÍÅÒÁÃÉÉ U. ðÕÓÔØ p ¡ ËÁËÏÊ-ÔÏ ÎÏÍÅÒ ËÁËÏÊ-ÔÏ ÆÕÎËÃÉÉ U p,
ÏÂÌÁÄÁÀÝÅÊ ÜÔÉÍ Ó×ÏÊÓÔ×ÏÍ, Á q ¡ ËÁËÏÊ-ÔÏ ÎÏÍÅÒ ËÁËÏÊ-ÔÏ ÆÕÎËÃÉÉ Uq ,
ÉÍ ÎÅ ÏÂÌÁÄÁÀÝÉÍ. ôÏÇÄÁ ÆÕÎËÃÉÑ
                 
                   q, ÅÓÌÉ ÆÕÎËÃÉÑ Ux ÏÂÌÁÄÁÅÔ Ó×ÏÊÓÔ×ÏÍ A,
          h(x) =
                   p, ÅÓÌÉ ÆÕÎËÃÉÑ Ux ÎÅ ÏÂÌÁÄÁÅÔ Ó×ÏÊÓÔ×ÏÍ A
ÂÕÄÅÔ ×ÙÞÉÓÌÉÍÏÊ É ÎÅ ÂÕÄÅÔ ÉÍÅÔØ ÎÅÐÏÄ×ÉÖÎÏÊ ÔÏÞËÉ.

Страницы