´óѧ µã¼¯ÍØÆËÁ·Ï°Ìâ¼°´ð°¸ ÏÂÔر¾ÎÄ

ÓÐx?{x}?,y?{y}?.´Ó¶øXÊÇÒ»¸öT1¿Õ¼ä.

*17¡¢Éè(X,T)ÊÇÒ»¸öT1¿Õ¼ä£¬?ÊÇÈκÎÒ»¸ö²»ÊôÓÚXµÄÔªËØ.ÁîX?X?{?}ºÍT?T?{X}£¬ÊÔ

**˵Ã÷ÍØÆË¿Õ¼ä(X,T)ÊÇÒ»¸öT0¿Õ¼ä. ´ð°¸£º¶ÔÈÎÒâx,y?X,x?y,Èôx,y¶¼²»ÊÇ?£¬Ôò´Ó¶øx,y¸÷ÓÐÒ»¸ö¿ªÁÚÓòU,V,ʹµÃx?V,y?U;Èôx,yÖÐÓÐÒ»x,y?X.ÓÉÓÚX ÊÇÒ»¸öT1¿Õ¼ä£¬

¸öÊÇ?£¬²»·ÁÉèx??,ÔòyÓпªÁÚÓòX²»°üº¬?.ÓÉÒÔÉϵÄÌÖÂÛÖª£¬¶ÔX*ÖÐÈÎÒâÁ½¸ö²»Í¬µã±ØÓÐÒ»¸öµãÓÐÒ»¸ö¿ªÁÚÓò²»°üº¬ÁíÒ»µã£¬´Ó¶øXÊÇT0¿Õ¼ä.

18¡¢ÈôXÊÇÒ»¸öÕýÔò¿Õ¼ä£¬ÊÔ˵Ã÷£º¶Ô?x?X¼°xµÄÿһ¸ö¿ªÁÚÓòU£¬¶¼´æÔÚxµÄÒ»¸ö¿ªÁÚÓòV,ʹµÃ

***V?U. ´ð°¸: ¶Ô?x?X,ÉèUÊÇxµÄÈκÎÒ»¸ö¿ªÁÚÓò£¬ÔòUµÄ²¹¼¯U?ÊÇÒ»¸ö²»°üº¬µãxµÄ

Ò»¸ö±Õ¼¯.ÓÉÓÚXÊÇÒ»¸öÕýÔò¿Õ¼ä£¬ÓÚÊÇxºÍU?·Ö±ðÓпªÁÚÓòVºÍW,ʹµÃV?W??£¬Òò´Ë

V?W?£¬ËùÒÔV?W???W??U.

19¡¢ÈôXÊÇÒ»¸öÕý¹æ¿Õ¼ä£¬ÊÔ˵Ã÷£º¶ÔXµÄÈκÎÒ»¸ö±Õ¼¯A¼°AµÄÿһ¸ö¿ªÁÚÓòU£¬¶¼´æÔÚAµÄÒ»¸ö

¿ªÁÚÓòV,ʹµÃV?U. ´ð°¸£ºÉèAÊÇXµÄÈκÎÒ»¸ö±Õ¼¯£¬ÈôAÊÇ¿Õ¼¯£¬Ôò½áÂÛÏÔÈ»³ÉÁ¢.ÏÂÉèA²»ÊÇ¿Õ¼¯£¬Ôò¶ÔAµÄÈκÎÒ»¸ö¿ªÁÚÓòU£¬ÔòUµÄ²¹¼¯U?ÊÇÒ»¸ö²»°üº¬µãAµÄÒ»¸ö±Õ¼¯. ÓÉÓÚ

XÊÇÒ»¸öÕý¹æ¿Õ¼ä£¬ÓÚÊÇAºÍU?·Ö±ðÓпªÁÚÓòVºÍW,ʹµÃV?W??£¬Òò´ËV?W?£¬ËùÒÔ

V?W???W??U.

20¡¢ÊÔ˵Ã÷T1¿Õ¼äXµÄÈκÎÒ»¸ö×Ó¼¯µÄµ¼¼¯¶¼ÊDZռ¯.

´ð°¸£ºÉèAÊÇXµÄÈκÎÒ»¸ö×Ó¼¯£¬ÈôAÊÇ¿Õ¼¯£¬Ôòd(A)??£¬´Ó¶øAµÄµ¼¼¯ÊDZռ¯.ÏÂÉèA²»ÊÇ¿Õ¼¯£¬Ôò¶Ô?x?(d(A))?,ÔòxÓпªÁÚÓòU,ʹµÃ(U?{x})?A??£¬ÓÉÓÚXÊÇT1¿Õ¼ä£¬´Ó¶øU?{x}ÊÇ¿ª¼¯£¬¹Ê

