å¨
å°ºè§ä½å¾ï¼å°ºè§ä½å¾æ¯æç¨æ²¡æå»åº¦çç´å°ºå
åè§ä½å¾ï¼çåæä¸å°ä¸ä¸ªç»å®å弧3çåæ¯æ æ³åå°çã
å弧3çåï¼å®é
æ¯
ä¸çåè§æ¯å¤å¸è
ä¸å¤§å ä½é®é¢ä¹ä¸ãä¸çåè§æ¯å¤å¸è
å ä½å°ºè§ä½å¾å½ä¸çåé¢ï¼ååå为æ¹ãåç«æ¹é®é¢è¢«å¹¶å为å¤ä»£æ°å¦çä¸å¤§é¾é¢ä¹ä¸ï¼èå¦ä»æ°å¦ä¸å·²è¯å®äºè¿ä¸ªé®é¢æ 解ã该é®é¢çå®æ´å述为ï¼å¨åªç¨åè§åä¸æ没æå»åº¦çç´å°ºå°ä¸ä¸ªç»å®è§ä¸çåãå¨å°ºè§ä½å¾ï¼å°ºè§ä½å¾æ¯æç¨æ²¡æå»åº¦çç´å°ºååè§ä½å¾ï¼çåæä¸ï¼æ¤é¢æ 解ã
å®ä¹ï¼è®¾S={Z0=1ï¼Z1ï¼... Zn}æ¯n+1个å¤æ°ï¼å°
(1) Z0=1ï¼Z1ï¼... Znå«åS-ç¹ï¼
(2) è¿ä¸¤ä¸ªä¸åçS-ç¹çç´çº¿å«S-ç´çº¿ï¼ä»¥ä¸ä¸ªS-ç¹ä¸ºåå¿ãä»»æ两个S-ç¹ä¹é´çè·ç¦»ä¸ºåå¾çåå«S-åï¼
(3) ç±S-ç´çº¿ä¸S-ç´çº¿ãS-ç´çº¿ä¸S-åãS-åä¸S-åç¸äº¤çç¹ä¹å«S-ç¹ã
ä¸é¢è¿ä¸ªå®ä¹å®å
¨å»ç»äºå°ºè§ä½å¾è¿ç¨ï¼å¦æ以P表示å
¨ä½S-ç¹çéåï¼é£ä¹Pä¹å°±æ¯ä»S={Z0=1ï¼Z1ï¼... Zn}åºåéè¿å°ºè§ä½å¾æå¾å°çå
¨é¨å¤æ°ã
å®çï¼è®¾Z1ï¼... Zn(nâ¥0)为n个å¤æ°ã设F= Q(Z1ï¼... Znï¼Z1'ï¼... Zn')ï¼(Z'代表
å
±è½å¤æ°)ï¼é£ä¹ï¼ä¸ä¸ªå¤æ°Zå¯ç±S={Z0=1ï¼Z1ï¼... Zn}ä½åºç
å
è¦æ¡ä»¶æ¯ Zå±äºF(u1ï¼... un)ã å
¶ä¸u12å±äºF, ui2 å±äºF(u1ï¼... ui-1)ãæ¢è¨ä¹ï¼Zå«äºFçä¸ä¸ª2æ¬¡æ ¹å·æ©å¼ ã
ç³»ï¼ è®¾S={Z0=1ï¼Z1ï¼... Zn}ï¼F= Q(Z1ï¼... Znï¼Z1'ï¼... Zn')ï¼Z为S-ç¹ï¼å [ F(z) ï¼F] æ¯2çæ¹å¹ã