ç®æ³ï¼Algorithmï¼æ¯æ解é¢æ¹æ¡çåç¡®èå®æ´çæè¿°ï¼æ¯ä¸ç³»å解å³é®é¢çæ¸
æ°æ令ï¼ç®æ³ä»£è¡¨çç¨ç³»ç»çæ¹æ³æ述解å³é®é¢ççç¥æºå¶ãä¹å°±æ¯è¯´ï¼è½å¤å¯¹ä¸å®è§èçè¾å
¥ï¼å¨æéæ¶é´å
è·å¾æè¦æ±çè¾åºãå¦æä¸ä¸ªç®æ³æ缺é·ï¼æä¸éåäºæ个é®é¢ï¼æ§è¡è¿ä¸ªç®æ³å°ä¸ä¼è§£å³è¿ä¸ªé®é¢ãä¸åçç®æ³å¯è½ç¨ä¸åçæ¶é´ã空é´ææçæ¥å®æåæ ·çä»»å¡ãä¸ä¸ªç®æ³çä¼å£å¯ä»¥ç¨ç©ºé´å¤æ度ä¸æ¶é´å¤æ度æ¥è¡¡éãç®æ³ä¸çæ令æè¿°çæ¯ä¸ä¸ªè®¡ç®ï¼å½å
¶è¿è¡æ¶è½ä»ä¸ä¸ªåå§ç¶æåï¼å¯è½ä¸ºç©ºçï¼åå§è¾å
¥å¼å§ï¼ç»è¿ä¸ç³»åæéèæ¸
æ°å®ä¹çç¶æï¼æç»äº§çè¾åºå¹¶åæ¢äºä¸ä¸ªç»æãä¸ä¸ªç¶æå°å¦ä¸ä¸ªç¶æç转移ä¸ä¸å®æ¯ç¡®å®çãéæºåç®æ³å¨å
çä¸äºç®æ³ï¼å
å«äºä¸äºéæºè¾å
¥ãå½¢å¼åç®æ³çæ¦å¿µé¨åæºèªå°è¯è§£å³å¸å°ä¼¯ç¹æåºçå¤å®é®é¢ï¼å¹¶å¨å
¶åå°è¯å®ä¹ææ计ç®æ§æè
æææ¹æ³ä¸æå½¢ãè¿äºå°è¯å
æ¬åºå°ç¹Â·å¥å¾·å°ãJacques Herbrandåæ¯èè¬Â·ç§å°Â·å
è±å°¼åå«äº1930å¹´ã1934å¹´å1935å¹´æåºçéå½å½æ°ï¼é¿éä½Â·é±å¥äº1936å¹´æåºçλæ¼ç®ï¼1936å¹´Emil Leon PostçFormulation 1åè¾ä¼¦Â·å¾çµ1937å¹´æåºçå¾çµæºãå³ä½¿å¨å½åï¼ä¾ç¶å¸¸æç´è§æ³æ³é¾ä»¥å®ä¹ä¸ºå½¢å¼åç®æ³çæ
åµãä¸ä¸ªç®æ³åºè¯¥å
·æ以ä¸äºä¸ªéè¦çç¹å¾ï¼
æç©·æ§ï¼Finitenessï¼
ç®æ³çæç©·æ§æ¯æç®æ³å¿
é¡»è½å¨æ§è¡æé个æ¥éª¤ä¹åç»æ¢ï¼
ç¡®åæ§(Definiteness)
ç®æ³çæ¯ä¸æ¥éª¤å¿
é¡»æç¡®åçå®ä¹ï¼
è¾å
¥é¡¹(Input)
ä¸ä¸ªç®æ³æ0个æå¤ä¸ªè¾å
¥ï¼ä»¥å»ç»è¿ç®å¯¹è±¡çåå§æ
åµï¼æè°0个è¾å
¥æ¯æç®æ³æ¬èº«å®åºäºåå§æ¡ä»¶ï¼
è¾åºé¡¹(Output)
ä¸ä¸ªç®æ³æä¸ä¸ªæå¤ä¸ªè¾åºï¼ä»¥åæ 对è¾å
¥æ°æ®å å·¥åçç»æã没æè¾åºçç®æ³æ¯æ¯«æ æä¹çï¼
å¯è¡æ§(Effectiveness)
ç®æ³ä¸æ§è¡çä»»ä½è®¡ç®æ¥éª¤é½æ¯å¯ä»¥è¢«å解为åºæ¬çå¯æ§è¡çæä½æ¥ï¼å³æ¯ä¸ªè®¡ç®æ¥é½å¯ä»¥å¨æéæ¶é´å
å®æï¼ä¹ç§°ä¹ä¸ºæææ§ï¼ã
温馨提示:答案为网友推荐,仅供参考