U?{x}?(d(A))?,ÓÚÊÇU?(d(A))?,ËùÒÔ(d(A))?ÊÇËüÿһµãµÄÁÚÓò£¬¹Ê(d(A))?ÊÇ¿ª¼¯£¬Òò´Ë

d(A)ÊDZռ¯.

21¡¢ÊÔ˵Ã÷½ôÖ¿ռäXµÄÎÞÇî×Ó¼¯±ØÓÐÄý¾Ûµã.

´ð°¸£ºÈç¹ûXµÄÎÞÇî×Ó¼¯µÄAûÓÐÄý¾Ûµã£¬Ôò¶ÔÓÚÈÎÒâx?X£¬ÓпªÁÚÓòUx£¬Ê¹µÃ

(Ux?A)?{x}??£¬ÓÚÊÇXµÄ¿ª¸²¸Ç{Ux|x?X}ûÓÐÓÐÏÞ×Ó¸²¸Ç£¬´Ó¶øX²»ÊǽôÖ¿ռ䣬ì¶Ü.

¹Ê½ôÖ¿ռäXµÄÎÞÇî×Ó¼¯±ØÓÐÄý¾Ûµã. 22¡¢Èç¹ûX?YÊǽôÖ¿ռ䣬ÔòXÊǽôÖ¿ռä.

´ð°¸£º¿¼ÂÇͶÉäPÓÉÓÚP´Ó¶øÓÉX?Y½ôÖÂÖªXÊÇ1:X?Y?X£¬1:X?Y?XÊÇÒ»¸öÁ¬ÐøµÄÂúÉ䣬һ¸ö½ôÖ¿ռä.

23¡¢Èç¹ûX?YÊǽôÖ¿ռ䣬ÔòYÊǽôÖ¿ռä.

´ð°¸£º¿¼ÂÇͶÉäP2:X?Y?Y£¬ÓÉÓÚP2:X?Y?YÊÇÒ»¸öÁ¬ÐøµÄÂúÉ䣬´Ó¶øÓÉX?Y½ôÖÂÖªYÊÇÒ»¸ö½ôÖ¿ռä.

24¡¢ÊÔ˵Ã÷½ôÖ¿ռäXµÄÿһ¸ö±Õ×Ó¼¯Y¶¼ÊǽôÖÂ×Ó¼¯.

´ð°¸£ºÈç¹ûA ÊÇYµÄÈÎÒâÒ»¸öÓÉXÖеĿª¼¯¹¹³ÉµÄ¸²¸Ç£¬ÔòB=A?{Y?}ÊÇXµÄÒ»¸ö¿ª¸²¸Ç.ÉèB 1ÊÇBµÄÒ»¸öÓÐÏÞ×Ó×å²¢ÇÒ¸²¸ÇX.ÔòB 1?{Y?}±ãÊÇA µÄÒ»¸öÓÐÏÞ×Ó×å²¢ÇÒ¸²¸ÇY£¬´Ó¶øYÊǽôÖÂ×Ó¼¯.

Áù¡¢Ö¤Ã÷Ì⣨ÿÌâ8·Ö£©

13

1¡¢Éèf:X?YÊÇ´ÓÁ¬Í¨¿Õ¼äXµ½ÍØÆË¿Õ¼äYµÄÒ»¸öÁ¬ÐøÓ³Éä.Ôòf(X)ÊÇYµÄÒ»¸öÁ¬Í¨×Ó¼¯.

Ö¤Ã÷£ºÈç¹ûf(X)ÊÇYµÄÒ»¸ö²»Á¬Í¨×Ó¼¯£¬Ôò´æÔÚYµÄ·Ç¿Õ¸ôÀë×Ó¼¯A,BʹµÃ

f(X)?A?B ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 3·Ö

ÓÚÊÇf?1(A),f?1(B)ÊÇXµÄ·Ç¿Õ×Ó¼¯£¬²¢ÇÒ£º

(f?1(A)?f?1(B))?(f?1(B)?f?1(A))?(f?1(A)?f?1(B))?(f?1(B)?f?1(A)) ?f?1((A?B)?(A?B))??Ëù

ÒÔ

f?1(A),f?1(B)ÊÇ

XµÄ·Ç¿Õ¸ôÀë×Ó¼¯ ´ËÍ⣬

