{"id":33498,"date":"2019-01-22T00:55:22","date_gmt":"2019-01-21T16:55:22","guid":{"rendered":"https:\/\/case.ntu.edu.tw\/blog\/?p=33498"},"modified":"2019-07-31T11:05:25","modified_gmt":"2019-07-31T03:05:25","slug":"%e6%95%b8%e5%ad%b8%e7%9a%84%e9%9b%bb%e8%85%a6%e8%ad%89%e6%98%8e","status":"publish","type":"post","link":"https:\/\/case.ntu.edu.tw\/blog\/?p=33498","title":{"rendered":"\u6578\u5b78\u7684\u96fb\u8166\u8b49\u660e \u00a0"},"content":{"rendered":"
\"\"
\u5716\u7247\u51fa\u8655: photo-ac.com<\/figcaption><\/figure>\n

\u64b0\u6587\uff5c\u8cf4\u52a0\u7fcc<\/strong><\/p>\n

\u25cf\u6578\u5b78\u5bb6\u827e\u5361\u5fb7\u7684\u8da3\u805e<\/strong><\/span><\/p>\n

\u6709\u500b\u53eb\u827e\u5361\u5fb7 \uff08Shalosh B. Ekhad\uff09 \u7684\u6578\u5b78\u5bb6\u767c\u8868\u4e86\u5e7e\u5341\u7bc7\u8ad6\u6587\uff0c\u6709\u4e00\u4e9b\u662f\u827e\u5361\u5fb7\u81ea\u5df1\u7368\u7acb\u7f72\u540d\uff0c\u53e6\u4e00\u4e9b\u662f\u827e\u5361\u5fb7\u548c\u7f85\u683c\u65af\u5927\u5b78\u7684\u6578\u5b78\u5bb6\u9f4a\u4f2f\u683c\u806f\u5408\u7f72\u540d\u3002 \u4f46\u5728\u4efb\u4f55\u5927\u5b78\u7684\u6559\u8077\u54e1\u540d\u55ae\u4e0a\u90fd\u627e\u4e0d\u5230\u827e\u5361\u5fb7\u7684\u540d\u5b50\uff0c\u56e0\u70ba\u4ed6\u4e26\u4e0d\u662f\u4e00\u500b\u4eba\uff0c \u800c\u662f\u4e00\u53f0\u96fb\u8166\u3002\u9f4a\u4f2f\u683c\u8aaa\u81ea\u5df1\u662f\u827e\u5361\u5fb7\u7684\u300c\u5c0e\u5e2b\u300d\uff0c\u5176\u5be6\u827e\u5361\u5fb7\u662f\u9f4a\u4f2f\u683c\u64cd\u4f5c\u7684\u4e00\u53f0\u96fb\u8166\u3002<\/p>\n

\u70ba\u96fb\u8166\u547d\u540d\u7684\u73fe\u8c61\u807d\u8d77\u4f86\u5f88\u6709\u8da3\uff0c\u4f46\u5b83\u7684\u78ba\u662f\u5177\u6709\u9019\u500b\u6642\u4ee3\u7684\u8c61\u5fb5\u610f\u7fa9\u3002 \u56e0\u70ba\u5b83\u7684\u300c\u5c0e\u5e2b\u300d\u9f4a\u4f2f\u683c\u5805\u6301\u8b93\u8a08\u7b97\u6a5f\u7368\u7acb\u7f72\u540d\uff0c \u662f\u70ba\u4e86\u986f\u793a\u5b83\u5728\u6578\u5b78\u4e2d\u8d8a\u4f86\u8d8a\u9ad8\u7684\u91cd\u8981\u6027\u3002\u4ee5\u4e0b\u4ecb\u7d39\u5e7e\u500b\u8fd1\u4ee3\u7528\u96fb\u8166\u5b8c\u6210\u7684\u8457\u540d\u6578\u5b78\u8b49\u660e\uff1a<\/p>\n

\u25cf\u5e03\u723e\u7562\u6c0f\u4e09\u5143\u6578<\/strong><\/span><\/p>\n

\u6578\u5b78\u5bb6 Ronald Graham \u57281980\u5e74\u4ee3\u63d0\u51fa\u5e03\u723e\u7562\u9054\u54e5\u62c9\u65af\u4e09\u5143\u6578\u554f\u984c\uff1a\u662f\u5426\u53ef\u4ee5\u5c07\u6b63\u6574\u6578\u96c6\u5408 N\uff1d\uff5b 1\uff0c2\uff0c3\uff0c\u2026 \uff5d\u88e1\u9762\u7684\u6578\u5b57\u7528\u85cd\u8272\u6216\u7d05\u8272\u8457\u8272\uff0c\u4f7f\u4efb\u610f\u6eff\u8db3\u7562\u9054\u54e5\u62c9\u65af\u65b9\u7a0b\u5f0fa^2 \uff0b b^2 \uff1d c^2 \u7684\u4e09\u500b\u6578\u5fc5\u7136\u5305\u542b\u5169\u7a2e\u984f\u8272\uff1f\u4e5f\u5c31\u662f\u8aaa\uff0c\u9019\u4e09\u500b\u6578\u4e0d\u662f\u5168\u90e8\u85cd\u8272\uff0c\u4e5f\u4e0d\u662f\u5168\u90e8\u7d05\u8272\uff0c\u5176\u4e2d\u4e00\u500b\u8ddf\u53e6\u5916\u5169\u500b\u7684\u984f\u8272\u4e0d\u540c\u3002<\/p>\n

\u7d93\u904e\u4e09\u5341\u591a\u5e74\uff0c\u4e09\u4f4d\u96fb\u8166\u79d1\u5b78\u5bb6\u5229\u7528\u5fb7\u514b\u85a9\u65af\u5148\u9032\u8a08\u7b97\u4e2d\u5fc3\u7684\u8d85\u7d1a\u96fb\u8166\u8f14\u52a9\uff0c\u89e3\u6c7a\u4e86\u9019\u500b\u554f\u984c\u3002\u9019\u500b\u96fb\u8166\u8b49\u660e\u6587\u4ef6\u4e00\u767c\u5e03\u5c31\u88ab\u7a31\u70ba\u300c\u53f2\u4e0a\u6700\u9577\u7684\u6578\u5b78\u8b49\u660e\u300d\uff0c\u6a94\u6848\u5927\u5c0f\u6709200TB\uff0c\u6bd4\u7f8e\u570b\u570b\u6703\u5716\u66f8\u9928\u6578\u5b57\u5316\u8cc7\u6599\u7684\u7e3d\u548c\u9084\u591a\u3002\u5982\u679c\u6bcf\u500b\u786c\u789f\u67092TB\uff0c\u5c31\u9700\u8981100\u500b\u786c\u789f\u624d\u88dd\u5f97\u5b8c\uff0c\u56e0\u6b64\u7121\u6cd5\u628a\u5b8c\u6574\u7684\u8b49\u660e\u653e\u5728\u7db2\u7d61\u4e0a\u3002\u4ed6\u5011\u53ea\u628a\u904b\u7b97\u6240\u9700\u7684\u6a94\u6848\u58d3\u7e2e\u621068GB\u5f8c\u516c\u958b\uff0c\u8b93\u5b78\u754c\u81ea\u884c\u4e0b\u8f09\u3002<\/p>\n

\u9019\u4e09\u4f4d\u96fb\u8166\u79d1\u5b78\u5bb6\u7528\u5c0d\u7a31\u6027\u548c\u6578\u8ad6\u65b9\u6cd5\uff0c\u628a\u53ef\u80fd\u7684\u67d3\u8272\u60c5\u6cc1\u6e1b\u52301\u842c\u5104\u7a2e\uff0c\u518d\u7528800\u6838\u5fc3\u7684\u8d85\u7d1a\u96fb\u8166\u9023\u7e8c\u904b\u7b97\u4e86\u5169\u5929\uff0c\u8b49\u660e\u4e86\u6b63\u6574\u6578\u96c6\u5408N \uff1d\uff5b 1\uff0c 2\uff0c\u2026\uff0c 7824 \uff5d\u53ef\u4ee5\u6eff\u8db3\u5e03\u723e\u7562\u9054\u54e5\u62c9\u65af\u4e09\u5143\u6578\u554f\u984c\uff0c\u4f46\u6578\u5b57\u5230\u4e867825\u4ee5\u4e0a\u6642\uff0c\u5c31\u7e3d\u6703\u6709\u540c\u4e00\u984f\u8272\u7684\u4e09\u500b\u6578\u5b57a\u3001b\u53cac\u6eff\u8db3\u65b9\u7a0ba^2 \uff0b b^2 \uff1d c^2\u3002\u4f46\u96fb\u8166\u4e0d\u80fd\u89e3\u91cb\u6578\u5b577825\u4ee3\u8868\u7684\u610f\u7fa9\uff0c\u53ea\u80fd\u8b93\u4eba\u982d\u8166\u653e\u7a7a\u5730\u63a5\u53d7\u9019\u500b\u7d50\u679c\uff0c\u597d\u50cf\u5728\u544a\u8a34\u4f60\uff1a\u300c\u4e8b\u60c5\u5c31\u662f\u9019\u6a23\uff0c\u6c92\u6709\u70ba\u4ec0\u9ebc\u3002\u300d<\/p>\n

\u25cf\u514b\u535c\u52d2\u731c\u60f3<\/strong><\/span><\/p>\n

\u5929\u6587\u5b78\u5bb6\u7d04\u7ff0\u5c3c\u65af\u00b7\u514b\u535c\u52d2\u63d0\u51fa\u7684\u514b\u535c\u52d2\u731c\u60f3\u8a8d\u70ba\uff0c\u5728\u4e09\u7dad\u6b50\u5e7e\u91cc\u5fb7\u7a7a\u9593\u88e1\uff0c\u6bcf\u500b\u7403\u5927\u5c0f\u76f8\u540c\u7684\u72c0\u6cc1\u4e0b\uff0c\u6c92\u6709\u4efb\u4f55\u88dd\u7403\u65b9\u5f0f\u7684\u300c\u5bc6\u5ea6\u300d\u6bd4\u9762\u5fc3\u7acb\u65b9\u8207\u516d\u65b9\u6700\u5bc6\u5806\u7a4d\u8981\u9ad8\u3002\u4e5f\u5c31\u662f\u8aaa\uff0c\u9019\u500b\u731c\u60f3\u8a8d\u70ba\u96dc\u8ca8\u5e97\u5806\u67f3\u4e01\u7684\u65b9\u5f0f\u662f\u6700\u7701\u7a7a\u9593\u7684\uff0c\u56e0\u70ba\u7559\u4e0b\u7684\u7a7a\u9699\u6700\u5c0f\u3002<\/p>\n

1998\u5e74\uff0c\u6258\u99ac\u65af\u00b7\u9ed1\u723e\u65af\u7528\u7aae\u8209\u6cd5\u8b49\u660e\u9019\u500b\u731c\u60f3\uff0c\u8ad6\u6587\u88e1\u9762\u5927\u91cf\u4f7f\u7528\u96fb\u8166\u7a0b\u5f0f\u904b\u7b97\u3002\u9ed1\u723e\u65af\u5ba3\u544a\u8b49\u660e\u6210\u529f\u4e4b\u5f8c\uff0c\u5e7e\u4e4e\u88ab\u6240\u6709\u7684\u5831\u7d19\u5831\u5c0e\u4e86\u51fa\u4f86\uff0c\u4f46\u4ed6\u6295\u7a3f\u7684\u300a\u6578\u5b78\u5e74\u520a\u300b\u5be9\u7a3f\u8005\u537b\u8a8d\u70ba\u9019\u500b\u8b49\u660e\u7f3a\u4e4f\u53ef\u9a57\u8b49\u7684\u7a0b\u5e8f\uff0c\u56e0\u6b64\u5728\u6587\u7ae0\u4e2d\u9644\u4e0a\u7f55\u898b\u7684\u7de8\u8f2f\u9644\u8a3b\uff1a\u9019\u7bc7\u8ad6\u6587\u7684\u90e8\u5206\u5167\u5bb9\u7121\u6cd5\u5be9\u67e5\u3002<\/p>\n

\u25cf\u56db\u8272\u5b9a\u7406<\/span><\/strong><\/p>\n

\u4e16\u754c\u4e0a\u7b2c\u4e00\u500b\u7528\u96fb\u8166\u8b49\u660e\u7684\u8457\u540d\u6578\u5b78\u554f\u984c\u662f\u300c\u56db\u8272\u5b9a\u7406\u300d\uff1a\u5728\u6c92\u6709\u98db\u5730\u7684\u5730\u5716\u4e0a\uff0c\u53ea\u9700\u8981\u4e0d\u591a\u65bc\u56db\u7a2e\u984f\u8272\u4f86\u8457\u8272\uff0c\u4f7f\u4efb\u610f\u5169\u500b\u76f8\u63a5\u7684\u5730\u5340\u984f\u8272\u90fd\u4e0d\u540c\u3002\u300c\u56db\u8272\u5b9a\u7406\u300d\u672c\u4f86\u88ab\u7a31\u4f5c\u300c\u56db\u8272\u731c\u60f3\u300d\uff0c\u7531\u82f1\u570b\u6578\u5b78\u5bb6\u6cd5\u862d\u897f\u65af\u00b7\u53e4\u5fb7\u91cc\u65bc1852\u5e74\u63d0\u51fa\uff0c\u4e0a\u767e\u5e74\u4f86\u6709\u8a31\u591a\u4eba\u767c\u8868\u8b49\u660e\u6216\u53cd\u4f8b\uff0c\u90fd\u88ab\u8b49\u5be6\u662f\u932f\u8aa4\u7684\u3002\u5230\u4e861976\u5e74\uff0c\u6578\u5b78\u5bb6\u51f1\u5c3c\u65af\u00b7\u963f\u4f69\u723e\u548c\u6c83\u592b\u5ca1\u00b7\u54c8\u80af\u85c9\u7531\u96fb\u8166\u9996\u6b21\u5f97\u5230\u4e00\u500b\u5b8c\u5168\u7684\u8b49\u660e\uff0c\u65bc\u662f\u300c\u56db\u8272\u731c\u60f3\u300d\u5c31\u6210\u70ba\u300c\u56db\u8272\u5b9a\u7406\u300d\u3002<\/p>\n

\u9019\u500b\u8b49\u660e\u4e00\u958b\u59cb\u4e0d\u88ab\u8a31\u591a\u6578\u5b78\u5bb6\u63a5\u53d7\uff0c\u56e0\u70ba\u5b83\u7121\u6cd5\u7528\u4eba\u4f86\u9a57\u8b49\u3002\u4f46\u96a8\u8457\u96fb\u8166\u6280\u8853\u7684\u904b\u7528\u8d8a\u4f86\u8d8a\u5ee3\u6cdb\uff0c\u96fb\u8166\u8f14\u52a9\u8b49\u660e\u51fa\u73fe\u7387\u8b8a\u9ad8\uff0c\u6578\u5b78\u754c\u5c0d\u5176\u63a5\u53d7\u7a0b\u5ea6\u4e5f\u8d8a\u4f86\u8d8a\u9032\u6b65\uff0c\u4f46\u4ecd\u6709\u6578\u5b78\u5bb6\u5e0c\u671b\u80fd\u5920\u627e\u5230\u66f4\u7c21\u55ae\u7684\u8b49\u660e\u3002<\/p>\n

\u25cf\u96fb\u8166\u8b49\u660e\u7684\u8da8\u52e2<\/span><\/strong><\/p>\n

\u9664\u4e86\u4e0a\u9762\u5217\u51fa\u7684\u4e09\u500b\u6709\u540d\u7684\u4f8b\u5b50\uff0cE8\u7d50\u69cb\u3001Fekete\u554f\u984c\u7b49\u8457\u540d\u6578\u5b78\u96e3\u984c\u90fd\u662f\u501f\u52a9\u96fb\u8166\u4f86\u8b49\u660e\u7684\u3002\u5c0d\u65bc\u904b\u7b97\u91cf\u975e\u5e38\u5927\u7684\u6578\u5b78\u554f\u984c\uff0c\u901a\u5e38\u90fd\u9700\u8981\u96fb\u8166\u7684\u5e6b\u5fd9\uff0c\u96fb\u5b50\u8a08\u7b97\u6a5f\u5df2\u7d93\u6210\u70ba\u6578\u5b78\u7814\u7a76\u4e0d\u53ef\u6216\u7f3a\u7684\u8f14\u52a9\u5de5\u5177\u3002\u4f46\u9084\u662f\u6709\u4e9b\u6578\u5b78\u5bb6\u8a8d\u70ba\u96fb\u5b50\u8a08\u7b97\u6a5f\u8b49\u660e\u7684\u6a94\u6848\u904e\u65bc\u9f90\u5927\uff0c\u7121\u6cd5\u7528\u4eba\u5de5\u9032\u884c\u6aa2\u9a57\uff0c\u56e0\u6b64\u5f88\u96e3\u63a5\u53d7\u96fb\u8166\u8b49\u660e\u7684\u6b63\u78ba\u6027\u3002<\/p>\n

\u53e6\u4e00\u65b9\u9762\uff0c\u6578\u5b78\u5bb6\u7e3d\u662f\u5f62\u5bb9\u4e00\u4e9b\u7368\u7279\u7684\u8b49\u660e\u65b9\u6cd5\u5f88\u300c\u512a\u7f8e\u300d\uff0c\u9019\u7a2e\u60c5\u6cc1\u901a\u5e38\u662f\u6307\u4e00\u4e9b\u6975\u77ed\u7684\u8b49\u660e\uff0c\u6216\u662f\u7531\u610f\u5916\u7684\u65b9\u5f0f\u63a8\u5c0e\u51fa\u7684\u8b49\u660e\uff0c\u4e5f\u5c31\u662f\u5f9e\u4e00\u4e9b\u8868\u9762\u4e0a\u7121\u95dc\u7684\u5b9a\u7406\u8b49\u660e\u51fa\u53e6\u4e00\u7d50\u8ad6\u3002\u800c\u7528\u96fb\u8166\u8b49\u660e\u88ab\u8a8d\u70ba\u662f\u300c\u66b4\u529b\u300d\u89e3\u6cd5\uff0c\u6216\u8a31\u548c\u512a\u7f8e\u7684\u8b49\u660e\u6c38\u9060\u626f\u4e0d\u4e0a\u908a\u3002\u666e\u6797\u65af\u9813\u5927\u5b78\u5eb7\u5a01\u6559\u6388\u8aaa\ufe55\u300c\u6211\u4e0d\u559c\u6b61\u5b83\u5011\uff0c\u56e0\u70ba\u4e0d\u77e5\u9053\u7a76\u7adf\u767c\u751f\u4e86\u4ec0\u9ebc\u3002\u300d\u7136\u800c\u6578\u5b78\u5bb6\u4fdd\u7f85\u3002\u827e\u72c4\u80e5\u537b\u8aaa\ufe55\u300c\u5982\u679c\u56db\u8272\u554f\u984c\u6709\u4e00\u500b\u4e0d\u4f9d\u8cf4\u96fb\u8166\u7684\u8b49\u660e\uff0c\u6211\u6703\u66f4\u52a0\u958b\u5fc3\uff0c\u4f46\u6211\u4e5f\u9858\u610f\u63a5\u53d7\u963f\u4f69\u723e\u548c\u54c8\u80af\u7684\u8b49\u660e\u2014\u2014\u8ab0\u53eb\u6211\u5011\u5225\u7121\u9078\u64c7\u5462\uff1f\u300d<\/p>\n

 <\/p>\n

\u53c3\u8003\u8cc7\u6599\uff1a<\/strong> <\/strong><\/p>\n

    \n
  1. Lamb, Evelyn, Two-hundred-terabyte maths proof is largest ever. <\/a>Nature<\/em><\/a>, 534, 17\u201318. 2016<\/a><\/li>\n
  2. Marijn J. H. Heule, Oliver Kullmann, &Victor W. Marek, Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer. Cornell University Library. 2016<\/a><\/li>\n
  3. V. Vilfred, The Four Color Theorem - A New Proof by Induction. Cornell University Library. 2017<\/a><\/li>\n
  4. Marianne Freiberger, Why we want proof. +plus magzine. 2015<\/a><\/li>\n<\/ol>\n

    \"\u52a0\u5165\u597d\u53cb\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

    \u25a0\u6709\u500b\u53eb\u827e\u5361\u5fb7 \uff08Shalosh B. Ekhad\uff09 \u7684\u6578\u5b78\u5bb6\u767c\u8868\u4e86\u5e7e\u5341\u7bc7\u8ad6\u6587\uff0c\u6709\u4e00\u4e9b\u662f\u827e\u5361\u5fb7\u81ea\u5df1\u7368\u7acb\u7f72\u540d\uff0c\u53e6\u4e00\u4e9b\u662f\u827e\u5361\u5fb7\u548c\u7f85\u683c\u65af\u5927\u5b78\u7684\u6578\u5b78\u5bb6\u9f4a\u4f2f\u683c\u806f\u5408\u7f72\u540d\u3002 \u4f46\u5728\u4efb\u4f55\u5927\u5b78\u7684\u6559\u8077\u54e1\u540d\u55ae\u4e0a\u90fd\u627e\u4e0d\u5230\u827e\u5361\u5fb7\u7684\u540d\u5b50\uff0c\u56e0\u70ba\u4ed6\u4e26\u4e0d\u662f\u4e00\u500b\u4eba\uff0c \u800c\u662f\u4e00\u53f0\u96fb\u8166\u3002\u9f4a\u4f2f\u683c\u8aaa\u81ea\u5df1\u662f\u827e\u5361\u5fb7\u7684\u300c\u5c0e\u5e2b\u300d\uff0c\u5176\u5be6\u827e\u5361\u5fb7\u662f\u9f4a\u4f2f\u683c\u64cd\u4f5c\u7684\u4e00\u53f0\u96fb\u8166\u3002<\/p>\n","protected":false},"author":20,"featured_media":33499,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3293,148],"tags":[4146,4145,4144,2251,4143],"aioseo_notices":[],"jetpack_featured_media_url":"https:\/\/case.ntu.edu.tw\/blog\/wp-content\/uploads\/2019\/01\/CC.jpg","_links":{"self":[{"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/posts\/33498"}],"collection":[{"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/users\/20"}],"replies":[{"embeddable":true,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=33498"}],"version-history":[{"count":3,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/posts\/33498\/revisions"}],"predecessor-version":[{"id":33502,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/posts\/33498\/revisions\/33502"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=\/wp\/v2\/media\/33499"}],"wp:attachment":[{"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=33498"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=33498"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/case.ntu.edu.tw\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=33498"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}