æè°ä¸ä¸ª
å¸å°ä»£æ°ï¼æ¯æä¸ä¸ªæåºçåå
ç»ãBï¼â¨ï¼â§ï¼*ãï¼å
¶ä¸Bæ¯ä¸ä¸ªé空çéåï¼â¨ä¸â§æ¯å®ä¹å¨Bä¸ç两个äºå
è¿ç®ï¼*æ¯å®ä¹å¨Bä¸çä¸ä¸ªä¸å
è¿ç®ï¼å¹¶ä¸å®ä»¬æ»¡è¶³ä¸å®çæ¡ä»¶ã以å¸å°å¼ï¼æ称é»è¾å¼ï¼ä¸ºåºæ¬ç 究对象并以æ¤å»¶ä¼¸è³ç¸å
³ç 究æ¹åçä¸é¨æ°å¦å¦ç§ãå¸å°å¼æ两个ï¼çï¼ç¨1表示ï¼ååï¼ç¨0表示ï¼ãå¸å°å¼çåºæ¬è¿ç®æ¯åºæ¬
é»è¾è¿ç®ï¼å¦ï¼é»è¾ä¸ï¼é»è¾æï¼é»è¾éï¼
å¼æï¼åæççãæèªå·±çä¸å¥æ¦å¿µå¦æ大项ãæå°é¡¹ã
å¡è¯ºå¾ãåæ¼å¾ãå¸æ¶å¾ä¹ç±»ã
ä¾å
æç®åçå¸å°ä»£æ°åªæ两个å
ç´ 0 å 1ï¼å¹¶éè¿å¦ä¸è§åå®ä¹:
⧠0 1
0 0 0
1 0 1
⨠0 1
0 0 1
1 1 1
å®åºç¨äºé»è¾ä¸ï¼è§£é 0 为åï¼1 为çï¼â§ 为ä¸ï¼â¨ 为æL 为éã æ¶ååéå
å¸å°è¿ç®ç表达å¼ä»£è¡¨äºéè¿°å½¢å¼ï¼ä¸¤ä¸ªè¿æ ·ç表达å¼å¯ä»¥ä½¿ç¨ä¸é¢çå
¬çè¯å®ä¸ºçä»·çï¼å½ä¸ä»
å½å¯¹åºçéè¿°å½¢å¼æ¯é»è¾çä»·çã
两å
ç´ çå¸å°ä»£æ°ä¹æ¯å¨çµåå·¥ç¨ä¸ç¨äºçµè·¯è®¾è®¡ï¼è¿éç 0 å 1 代表
æ°åçµè·¯ä¸ä¸ä¸ªä½ç两ç§ä¸åç¶æï¼å
¸åçæ¯é«åä½çµåãçµè·¯éè¿å
å«åéç表达å¼æ¥æè¿°ï¼ä¸¤ä¸ªè¿ç§è¡¨è¾¾å¼å¯¹è¿äºåéçææçå¼æ¯çä»·çï¼å½ä¸ä»
å½å¯¹åºççµè·¯æç¸åçè¾å
¥-è¾åºè¡ä¸ºãæ¤å¤ï¼ææå¯è½çè¾å
¥-è¾åºè¡ä¸ºé½å¯ä»¥ä½¿ç¨åéçå¸å°è¡¨è¾¾å¼æ¥å»ºæ¸ã
两å
ç´ å¸å°ä»£æ°å¨å¸å°ä»£æ°çä¸è¬ç论ä¸ä¹æ¯éè¦çï¼å 为æ¶åå¤ä¸ªåéççå¼æ¯å¨ææå¸å°ä»£æ°ä¸æ®éçå®çï¼å½ä¸ä»
å½å®å¨ä¸¤ä¸ªå
ç´ çå¸å°ä»£æ°ä¸æ¯çå®ç(è¿æ»æ¯å¯ä»¥éè¿å¹³å¡çè®åç®æ³è¯å®)ãæ¯å¦è¯å®ä¸åå®å¾(åæ(Consensus)å®ç)å¨ææå¸å°ä»£æ°ä¸æ¯æ®éææç:
(a ⨠b) ⧠(¬a ⨠c) ⧠(b ⨠c) â¡ (a ⨠b) ⧠(¬a ⨠c)
(a ⧠b) ⨠(¬a ⧠c) ⨠(b ⧠c) â¡ (a ⧠b) ⨠(¬a ⧠c)
ä»»ä½ç»å®éå S ç
å¹é(åéçéå)å½¢ææ两个è¿ç® ⨠:= ⪠(并)å ⧠:= â© (交)çå¸å°ä»£æ°ãæå°çå
ç´ 0 æ¯
空éèæ大å
ç´ 1 æ¯éå S èªèº«ã
æéçæè
cofinite çéå S çææåéçéåæ¯å¸å°ä»£æ°ã
对äºä»»ä½
èªç¶æ° nï¼n çææ
æ£çº¦æ°çéåå½¢æä¸ä¸ªåé
æ ¼ï¼å¦ææ们对 a | b å a ⤠bãè¿ä¸ªæ ¼æ¯å¸å°ä»£æ°å½ä¸ä»
å½ n æ¯æ å¹³æ¹å åçãè¿ä¸ªå¸å°ä»£æ°çæå°çå
ç´ 0 æ¯èªç¶æ° 1ï¼è¿ä¸ªå¸å°ä»£æ°çæ大å
ç´ 1 æ¯èªç¶æ° nã
å¸å°ä»£æ°çå¦ä¸ä¸ªä¾åæ¥èª
ææ空é´: å¦æ X æ¯ä¸ä¸ªææ空é´ï¼å®æ¢æ¯å¼æ¾çåæ¯éåçï¼X çææåéçæéå½¢ææ两个è¿ç® ⨠:= ⪠(并)å ⧠:= â© (交)çå¸å°ä»£æ°ã
å¦æ R æ¯ä¸ä¸ªä»»æçç¯ï¼å¹¶ä¸æ们å®ä¹ä¸å¿å¹çå
(central idempotent)çéå为
A = { e â R : e2 = e, ex = xe, ∀x â R }
åéå A æ为æ两个è¿ç® e ⨠f := e + f + ef å e ⧠f := ef çå¸å°ä»£æ°ã
å¸æ帮å°ä½ æé纳 谢谢 å æ²¹