f?1(A)?f?1(B)?f?1(A?B)?f?1(f(X))?X£¬Õâ˵Ã÷X²»Á¬Í¨£¬Ã¬¶Ü.´Ó¶øf(X)ÊÇYµÄÒ»¸ö

Á¬Í¨×Ó¼¯. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 8·Ö

2¡¢ÉèYÊÇÍØÆË¿Õ¼äXµÄÒ»¸öÁ¬Í¨×Ó¼¯, Ö¤Ã÷: Èç¹ûAºÍBÊÇXµÄÁ½¸öÎÞ½»µÄ¿ª¼¯Ê¹µÃYÔò»òÕßY?A,»òÕßY?B.

Ö¤Ã÷£ºÒòΪA,BÊÇXµÄ¿ª¼¯£¬´Ó¶øA?Y,B?YÊÇ×Ó¿Õ¼äYµÄ¿ª¼¯. ÓÖÒòY?A?BÖУ¬¹ÊY?(A?Y)?(B?Y) ¡­¡­¡­¡­¡­¡­¡­ 4·Ö

ÓÉÓÚYÊÇXµÄÁ¬Í¨×Ó¼¯,ÔòA?Y,B?YÖбØÓÐÒ»¸öÊÇ¿Õ¼¯. ÈôB?Y??,ÔòY?A;Èô

?A?B,

A?Y??,ÔòY?B¡­¡­¡­¡­¡­¡­¡­ 8·Ö

3¡¢ÉèYÊÇÍØÆË¿Õ¼äXµÄÒ»¸öÁ¬Í¨×Ó¼¯, Ö¤Ã÷: Èç¹ûAºÍBÊÇXµÄÁ½¸öÎÞ½»µÄ±Õ¼¯Ê¹µÃYÔò»òÕßY?A,»òÕßY?B.

Ö¤Ã÷£ºÒòΪA,BÊÇXµÄ±Õ¼¯£¬´Ó¶øA?Y,B?YÊÇ×Ó¿Õ¼äYµÄ±Õ¼¯. ÓÖÒòY?A?BÖУ¬¹ÊY?(A?Y)?(B?Y) ¡­¡­¡­¡­¡­¡­¡­ 4·Ö

ÓÉÓÚYÊÇXµÄÁ¬Í¨×Ó¼¯,ÔòA?Y,B?YÖбØÓÐÒ»¸öÊÇ¿Õ¼¯. ÈôB?Y??,ÔòY?A;Èô

?A?B,

A?Y??,ÔòY?B¡­¡­¡­¡­¡­¡­¡­ 8·Ö

4¡¢ÉèYÊÇÍØÆË¿Õ¼äXµÄÒ»¸öÁ¬Í¨×Ó¼¯£¬Z?XÂú×ãY?Z?Y£¬ÔòZÒ²ÊÇXµÄÒ»¸öÁ¬Í¨×Ó¼¯.

Ö¤Ã÷£ºÈôZÊÇXµÄÒ»¸ö²»Á¬Í¨×Ó¼¯£¬ÔòÔÚXÖÐÓзǿյĸôÀë×Ó¼¯A,B ʹµÃZ?A?B.Òò´Ë

Y?A?B ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 3·Ö

ÓÉÓÚYÊÇÁ¬Í¨µÄ£¬ËùÒÔY?A»òÕßY?B,Èç¹ûY?A£¬ÓÉÓÚZ?Y?A£¬ËùÒÔZ?B?A?B??£¬Òò´Ë B?Z?B??,ͬÀí¿ÉÖ¤Èç¹ûY?B£¬ÔòA??,¾ùÓë¼ÙÉèì¶Ü.¹ÊZÒ² ÊÇXµÄÒ»¸öÁ¬Í¨×Ó¼¯. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 8·Ö

14

5¡¢Éè{Y?}???ÊÇÍØÆË¿Õ¼äXµÄÁ¬Í¨×Ó¼¯¹¹³ÉµÄÒ»¸ö×Ó¼¯×å.Èç¹ûͨ×Ó¼¯. Ö¤Ã÷£ºÈô

Y??????,Ôò

Y????ÊÇXµÄÒ»¸öÁ¬

Y????ÊÇXµÄÒ»¸ö²»Á¬Í¨×Ó¼¯.ÔòXÓзǿյĸôÀë×Ó¼¯A,BʹµÃ

Y?????A?B¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 4·Ö

Y????,²»Ê§Ò»°ãÐÔ£¬Éèx?A,¶ÔÓÚÿһ¸ö???£¬ÓÉÓÚY?Á¬Í¨£¬´Ó¶ø

