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

UptoLike

ВУЗ: 

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

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

Рубрика: 

§3. ðÅÒÅÞÉÓÌÉÍÏÅ ÎÅÒÁÚÒÅÛÉÍÏÅ ÍÎÏÖÅÓÔ×Ï 157
úÁÄÁÞÁ 187. íÎÏÖÅÓÔ×Ï U ⊂ N × N ÒÁÚÒÅÛÉÍÏ. íÏÖÎÏ ÌÉ ÕÔ×ÅÒ-
ÖÄÁÔØ, ÞÔÏ ÍÎÏÖÅÓÔ×Ï ¥ÎÉÖÎÉÈ ÔÏÞÅË¥ ÍÎÏÖÅÓÔ×Á U, ÔÏ ÅÓÔØ ÍÎÏ-
ÖÅÓÔ×Ï
V = {hx, yi | (hx, yi ∈ U) É (hx, zi /∈ U ÄÌÑ ×ÓÅÈ z < y)}
Ñ×ÌÑÅÔÓÑ ÒÁÚÒÅÛÉÍÙÍ? íÏÖÎÏ ÌÉ ÕÔ×ÅÒÖÄÁÔØ, ÞÔÏ V ÐÅÒÅÞÉÓÌÉÍÏ, ÅÓÌÉ
U ÐÅÒÅÞÉÓÌÉÍÏ?
úÁÄÁÞÁ 188. ðÏËÁÖÉÔÅ, ÞÔÏ ÓÕÝÅÓÔ×ÕÀÔ ÐÅÒÅÞÉÓÌÉÍÙÅ ÓÎÉÚÕ, ÎÏ ÎÅ
×ÙÞÉÓÌÉÍÙÅ ÞÉÓÌÁ × ÓÍÙÓÌÅ ÏÐÒÅÄÅÌÅÎÉÊ, ÄÁÎÎÙÈ ÎÁ Ó. 152. (õËÁÚÁÎÉÅ. òÁÓ-
ÓÍÏÔÒÉÍ ÓÕÍÍÕ ÒÑÄÁ
P
2
−k
ÐÏ ×ÓÅÍ k ÉÚ ËÁËÏÇÏ-ÌÉÂÏ ÐÅÒÅÞÉÓÌÉÍÏÇÏ ÍÎÏ-
ÖÅÓÔ×Á P . ïÎÁ ×ÓÅÇÄÁ ÐÅÒÅÞÉÓÌÉÍÁ ÓÎÉÚÕ, ÎÏ ÂÕÄÅÔ ×ÙÞÉÓÌÉÍÏÊ ÔÏÌØËÏ
ÐÒÉ ÒÁÚÒÅÛÉÍÏÍ P .)
íÙ ×ÅÒξÍÓÑ Ë ×ÙÞÉÓÌÉÍÙÍ ÄÅÊÓÔ×ÉÔÅÌØÎÙÍ ÞÉÓÌÁÍ × ÚÁÄÁÞÅ 192
§3. ðÅÒÅÞÉÓÌÉÍÏÅ ÎÅÒÁÚÒÅÛÉÍÏÅ ÍÎÏÖÅÓÔ×Ï                              157

  úÁÄÁÞÁ 187. íÎÏÖÅÓÔ×Ï U ⊂ N × N ÒÁÚÒÅÛÉÍÏ. íÏÖÎÏ ÌÉ ÕÔ×ÅÒ-
ÖÄÁÔØ, ÞÔÏ ÍÎÏÖÅÓÔ×Ï ¥ÎÉÖÎÉÈ ÔÏÞÅË¥ ÍÎÏÖÅÓÔ×Á U, ÔÏ ÅÓÔØ ÍÎÏ-
ÖÅÓÔ×Ï
         V = {hx, yi | (hx, yi ∈ U) É (hx, zi ∈
                                              / U ÄÌÑ ×ÓÅÈ z < y)}
Ñ×ÌÑÅÔÓÑ ÒÁÚÒÅÛÉÍÙÍ? íÏÖÎÏ ÌÉ ÕÔ×ÅÒÖÄÁÔØ, ÞÔÏ V ÐÅÒÅÞÉÓÌÉÍÏ, ÅÓÌÉ
U ÐÅÒÅÞÉÓÌÉÍÏ?
  úÁÄÁÞÁ 188. ðÏËÁÖÉÔÅ, ÞÔÏ ÓÕÝÅÓÔ×ÕÀÔ ÐÅÒÅÞÉÓÌÉÍÙÅ ÓÎÉÚÕ, ÎÏ ÎÅ
×ÙÞÉÓÌÉÍÙÅ ÞÉÓÌÁ × ÓÍÙÓÌÅ
                    P −k ÏÐÒÅÄÅÌÅÎÉÊ, ÄÁÎÎÙÈ ÎÁ Ó. 152. (õËÁÚÁÎÉÅ. òÁÓ-
ÓÍÏÔÒÉÍ ÓÕÍÍÕ ÒÑÄÁ    2 ÐÏ ×ÓÅÍ k ÉÚ ËÁËÏÇÏ-ÌÉÂÏ ÐÅÒÅÞÉÓÌÉÍÏÇÏ ÍÎÏ-
ÖÅÓÔ×Á P . ïÎÁ ×ÓÅÇÄÁ ÐÅÒÅÞÉÓÌÉÍÁ ÓÎÉÚÕ, ÎÏ ÂÕÄÅÔ ×ÙÞÉÓÌÉÍÏÊ ÔÏÌØËÏ
ÐÒÉ ÒÁÚÒÅÛÉÍÏÍ P .)
  íÙ ×ÅÒξÍÓÑ Ë ×ÙÞÉÓÌÉÍÙÍ ÄÅÊÓÔ×ÉÔÅÌØÎÙÍ ÞÉÓÌÁÍ × ÚÁÄÁÞÅ 192

Страницы