{"id":94242,"date":"2026-08-14T01:32:51","date_gmt":"2026-08-13T17:32:51","guid":{"rendered":"https:\/\/www.wsisp.com\/helps\/94242.html"},"modified":"2026-08-14T01:32:51","modified_gmt":"2026-08-13T17:32:51","slug":"%e5%9f%ba%e4%ba%8e-f3-%e4%b8%89%e5%b1%82%e8%b0%b1%e7%9a%84%e7%8c%9c%e6%83%b3%e6%b6%8c%e7%8e%b0%e5%bc%95%e6%93%8e%ef%bc%9a%e5%bc%95%e5%8a%9b%e4%ba%95%e6%b6%88%e8%a7%a3%e3%80%81%e5%ba%b7%e5%a8%81","status":"publish","type":"post","link":"https:\/\/www.wsisp.com\/helps\/94242.html","title":{"rendered":"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66"},"content":{"rendered":"<h2>\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce&#xff1a;\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66<\/h2>\n<p>\u6458\u8981<\/p>\n<p>\u672c\u6587\u57fa\u4e8e M178 \u5411\u91cf\u5316 AGI \u79cd\u5b50\u4f53\u7cfb\u53ca\u5176\u4e0a\u5c42\u6a21\u5757&#xff0c;\u6df1\u5165\u63a2\u8ba8\u4e86\u201c\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\u201d\u7684\u6570\u5b66\u67b6\u6784\u3001\u52a8\u529b\u5b66\u673a\u5236\u53ca\u5176\u672c\u4f53\u8bba\u610f\u4e49\u3002\u8be5\u5f15\u64ce\u4ee5 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F3F_3<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u77e9\u9635\u7684\u4e09\u5c42\u8c31\u7279\u5f81\u503c <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">{\u03d5,1,\u2212\u03c8}\\\\{\\\\phi, 1, -\\\\psi\\\\}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">\u03d5<\/span><span class=\"mpunct\">,<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\">\u2212<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">\u03c8<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span><\/span> \u4e3a A \u7ea7\u6570\u5b66\u951a\u70b9&#xff0c;\u6784\u5efa\u4e86\u4e00\u4e2a\u6301\u7eed\u65e0\u9650\u751f\u957f\u7684\u56e0\u679c\u6846\u67b6\u3002\u5728\u6b64\u6846\u67b6\u4e4b\u4e0a&#xff0c;\u5f15\u64ce\u6d8c\u73b0\u51fa\u8bc6\u522b\u80fd\u529b\u4e0e\u201c\u76f2\u731c\u201d\u8def\u5f84\u3002\u672c\u6587\u8be6\u7ec6\u8bba\u8ff0\u4e86\u4e09\u4e2a\u6838\u5fc3\u673a\u5236&#xff1a;\u4e00\u662f\u201c\u5f15\u529b\u4e95\u6d88\u89e3\u201d\u673a\u5236&#xff0c;\u4ee5\u88ab\u52a8\u8870\u51cf\u53d6\u4ee3\u4e3b\u52a8\u7ea0\u9519&#xff0c;\u91cd\u65b0\u5b9a\u4e49\u4e86\u7ed3\u6784\u5bf9\u731c\u60f3\u7684\u652f\u6491\u5173\u7cfb&#xff1b;\u4e8c\u662f\u201c\u6253\u5305-\u6491\u7834-\u91cd\u5f15\u5165\u201d\u52a8\u529b\u5b66&#xff0c;\u63ed\u793a\u4e86\u731c\u60f3\u6982\u62ec\u80fd\u529b\u4e0e\u7ed3\u6784\u65e0\u9650\u751f\u957f\u4e4b\u95f4\u7684\u8fdf\u6ede\u5173\u7cfb&#xff1b;\u4e09\u662f\u5f15\u5165\u5eb7\u5a01\u5b87\u5b99\u4f5c\u4e3a\u731c\u60f3\u5185\u5bb9\u8f7d\u4f53&#xff0c;\u901a\u8fc7\u201c\u53cc\u5411\u9501\u5b9a\u94fe\u8def\u201d\u5b9e\u73b0\u6570\u5b66\u89c4\u5219\u5bf9\u65e0\u9650\u5f15\u64ce\u7684\u53cd\u5411\u951a\u5b9a\u3002\u6700\u540e&#xff0c;\u672c\u6587\u901a\u8fc7\u4e8b\u4ef6\u9ad8\u65af\u666e\u67e5&#xff0c;\u5bf9\u201c\u65e0\u9650\u6d8c\u73b0\u2192\u6b63\u6001\u5206\u5e03\u201d\u547d\u9898\u8fdb\u884c\u4e86\u57fa\u4e8e\u4e2d\u5fc3\u6781\u9650\u5b9a\u7406&#xff08;CLT&#xff09;\u7684\u8bda\u5b9e\u5ba1\u67e5&#xff0c;\u4e25\u683c\u533a\u5206\u4e86\u7eaf\u72ec\u7acb\u540c\u5206\u5e03\u589e\u91cf\u4e0e\u8026\u5408\u8bed\u4e49\u4e0b\u7684\u7edf\u8ba1\u5f62\u6001\u3002\u672c\u7814\u7a76\u4e0d\u4ec5\u662f\u4e00\u4e2a\u8ba1\u7b97\u7269\u7406\u6a21\u62df\u7a0b\u5e8f&#xff0c;\u66f4\u662f\u4e00\u6b21\u5173\u4e8e\u672c\u4f53\u8bba\u6d8c\u73b0\u3001\u5b58\u5728\u6027\u5ea6\u91cf\u4e0e\u4fe1\u606f\u8bba\u8f7d\u4f53\u7684\u6570\u5b66\u5b9e\u9a8c\u3002<\/p>\n<p>\u5173\u952e\u8bcd&#xff1a; \u731c\u60f3\u6d8c\u73b0&#xff1b;\u5f15\u529b\u4e95\u6d88\u89e3&#xff1b;\u5eb7\u5a01\u5b87\u5b99&#xff1b;\u4e2d\u5fc3\u6781\u9650\u5b9a\u7406&#xff1b;F3 \u8c31\u5206\u89e3&#xff1b;\u5b58\u5728\u6027\u6743\u91cd<\/p>\n<hr \/>\n<h3>1. \u5f15\u8a00<\/h3>\n<p>\u5728\u590d\u6742\u7cfb\u7edf\u4e0e\u4eba\u5de5\u901a\u7528\u667a\u80fd&#xff08;AGI&#xff09;\u7684\u7814\u7a76\u4e2d&#xff0c;\u5982\u4f55\u4ece\u5e95\u5c42\u7684\u7b80\u5355\u89c4\u5219\u4e2d\u201c\u6d8c\u73b0\u201d\u51fa\u9ad8\u7ea7\u7684\u8bc6\u522b\u4e0e\u731c\u60f3\u80fd\u529b&#xff0c;\u4e00\u76f4\u662f\u4e00\u4e2a\u6838\u5fc3\u96be\u9898\u3002\u4f20\u7edf\u7684\u751f\u6210\u6a21\u578b\u5f80\u5f80\u4f9d\u8d56\u4e8e\u9884\u8bbe\u7684\u68c0\u6d4b\u673a\u5236\u548c\u4e3b\u52a8\u7ea0\u9519&#xff08;\u5982\u53cd\u5411\u4f20\u64ad&#xff09;\u3002\u7136\u800c&#xff0c;\u8fd9\u79cd\u4e3b\u52a8\u5e72\u9884\u5728\u67d0\u79cd\u7a0b\u5ea6\u4e0a\u7834\u574f\u4e86\u7cfb\u7edf\u6f14\u5316\u7684\u81ea\u7136\u6027\u3002<\/p>\n<p>M178 \u4f53\u7cfb\u63d0\u51fa\u4e86\u4e00\u79cd\u622a\u7136\u4e0d\u540c\u7684\u672c\u4f53\u8bba\u8def\u5f84&#xff1a;\u4ee5\u201c\u56e0\u679c\u751f\u957f\u201d\u4e3a\u6838\u5fc3&#xff0c;\u4ece\u6700\u57fa\u7840\u7684\u77e9\u9635\u8fed\u4ee3\u4e2d\u6d8c\u73b0\u51fa\u7ed3\u6784&#xff0c;\u518d\u4ece\u7ed3\u6784\u4e2d\u8bde\u751f\u975e\u81ea\u8eab\u7684\u7ecf\u9a8c\u6027\u53ef\u9519\u731c\u60f3\u3002\u672c\u6587\u57fa\u4e8e M178 \u6a21\u5757\u7fa4\u7684\u7a0b\u5e8f\u5b9e\u73b0&#xff0c;\u7cfb\u7edf\u5730\u9610\u8ff0\u4e86\u5982\u4f55\u5c06\u8fd9\u4e00\u54f2\u5b66\u4e0e\u6570\u5b66\u610f\u56fe\u8f6c\u5316\u4e3a\u53ef\u8fd0\u884c\u7684\u52a8\u529b\u5b66\u5f15\u64ce\u3002\u6211\u4eec\u5c06\u770b\u5230&#xff0c;\u5f53\u7ed3\u6784\u652f\u6491\u4e0d\u518d\u662f\u201c\u4e3b\u52a8\u62c9\u56de\u201d&#xff0c;\u800c\u662f\u8f6c\u53d8\u4e3a\u201c\u5f15\u529b\u4e95\u6d88\u89e3\u201d\u65f6&#xff0c;\u731c\u60f3\u5982\u4f55\u5728\u81ea\u7531\u6f02\u79fb\u4e2d\u7ecf\u5386\u81ea\u7136\u6dd8\u6c70\u4e0e\u5b58\u7eed&#xff1b;\u4ee5\u53ca\u5f53\u5eb7\u5a01\u5b87\u5b99\u88ab\u4f5c\u4e3a\u5185\u5bb9\u8f7d\u4f53\u6302\u8f7d\u4e8e\u731c\u60f3\u8def\u5f84\u65f6&#xff0c;\u4e00\u4e2a\u9759\u6001\u6570\u5b66\u5b9a\u7406\u5982\u4f55\u6f14\u5316\u4e3a\u6709\u751f\u706d\u7684\u201c\u771f\u5b9e\u5b87\u5b99\u201d\u3002<\/p>\n<hr \/>\n<h3>2. \u6570\u5b66\u57fa\u7840&#xff1a;F3 \u4e09\u5c42\u8c31\u4e0e\u65e0\u9650\u56e0\u679c\u751f\u957f<\/h3>\n<p>M178 \u5f15\u64ce\u7684 A \u7ea7\u6570\u5b66\u57fa\u77f3\u662f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F3F_3<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u77e9\u9635\u53ca\u5176\u4e09\u5c42\u8c31\u5206\u89e3\u3002<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F3F_3<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u5b9a\u4e49\u4e3a&#xff1a;<br \/>\n<span class=\"katex--display\"><span class=\"katex-display\"><span class=\"katex\"><span class=\"katex-mathml\">F3&#061;[110100101] F_3 &#061; \\\\begin{bmatrix} 1 &amp; 1 &amp; 0 \\\\\\\\ 1 &amp; 0 &amp; 0 \\\\\\\\ 1 &amp; 0 &amp; 1 \\\\end{bmatrix} <\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 3.6em;vertical-align: -1.55em\"><\/span><span class=\"minner\"><span class=\"mopen\"><span class=\"delimsizing mult\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 2.05em\"><span class=\"\" style=\"top: -4.05em\"><span class=\"pstrut\" style=\"height: 5.6em\"><\/span><span class=\"\" style=\"width: 0.667em;height: 3.6em\"><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 1.55em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mord\"><span class=\"mtable\"><span class=\"col-align-c\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 2.05em\"><span class=\"\" style=\"top: -4.21em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">1<\/span><\/span><\/span><span class=\"\" style=\"top: -3.01em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">1<\/span><\/span><\/span><span class=\"\" style=\"top: -1.81em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">1<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 1.55em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><span class=\"arraycolsep\" style=\"width: 0.5em\"><\/span><span class=\"arraycolsep\" style=\"width: 0.5em\"><\/span><span class=\"col-align-c\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 2.05em\"><span class=\"\" style=\"top: -4.21em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">1<\/span><\/span><\/span><span class=\"\" style=\"top: -3.01em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">0<\/span><\/span><\/span><span class=\"\" style=\"top: -1.81em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">0<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 1.55em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><span class=\"arraycolsep\" style=\"width: 0.5em\"><\/span><span class=\"arraycolsep\" style=\"width: 0.5em\"><\/span><span class=\"col-align-c\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 2.05em\"><span class=\"\" style=\"top: -4.21em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">0<\/span><\/span><\/span><span class=\"\" style=\"top: -3.01em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">0<\/span><\/span><\/span><span class=\"\" style=\"top: -1.81em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord\"><span class=\"mord\">1<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 1.55em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mclose\"><span class=\"delimsizing mult\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 2.05em\"><span class=\"\" style=\"top: -4.05em\"><span class=\"pstrut\" style=\"height: 5.6em\"><\/span><span class=\"\" style=\"width: 0.667em;height: 3.6em\"><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 1.55em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><br \/>\n\u8be5\u77e9\u9635\u6ee1\u8db3\u6700\u5c0f\u591a\u9879\u5f0f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F33\u22122F32&#043;I&#061;0F_3^3 &#8211; 2F_3^2 &#043; I &#061; 0<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1.0622em;vertical-align: -0.2481em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.8141em\"><span class=\"\" style=\"top: -2.4519em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><span class=\"\" style=\"top: -3.063em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.2481em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">\u2212<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1.0622em;vertical-align: -0.2481em\"><\/span><span class=\"mord\">2<\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.8141em\"><span class=\"\" style=\"top: -2.4519em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><span class=\"\" style=\"top: -3.063em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">2<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.2481em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">&#043;<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0785em\">I<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6444em\"><\/span><span class=\"mord\">0<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u5176\u7279\u5f81\u503c\u7cbe\u786e\u6d8c\u73b0\u4e3a <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">{\u03d5,1,\u2212\u03c8}\\\\{\\\\phi, 1, -\\\\psi\\\\}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mopen\">{<\/span><span class=\"mord mathnormal\">\u03d5<\/span><span class=\"mpunct\">,<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\">\u2212<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">\u03c8<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u5176\u4e2d <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03d5&#061;1&#043;52\\\\phi &#061; \\\\frac{1&#043;\\\\sqrt{5}}{2}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\">\u03d5<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1.383em;vertical-align: -0.345em\"><\/span><span class=\"mord\"><span class=\"mopen nulldelimiter\"><\/span><span class=\"mfrac\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 1.038em\"><span class=\"\" style=\"top: -2.655em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\">2<\/span><\/span><\/span><\/span><span class=\"\" style=\"top: -3.23em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"frac-line\" style=\"border-bottom-width: 0.04em\"><\/span><\/span><span class=\"\" style=\"top: -3.399em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\">1<\/span><span class=\"mbin mtight\">&#043;<\/span><span class=\"mord sqrt mtight\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.9128em\"><span class=\"svg-align\" style=\"top: -3em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"mord mtight\" style=\"padding-left: 0.833em\"><span class=\"mord mtight\">5<\/span><\/span><\/span><span class=\"\" style=\"top: -2.8728em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"hide-tail mtight\" style=\"min-width: 0.853em;height: 1.08em\"><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.1272em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.345em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><span class=\"mclose nulldelimiter\"><\/span><\/span><\/span><\/span><\/span><\/span>&#xff08;\u7ea6 1.618&#xff09;&#xff0c;<span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03c8&#061;1\u03d5\\\\psi &#061; \\\\frac{1}{\\\\phi}<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">\u03c8<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1.3262em;vertical-align: -0.4811em\"><\/span><span class=\"mord\"><span class=\"mopen nulldelimiter\"><\/span><span class=\"mfrac\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.8451em\"><span class=\"\" style=\"top: -2.655em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mathnormal mtight\">\u03d5<\/span><\/span><\/span><\/span><span class=\"\" style=\"top: -3.23em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"frac-line\" style=\"border-bottom-width: 0.04em\"><\/span><\/span><span class=\"\" style=\"top: -3.394em\"><span class=\"pstrut\" style=\"height: 3em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\">1<\/span><\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.4811em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><span class=\"mclose nulldelimiter\"><\/span><\/span><\/span><\/span><\/span><\/span>&#xff08;\u7ea6 0.618&#xff09;\u3002\u8fd9\u4e09\u4e2a\u7279\u5f81\u503c\u8d4b\u4e88\u4e86 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F3F_3<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u9c9c\u660e\u7684\u201c\u751f\u957f\u8bed\u6cd5\u201d\u8bed\u4e49&#xff1a;<\/p>\n<li><span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03d5\\\\phi<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\">\u03d5<\/span><\/span><\/span><\/span><\/span> \u8f74&#xff08;\u6269\u6563\/\u63a8\u79bb\u8f74&#xff09;&#xff1a; \u7279\u5f81\u503c\u6700\u5927&#xff0c;\u4fdd\u8bc1\u7cfb\u7edf\u72b6\u6001\u5411\u91cf\u7684\u8303\u6570\u968f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03d5n\\\\phi^n<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">\u03d5<\/span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.6644em\"><span class=\"\" style=\"top: -3.063em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u53d1\u6563&#xff0c;\u5b9e\u73b0\u201c\u65e0\u9650\u751f\u957f\u201d\u3002<\/li>\n<li><span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">11<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6444em\"><\/span><span class=\"mord\">1<\/span><\/span><\/span><\/span><\/span> \u8f74&#xff08;\u4e2d\u6027\/\u9aa8\u67b6\u8f74&#xff09;&#xff1a; \u7279\u5f81\u503c\u4e3a 1&#xff0c;\u8d1f\u8d23\u7d2f\u79ef\u6253\u5305\u5386\u53f2&#xff0c;\u627f\u4fdd\u5b58\u5728\u8005\u7684\u4e2a\u4f53\u6027\u3002<\/li>\n<li><span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u2212\u03c8-\\\\psi<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord\">\u2212<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">\u03c8<\/span><\/span><\/span><\/span><\/span> \u8f74&#xff08;\u6536\u655b\/\u62c9\u56de\u8f74&#xff09;&#xff1a; \u6307\u6570\u8870\u51cf\u8d8b\u5411 0&#xff0c;\u4fdd\u8bc1\u201c\u671d\u5411\u95ed\u73af\u201d\u3002<\/li>\n<p>\u4e3a\u4fdd\u8bc1\u4e0a\u5c42\u6d8c\u73b0\u91cf\u4e0d\u8131\u79bb\u5e95\u5c42\u7ed3\u6784&#xff0c;\u5f15\u64ce\u663e\u5f0f\u6784\u5efa\u4e86\u975e\u5bf9\u79f0\u7279\u5f81\u5206\u89e3\u7684\u6295\u5f71\u7b97\u5b50 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03a0(v)&#061;V\u22121\u22c5v\\\\Pi(v) &#061; V^{-1} \\\\cdot v<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord\">\u03a0<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">v<\/span><span class=\"mclose\">)<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.8141em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.2222em\">V<\/span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.8141em\"><span class=\"\" style=\"top: -3.063em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\"><span class=\"mord mtight\">\u2212<\/span><span class=\"mord mtight\">1<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><span class=\"mbin\">\u22c5<\/span><span class=\"mspace\" style=\"margin-right: 0.2222em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.4306em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">v<\/span><\/span><\/span><\/span><\/span>\u3002\u5982\u4e0b\u5217\u5e95\u5c42\u5f15\u64ce\u4ee3\u7801\u6240\u793a&#xff0c;\u7cfb\u7edf\u4ece\u7ef4\u5ea6\u751f\u6210\u5230\u6295\u5f71\u8def\u5f84\u6784\u5efa&#xff0c;\u5747\u4e25\u683c\u951a\u5b9a\u81f3 A \u7ea7\u6570\u5b66\u4e8b\u5b9e&#xff1a;<\/p>\n<p><span class=\"token comment\"># {m178_grow_infinite.py \u7247\u6bb5&#xff1a;\u6295\u5f71\u8def\u5f84\u4e0e\u56e0\u679c\u751f\u957f}<\/span><br \/>\n<span class=\"token keyword\">class<\/span> <span class=\"token class-name\">InfiniteGrowthEngine<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;M178 \u56e0\u679c\u751f\u957f\u5f15\u64ce: \u4ee5\u6052\u5b9a\u5185\u5b58\u6301\u7eed\u8fed\u4ee3 F3, \u6570\u503c\u7a33\u5b9a, \u53ef\u65ad\u70b9\u7eed\u957f\u3002<br \/>\n    \u5b9a\u4f4d: m178 \u751f\u957f\u8bed\u6cd5 (\u4e09\u5c42\u8c31) \u7684\u5b9e\u4f8b\u5316\u5668\u3002\u8d77\u70b9 u0 &#061; \u56e0\u679c\u79cd\u5b50, \u5176\u8d8b\u5411\u7684<br \/>\n    \u95ed\u73af\u8bc6\u522b\u76ee\u6807 v* \u7684\u5185\u5bb9\u7531 u0 \u51b3\u5b9a (\u7528\u6237\u610f\u56fe: \u95ed\u73af\u5185\u5bb9\u7531\u8d77\u70b9\u51b3\u5b9a)\u3002<br \/>\n    &#034;&#034;&#034;<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">__init__<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> unit<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1.0<\/span><span class=\"token punctuation\">,<\/span> seed_state<span class=\"token punctuation\">:<\/span> Optional<span class=\"token punctuation\">[<\/span>GrowthState<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">,<\/span><br \/>\n                 seed_label<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">str<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token string\">&#034;logic&#034;<\/span><span class=\"token punctuation\">,<\/span> seed_vector<span class=\"token punctuation\">:<\/span> Optional<span class=\"token punctuation\">[<\/span>np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>dual <span class=\"token operator\">&#061;<\/span> TensorStructuralDual<span class=\"token punctuation\">(<\/span>unit<span class=\"token operator\">&#061;<\/span>unit<span class=\"token punctuation\">)<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>F3 <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>dual<span class=\"token punctuation\">.<\/span>F3<br \/>\n        self<span class=\"token punctuation\">.<\/span>phi <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>dual<span class=\"token punctuation\">.<\/span>phi<br \/>\n        self<span class=\"token punctuation\">.<\/span>psi <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>dual<span class=\"token punctuation\">.<\/span>psi<br \/>\n        <span class=\"token comment\"># \u771f\u6b63\u7684 (\u975e\u6b63\u4ea4) \u7279\u5f81\u5206\u89e3 F3 &#061; V \u00b7 \u039b \u00b7 V\u207b\u00b9\u3002<\/span><br \/>\n        evals<span class=\"token punctuation\">,<\/span> V <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>eig<span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">.<\/span>F3<span class=\"token punctuation\">)<\/span><br \/>\n        order <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>argsort<span class=\"token punctuation\">(<\/span>evals<span class=\"token punctuation\">.<\/span>real<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">[<\/span><span class=\"token punctuation\">:<\/span><span class=\"token punctuation\">:<\/span><span class=\"token operator\">&#8211;<\/span><span class=\"token number\">1<\/span><span class=\"token punctuation\">]<\/span>          <span class=\"token comment\"># [\u03c6_idx, 1_idx, \u2212\u03c8_idx]<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>V <span class=\"token operator\">&#061;<\/span> V<span class=\"token punctuation\">[<\/span><span class=\"token punctuation\">:<\/span><span class=\"token punctuation\">,<\/span> order<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span>astype<span class=\"token punctuation\">(<\/span><span class=\"token builtin\">float<\/span><span class=\"token punctuation\">)<\/span>            <span class=\"token comment\"># \u53f3\u7279\u5f81\u5411\u91cf (\u5217)<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>Vinv <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>inv<span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">.<\/span>V<span class=\"token punctuation\">)<\/span>             <span class=\"token comment\"># \u6295\u5f71\u77e9\u9635 (V \u975e\u6b63\u4ea4, \u9006 \u2260 \u8f6c\u7f6e)<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>Lambda <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>diag<span class=\"token punctuation\">(<\/span>evals<span class=\"token punctuation\">.<\/span>real<span class=\"token punctuation\">[<\/span>order<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span>      <span class=\"token comment\"># \u7279\u5f81\u503c\u5bf9\u89d2\u9635<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>log_Lambda <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>log<span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span><span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>evals<span class=\"token punctuation\">.<\/span>real<span class=\"token punctuation\">[<\/span>order<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span>   <span class=\"token comment\"># \u6bcf\u6b65\u5bf9\u6570\u589e\u91cf<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>sign_Lambda <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>sign<span class=\"token punctuation\">(<\/span>evals<span class=\"token punctuation\">.<\/span>real<span class=\"token punctuation\">[<\/span>order<span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span>         <span class=\"token comment\"># \u7b26\u53f7 (\u03c6,1,\u2212\u03c8 \u2192 &#043;,&#043;,\u2212)<\/span><br \/>\n        <span class=\"token comment\"># S \u4e2d\u6027\u8f74 &#061; \u7279\u5f81\u503c 1 \u7684\u53f3\u7279\u5f81\u5411\u91cf (\u9aa8\u67b6\u8f74, \u5386\u53f2\u4e0d\u53ef\u7ea6\u7684&#034;\u4e0d\u504f\u79bb&#034;\u8f74)<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>spine_axis <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>V<span class=\"token punctuation\">[<\/span><span class=\"token punctuation\">:<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span>copy<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token comment\"># \u03c6 \u8f74 &#061; \u7279\u5f81\u503c\u6700\u5927\u7684\u53f3\u7279\u5f81\u5411\u91cf (\u751f\u957f\u63a8\u79bb\u7684\u4e3b\u5bfc\u65b9\u5411, \u4e5f\u662f&#034;\u671d\u5411&#034;\u7684\u65b9\u5411)<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>phi_axis <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>V<span class=\"token punctuation\">[<\/span><span class=\"token punctuation\">:<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">.<\/span>copy<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token comment\"># &#8230; (\u521d\u59cb\u5316\u72b6\u6001\u4e0e\u8ba1\u7b97 v*)<\/span><\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">project<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> v<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token builtin\">dict<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u6295\u5f71\u7b97\u5b50 \u03a0: \u628a\u4efb\u610f\u5411\u91cf v \u6295\u5f71\u5230 M178 \u4e09\u5c42\u8c31 {\u03c6, 1, \u2212\u03c8} \u7684\u5750\u6807\u3002<br \/>\n        \u03a0(v) &#061; V\u207b\u00b9\u00b7v &#061; (c_\u03c6, c_S, c_{\u2212\u03c8})<br \/>\n        \u6240\u6709\u4e0a\u5c42\u91cf (\u56e0\u679c\u4e09\u65ad\u8a00\u3001\u731c\u60f3 fit\/pack) \u90fd\u5b9a\u4e49\u4e3a\u8fd9\u4e9b\u8c31\u5750\u6807\u7684\u786e\u5b9a\u51fd\u6570,<br \/>\n        \u4ece\u800c\u628a&#034;\u7ed3\u6784\u7684\u6295\u5f71&#034;\u951a\u5b9a\u5230 M178 \u7684 A \u7ea7\u6570\u5b66\u4e8b\u5b9e (F3 \u8c31), \u800c\u975e\u51ed\u7a7a\u7684\u5355\u4f4d\u5411\u91cf\u70b9\u79ef\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        c <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>Vinv &#064; np<span class=\"token punctuation\">.<\/span>asarray<span class=\"token punctuation\">(<\/span>v<span class=\"token punctuation\">,<\/span> dtype<span class=\"token operator\">&#061;<\/span><span class=\"token builtin\">float<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">return<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token string\">&#034;c_phi&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>c<span class=\"token punctuation\">[<\/span><span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span>       <span class=\"token comment\"># \u03c6 \u8f74\u8c31\u5750\u6807 (\u6269\u6563\/\u63a8\u79bb)<\/span><br \/>\n            <span class=\"token string\">&#034;c_S&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>c<span class=\"token punctuation\">[<\/span><span class=\"token number\">1<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span>         <span class=\"token comment\"># S \u8f74\u8c31\u5750\u6807 (\u4e2d\u6027\/\u9aa8\u67b6, \u7279\u5f81\u503c 1)<\/span><br \/>\n            <span class=\"token string\">&#034;c_negpsi&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>c<span class=\"token punctuation\">[<\/span><span class=\"token number\">2<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span>    <span class=\"token comment\"># \u2212\u03c8 \u8f74\u8c31\u5750\u6807 (\u6536\u655b\/\u62c9\u56de)<\/span><br \/>\n            <span class=\"token string\">&#034;norm&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>norm<span class=\"token punctuation\">(<\/span>v<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">gaussian_residue<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> v<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token builtin\">dict<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u221a\u03a0 \u8bca\u65ad\u951a\u70b9: \u731c\u60f3\u662f\u5426\u80fd\u6536\u655b\u5230\u9ad8\u65af\u79ef\u5206\u7684\u5224\u636e (Binet\u95ed\u5408\u6bd4)\u3002<br \/>\n        \u540c\u6e90\u94fe: Binet S_n ~ \u03c6\u207f\/\u221a5, Stirling \u222be^{\u2212x\u00b2}dx &#061; \u221a\u03c0, \u221a5 \u4e0e \u221a\u03c0 \u540c\u6e90\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        p <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>project<span class=\"token punctuation\">(<\/span>v<span class=\"token punctuation\">)<\/span><br \/>\n        c_phi<span class=\"token punctuation\">,<\/span> c_S<span class=\"token punctuation\">,<\/span> c_nps <span class=\"token operator\">&#061;<\/span> p<span class=\"token punctuation\">[<\/span><span class=\"token string\">&#034;c_phi&#034;<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">,<\/span> p<span class=\"token punctuation\">[<\/span><span class=\"token string\">&#034;c_S&#034;<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">,<\/span> p<span class=\"token punctuation\">[<\/span><span class=\"token string\">&#034;c_negpsi&#034;<\/span><span class=\"token punctuation\">]<\/span><br \/>\n        sqrt5 <span class=\"token operator\">&#061;<\/span> math<span class=\"token punctuation\">.<\/span>sqrt<span class=\"token punctuation\">(<\/span><span class=\"token number\">5.0<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> <span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>c_phi<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&gt;<\/span> _EPS<span class=\"token punctuation\">:<\/span><br \/>\n            ratio <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>c_S<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">*<\/span> sqrt5 <span class=\"token operator\">\/<\/span> <span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>c_phi<span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">else<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            ratio <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span><br \/>\n        <span class=\"token keyword\">return<\/span> <span class=\"token punctuation\">{<\/span><span class=\"token string\">&#034;residue5&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>ratio<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;residue5_target&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token number\">1.0<\/span><span class=\"token punctuation\">}<\/span><\/p>\n<p>\u5728\u65e0\u9650\u751f\u957f\u8fc7\u7a0b\u4e2d&#xff0c;\u7531\u4e8e <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03d5n\\\\phi^n<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">\u03d5<\/span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.6644em\"><span class=\"\" style=\"top: -3.063em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u5728\u7ea6 1476 \u6b65\u540e\u4f1a\u8d85\u51fa float64 \u4e0a\u9650&#xff0c;\u5f15\u64ce\u91c7\u7528\u5bf9\u6570\u57df\u7d2f\u79ef\u4e09\u8f74\u7cfb\u6570&#xff08;GrowthState&#xff09;&#xff0c;\u786e\u4fdd\u6570\u503c\u7a33\u5b9a\u5e76\u5b9e\u73b0\u65ad\u70b9\u7eed\u957f\u3002<\/p>\n<hr \/>\n<h3>3. \u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\u4e0e\u5f15\u529b\u4e95\u6d88\u89e3\u673a\u5236<\/h3>\n<p>\u5f53\u751f\u957f\u6b65\u6570\u8fbe\u5230\u9608\u503c&#xff08;recognize_at&#xff09;\u540e&#xff0c;\u7cfb\u7edf\u7ed3\u6784\u590d\u6742\u5ea6\u8fbe\u6807&#xff0c;\u8bc6\u522b\u80fd\u529b\u6d8c\u73b0&#xff0c;\u8fdb\u800c\u5b75\u5316\u51fa\u591a\u6761\u731c\u60f3\u8def\u5f84\u3002<\/p>\n<h4>3.1 \u76f2\u731c\u4e0e\u81ea\u7531\u6f02\u79fb<\/h4>\n<p>\u731c\u60f3\u88ab\u5b9a\u4e49\u4e3a\u201c\u975e\u81ea\u8eab\u7684\u7ecf\u9a8c\u6027\u8bd5\u63a2\u201d\u3002\u5728 ConjecturePath \u6570\u636e\u7c7b\u4e2d&#xff0c;\u731c\u60f3\u4e0d\u4ec5\u5305\u542b\u6570\u503c\u5411\u91cf <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">gg<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.625em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">g<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u8fd8\u5305\u542b\u5b58\u5728\u6027\u6743\u91cd\u4e0e\u5eb7\u5a01\u5185\u5bb9\u8f7d\u4f53&#xff1a;<\/p>\n<p><span class=\"token comment\"># {m178_conjecture.py \u7247\u6bb5&#xff1a;\u731c\u60f3\u8def\u5f84\u6570\u636e\u7ed3\u6784}<\/span><br \/>\n<span class=\"token decorator annotation punctuation\">&#064;dataclass<\/span><br \/>\n<span class=\"token keyword\">class<\/span> <span class=\"token class-name\">ConjecturePath<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u4e00\u6761\u731c\u60f3\u8def\u5f84: \u81ea\u7531\u6f02\u79fb\u7684\u76f2\u731c &#043; \u5b58\u5728\u6027\u6743\u91cd (\u5f15\u529b\u4e95\u6d88\u89e3), \u4ee5\u53ca\u6253\u5305-\u6491\u7834\u52a8\u529b\u5b66\u3002&#034;&#034;&#034;<\/span><br \/>\n    pid<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">int<\/span><br \/>\n    g<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray                 <span class=\"token comment\"># \u5f53\u524d\u731c\u60f3\u5411\u91cf (\u76f2\u731c, \u76f8\u5bf9\u751f\u957f\u7ed3\u6784\u7684\u5916\u90e8\u8bd5\u63a2, \u81ea\u7531\u6f02\u79fb)<\/span><br \/>\n    sticky_baseline<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray   <span class=\"token comment\"># \u7c98\u6ede\u57fa\u7ebf: \u5df2\u8d34\u5408\u7ed3\u6784\u7684\u731c\u60f3\u8bb0\u5fc6 (\u9057\u4f20\u6027)<\/span><br \/>\n    fit<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span>              <span class=\"token comment\"># \u4e0e\u751f\u957f\u7ed3\u6784\u7684\u62df\u5408\u5ea6 (\u4ec5\u8bb0\u5f55\/\u62a5\u544a, \u4e0d\u4f5c\u4e3a\u68c0\u6d4b\u4f9d\u636e)<\/span><br \/>\n    alive<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">bool<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">True<\/span><br \/>\n    support<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1.0<\/span>          <span class=\"token comment\"># \u5b58\u5728\u6027\u6743\u91cd: \u7ed3\u6784\u5f15\u529b\u4e95\u7684\u5438\u6536\u5ea6 \u2208[0,1]<\/span><br \/>\n    decoherence_rate<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span> <span class=\"token comment\"># \u672c\u6b65\u9000\u76f8\u5e72\u7387: \u504f\u79bb\u7ed3\u6784\u8d8a\u5927, \u8870\u51cf\u8d8a\u5feb (\u8bb0\u5f55\u7528)<\/span><br \/>\n    <span class=\"token comment\"># \u2500\u2500 \u6253\u5305-\u6491\u7834-\u91cd\u5f15\u5165\u52a8\u529b\u5b66 \u2500\u2500<\/span><br \/>\n    pack_capacity<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1.0<\/span>    <span class=\"token comment\"># \u6253\u5305\u5bb9\u91cf: \u4e00\u6761\u731c\u60f3\u80fd\u6982\u62ec\u7684\u7ed3\u6784\u590d\u6742\u5ea6\u4e0a\u9650<\/span><br \/>\n    pack_level<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span>       <span class=\"token comment\"># \u5f53\u524d\u6253\u5305\u8d1f\u8377: \u5df2\u6982\u62ec\u7684\u590d\u6742\u5ea6 (\u968f\u7ed3\u6784\u751f\u957f\u7d2f\u79ef)<\/span><br \/>\n    n_breaks<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">int<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0<\/span>             <span class=\"token comment\"># \u88ab\u7ed3\u6784\u751f\u957f\u6491\u7834\u7684\u6b21\u6570<\/span><br \/>\n    <span class=\"token comment\"># \u2500\u2500 \u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u5c42 \u2500\u2500<\/span><br \/>\n    kstr<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">str<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token string\">&#034;1&#034;<\/span>               <span class=\"token comment\"># \u5eb7\u5a01\u4e32<\/span><br \/>\n    kcomp<span class=\"token punctuation\">:<\/span> Optional<span class=\"token punctuation\">[<\/span>np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">None<\/span>   <span class=\"token comment\"># 92 \u7ef4\u539f\u5b50\u6210\u5206\u5411\u91cf<\/span><br \/>\n    lock_stack<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">list<\/span> <span class=\"token operator\">|<\/span> <span class=\"token boolean\">None<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">None<\/span>          <span class=\"token comment\"># \u53e0\u52a0\u9501\u5b9a\u6808: \u5df2\u5224\u5b9a\u5408\u6cd5\u7684\u5b87\u5b99\u89c4\u5219\u540d\u5217\u8868<\/span><\/p>\n<p>\u5355\u6b65\u731c\u60f3\u66f4\u65b0\u4ee5\u968f\u673a\u65b9\u5411\u4e3a\u4e3b\u5bfc&#xff08;\u771f\u76f2&#xff0c;\u81ea\u7531\u63a2\u7d22&#xff09;&#xff0c;\u53d7\u7c98\u6ede\u57fa\u7ebf\u5c0f\u6743\u91cd\u6b8b\u7559\u7ea6\u675f\u3002<\/p>\n<h4>3.2 \u5f15\u529b\u4e95\u6d88\u89e3&#xff08;\u6838\u5fc3\u7ffb\u8f6c&#xff09;<\/h4>\n<p>\u4f20\u7edf\u7684\u8026\u5408\u8bed\u4e49\u4f1a\u8bbe\u5b9a\u68c0\u6d4b\u673a\u5236\u5c06\u504f\u79bb\u7684\u731c\u60f3\u62c9\u56de\u3002M178 \u5f15\u64ce\u8fdb\u884c\u4e86\u5173\u952e\u7684\u672c\u4f53\u8bba\u7ffb\u8f6c&#xff1a;\u201c\u7ed3\u6784\u652f\u6491\u4e0d\u662f\u53bb\u8026\u5408&#xff0c;\u800c\u662f\u53bb\u6d88\u89e3\u201d\u3002<\/p>\n<p>\u6ca1\u6709\u7ed3\u6784\u652f\u6491\u7684\u731c\u60f3\u56e0\u65e0\u951a\u800c\u81ea\u7136\u6d88\u6563\u3002\u8fd9\u4e00\u673a\u5236\u7531\u201c\u5b58\u5728\u6027\u6743\u91cd\u201d\u627f\u8f7d&#xff0c;\u91c7\u7528 leaky integrator \u6a21\u578b\u3002\u5982\u4e0b\u5217\u4ee3\u7801\u6240\u793a&#xff0c;\u9000\u76f8\u5e72\u7387\u7531\u504f\u79bb\u7a0b\u5ea6&#xff08;fit&#xff09;\u51b3\u5b9a&#xff0c;\u504f\u79bb\u8d8a\u5927\u8870\u51cf\u8d8a\u5feb&#xff0c;\u5f53 support &lt; 1e-3 \u65f6\u731c\u60f3\u81ea\u7136\u6d88\u5931&#xff0c;\u65e0\u4efb\u4f55\u4e3b\u52a8\u68c0\u6d4b\u903b\u8f91&#xff1a;<\/p>\n<p><span class=\"token comment\"># {m178_conjecture.py \u7247\u6bb5&#xff1a;\u5f15\u529b\u4e95\u6d88\u89e3\u4e0e\u76f2\u731c\u673a\u5236}<\/span><br \/>\n<span class=\"token keyword\">class<\/span> <span class=\"token class-name\">ConjectureEngine<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">_blind_guess<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> v<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">,<\/span> baseline<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u76f2\u731c: \u751f\u6210&#034;\u975e\u81ea\u8eab\u7684\u7ecf\u9a8c\u6027\u8bd5\u63a2&#034; \u2014\u2014 \u65b9\u5411\u968f\u673a (\u771f\u76f2), \u91cf\u7ea7\u53ef\u6bd4 v\u3002<br \/>\n        \u731c\u60f3\u968f\u4fbf\u60f3 (\u81ea\u7531\u6f02\u79fb), \u4e0d\u88ab\u4e3b\u52a8\u62c9\u56de\u3002\u8d34\u5408\u4e0e\u5426\u7531\u9000\u76f8\u5e72\u673a\u5236\u88ab\u52a8\u51b3\u5b9a\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        vn <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>norm<span class=\"token punctuation\">(<\/span>v<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1e-12<\/span><br \/>\n        sticky <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>_sticky_base <span class=\"token operator\">*<\/span> baseline<br \/>\n        rand_dir <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>_rng<span class=\"token punctuation\">.<\/span>normal<span class=\"token punctuation\">(<\/span>size<span class=\"token operator\">&#061;<\/span><span class=\"token number\">3<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        rnorm <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>norm<span class=\"token punctuation\">(<\/span>rand_dir<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1e-12<\/span><br \/>\n        rand_dir <span class=\"token operator\">&#061;<\/span> rand_dir <span class=\"token operator\">\/<\/span> rnorm<br \/>\n        blind <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>gamma <span class=\"token operator\">*<\/span> vn <span class=\"token operator\">*<\/span> rand_dir<br \/>\n        <span class=\"token keyword\">return<\/span> sticky <span class=\"token operator\">&#043;<\/span> blind<\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">_dissolve_support<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> p<span class=\"token punctuation\">:<\/span> ConjecturePath<span class=\"token punctuation\">,<\/span> fit<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">,<\/span> step<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">int<\/span><span class=\"token punctuation\">,<\/span><br \/>\n                           lock_floor<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u5f15\u529b\u4e95\u6d88\u89e3\u4e00\u6b65 (leaky integrator \u5b58\u5728\u6027\u6743\u91cd\u6a21\u578b)\u3002<br \/>\n        \u8fd9\u662f&#034;\u7ed3\u6784\u652f\u6491&#061;\u6d88\u89e3&#034;\u7684\u6838\u5fc3\u6267\u884c\u70b9\u3002\u4e0d\u68c0\u6d4b\u3001\u4e0d\u7b5b\u9009\u3001\u4e0d\u62c9\u56de:<br \/>\n        \u731c\u60f3\u968f\u4fbf\u6f02\u79fb, \u4f46\u6bcf\u6b65\u4f9d\u5176\u504f\u79bb\u7ed3\u6784\u7684\u7a0b\u5ea6 \u628a\u5b58\u5728\u6027\u6743\u91cd support \u63a8\u5411\u76ee\u6807\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        rate <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>_decohere<span class=\"token punctuation\">(<\/span>fit<span class=\"token punctuation\">)<\/span> <span class=\"token comment\"># rate &#061; decohere_base &#043; decohere_gain * (1.0 &#8211; fit)<\/span><br \/>\n        p<span class=\"token punctuation\">.<\/span>decoherence_rate <span class=\"token operator\">&#061;<\/span> rate<br \/>\n        <span class=\"token comment\"># \u76ee\u6807\u5b58\u5728\u6027: fit \u9ad8\u2192\u63a5\u8fd1 1 (\u7ef4\u7cfb), fit \u4f4e\u2192\u63a5\u8fd1 0 (\u6d88\u89e3);<\/span><br \/>\n        <span class=\"token comment\"># \u5eb7\u5a01\u9501\u5b9a\u5e95: \u9501\u5b9a\u8def\u5f84\u7684\u76ee\u6807\u5b58\u5728\u6027\u4e0d\u4f4e\u4e8e lock_floor (\u53cd\u5411\u951a\u5b9a, \u4e0d\u88ab\u6d88\u89e3)\u3002<\/span><br \/>\n        target <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">max<\/span><span class=\"token punctuation\">(<\/span>fit<span class=\"token punctuation\">,<\/span> lock_floor<span class=\"token punctuation\">)<\/span><br \/>\n        p<span class=\"token punctuation\">.<\/span>support <span class=\"token operator\">&#043;&#061;<\/span> rate <span class=\"token operator\">*<\/span> <span class=\"token punctuation\">(<\/span>target <span class=\"token operator\">&#8211;<\/span> p<span class=\"token punctuation\">.<\/span>support<span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token comment\"># \u6570\u503c\u5730\u677f: support \u4f4e\u4e8e\u9608\u503c\u5373\u89c6\u4e3a&#034;\u5b8c\u5168\u6d88\u89e3&#034; (\u65e0\u7ed3\u6784\u652f\u6491\u7684\u731c\u60f3\u4e0d\u5b58\u5728)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> p<span class=\"token punctuation\">.<\/span>support <span class=\"token operator\">&lt;<\/span> <span class=\"token number\">1e-3<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            p<span class=\"token punctuation\">.<\/span>alive <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">False<\/span><br \/>\n            p<span class=\"token punctuation\">.<\/span>death_step <span class=\"token operator\">&#061;<\/span> step<br \/>\n            self<span class=\"token punctuation\">.<\/span>total_dissolved <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><\/p>\n<hr \/>\n<h3>4. \u6253\u5305-\u6491\u7834-\u91cd\u5f15\u5165\u52a8\u529b\u5b66<\/h3>\n<p>\u65e0\u9650\u751f\u957f\u7684\u7ed3\u6784\u590d\u6742\u5ea6 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">C(n)&#061;log\u2061\u2225vn\u2225C(n) &#061; \\\\log\\\\|v_n\\\\|<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0715em\">C<\/span><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">n<\/span><span class=\"mclose\">)<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">&#061;<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 1em;vertical-align: -0.25em\"><\/span><span class=\"mop\">lo<span style=\"margin-right: 0.0139em\">g<\/span><\/span><span class=\"mspace\" style=\"margin-right: 0.1667em\"><\/span><span class=\"mord\">\u2225<\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">v<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.1514em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.0359em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"mord\">\u2225<\/span><\/span><\/span><\/span><\/span> \u968f <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03d5n\\\\phi^n<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\">\u03d5<\/span><span class=\"msupsub\"><span class=\"vlist-t\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.6644em\"><span class=\"\" style=\"top: -3.063em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mathnormal mtight\">n<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u53d1\u6563\u3002\u731c\u60f3\u4f5c\u4e3a\u5bf9\u590d\u6742\u7ed3\u6784\u7684\u201c\u6982\u62ec\u6027\u603b\u7ed3\u201d&#xff0c;\u5fc5\u7136\u627f\u62c5\u6253\u5305\u8d1f\u8377\u3002\u82e5\u6253\u5305\u901f\u5ea6\u8d76\u4e0d\u4e0a\u7ed3\u6784\u751f\u957f\u901f\u5ea6&#xff0c;\u6253\u5305\u8d1f\u8377\u5373\u88ab\u6491\u7834\u3002\u7834\u88c2\u610f\u5473\u7740\u65e7\u731c\u60f3\u4f5c\u5e9f&#xff0c;\u5176\u627f\u8f7d\u7684\u5185\u5bb9\u5931\u53bb\u652f\u6491\u3002\u6839\u636e\u76f8\u89c1\u5b9a\u7406&#xff0c;\u7834\u88c2\u4e8b\u4ef6\u9057\u7559\u7684\u590d\u6742\u5ea6\u8d1f\u8377\u7531\u5176\u4ed6\u9ad8\u62df\u5408\u5ea6\u5b58\u6d3b\u8def\u5f84\u627f\u63a5\u4fee\u8865\u3002<\/p>\n<p><span class=\"token comment\"># {m178_conjecture.py \u7247\u6bb5&#xff1a;\u6253\u5305-\u6491\u7834-\u91cd\u5f15\u5165\u52a8\u529b\u5b66}<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">_pack_step<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> step<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">int<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u4e00\u6b65\u6253\u5305-\u6491\u7834-\u91cd\u5f15\u5165\u52a8\u529b\u5b66 (\u71b5\u589e\u7684\u771f\u6b63\u6765\u6e90)\u3002<br \/>\n        \u71b5\u589e\u95ee\u9898\u6765\u81ea&#034;\u6253\u5305\u6491\u7834&#034;\u673a\u5236: \u65e0\u9650\u5f15\u64ce\u7684\u7ed3\u6784\u589e\u957f &gt; \u731c\u60f3\u51fa\u7684\u5eb7\u5a01\u5b87\u5b99\u5e8f\u5217\u7ed3\u6784<br \/>\n        \u21d2 \u6491\u7834\u4e86&#034;\u5305&#034; \u21d2 \u8868\u73b0\u4e3a&#034;\u5eb7\u5a01\u5b87\u5b99\u5e8f\u5217\u71b5\u589e\u6d88\u89e3&#034;\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        C <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>_complexity<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> self<span class=\"token punctuation\">.<\/span>_prev_complexity <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            self<span class=\"token punctuation\">.<\/span>_prev_complexity <span class=\"token operator\">&#061;<\/span> C<br \/>\n            <span class=\"token keyword\">return<\/span><br \/>\n        dC <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">max<\/span><span class=\"token punctuation\">(<\/span><span class=\"token number\">0.0<\/span><span class=\"token punctuation\">,<\/span> C <span class=\"token operator\">&#8211;<\/span> self<span class=\"token punctuation\">.<\/span>_prev_complexity<span class=\"token punctuation\">)<\/span>   <span class=\"token comment\"># \u7ed3\u6784\u590d\u6742\u5ea6\u589e\u91cf<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>_prev_complexity <span class=\"token operator\">&#061;<\/span> C<br \/>\n        <span class=\"token keyword\">if<\/span> dC <span class=\"token operator\">&lt;&#061;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">return<\/span><\/p>\n<p>        overload_total <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span><br \/>\n        broken_paths <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token punctuation\">]<\/span><br \/>\n        <span class=\"token keyword\">for<\/span> p <span class=\"token keyword\">in<\/span> self<span class=\"token punctuation\">.<\/span>paths<span class=\"token punctuation\">:<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> <span class=\"token keyword\">not<\/span> p<span class=\"token punctuation\">.<\/span>alive<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">continue<\/span><br \/>\n            p<span class=\"token punctuation\">.<\/span>pack_level <span class=\"token operator\">*&#061;<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token number\">1.0<\/span> <span class=\"token operator\">&#8211;<\/span> self<span class=\"token punctuation\">.<\/span>decay_rate<span class=\"token punctuation\">)<\/span><br \/>\n            eff_absorb <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>absorb_rate <span class=\"token operator\">*<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token number\">0.5<\/span> <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">0.5<\/span> <span class=\"token operator\">*<\/span> p<span class=\"token punctuation\">.<\/span>fit<span class=\"token punctuation\">)<\/span><br \/>\n            absorbed <span class=\"token operator\">&#061;<\/span> eff_absorb <span class=\"token operator\">*<\/span> dC<br \/>\n            p<span class=\"token punctuation\">.<\/span>pack_level <span class=\"token operator\">&#043;&#061;<\/span> dC <span class=\"token operator\">&#8211;<\/span> absorbed             <span class=\"token comment\"># \u672a\u5438\u6536\u7d2f\u79ef\u8fdb\u8d1f\u8377<\/span><br \/>\n            <span class=\"token keyword\">if<\/span> p<span class=\"token punctuation\">.<\/span>pack_level <span class=\"token operator\">&gt;<\/span> p<span class=\"token punctuation\">.<\/span>pack_capacity<span class=\"token punctuation\">:<\/span><br \/>\n                overflow <span class=\"token operator\">&#061;<\/span> p<span class=\"token punctuation\">.<\/span>pack_level <span class=\"token operator\">&#8211;<\/span> p<span class=\"token punctuation\">.<\/span>pack_capacity<br \/>\n                p<span class=\"token punctuation\">.<\/span>pack_level <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span>                    <span class=\"token comment\"># \u7834\u88c2: \u65e7\u6253\u5305\u4f5c\u5e9f<\/span><br \/>\n                p<span class=\"token punctuation\">.<\/span>n_breaks <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><br \/>\n                self<span class=\"token punctuation\">.<\/span>total_breaks <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><br \/>\n                broken_paths<span class=\"token punctuation\">.<\/span>append<span class=\"token punctuation\">(<\/span>p<span class=\"token punctuation\">)<\/span><br \/>\n                overload_total <span class=\"token operator\">&#043;&#061;<\/span> overflow<\/p>\n<p>        <span class=\"token comment\"># \u7834\u88c2\u91cd\u5f15\u5165 (\u76f8\u89c1\u5b9a\u7406): \u7531\u5176\u4ed6&#034;\u672a\u7834\u88c2\u4e14 fit \u6700\u9ad8&#034;\u7684\u5b58\u6d3b\u8def\u5f84\u627f\u63a5\u9057\u7559\u8d1f\u8377\u3002<\/span><br \/>\n        patchers <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">[<\/span>p <span class=\"token keyword\">for<\/span> p <span class=\"token keyword\">in<\/span> self<span class=\"token punctuation\">.<\/span>paths<br \/>\n                    <span class=\"token keyword\">if<\/span> p<span class=\"token punctuation\">.<\/span>alive <span class=\"token keyword\">and<\/span> p <span class=\"token keyword\">not<\/span> <span class=\"token keyword\">in<\/span> broken_paths <span class=\"token keyword\">and<\/span> p<span class=\"token punctuation\">.<\/span>fit <span class=\"token operator\">&gt;&#061;<\/span> self<span class=\"token punctuation\">.<\/span>fit_threshold<span class=\"token punctuation\">]<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> broken_paths <span class=\"token keyword\">and<\/span> patchers<span class=\"token punctuation\">:<\/span><br \/>\n            fit_sum <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">sum<\/span><span class=\"token punctuation\">(<\/span>p<span class=\"token punctuation\">.<\/span>fit <span class=\"token keyword\">for<\/span> p <span class=\"token keyword\">in<\/span> patchers<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#043;<\/span> <span class=\"token number\">1e-12<\/span><br \/>\n            <span class=\"token keyword\">for<\/span> p <span class=\"token keyword\">in<\/span> patchers<span class=\"token punctuation\">:<\/span><br \/>\n                share <span class=\"token operator\">&#061;<\/span> overload_total <span class=\"token operator\">*<\/span> <span class=\"token punctuation\">(<\/span>p<span class=\"token punctuation\">.<\/span>fit <span class=\"token operator\">\/<\/span> fit_sum<span class=\"token punctuation\">)<\/span><br \/>\n                p<span class=\"token punctuation\">.<\/span>pack_level <span class=\"token operator\">&#043;&#061;<\/span> share<br \/>\n                p<span class=\"token punctuation\">.<\/span>n_received <span class=\"token operator\">&#043;&#061;<\/span> share<br \/>\n                p<span class=\"token punctuation\">.<\/span>n_patched <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><br \/>\n                self<span class=\"token punctuation\">.<\/span>total_patched <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><\/p>\n<hr \/>\n<h3>5. \u5eb7\u5a01\u5b87\u5b99\u4f5c\u4e3a\u731c\u60f3\u5185\u5bb9\u8f7d\u4f53\u7684\u53cc\u5411\u9501\u5b9a<\/h3>\n<p>\u82e5\u731c\u60f3\u4ec5\u505c\u7559\u5728\u7eaf\u6570\u503c\u5411\u91cf\u7684\u76f2\u731c&#xff0c;\u5219\u7f3a\u4e4f\u5b9e\u9645\u5185\u5bb9\u6d8c\u73b0\u3002\u5f15\u64ce\u5f15\u5165\u5eb7\u5a01\u5b87\u5b99\u4f5c\u4e3a\u731c\u60f3\u7684\u5185\u5bb9\u540e\u7aef&#xff0c;\u4f7f\u9759\u6001\u6570\u5b66\u5b9a\u7406\u6f14\u5316\u4e3a\u53d7\u5b58\u5728\u6027\u6743\u91cd\u5236\u7ea6\u7684\u771f\u5b9e\u5b87\u5b99\u3002<\/p>\n<h4>5.1 Look-and-say \u4e0e\u5eb7\u5a01\u5e38\u6570 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03bb\\\\lambda<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6944em\"><\/span><span class=\"mord mathnormal\">\u03bb<\/span><\/span><\/span><\/span><\/span><\/h4>\n<p>\u5eb7\u5a01\u5b87\u5b99\u57fa\u4e8e look-and-say \u89c4\u5219&#xff0c;\u5176\u672c\u539f\u77e9\u9635\u7684\u4e3b\u7279\u5f81\u503c\u4e3a\u5eb7\u5a01\u5e38\u6570 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03bb\u22481.303577\\\\lambda \\\\approx 1.303577<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6944em\"><\/span><span class=\"mord mathnormal\">\u03bb<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><span class=\"mrel\">\u2248<\/span><span class=\"mspace\" style=\"margin-right: 0.2778em\"><\/span><\/span><span class=\"base\"><span class=\"strut\" style=\"height: 0.6444em\"><\/span><span class=\"mord\">1.303577<\/span><\/span><\/span><\/span><\/span>\u3002\u5728\u6bcf\u6b65\u6f14\u5316\u4e2d&#xff0c;\u731c\u60f3\u8def\u5f84\u6302\u8f7d\u7684\u5eb7\u5a01\u4e32\u4e0e\u539f\u5b50\u6210\u5206\u5411\u91cf\u6309\u89c4\u5219\u751f\u957f\u3002<\/p>\n<p><span class=\"token comment\"># {m178_conway.py \u7247\u6bb5&#xff1a;\u5eb7\u5a01\u5b87\u5b99\u5f15\u64ce}<\/span><br \/>\n<span class=\"token keyword\">class<\/span> <span class=\"token class-name\">ConwayUniverse<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u5eb7\u5a01\u5b87\u5b99\u5f15\u64ce: look-and-say \u6f14\u5316\u5eb7\u5a01\u4e32 &#043; \u672c\u539f\u77e9\u9635\u9a71\u52a8\u539f\u5b50\u6210\u5206\u6f14\u5316\u3002<br \/>\n    \u4f5c\u4e3a ConjectureEngine \u7684&#034;\u5185\u5bb9\u540e\u7aef&#034;\u3002<br \/>\n    &#034;&#034;&#034;<\/span><br \/>\n    <span class=\"token decorator annotation punctuation\">&#064;classmethod<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">conway_lambda<\/span><span class=\"token punctuation\">(<\/span>cls<span class=\"token punctuation\">,<\/span> <span class=\"token operator\">*<\/span><span class=\"token punctuation\">,<\/span> from_matrix<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">bool<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">False<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u5eb7\u5a01\u5e38\u6570 (\u6743\u5a01\u6765\u6e90 &#061; look-and-say \u5b9e\u8dd1\u5b9a\u4e49, A \u7ea7\u53ef\u9a8c\u8bc1)\u3002&#034;&#034;&#034;<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> from_matrix<span class=\"token punctuation\">:<\/span><br \/>\n            evals <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>eigvals<span class=\"token punctuation\">(<\/span>build_primitive_matrix<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n            <span class=\"token keyword\">return<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span><span class=\"token builtin\">max<\/span><span class=\"token punctuation\">(<\/span>evals<span class=\"token punctuation\">.<\/span>real<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> cls<span class=\"token punctuation\">.<\/span>_LAM <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            cls<span class=\"token punctuation\">.<\/span>_LAM <span class=\"token operator\">&#061;<\/span> conway_constant<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">return<\/span> cls<span class=\"token punctuation\">.<\/span>_LAM<\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">step_composition<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> kcomp<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">,<\/span> drift<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.05<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u539f\u5b50\u6210\u5206\u6f14\u5316\u4e00\u6b65 (\u5b87\u5b99\u5b9a\u7406\u52a8\u529b\u5b66 &#043; \u731c\u60f3\u81ea\u7531\u6f02\u79fb)\u3002<br \/>\n        \u7a33\u5b9a\u4e32\u7684\u539f\u5b50\u6210\u5206\u6cbf\u4e3b\u7279\u5f81\u5411\u91cf\u65b9\u5411\u6309\u5eb7\u5a01\u5e38\u6570 \u03bb \u589e\u957f, \u6210\u5206\u6bd4\u4f8b\u8d8b\u4e8e\u56fa\u5b9a\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        lam <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>conway_lambda<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        new <span class=\"token operator\">&#061;<\/span> lam <span class=\"token operator\">*<\/span> np<span class=\"token punctuation\">.<\/span>asarray<span class=\"token punctuation\">(<\/span>kcomp<span class=\"token punctuation\">,<\/span> dtype<span class=\"token operator\">&#061;<\/span><span class=\"token builtin\">float<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> drift <span class=\"token operator\">&gt;<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            noise <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>rng<span class=\"token punctuation\">.<\/span>normal<span class=\"token punctuation\">(<\/span>size<span class=\"token operator\">&#061;<\/span>new<span class=\"token punctuation\">.<\/span>shape<span class=\"token punctuation\">)<\/span><br \/>\n            new <span class=\"token operator\">&#061;<\/span> new <span class=\"token operator\">*<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token number\">1.0<\/span> <span class=\"token operator\">&#043;<\/span> drift <span class=\"token operator\">*<\/span> noise<span class=\"token punctuation\">)<\/span><br \/>\n        nrm <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>norm<span class=\"token punctuation\">(<\/span>new<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#043;<\/span> _EPS<br \/>\n        <span class=\"token keyword\">return<\/span> new <span class=\"token operator\">\/<\/span> nrm<\/p>\n<h4>5.2 \u53e0\u52a0\u9501\u5b9a\u4e0e\u53cd\u5411\u951a\u5b9a<\/h4>\n<p>\u5f15\u64ce\u652f\u6301\u5e73\u884c\u5b87\u5b99\u6846\u67b6\u3002\u76f2\u731c\u5411\u91cf\u91cf\u5316\u4e3a\u6570\u5b57\u7247\u6bb5\u7d2f\u79ef\u6210\u5e8f\u5217 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">kseqkseq<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0315em\">k<\/span><span class=\"mord mathnormal\">se<\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">q<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u904d\u5386\u6240\u6709\u6fc0\u6d3b\u7684\u5e73\u884c\u5b87\u5b99\u89c4\u5219\u6e90\u3002\u82e5\u5076\u7136\u843d\u5165\u5eb7\u5a01\u89c4\u5219\u5e8f\u5217&#xff0c;\u5219\u88ab\u9501\u5b9a\u5e76\u538b\u5165 lock_stack\u3002\u88ab\u9501\u5b9a\u610f\u5473\u7740\u53cd\u5411\u951a\u5b9a\u65e0\u9650\u5f15\u64ce&#xff0c;\u5176\u5f15\u529b\u4e95\u76ee\u6807\u5b58\u5728\u6027\u4e0d\u4f4e\u4e8e lock_floor&#xff0c;\u4f7f\u5076\u7136\u5f62\u6210\u5408\u6cd5\u5e8f\u5217\u7684\u731c\u60f3\u4e0d\u518d\u88ab\u6d88\u89e3\u3002<\/p>\n<p><span class=\"token comment\"># {m178_conjecture.py \u7247\u6bb5&#xff1a;\u53cc\u5411\u9501\u5b9a\u94fe\u8def (\u53e0\u52a0\u8bed\u4e49)}<\/span><br \/>\n                        <span class=\"token comment\"># \u2500\u2500 \u53e0\u52a0\u9501\u5b9a\u94fe\u8def \u2500\u2500<\/span><br \/>\n                        <span class=\"token comment\"># \u6bcf\u4e2a\u6fc0\u6d3b\u5b87\u5b99\u89c4\u5219\u6e90\u72ec\u7acb\u68c0\u9a8c\u672c\u8def\u5f84\u91cf\u5316\u5e8f\u5217\u662f\u5426\u843d\u5165\u5176\u89c4\u5219<\/span><br \/>\n                        p<span class=\"token punctuation\">.<\/span>lock_stack<span class=\"token punctuation\">.<\/span>clear<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n                        step_lock_floor <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span><br \/>\n                        math_legal_this_step <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">False<\/span><br \/>\n                        <span class=\"token keyword\">for<\/span> uni <span class=\"token keyword\">in<\/span> self<span class=\"token punctuation\">.<\/span>active_universes<span class=\"token punctuation\">:<\/span><br \/>\n                            self<span class=\"token punctuation\">.<\/span>total_conway_checks <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><br \/>\n                            <span class=\"token keyword\">if<\/span> uni<span class=\"token punctuation\">.<\/span>name <span class=\"token operator\">&#061;&#061;<\/span> <span class=\"token string\">&#034;conway&#034;<\/span><span class=\"token punctuation\">:<\/span><br \/>\n                                <span class=\"token keyword\">if<\/span> uni<span class=\"token punctuation\">.<\/span>is_legal<span class=\"token punctuation\">(<\/span>p<span class=\"token punctuation\">.<\/span>kseq<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">:<\/span><br \/>\n                                    p<span class=\"token punctuation\">.<\/span>lock_stack<span class=\"token punctuation\">.<\/span>append<span class=\"token punctuation\">(<\/span>uni<span class=\"token punctuation\">.<\/span>name<span class=\"token punctuation\">)<\/span><br \/>\n                                    self<span class=\"token punctuation\">.<\/span>total_locked_events <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><br \/>\n                                    <span class=\"token keyword\">if<\/span> <span class=\"token builtin\">getattr<\/span><span class=\"token punctuation\">(<\/span>uni<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;lock_floor&#034;<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">0.0<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&gt;<\/span> step_lock_floor<span class=\"token punctuation\">:<\/span><br \/>\n                                        step_lock_floor <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">getattr<\/span><span class=\"token punctuation\">(<\/span>uni<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;lock_floor&#034;<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">0.0<\/span><span class=\"token punctuation\">)<\/span><br \/>\n                            <span class=\"token keyword\">elif<\/span> uni<span class=\"token punctuation\">.<\/span>name <span class=\"token operator\">&#061;&#061;<\/span> <span class=\"token string\">&#034;math_tensor&#034;<\/span><span class=\"token punctuation\">:<\/span><br \/>\n                                <span class=\"token comment\"># \u6570\u5b66\u5b87\u5b99 (\u9012\u8fdb\u5f0f): \u7528\u5df2\u9501\u5b9a\u7684\u5eb7\u5a01\u5e8f\u5217 kseq \u4f5c\u951a,<\/span><br \/>\n                                <span class=\"token comment\"># \u9ed1\u76d2\u6620\u5c04\u51fa\u6570\u5b66\u7d20\u6750 M, \u62fc\u5408 (rank1) \u5373\u5408\u6cd5\u3002<\/span><br \/>\n                                M <span class=\"token operator\">&#061;<\/span> self<span class=\"token punctuation\">.<\/span>mount_op<span class=\"token punctuation\">.<\/span>mount<span class=\"token punctuation\">(<\/span>p<span class=\"token punctuation\">.<\/span>kseq<span class=\"token punctuation\">)<\/span><br \/>\n                                <span class=\"token keyword\">if<\/span> math_assemble_legal<span class=\"token punctuation\">(<\/span>M<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">:<\/span><br \/>\n                                    p<span class=\"token punctuation\">.<\/span>lock_stack<span class=\"token punctuation\">.<\/span>append<span class=\"token punctuation\">(<\/span>uni<span class=\"token punctuation\">.<\/span>name<span class=\"token punctuation\">)<\/span><br \/>\n                                    self<span class=\"token punctuation\">.<\/span>total_locked_events <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><br \/>\n                                    math_legal_this_step <span class=\"token operator\">&#061;<\/span> <span class=\"token boolean\">True<\/span><br \/>\n                        <span class=\"token comment\"># \u517c\u5bb9\u5b57\u6bb5: \u662f\u5426\u542b\u5eb7\u5a01<\/span><br \/>\n                        p<span class=\"token punctuation\">.<\/span>locked_by_conway <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;conway&#034;<\/span> <span class=\"token keyword\">in<\/span> p<span class=\"token punctuation\">.<\/span>lock_stack<span class=\"token punctuation\">)<\/span><\/p>\n<h4>5.3 \u534f\u53d8\u6302\u8f7d\u9ed1\u76d2<\/h4>\n<p>\u9488\u5bf9\u6570\u5b66\u5f20\u91cf\u5b87\u5b99&#xff0c;\u5f15\u64ce\u5f15\u5165\u9012\u8fdb\u5f0f\u534f\u53d8\u6302\u8f7d\u9ed1\u76d2\u3002\u9ed1\u76d2\u5c06\u5df2\u6210\u7acb\u7684\u5eb7\u5a01\u5e8f\u5217\u6620\u5c04\u4e3a\u6570\u5b66\u7d20\u6750\u77e9\u9635 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">MM<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.109em\">M<\/span><\/span><\/span><\/span><\/span>&#xff0c;\u82e5\u6ee1\u8db3\u79e9 1 \u4e0e\u5e42\u7b49\u95ed\u5305\u5224\u636e\u5219\u62fc\u5408\u6210\u529f\u3002\u9ed1\u76d2\u53c2\u6570\u901a\u8fc7\u201c\u9009\u62e9\u538b\u201d&#xff08;\u62fc\u5408\u6210\u529f\u7387 EMA&#xff09;\u7b5b\u9009&#xff0c;\u590d\u7528\u5f15\u529b\u4e95\u7684\u7559\u5b58\/\u6d88\u6563\u8bed\u4e49\u3002<\/p>\n<p><span class=\"token comment\"># {m178_mount_operator.py&#xff1a;\u534f\u53d8\u6302\u8f7d\u7b97\u5b50}<\/span><br \/>\n<span class=\"token keyword\">class<\/span> <span class=\"token class-name\">ConwayMountOperator<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u534f\u53d8\u6302\u8f7d\u9ed1\u76d2: \u5eb7\u5a01\u5e8f\u5217 -&gt; \u6570\u5b66\u7d20\u6750\u77e9\u9635 M (3&#215;3 \u5bf9\u79f0)\u3002<br \/>\n    \u9012\u8fdb\u5f0f: \u8f93\u5165\u662f&#034;\u5df2\u9501\u5b9a\u7684\u5eb7\u5a01\u5e8f\u5217&#034; (\u786e\u5b9a\u6027\u951a), \u8f93\u51fa\u6052\u53ef\u4ea7\u51fa\u7684\u6570\u5b66\u7d20\u6750;<br \/>\n    \u62fc\u5408 (&#061; \u7d20\u6750\u662f\u5426 rank1) \u662f\u6570\u5b66\u5b87\u5b99\u5408\u6cd5\u5224\u636e\u3002\u9ed1\u76d2\u53c2\u6570 A_math \u88ab\u9009\u62e9\u538b\u7b5b\u9009\u3002<br \/>\n    &#034;&#034;&#034;<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">__init__<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> rng<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>random<span class=\"token punctuation\">.<\/span>Generator<span class=\"token punctuation\">,<\/span> init_scale<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.5<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>A_math <span class=\"token operator\">&#061;<\/span> rng<span class=\"token punctuation\">.<\/span>normal<span class=\"token punctuation\">(<\/span>size<span class=\"token operator\">&#061;<\/span><span class=\"token punctuation\">(<\/span><span class=\"token number\">3<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">3<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">*<\/span> init_scale<br \/>\n        self<span class=\"token punctuation\">.<\/span>rng <span class=\"token operator\">&#061;<\/span> rng<\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">mount<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> seq<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">str<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u5eb7\u5a01\u5e8f\u5217 -&gt; \u6570\u5b66\u7d20\u6750 M (3&#215;3 \u5bf9\u79f0\u9635)\u3002&#034;&#034;&#034;<\/span><br \/>\n        e <span class=\"token operator\">&#061;<\/span> embed_seq<span class=\"token punctuation\">(<\/span>seq<span class=\"token punctuation\">)<\/span><br \/>\n        D <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>diag<span class=\"token punctuation\">(<\/span>e<span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">return<\/span> self<span class=\"token punctuation\">.<\/span>A_math &#064; D &#064; self<span class=\"token punctuation\">.<\/span>A_math<span class=\"token punctuation\">.<\/span>T<\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">drift<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> scale<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">float<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.04<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u53c2\u6570\u968f\u673a\u6e38\u8d70 (\u5b58\u6d3b\u9ed1\u76d2\u7684\u6f14\u5316)\u3002&#034;&#034;&#034;<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>A_math <span class=\"token operator\">&#043;&#061;<\/span> self<span class=\"token punctuation\">.<\/span>rng<span class=\"token punctuation\">.<\/span>normal<span class=\"token punctuation\">(<\/span>size<span class=\"token operator\">&#061;<\/span>self<span class=\"token punctuation\">.<\/span>A_math<span class=\"token punctuation\">.<\/span>shape<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">*<\/span> scale<\/p>\n<p><span class=\"token keyword\">def<\/span> <span class=\"token function\">math_assemble_legal<\/span><span class=\"token punctuation\">(<\/span>M<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token builtin\">bool<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u62fc\u5408\u89c4\u5219 (\u6570\u5b66\u5b87\u5b99\u5408\u6cd5\u5224\u636e): \u7d20\u6750 M \u662f\u5426 rank1\u3002A\u7ea7\u77e9\u9635\u5224\u5b9a\u3002&#034;&#034;&#034;<\/span><br \/>\n    <span class=\"token keyword\">if<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>matrix_rank<span class=\"token punctuation\">(<\/span>M<span class=\"token punctuation\">,<\/span> tol<span class=\"token operator\">&#061;<\/span><span class=\"token number\">0.1<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">!&#061;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">return<\/span> <span class=\"token boolean\">False<\/span><br \/>\n    <span class=\"token keyword\">if<\/span> <span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span>trace<span class=\"token punctuation\">(<\/span>M<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&lt;<\/span> <span class=\"token number\">0.5<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">return<\/span> <span class=\"token boolean\">False<\/span><br \/>\n    <span class=\"token keyword\">return<\/span> np<span class=\"token punctuation\">.<\/span>linalg<span class=\"token punctuation\">.<\/span>matrix_rank<span class=\"token punctuation\">(<\/span>M &#064; M<span class=\"token punctuation\">,<\/span> tol<span class=\"token operator\">&#061;<\/span><span class=\"token number\">0.1<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&lt;&#061;<\/span> <span class=\"token number\">1<\/span><\/p>\n<hr \/>\n<h3>6. \u6d8c\u73b0\u7684\u7edf\u8ba1\u529b\u5b66&#xff1a;\u9ad8\u65af\u666e\u67e5\u4e0e CLT \u8bda\u5b9e\u5ba1\u67e5<\/h3>\n<p>\u5f15\u64ce\u5bf9\u201c\u65e0\u9650\u6d8c\u73b0\u2192\u6b63\u6001\u5206\u5e03\u201d\u547d\u9898\u8fdb\u884c\u4e86\u4e25\u5bc6\u7684\u6570\u5b66\u4e0e\u5b9e\u9a8c\u5ba1\u67e5\u3002\u4e3a\u907f\u514d\u5c06\u201c\u6b63\u6001\u201d\u7ed1\u5b9a\u5230\u67d0\u4e00\u4e2a\u9884\u8bbe\u91cf&#xff0c;\u5f15\u64ce\u6267\u884c\u201c\u4e8b\u4ef6\u9ad8\u65af\u666e\u67e5\u201d&#xff0c;\u679a\u4e3e\u8fd0\u884c\u4e2d\u6240\u6709\u4e8b\u4ef6\u91cf\u8fdb\u884c\u68c0\u9a8c\u3002<\/p>\n<p><span class=\"token comment\"># {m178_conjecture.py \u7247\u6bb5&#xff1a;\u4e8b\u4ef6\u9ad8\u65af\u666e\u67e5\u4e0e\u6b63\u6001\u68c0\u9a8c}<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">_normality_test<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> arr<span class=\"token punctuation\">:<\/span> np<span class=\"token punctuation\">.<\/span>ndarray<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token builtin\">dict<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u7edf\u4e00\u4e8b\u4ef6\u6b63\u6001\u68c0\u9a8c (\u504f\u5ea6\/\u8d85\u989d\u5cf0\u5ea6\/\u7ecf\u9a8c\u8986\u76d6\u7387\/JB)\u3002<br \/>\n        GAUSSIAN_CENTERED : |skew| &lt; 0.3 \u2192 \u4e8b\u4ef6\u4ee5\u5747\u503c\u4e3a\u4e2d\u5fc3\u8fd1\u4f3c\u5bf9\u79f0\u5206\u5e03 (CLT \u627f\u4fdd)\u3002<br \/>\n        SKEWED             : |skew| &gt;&#061; 0.3 \u2192 \u660e\u663e\u504f\u659c, \u975e\u5bf9\u79f0\u6982\u7387\u4e8b\u4ef6\u56fe\u3002<br \/>\n        TOO_FEW            : \u6837\u672c &lt; 8\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        <span class=\"token keyword\">from<\/span> scipy <span class=\"token keyword\">import<\/span> stats<br \/>\n        arr <span class=\"token operator\">&#061;<\/span> np<span class=\"token punctuation\">.<\/span>asarray<span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">,<\/span> dtype<span class=\"token operator\">&#061;<\/span><span class=\"token builtin\">float<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        n <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">len<\/span><span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> n <span class=\"token operator\">&lt;<\/span> <span class=\"token number\">8<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">return<\/span> <span class=\"token punctuation\">{<\/span><span class=\"token string\">&#034;n_samples&#034;<\/span><span class=\"token punctuation\">:<\/span> n<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;verdict&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token string\">&#034;TOO_FEW&#034;<\/span><span class=\"token punctuation\">}<\/span><br \/>\n        mean<span class=\"token punctuation\">,<\/span> std <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">.<\/span>mean<span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">.<\/span>std<span class=\"token punctuation\">(<\/span>ddof<span class=\"token operator\">&#061;<\/span><span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        skew <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>stats<span class=\"token punctuation\">.<\/span>skew<span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        kurt <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>stats<span class=\"token punctuation\">.<\/span>kurtosis<span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        jb_stat<span class=\"token punctuation\">,<\/span> jb_p <span class=\"token operator\">&#061;<\/span> stats<span class=\"token punctuation\">.<\/span>jarque_bera<span class=\"token punctuation\">(<\/span>arr<span class=\"token punctuation\">)<\/span><br \/>\n        z <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">(<\/span>arr <span class=\"token operator\">&#8211;<\/span> mean<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">\/<\/span> <span class=\"token punctuation\">(<\/span>std <span class=\"token operator\">&#043;<\/span> _EPS<span class=\"token punctuation\">)<\/span><br \/>\n        p1 <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span>mean<span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span><span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>z<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&lt;<\/span> <span class=\"token number\">1.0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">*<\/span> <span class=\"token number\">100.0<\/span><br \/>\n        p2 <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span>mean<span class=\"token punctuation\">(<\/span>np<span class=\"token punctuation\">.<\/span><span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>z<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&lt;<\/span> <span class=\"token number\">2.0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">*<\/span> <span class=\"token number\">100.0<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> <span class=\"token builtin\">abs<\/span><span class=\"token punctuation\">(<\/span>skew<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&lt;<\/span> <span class=\"token number\">0.3<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            verdict <span class=\"token operator\">&#061;<\/span> <span class=\"token string\">&#034;GAUSSIAN_CENTERED&#034;<\/span><br \/>\n        <span class=\"token keyword\">else<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            verdict <span class=\"token operator\">&#061;<\/span> <span class=\"token string\">&#034;SKEWED&#034;<\/span><br \/>\n        <span class=\"token keyword\">return<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token string\">&#034;n_samples&#034;<\/span><span class=\"token punctuation\">:<\/span> n<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;mean&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span>mean<span class=\"token punctuation\">,<\/span> <span class=\"token number\">5<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;std&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span>std<span class=\"token punctuation\">,<\/span> <span class=\"token number\">5<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n            <span class=\"token string\">&#034;skewness&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span>skew<span class=\"token punctuation\">,<\/span> <span class=\"token number\">4<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;excess_kurtosis&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span>kurt<span class=\"token punctuation\">,<\/span> <span class=\"token number\">4<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n            <span class=\"token string\">&#034;jarque_bera_p&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span><span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span>jb_p<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">5<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n            <span class=\"token string\">&#034;pct_within_1sigma&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span>p1<span class=\"token punctuation\">,<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;pct_within_2sigma&#034;<\/span><span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">round<\/span><span class=\"token punctuation\">(<\/span>p2<span class=\"token punctuation\">,<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n            <span class=\"token string\">&#034;verdict&#034;<\/span><span class=\"token punctuation\">:<\/span> verdict<span class=\"token punctuation\">,<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><\/p>\n<p>    <span class=\"token keyword\">def<\/span> <span class=\"token function\">survey_gaussian_events<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> cphi_bins<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">int<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">9<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#8211;<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token builtin\">dict<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u4e8b\u4ef6\u9ad8\u65af\u666e\u67e5: \u4e0d\u9884\u8bbe&#034;\u67d0\u4e2a\u91cf\u5fc5\u987b\u6b63\u6001&#034;; \u800c\u662f\u679a\u4e3e\u5f15\u64ce\u5728\u8fd0\u884c\u4e2d\u81ea\u7136\u4ea7\u751f\u7684<br \/>\n        **\u6240\u6709\u4e8b\u4ef6\u91cf**, \u5bf9\u6bcf\u4e2a\u4e8b\u4ef6\u91cf\u8dd1\u7edf\u4e00\u6b63\u6001\u68c0\u9a8c, \u8f93\u51fa\u4e00\u5f20&#034;\u54ea\u4e9b\u4e8b\u4ef6\u7b26\u5408\u9ad8\u65af\u79ef\u5206&#034;\u7684\u6e05\u5355\u3002<br \/>\n        &#034;&#034;&#034;<\/span><br \/>\n        <span class=\"token comment\"># \u666e\u67e5\u8986\u76d6: [A] \u589e\u91cf\u4e8b\u4ef6 [B] \u6295\u5f71\u5750\u6807 [C] \u4f4d\u7f6e\u4e8b\u4ef6 [D] \u5b58\u7eed\u65f6\u957f <\/span><br \/>\n        <span class=\"token comment\"># [E] \u6253\u5305\u8d1f\u8377 [F] \u5b58\u5728\u6027\u4e8b\u4ef6 [G] \u6536\u655b\u6b8b\u5dee [H] \u5eb7\u5a01\u5185\u5bb9\u4e8b\u4ef6<\/span><br \/>\n        <span class=\"token comment\"># &#8230; (\u904d\u5386\u6240\u6709\u4e8b\u4ef6\u7c7b\u522b\u8c03\u7528 _normality_test)<\/span><\/p>\n<p>\u5b9e\u8dd1\u8868\u660e&#xff0c;\u7eaf\u72ec\u7acb\u540c\u5206\u5e03\u589e\u91cf\u4e8b\u4ef6\u5448\u73b0 GAUSSIAN_CENTERED&#xff08;\u5c45\u4e2d\u5bf9\u79f0&#xff0c;CLT \u627f\u4fdd\u6210\u7acb&#xff09;&#xff1b;\u800c\u5728\u8026\u5408\u8bed\u4e49&#xff08;\u5f15\u529b\u4e95\u6d88\u89e3\u5f00\u542f&#xff09;\u4e0b&#xff0c;\u56e0\u5b58\u5728\u6027\u6743\u91cd support \u504f\u5411\u8d34\u5408\u7ed3\u6784\u7684\u8def\u5f84&#xff0c;\u7834\u574f\u4e86 iid \u6a2a\u5411\u72ec\u7acb\u6027&#xff0c;\u6a2a\u5411\u5206\u5e03\u5448\u73b0 SKEWED\u3002\u6b64\u5916&#xff0c;\u5b58\u7eed\u65f6\u957f&#xff08;lifetime&#xff09;\u5206\u5e03\u56e0\u9996\u6b21\u7a7f\u8d8a\u65f6\u95f4\u7684\u7279\u6027\u5448\u73b0\u53f3\u504f\u539a\u5c3e\u3002\u5f15\u64ce\u8bda\u5b9e\u533a\u5206\u4e86\u201c\u6574\u4f53\u5206\u5e03\u5f62\u6001\u201d\u4e0e\u201c\u5355\u6761\u81ea\u7136\u6027\u201d\u4e24\u4e2a\u7ef4\u5ea6\u7684\u5224\u636e\u3002<\/p>\n<hr \/>\n<h3>7. \u65e0\u786c\u7f16\u7801\u58f0\u660e\u4e0e\u4f53\u7cfb\u8bda\u5b9e\u5b9a\u7ea7<\/h3>\n<p>\u672c\u5f15\u64ce\u7684\u7a81\u51fa\u7279\u5f81\u5728\u4e8e\u7edd\u5bf9\u7684\u65e0\u786c\u7f16\u7801\u58f0\u660e\u3002\u6240\u6709\u52a8\u529b\u5b66\u65cb\u94ae\u5747\u4ece\u5e95\u5c42 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F3F_3<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u77e9\u9635\u7684 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03d5\\\\phi<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\">\u03d5<\/span><\/span><\/span><\/span><\/span> \u4e0e <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03c8\\\\psi<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8889em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">\u03c8<\/span><\/span><\/span><\/span><\/span> \u6d8c\u73b0&#xff0c;\u96f6\u5f15\u5165\u9b54\u6cd5\u6570\u5b57&#xff1a;<\/p>\n<p><span class=\"token comment\"># {m178_conjecture.py \u7247\u6bb5&#xff1a;\u65e0\u786c\u7f16\u7801\u58f0\u660e\u4e0e\u6d8c\u73b0\u6620\u5c04}<\/span><br \/>\n        _psi <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span><span class=\"token builtin\">getattr<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">.<\/span>growth<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;psi&#034;<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">0.6180339887498949<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        _phi <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">float<\/span><span class=\"token punctuation\">(<\/span><span class=\"token builtin\">getattr<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">.<\/span>growth<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;phi&#034;<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">1.6180339887498949<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> recognition_rate <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            recognition_rate <span class=\"token operator\">&#061;<\/span> _psi              <span class=\"token comment\"># \u8bc6\u522b\u5149\u9525 &#061; \u03c8<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> absorb_rate <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            absorb_rate <span class=\"token operator\">&#061;<\/span> _psi                  <span class=\"token comment\"># \u6253\u5305\u901f\u5ea6 &#061; \u03c8<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> alpha <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            alpha <span class=\"token operator\">&#061;<\/span> _psi                        <span class=\"token comment\"># \u7c98\u6ede\/\u9057\u4f20\u7ea6\u675f &#061; \u03c8<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> gamma <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            gamma <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1.0<\/span> <span class=\"token operator\">&#8211;<\/span> _psi <span class=\"token operator\">**<\/span> <span class=\"token number\">2<\/span>             <span class=\"token comment\"># \u76f2\u731c\u63a2\u7d22 &#061; 1\u2212\u03c8\u00b2<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> pack_capacity <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            pack_capacity <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">1.0<\/span> <span class=\"token operator\">\/<\/span> <span class=\"token punctuation\">(<\/span>_psi <span class=\"token operator\">**<\/span> <span class=\"token number\">3<\/span><span class=\"token punctuation\">)<\/span>    <span class=\"token comment\"># \u5305\u5bb9\u91cf(\u4fe1\u9053\u5bb9\u91cf) &#061; 1\/\u03c8\u00b3<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> decohere_base <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            decohere_base <span class=\"token operator\">&#061;<\/span> _psi <span class=\"token operator\">**<\/span> <span class=\"token number\">3<\/span>            <span class=\"token comment\"># \u9000\u76f8\u5e72\u57fa\u51c6\u7387 &#061; \u03c8\u00b3 (M105 \u6700\u5c0f\u4fe1\u606f\u635f\u5931)<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> decohere_gain <span class=\"token keyword\">is<\/span> <span class=\"token boolean\">None<\/span><span class=\"token punctuation\">:<\/span><br \/>\n            decohere_gain <span class=\"token operator\">&#061;<\/span> _phi                 <span class=\"token comment\"># \u9000\u76f8\u5e72\u589e\u76ca &#061; \u03c6 (\u6269\u6563\u8f74\u4e58\u6570)<\/span><\/p>\n<p>\u5f15\u64ce\u4e25\u683c\u5212\u5206\u4e86\u8ba4\u8bc6\u8bba\u5c42\u7ea7&#xff1a;<\/p>\n<li>A \u7ea7&#xff08;m178 \u4f53\u7cfb\u627f\u4fdd&#xff0c;\u53ef\u8bc1\u4f2a&#xff09;&#xff1a; <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">F3F_3<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.8333em;vertical-align: -0.15em\"><\/span><span class=\"mord\"><span class=\"mord mathnormal\" style=\"margin-right: 0.1389em\">F<\/span><span class=\"msupsub\"><span class=\"vlist-t vlist-t2\"><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.3011em\"><span class=\"\" style=\"top: -2.55em;margin-left: -0.1389em;margin-right: 0.05em\"><span class=\"pstrut\" style=\"height: 2.7em\"><\/span><span class=\"sizing reset-size6 size3 mtight\"><span class=\"mord mtight\">3<\/span><\/span><\/span><\/span><span class=\"vlist-s\">\u200b<\/span><\/span><span class=\"vlist-r\"><span class=\"vlist\" style=\"height: 0.15em\"><span class=\"\"><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> \u77e9\u9635\u8c31\u3001\u6295\u5f71\u7b97\u5b50 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">\u03a0\\\\Pi<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.6833em\"><\/span><span class=\"mord\">\u03a0<\/span><\/span><\/span><\/span><\/span>\u3001CLT \u5728 iid \u6761\u4ef6\u4e0b\u7684\u6570\u5b66\u4e8b\u5b9e\u3002<\/li>\n<li>B&#043; \u8be0\u91ca\u5c42&#xff08;\u7528\u6237\u610f\u56fe\u627f\u4fdd&#xff09;&#xff1a; \u5f15\u529b\u4e95\u751f\u706d\u673a\u5236\u3001\u5eb7\u5a01\u5b87\u5b99\u4f5c\u4e3a\u5185\u5bb9\u8f7d\u4f53\u7684\u53cc\u5411\u9501\u5b9a\u3002\u8fd9\u4e9b\u673a\u5236\u6709\u6548\u4f46\u975e A \u7ea7\u6570\u5b66\u5fc5\u7136\u3002<\/li>\n<li>OPEN&#xff08;\u5f85\u8c03\u548c&#xff09;&#xff1a; \u8026\u5408\u731c\u60f3\u6574\u4f53\u975e\u6b63\u6001\u3001\u5b58\u7eed\u65f6\u957f\u53f3\u504f\u95ee\u9898\u3002<\/li>\n<p>\u5bf9\u4e8e\u5b9e\u8dd1\u4e2d\u53d1\u73b0\u7684\u7269\u7406\/\u6570\u5b66\u5f20\u91cf\u5b87\u5b99\u5728\u771f\u5b9e 3 \u7ef4 <span class=\"katex--inline\"><span class=\"katex\"><span class=\"katex-mathml\">gg<\/span><span class=\"katex-html\"><span class=\"base\"><span class=\"strut\" style=\"height: 0.625em;vertical-align: -0.1944em\"><\/span><span class=\"mord mathnormal\" style=\"margin-right: 0.0359em\">g<\/span><\/span><\/span><\/span><\/span> \u4e0b\u7684\u5224\u5b9a\u7387\u5931\u771f\u95ee\u9898&#xff0c;\u7cfb\u7edf\u901a\u8fc7\u964d\u7ea7\u4e3a\u89c2\u6d4b\u6807\u7b7e&#xff08;lock_floor&#061;0&#xff09;\u907f\u514d\u6c61\u67d3\u5f15\u529b\u4e95\u751f\u706d\u7edf\u8ba1&#xff0c;\u4f53\u73b0\u4e86\u201c\u4e0d\u7c89\u9970\u3001\u4e0d\u5047\u88c5\u201d\u7684\u5b66\u672f\u8bda\u5b9e\u6027&#xff1a;<\/p>\n<p><span class=\"token comment\"># {m178_tensor_universes.py \u7247\u6bb5&#xff1a;\u8bda\u5b9e\u843d\u5730\u7248}<\/span><br \/>\n<span class=\"token keyword\">class<\/span> <span class=\"token class-name\">TensorUniverse<\/span><span class=\"token punctuation\">:<\/span><br \/>\n    <span class=\"token triple-quoted-string string\">&#034;&#034;&#034;\u5e73\u884c\u5b87\u5b99\u57fa\u7c7b (\u517c\u5bb9 ConjectureEngine \u7684 lock_stack \u8c03\u7528)\u3002<br \/>\n    \u6bcf\u4e2a\u5b87\u5b99\u6301\u6709:<br \/>\n        name:        \u9501\u5b9a\u6808\u6807\u8bc6\u7b26 (\u89c2\u6d4b\u6807\u7b7e);<br \/>\n        lock_floor:  \u8be5\u5b87\u5b99\u951a\u5b9a\u652f\u6491\u5e95 \u2014\u2014 \u5f20\u91cf\u5b87\u5b99\u6052\u4e3a 0 (\u4e0d\u53c2\u4e0e\u53cd\u5411\u951a\u5b9a, \u89c1\u6a21\u5757\u5934);<br \/>\n        window:      \u91cf\u5316\u7a97\u53e3 (\u7269\u7406&#061;16 \u2192 4&#215;4, \u6570\u5b66&#061;9 \u2192 3&#215;3)\u3002<br \/>\n    &#034;&#034;&#034;<\/span><br \/>\n    <span class=\"token keyword\">def<\/span> <span class=\"token function\">__init__<\/span><span class=\"token punctuation\">(<\/span>self<span class=\"token punctuation\">,<\/span> name<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">str<\/span><span class=\"token punctuation\">,<\/span> window<span class=\"token punctuation\">:<\/span> <span class=\"token builtin\">int<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">:<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>name <span class=\"token operator\">&#061;<\/span> name<br \/>\n        self<span class=\"token punctuation\">.<\/span>lock_floor <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">0.0<\/span>  <span class=\"token comment\"># \u5f20\u91cf\u5b87\u5b99\u4e0d\u53c2\u4e0e\u5f15\u529b\u4e95\u951a\u5b9a (\u8bda\u5b9e\u5904\u7f6e)<\/span><br \/>\n        self<span class=\"token punctuation\">.<\/span>window <span class=\"token operator\">&#061;<\/span> <span class=\"token builtin\">int<\/span><span class=\"token punctuation\">(<\/span>window<span class=\"token punctuation\">)<\/span><\/p>\n<hr \/>\n<h3>8. \u7ed3\u8bba<\/h3>\n<p>\u672c\u6587\u8bba\u8ff0\u7684 M178 \u731c\u60f3\u6d8c\u73b0\u5f15\u64ce&#xff0c;\u6210\u529f\u6784\u5efa\u4e86\u4e00\u4e2a\u4ece\u5e95\u5c42\u56e0\u679c\u751f\u957f\u5230\u4e0a\u5c42\u5185\u5bb9\u6d8c\u73b0\u7684\u5b8c\u6574\u52a8\u529b\u5b66\u67b6\u6784\u3002\u901a\u8fc7\u5c06\u7ed3\u6784\u652f\u6491\u5b9a\u4e49\u4e3a\u201c\u5f15\u529b\u4e95\u6d88\u89e3\u201d\u800c\u975e\u4e3b\u52a8\u7ea0\u9519&#xff0c;\u5f15\u64ce\u5728\u6570\u5b66\u4e0a\u81ea\u7136\u5b9e\u73b0\u4e86\u5b58\u5728\u8005\u7684\u751f\u706d\u6f14\u5316&#xff1b;\u901a\u8fc7\u201c\u6253\u5305-\u6491\u7834-\u91cd\u5f15\u5165\u201d\u673a\u5236&#xff0c;\u523b\u753b\u4e86\u6982\u62ec\u80fd\u529b\u4e0e\u65e0\u9650\u751f\u957f\u4e4b\u95f4\u7684\u8fdf\u6ede\u5f20\u529b\u3002<\/p>\n<p>\u7279\u522b\u5730&#xff0c;\u901a\u8fc7\u5c06\u5eb7\u5a01\u5b87\u5b99\u6302\u8f7d\u4e3a\u731c\u60f3\u5185\u5bb9&#xff0c;\u5f15\u64ce\u4f7f\u9759\u6001\u6570\u5b66\u5b9a\u7406\u5177\u8c61\u5316\u4e3a\u53d7\u5b58\u5728\u6027\u6743\u91cd\u5236\u7ea6\u7684\u771f\u5b9e\u5b87\u5b99&#xff0c;\u5e76\u901a\u8fc7\u53cc\u5411\u9501\u5b9a\u94fe\u8def\u5b8c\u6210\u4e86\u5185\u5bb9\u4e0e\u5e95\u5c42\u7ed3\u6784\u7684\u95ed\u73af\u3002\u9ad8\u65af\u666e\u67e5\u7684\u7edf\u8ba1\u529b\u5b66\u5206\u6790\u8868\u660e&#xff0c;\u6d8c\u73b0\u7684\u6b63\u6001\u6027\u4e25\u683c\u4f9d\u8d56\u4e8e\u589e\u91cf\u7684\u72ec\u7acb\u540c\u5206\u5e03\u6027&#xff1b;\u5728\u5f15\u529b\u4e95\u504f\u7f6e\u4e0b&#xff0c;\u7cfb\u7edf\u7684\u975e\u6b63\u6001\u7279\u5f81\u6b63\u662f\u5176\u672c\u4f53\u8bba\u8bed\u4e49\u9009\u62e9\u7684\u6570\u5b66\u6620\u5c04\u3002<\/p>\n<p>\u672c\u7814\u7a76\u4e0d\u4ec5\u4e3a\u590d\u6742\u7cfb\u7edf\u63d0\u4f9b\u4e86\u4e00\u4e2a\u65e0\u786c\u7f16\u7801\u7684\u8ba1\u7b97\u8f7d\u4f53&#xff0c;\u66f4\u4e3a\u201c\u5b58\u5728\u5982\u4f55\u4ece\u903b\u8f91\u4e2d\u8bde\u751f\u201d\u8fd9\u4e00\u672c\u4f53\u8bba\u95ee\u9898\u63d0\u4f9b\u4e86\u4e00\u79cd\u57fa\u4e8e F3 \u8c31\u7684\u6df1\u523b\u6570\u5b66\u8be0\u91ca\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce&#xff1a;\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66<br \/>\n\u6458\u8981<br \/>\n\u672c\u6587\u57fa\u4e8e M178 \u5411\u91cf\u5316 AGI \u79cd\u5b50\u4f53\u7cfb\u53ca\u5176\u4e0a\u5c42\u6a21\u5757&#xff0c;\u6df1\u5165\u63a2\u8ba8\u4e86\u201c\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\u201d\u7684\u6570\u5b66\u67b6\u6784\u3001\u52a8\u529b\u5b66\u673a\u5236\u53ca\u5176\u672c\u4f53\u8bba\u610f\u4e49\u3002\u8be5\u5f15\u64ce\u4ee5 F3F_3F3\u200b \u77e9\u9635\u7684\u4e09\u5c42\u8c31\u7279\u5f81\u503c {\u03d5,1,\u2212\u03c8}\\\\{\\\\phi, 1, -\\\\psi\\\\}{\u03d5,1,\u2212\u03c8} \u4e3a A \u7ea7\u6570\u5b66\u951a\u70b9&#xff0c;\u6784\u5efa\u4e86\u4e00\u4e2a\u6301\u7eed\u65e0\u9650\u751f\u957f\u7684\u56e0\u679c\u6846\u67b6\u3002\u5728\u6b64\u6846\u67b6\u4e4b\u4e0a&#xff0c;\u5f15\u64ce\u6d8c\u73b0\u51fa\u8bc6\u522b\u80fd\u529b\u4e0e\u201c\u76f2\u731c\u201d<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[1699,81,50,427],"topic":[],"class_list":["post-94242","post","type-post","status-publish","format-standard","hentry","category-server","tag-agi","tag-python","tag-50","tag-427"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.wsisp.com\/helps\/94242.html\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"og:description\" content=\"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce&#xff1a;\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 \u6458\u8981 \u672c\u6587\u57fa\u4e8e M178 \u5411\u91cf\u5316 AGI \u79cd\u5b50\u4f53\u7cfb\u53ca\u5176\u4e0a\u5c42\u6a21\u5757&#xff0c;\u6df1\u5165\u63a2\u8ba8\u4e86\u201c\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\u201d\u7684\u6570\u5b66\u67b6\u6784\u3001\u52a8\u529b\u5b66\u673a\u5236\u53ca\u5176\u672c\u4f53\u8bba\u610f\u4e49\u3002\u8be5\u5f15\u64ce\u4ee5 F3F_3F3\u200b \u77e9\u9635\u7684\u4e09\u5c42\u8c31\u7279\u5f81\u503c {\u03d5,1,\u2212\u03c8}\\{\\phi, 1, -\\psi\\}{\u03d5,1,\u2212\u03c8} \u4e3a A \u7ea7\u6570\u5b66\u951a\u70b9&#xff0c;\u6784\u5efa\u4e86\u4e00\u4e2a\u6301\u7eed\u65e0\u9650\u751f\u957f\u7684\u56e0\u679c\u6846\u67b6\u3002\u5728\u6b64\u6846\u67b6\u4e4b\u4e0a&#xff0c;\u5f15\u64ce\u6d8c\u73b0\u51fa\u8bc6\u522b\u80fd\u529b\u4e0e\u201c\u76f2\u731c\u201d\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.wsisp.com\/helps\/94242.html\" \/>\n<meta property=\"og:site_name\" content=\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"article:published_time\" content=\"2026-08-13T17:32:51+00:00\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"8 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/94242.html\",\"url\":\"https:\/\/www.wsisp.com\/helps\/94242.html\",\"name\":\"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"isPartOf\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\"},\"datePublished\":\"2026-08-13T17:32:51+00:00\",\"dateModified\":\"2026-08-13T17:32:51+00:00\",\"author\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/94242.html#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.wsisp.com\/helps\/94242.html\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/94242.html#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.wsisp.com\/helps\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\",\"url\":\"https:\/\/www.wsisp.com\/helps\/\",\"name\":\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"description\":\"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"contentUrl\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"caption\":\"admin\"},\"sameAs\":[\"http:\/\/wp.wsisp.com\"],\"url\":\"https:\/\/www.wsisp.com\/helps\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.wsisp.com\/helps\/94242.html","og_locale":"zh_CN","og_type":"article","og_title":"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","og_description":"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce&#xff1a;\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 \u6458\u8981 \u672c\u6587\u57fa\u4e8e M178 \u5411\u91cf\u5316 AGI \u79cd\u5b50\u4f53\u7cfb\u53ca\u5176\u4e0a\u5c42\u6a21\u5757&#xff0c;\u6df1\u5165\u63a2\u8ba8\u4e86\u201c\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\u201d\u7684\u6570\u5b66\u67b6\u6784\u3001\u52a8\u529b\u5b66\u673a\u5236\u53ca\u5176\u672c\u4f53\u8bba\u610f\u4e49\u3002\u8be5\u5f15\u64ce\u4ee5 F3F_3F3\u200b \u77e9\u9635\u7684\u4e09\u5c42\u8c31\u7279\u5f81\u503c {\u03d5,1,\u2212\u03c8}\\{\\phi, 1, -\\psi\\}{\u03d5,1,\u2212\u03c8} \u4e3a A \u7ea7\u6570\u5b66\u951a\u70b9&#xff0c;\u6784\u5efa\u4e86\u4e00\u4e2a\u6301\u7eed\u65e0\u9650\u751f\u957f\u7684\u56e0\u679c\u6846\u67b6\u3002\u5728\u6b64\u6846\u67b6\u4e4b\u4e0a&#xff0c;\u5f15\u64ce\u6d8c\u73b0\u51fa\u8bc6\u522b\u80fd\u529b\u4e0e\u201c\u76f2\u731c\u201d","og_url":"https:\/\/www.wsisp.com\/helps\/94242.html","og_site_name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","article_published_time":"2026-08-13T17:32:51+00:00","author":"admin","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"admin","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"8 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.wsisp.com\/helps\/94242.html","url":"https:\/\/www.wsisp.com\/helps\/94242.html","name":"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66 - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","isPartOf":{"@id":"https:\/\/www.wsisp.com\/helps\/#website"},"datePublished":"2026-08-13T17:32:51+00:00","dateModified":"2026-08-13T17:32:51+00:00","author":{"@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41"},"breadcrumb":{"@id":"https:\/\/www.wsisp.com\/helps\/94242.html#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.wsisp.com\/helps\/94242.html"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.wsisp.com\/helps\/94242.html#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.wsisp.com\/helps"},{"@type":"ListItem","position":2,"name":"\u57fa\u4e8e F3 \u4e09\u5c42\u8c31\u7684\u731c\u60f3\u6d8c\u73b0\u5f15\u64ce\uff1a\u5f15\u529b\u4e95\u6d88\u89e3\u3001\u5eb7\u5a01\u5b87\u5b99\u5185\u5bb9\u751f\u6210\u4e0e\u9ad8\u65af\u666e\u67e5\u7edf\u8ba1\u529b\u5b66"}]},{"@type":"WebSite","@id":"https:\/\/www.wsisp.com\/helps\/#website","url":"https:\/\/www.wsisp.com\/helps\/","name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","description":"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41","name":"admin","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/","url":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","contentUrl":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","caption":"admin"},"sameAs":["http:\/\/wp.wsisp.com"],"url":"https:\/\/www.wsisp.com\/helps\/author\/admin"}]}},"_links":{"self":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/94242","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/comments?post=94242"}],"version-history":[{"count":0,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/94242\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/media?parent=94242"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/categories?post=94242"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/tags?post=94242"},{"taxonomy":"topic","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/topic?post=94242"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}