ÈÎÒâÑ¡È¡x?Y?????A¼°

B??,ì¶Ü£¬

ËùÒÔ

Y????ÊÇÁ¬Í¨µÄ. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 8·Ö

6¡¢ÉèAÊÇÍØÆË¿Õ¼äXµÄÒ»¸öÁ¬Í¨×Ó¼¯£¬BÊÇXµÄÒ»¸ö¼È¿ªÓֱյļ¯ºÏ.Ö¤Ã÷£ºÈç¹ûA?B??,ÔòA?B.

Ö¤Ã÷£ºÈôB?X,Ôò½áÂÛÏÔÈ»³ÉÁ¢.

ÏÂÉèB?X,ÓÉÓÚBÊÇXµÄÒ»¸ö¼È¿ªÓֱյļ¯ºÏ,´Ó¶øA?BÊÇXµÄ×Ó¿Õ¼äAµÄÒ»¸ö¼È¿ªÓÖ±ÕµÄ×Ó¼¯¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 4·Ö

ÓÉÓÚA?B??¼°AÁ¬Í¨£¬ËùÒÔA?B?A£¬¹ÊA?B.¡­¡­¡­¡­ 8·Ö 7¡¢ÉèAÊÇÁ¬Í¨¿Õ¼äXµÄ·Ç¿ÕÕæ×Ó¼¯. Ö¤Ã÷:AµÄ±ß½ç?(A)??.

??Ö¤Ã÷£ºÈô?(A)??,ÓÉÓÚ?(A)?A?A?,´Ó¶ø

??A??A???(A??A??)?(A?A?)?(A??A?)?(A?A??),

¹ÊA ,A?ÊÇXµÄ¸ôÀë×Ó¼¯ ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 4·Ö

ÒòΪAÊÇXµÄ·Ç¿ÕÕæ×Ó¼¯,ËùÒÔAºÍA?¾ù·Ç¿Õ,ÓÚÊÇX²»Á¬Í¨,ÓëÌâÉèì¶Ü.ËùÒÔ

?(A)??. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­ 8·Ö

8¡¢ÉèXÊÇÒ»¸öº¬Óв»¿ÉÊý¶à¸öµãµÄ¿ÉÊý²¹¿Õ¼ä.Ö¤Ã÷X²»Âú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí.

Ö¤Ã÷£ºÈôXÂú×ãµÚÒ»¿ÉÊý¹«Àí£¬ÔòÔÚx?X´¦,ÓÐÒ»¸ö¿ÉÊýµÄÁÚÓò»ù£¬ÉèΪV ,ÒòΪXÊÇ¿ÉÊý²¹¿Õ¼ä£¬x

Òò´Ë¶Ô?y?X,y?x,X?{y}ÊÇxµÄÒ»¸ö¿ªÁÚÓò£¬´Ó¶ø? Vy?V x ,ʹµÃVy?X?{y}.

ÓÚÊÇ{y}?Vy, ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­4·Ö ÓÉÉÏÃæµÄÌÖÂÛÎÒÃÇÖªµÀ£º

?X?{x}? ÒòΪXy?X?{x}? {y}?? Vyy?X?{y}?

?{x}ÊÇÒ»¸ö²»¿ÉÊý¼¯£¬¶ø

y?X?{x}? Vu?ÊÇÒ»¸ö¿ÉÊý¼¯£¬Ã¬¶Ü.

´Ó¶øX²»Âú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­8·Ö

9¡¢ÉèXÊÇÒ»¸öº¬Óв»¿ÉÊý¶à¸öµãµÄÓÐÏÞ²¹¿Õ¼ä.Ö¤Ã÷:X²»Âú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí.

15

Ö¤Ã÷£ºÈôXÂú×ãµÚÒ»¿ÉÊý¹«Àí£¬ÔòÔÚx?X´¦,ÓÐÒ»¸ö¿ÉÊýµÄÁÚÓò»ù£¬ÉèΪV ,ÒòΪXÊÇÓÐÏÞ²¹¿Õ¼ä£¬x Òò´Ë¶Ô?y?X,y?x,X?{y}ÊÇxµÄÒ»¸ö¿ªÁÚÓò£¬´Ó¶ø? Vy?V x ,ʹµÃVy?X?{y}.

ÓÚÊÇ{y}?Vy, ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­4·Ö ÓÉÉÏÃæµÄÌÖÂÛÎÒÃÇÖªµÀ£º

?X?{x}? ÒòΪXy?X?{x}? {y}?y?X?{y}? Vy?

?{x}ÊÇÒ»¸ö²»¿ÉÊý¼¯£¬¶ø

y?X?{x}? Vu?ÊÇÒ»¸ö¿ÉÊý¼¯£¬Ã¬¶Ü.

´Ó¶øX²»Âú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­8·Ö

10¡¢ÉèX,YÊÇÁ½¸öÍØÆ˿ռ䣬f:X?YÊÇÒ»¸öÂúµÄÁ¬Ðø¿ªÓ³Éä.XÂú×ãµÚ¶þ¿ÉÊýÐÔ¹«Àí£¬Ö¤Ã÷£ºYÒ²

Âú×ãµÚ¶þ¿ÉÊýÐÔ¹«Àí.

Ö¤Ã÷£ºÉèXÂú×ãµÚ¶þ¿ÉÊýÐÔ¹«Àí£¬BÊÇËüµÄÒ»¸ö¿ÉÊý»ù.ÓÉÓÚf:X?YÊÇÒ»¸ö¿ªÓ³É䣬

B ?{f(B)|B?B}ÊÇÓÉ

YÖпª¼¯¹¹³ÉµÄÒ»¸ö¿ÉÊý

×å. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­3·Ö ÏÂÃæÖ¤Ã÷BÊÇYµÄÒ»¸ö»ù.ÉèUÊÇYµÄÈÎÒ⿪¼¯£¬ÔòfʹµÃf?1?1(U)ÊÇXÖеÄÒ»¸ö¿ª¼¯.Òò´Ë´æÔÚB 1?B,

(U)?B?B 1B.ÓÉÓÚfÊÇÒ»¸öÂúÉ䣬ËùÒÔÓÐU?f(f?1(U))?B?B 1f(B),´Ó¶øUÊÇBÖÐ

ijЩԪËصIJ¢£¬¹ÊBÊÇYµÄÒ»¸ö»ù.Õâ˵Ã÷YÒ²Âú×ãµÚ¶þ¿ÉÊýÐÔ¹«Àí. ¡­¡­8·Ö

11¡¢ÉèX,YÊÇÁ½¸öÍØÆ˿ռ䣬f:X?YÊÇÒ»¸öÂúµÄÁ¬Ðø¿ªÓ³Éä.XÂú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí£¬Ö¤Ã÷£ºYÒ²

Âú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí.

Ö¤Ã÷£º¶Ô?y?Y,ÓÉÓÚf:X?YÊÇÒ»¸öÂúÉ䣬ËùÒÔ´æÔÚx?X,ʹµÃf(x)?y,ÓÉÓÚXÂú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí£¬¹ÊÔÚµãx´¦´æÔÚÒ»¸ö¿ÉÊýÁÚÓò»ù£¬ÉèΪV x,ÓÖÓÉÓÚf:X?YÊÇÒ»¸ö¿ªÓ³É䣬ÔòÊÇYÖеãyµÄÒ»¸ö¿ÉÊýÁÚÓò×å. ¡­¡­¡­¡­3·Ö V y ?{f(V)|V?Vx }ÏÂÃæÖ¤Ã÷V yÊÇYÖеãyµÄÒ»¸öÁÚÓò»ù.ÉèUÊÇYÖеãyµÄÈÎÒâÁÚÓò£¬ÔòfÓò.Òò´Ë´æÔÚV?V x,ʹµÃV?f?1?1(U)ÊÇXÖеãxµÄÒ»¸öÁÚ

(U).Òò´Ëf(V)?U,´Ó¶øV yÊÇYÖеãyµÄÒ»¸öÁÚÓò»ù.Õâ˵Ã÷

YÒ²Âú×ãµÚÒ»¿ÉÊýÐÔ¹«Àí. ¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­¡­8·Ö 12¡¢AÊÇÂú×ãµÚ¶þ¿ÉÊýÐÔ¹«Àí¿Õ¼äXµÄÒ»¸ö²»¿ÉÊý¼¯¡£ÇóÖ¤£ºAÖÁÉÙÓÐÒ»¸öÄý¾Ûµã.

Ö¤Ã÷£ºÈôAûÓÐÄý¾Ûµã£¬Ôò¶ÔÈÎx?A,Ò»¶¨´æÔÚxµÄÒ»¸öÁÚÓòUx£¬

ʹµÃ£ºUx?A?{x},ÓÉÓÚXÂú×ãµÚ¶þ¿ÉÊýÐÔ¹«Àí£¬ÉèBÊÇËüµÄ¿ÉÊý»ù£¬¹ÊÒ»¶¨´æÔÚÒ»¸öBx?B,

16