1 line
82 KiB
HTML
1 line
82 KiB
HTML
<!doctype html><html lang="zh-CN"><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>先后链 · 设计评审</title><style>body{max-width:920px;margin:24px auto;padding:0 18px;background:#f7f5fb;color:#303047;font:15px/1.7 system-ui,'Microsoft YaHei'}article{background:white;border:1px solid #ddd5ed;border-radius:16px;padding:20px;margin:20px 0;break-inside:avoid}.boards{display:flex;gap:24px;flex-wrap:wrap}figure{margin:0;width:380px;max-width:100%}svg{max-height:450px;width:100%}details{cursor:pointer}a{color:#6552aa}@media print{body{background:white}article{border:none;page-break-after:always}} </style><a href="play.html">进入试玩</a><h1>先后链 · 8关设计评审</h1><p>每格一次。链中的标记必须依次访问,例如 A < B < C;相隔几步不受限制。</p><p>原始盘面和作者解分开展示。标题是设计任务,真人推理路径与难度仍需试玩验证。数字、窗口、方向、类别和开关显示在格内;步差与先后关系见逐关推理依据。</p><article><h2>01 · 入门 · A 必须先于 B</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 266.66666666666663" role="img" aria-label="A 必须先于 B"><polygon points="20,20 133.33333333333331,20 133.33333333333331,133.33333333333331 20,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,20 246.66666666666666,20 246.66666666666666,133.33333333333331 133.33333333333331,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,20 360,20 360,133.33333333333331 246.66666666666666,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,133.33333333333331 133.33333333333331,133.33333333333331 133.33333333333331,246.66666666666666 20,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,133.33333333333331 246.66666666666666,133.33333333333331 246.66666666666666,246.66666666666666 133.33333333333331,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,133.33333333333331 360,133.33333333333331 360,246.66666666666666 246.66666666666666,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="76.66666666666666" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="76.66666666666666" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="190" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="190" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="303.3333333333333" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="303.3333333333333" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="76.66666666666666" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="76.66666666666666" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="190" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="190" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="303.3333333333333" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="303.3333333333333" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 266.66666666666663" role="img" aria-label="A 必须先于 B"><polygon points="20,20 133.33333333333331,20 133.33333333333331,133.33333333333331 20,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,20 246.66666666666666,20 246.66666666666666,133.33333333333331 133.33333333333331,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,20 360,20 360,133.33333333333331 246.66666666666666,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,133.33333333333331 133.33333333333331,133.33333333333331 133.33333333333331,246.66666666666666 20,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,133.33333333333331 246.66666666666666,133.33333333333331 246.66666666666666,246.66666666666666 133.33333333333331,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,133.33333333333331 360,133.33333333333331 360,246.66666666666666 246.66666666666666,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="303.3333333333333,76.66666666666666 303.3333333333333,190 190,190 76.66666666666666,190 76.66666666666666,76.66666666666666 190,76.66666666666666" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="76.66666666666666" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="76.66666666666666" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="190" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="190" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="303.3333333333333" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="303.3333333333333" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="76.66666666666666" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="76.66666666666666" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="190" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="190" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="303.3333333333333" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="303.3333333333333" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text></svg></figure><p>c2 → c5 → c4 → c3 → c0 → c1</p></details></div><h3>推理依据</h3><ul><li>c5 先于 c0,作者步号 2<5</li></ul><p>关键分叉:第 2 步应走 c5,诱惑路线走 c1。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c2 → c1 → c0 → c3 → c4 → c5</p></details></article><article><h2>02 · 入门 · 靠近 B 也要先绕到 A</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 380" role="img" aria-label="靠近 B 也要先绕到 A"><polygon points="20,20 133.33333333333331,20 133.33333333333331,133.33333333333331 20,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,20 246.66666666666666,20 246.66666666666666,133.33333333333331 133.33333333333331,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,20 360,20 360,133.33333333333331 246.66666666666666,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,133.33333333333331 133.33333333333331,133.33333333333331 133.33333333333331,246.66666666666666 20,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,133.33333333333331 246.66666666666666,133.33333333333331 246.66666666666666,246.66666666666666 133.33333333333331,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,133.33333333333331 360,133.33333333333331 360,246.66666666666666 246.66666666666666,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,246.66666666666666 133.33333333333331,246.66666666666666 133.33333333333331,360 20,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,246.66666666666666 246.66666666666666,246.66666666666666 246.66666666666666,360 133.33333333333331,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="76.66666666666666" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="76.66666666666666" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="190" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="190" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="303.3333333333333" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="303.3333333333333" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="76.66666666666666" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="76.66666666666666" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="190" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="190" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="303.3333333333333" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="303.3333333333333" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="76.66666666666666" y="295.3333333333333" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="76.66666666666666" y="313.3333333333333" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="190" y="295.3333333333333" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="190" y="313.3333333333333" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 380" role="img" aria-label="靠近 B 也要先绕到 A"><polygon points="20,20 133.33333333333331,20 133.33333333333331,133.33333333333331 20,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,20 246.66666666666666,20 246.66666666666666,133.33333333333331 133.33333333333331,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,20 360,20 360,133.33333333333331 246.66666666666666,133.33333333333331" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,133.33333333333331 133.33333333333331,133.33333333333331 133.33333333333331,246.66666666666666 20,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,133.33333333333331 246.66666666666666,133.33333333333331 246.66666666666666,246.66666666666666 133.33333333333331,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="246.66666666666666,133.33333333333331 360,133.33333333333331 360,246.66666666666666 246.66666666666666,246.66666666666666" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,246.66666666666666 133.33333333333331,246.66666666666666 133.33333333333331,360 20,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="133.33333333333331,246.66666666666666 246.66666666666666,246.66666666666666 246.66666666666666,360 133.33333333333331,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="76.66666666666666,190 76.66666666666666,76.66666666666666 190,76.66666666666666 303.3333333333333,76.66666666666666 303.3333333333333,190 190,190 190,303.3333333333333 76.66666666666666,303.3333333333333" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="76.66666666666666" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="76.66666666666666" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="190" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="190" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="303.3333333333333" y="68.66666666666666" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="303.3333333333333" y="86.66666666666666" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="76.66666666666666" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="76.66666666666666" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="190" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="190" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="303.3333333333333" y="182" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="303.3333333333333" y="200" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="76.66666666666666" y="295.3333333333333" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="76.66666666666666" y="313.3333333333333" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="190" y="295.3333333333333" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="190" y="313.3333333333333" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text></svg></figure><p>c3 → c0 → c1 → c2 → c5 → c4 → c7 → c6</p></details></div><h3>推理依据</h3><ul><li>c0 先于 c6,作者步号 2<8</li></ul><p>关键分叉:第 2 步应走 c0,诱惑路线走 c6。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c3 → c6 → c7 → c4 → c5 → c2 → c1 → c0</p></details></article><article><h2>03 · 普通 · 三标记决定区域顺序</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 295" role="img" aria-label="三标记决定区域顺序"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 295" role="img" aria-label="三标记决定区域顺序"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="147.5,232.5 232.5,232.5 232.5,147.5 147.5,147.5 62.5,147.5 62.5,62.5 147.5,62.5 232.5,62.5 317.5,62.5 317.5,147.5" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">9</text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">10</text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text></svg></figure><p>c8 → c9 → c6 → c5 → c4 → c0 → c1 → c2 → c3 → c7</p></details></div><h3>推理依据</h3><ul><li>c9 先于 c0,作者步号 2<6</li><li>c0 先于 c3,作者步号 6<9</li></ul><p>关键分叉:第 2 步应走 c9,诱惑路线走 c5。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c8 → c5 → c4 → c0 → c1 → c2 → c3 → c7 → c6 → c9</p><p>解除 order:0:1 后:c8 → c9 → c6 → c7 → c3 → c2 → c1 → c0 → c4 → c5</p></details></article><article><h2>04 · 普通 · 两条独立先后关系</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 295" role="img" aria-label="两条独立先后关系"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,190 105,190 105,275 20,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,190 360,190 360,275 275,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="62.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="317.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 295" role="img" aria-label="两条独立先后关系"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,190 105,190 105,275 20,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,190 360,190 360,275 275,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="147.5,232.5 62.5,232.5 62.5,147.5 62.5,62.5 147.5,62.5 147.5,147.5 232.5,147.5 232.5,232.5 317.5,232.5 317.5,147.5 317.5,62.5 232.5,62.5" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">12</text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">11</text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">10</text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="62.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="62.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="317.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">9</text><text x="317.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text></svg></figure><p>c9 → c8 → c4 → c0 → c1 → c5 → c6 → c10 → c11 → c7 → c3 → c2</p></details></div><h3>推理依据</h3><ul><li>c8 先于 c6,作者步号 2<7</li><li>c10 先于 c3,作者步号 8<11</li></ul><p>关键分叉:第 2 步应走 c8,诱惑路线走 c10。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c9 → c10 → c11 → c7 → c3 → c2 → c6 → c5 → c1 → c0 → c4 → c8</p><p>解除 order:1:0 后:c9 → c8 → c4 → c0 → c1 → c5 → c6 → c2 → c3 → c7 → c11 → c10</p></details></article><article><h2>05 · 进阶 · 共享标记形成部分顺序</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 380" role="img" aria-label="共享标记形成部分顺序"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,190 105,190 105,275 20,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,190 360,190 360,275 275,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,275 190,275 190,360 105,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,275 275,275 275,360 190,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">13</text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="62.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="317.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="147.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="232.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 380" role="img" aria-label="共享标记形成部分顺序"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,190 105,190 105,275 20,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,190 360,190 360,275 275,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,275 190,275 190,360 105,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,275 275,275 275,360 190,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="147.5,147.5 232.5,147.5 232.5,62.5 147.5,62.5 62.5,62.5 62.5,147.5 62.5,232.5 147.5,232.5 147.5,317.5 232.5,317.5 232.5,232.5 317.5,232.5 317.5,147.5 317.5,62.5" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">14</text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">13</text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="62.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="62.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">11</text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="317.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">12</text><text x="317.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="147.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">9</text><text x="147.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="232.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">10</text><text x="232.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text></svg></figure><p>c5 → c6 → c2 → c1 → c0 → c4 → c8 → c9 → c12 → c13 → c10 → c11 → c7 → c3</p></details></div><h3>推理依据</h3><ul><li>c6 先于 c9,作者步号 2<8</li><li>c1 先于 c9,作者步号 4<8</li></ul><p>关键分叉:第 2 步应走 c6,诱惑路线走 c1。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c5 → c1 → c0 → c4 → c8 → c9 → c12 → c13 → c10 → c6 → c2 → c3 → c7 → c11</p><p>解除 order:1:0 后:c5 → c6 → c10 → c13 → c12 → c9 → c8 → c4 → c0 → c1 → c2 → c3 → c7 → c11</p></details></article><article><h2>06 · 进阶 · 访问标记时保留后续出口</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 380" role="img" aria-label="访问标记时保留后续出口"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,190 105,190 105,275 20,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,190 360,190 360,275 275,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,275 105,275 105,360 20,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,275 190,275 190,360 105,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,275 275,275 275,360 190,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,275 360,275 360,360 275,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">12</text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="62.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="317.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="62.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="62.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="147.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="147.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text><text x="232.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="232.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c14</text><text x="317.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="317.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c15</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 380 380" role="img" aria-label="访问标记时保留后续出口"><polygon points="20,20 105,20 105,105 20,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,20 190,20 190,105 105,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,20 275,20 275,105 190,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,20 360,20 360,105 275,105" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,105 105,105 105,190 20,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,105 190,105 190,190 105,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,105 275,105 275,190 190,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,105 360,105 360,190 275,190" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,190 105,190 105,275 20,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,190 190,190 190,275 105,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,190 275,190 275,275 190,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,190 360,190 360,275 275,275" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,275 105,275 105,360 20,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="105,275 190,275 190,360 105,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="190,275 275,275 275,360 190,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="275,275 360,275 360,360 275,360" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="232.5,147.5 147.5,147.5 147.5,232.5 232.5,232.5 232.5,317.5 317.5,317.5 317.5,232.5 317.5,147.5 317.5,62.5 232.5,62.5 147.5,62.5 62.5,62.5 62.5,147.5 62.5,232.5 62.5,317.5 147.5,317.5" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="62.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">12</text><text x="62.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="147.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">11</text><text x="147.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="232.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">10</text><text x="232.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="317.5" y="54.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">9</text><text x="317.5" y="72.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="62.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">13</text><text x="62.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="147.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="147.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="232.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="232.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="317.5" y="139.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="317.5" y="157.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="62.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">14</text><text x="62.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="147.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="147.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="232.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="232.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="317.5" y="224.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="317.5" y="242.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="62.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">15</text><text x="62.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="147.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">16</text><text x="147.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text><text x="232.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="232.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c14</text><text x="317.5" y="309.5" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="317.5" y="327.5" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c15</text></svg></figure><p>c6 → c5 → c9 → c10 → c14 → c15 → c11 → c7 → c3 → c2 → c1 → c0 → c4 → c8 → c12 → c13</p></details></div><h3>推理依据</h3><ul><li>c9 先于 c3,作者步号 3<9</li><li>c3 先于 c12,作者步号 9<15</li></ul><p>关键分叉:第 2 步应走 c5,诱惑路线走 c2。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c6 → c2 → c3 → c7 → c11 → c15 → c14 → c10 → c9 → c5 → c1 → c0 → c4 → c8 → c12 → c13</p><p>解除 order:0:1 后:c6 → c5 → c9 → c10 → c11 → c15 → c14 → c13 → c12 → c8 → c4 → c0 → c1 → c2 → c3 → c7</p></details></article><article><h2>07 · 难 · 两条链交错安排</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 368 450" role="img" aria-label="两条链交错安排"><polygon points="20,20 102,20 102,102 20,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,20 184,20 184,102 102,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,20 266,20 266,102 184,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,20 348,20 348,102 266,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,102 102,102 102,184 20,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,102 184,102 184,184 102,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,102 266,102 266,184 184,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,102 348,102 348,184 266,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,184 102,184 102,266 20,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,184 184,184 184,266 102,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,184 266,184 266,266 184,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,184 348,184 348,266 266,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,266 102,266 102,348 20,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,266 184,266 184,348 102,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,266 266,266 266,348 184,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,266 348,266 348,348 266,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,348 184,348 184,430 102,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,348 266,348 266,430 184,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="61" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="143" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="225" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="307" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="61" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="143" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="225" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">13</text><text x="225" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="307" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="61" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="143" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="225" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="307" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="61" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="143" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text><text x="225" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c14</text><text x="307" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c15</text><text x="143" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="143" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c16</text><text x="225" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c17</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 368 450" role="img" aria-label="两条链交错安排"><polygon points="20,20 102,20 102,102 20,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,20 184,20 184,102 102,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,20 266,20 266,102 184,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,20 348,20 348,102 266,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,102 102,102 102,184 20,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,102 184,102 184,184 102,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,102 266,102 266,184 184,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,102 348,102 348,184 266,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,184 102,184 102,266 20,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,184 184,184 184,266 102,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,184 266,184 266,266 184,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,184 348,184 348,266 266,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,266 102,266 102,348 20,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,266 184,266 184,348 102,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,266 266,266 266,348 184,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,266 348,266 348,348 266,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,348 184,348 184,430 102,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,348 266,348 266,430 184,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="143,389 225,389 225,307 143,307 61,307 61,225 61,143 61,61 143,61 143,143 143,225 225,225 225,143 225,61 307,61 307,143 307,225 307,307" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="61" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="61" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="143" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">9</text><text x="143" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="225" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">14</text><text x="225" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="307" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">15</text><text x="307" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="61" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="61" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="143" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">10</text><text x="143" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="225" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">13</text><text x="225" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="307" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">16</text><text x="307" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="61" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="61" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="143" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">11</text><text x="143" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="225" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">12</text><text x="225" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="307" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">17</text><text x="307" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="61" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="61" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="143" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="143" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text><text x="225" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="225" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c14</text><text x="307" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">18</text><text x="307" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c15</text><text x="143" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="143" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c16</text><text x="225" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="225" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c17</text></svg></figure><p>c16 → c17 → c14 → c13 → c12 → c8 → c4 → c0 → c1 → c5 → c9 → c10 → c6 → c2 → c3 → c7 → c11 → c15</p></details></div><h3>推理依据</h3><ul><li>c14 先于 c1,作者步号 3<9</li><li>c1 先于 c10,作者步号 9<12</li><li>c13 先于 c5,作者步号 4<10</li><li>c5 先于 c6,作者步号 10<13</li></ul><p>关键分叉:第 2 步应走 c17,诱惑路线走 c13。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c16 → c13 → c12 → c8 → c9 → c5 → c4 → c0 → c1 → c2 → c3 → c7 → c6 → c10 → c11 → c15 → c14 → c17</p><p>解除 order:0:1 后:c16 → c17 → c14 → c15 → c11 → c10 → c9 → c13 → c12 → c8 → c4 → c5 → c6 → c7 → c3 → c2 → c1 → c0</p><p>解除 order:1:0 后:c16 → c17 → c14 → c15 → c11 → c7 → c3 → c2 → c1 → c0 → c4 → c5 → c6 → c10 → c9 → c8 → c12 → c13</p><p>解除 order:1:1 后:c16 → c17 → c14 → c13 → c12 → c8 → c4 → c0 → c1 → c2 → c3 → c7 → c6 → c5 → c9 → c10 → c11 → c15</p></details></article><article><h2>08 · 难 · 无固定起点,由次序确定全路</h2><div class="boards"><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 368 450" role="img" aria-label="无固定起点,由次序确定全路"><polygon points="20,20 102,20 102,102 20,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,20 184,20 184,102 102,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,20 266,20 266,102 184,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,20 348,20 348,102 266,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,102 102,102 102,184 20,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,102 184,102 184,184 102,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,102 266,102 266,184 184,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,102 348,102 348,184 266,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,184 102,184 102,266 20,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,184 184,184 184,266 102,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,184 266,184 266,266 184,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,184 348,184 348,266 266,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,266 102,266 102,348 20,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,266 184,266 184,348 102,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,266 266,266 266,348 184,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,266 348,266 348,348 266,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,348 102,348 102,430 20,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,348 184,348 184,430 102,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,348 266,348 266,430 184,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><text x="61" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="143" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="225" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="307" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="61" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="143" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="225" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="307" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="61" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="143" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="225" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="225" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="307" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="61" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="143" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text><text x="225" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c14</text><text x="307" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="307" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c15</text><text x="61" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="61" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c16</text><text x="143" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="143" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c17</text><text x="225" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700"></text><text x="225" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c18</text></svg><figcaption>原始盘面 · 格id用于对照JSON</figcaption></figure><details><summary>展开作者解与路线</summary><figure><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 368 450" role="img" aria-label="无固定起点,由次序确定全路"><polygon points="20,20 102,20 102,102 20,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,20 184,20 184,102 102,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,20 266,20 266,102 184,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,20 348,20 348,102 266,102" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,102 102,102 102,184 20,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,102 184,102 184,184 102,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,102 266,102 266,184 184,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,102 348,102 348,184 266,184" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,184 102,184 102,266 20,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,184 184,184 184,266 102,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,184 266,184 266,266 184,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,184 348,184 348,266 266,266" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,266 102,266 102,348 20,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,266 184,266 184,348 102,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,266 266,266 266,348 184,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="266,266 348,266 348,348 266,348" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="20,348 102,348 102,430 20,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="102,348 184,348 184,430 102,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polygon points="184,348 266,348 266,430 184,430" fill="#f1eef9" stroke="#aaa1c7" stroke-width="2"/><polyline points="61,225 61,307 61,389 143,389 143,307 143,225 225,225 225,143 143,143 61,143 61,61 143,61 225,61 307,61 307,143 307,225 307,307 225,307 225,389" fill="none" stroke="#7963c9" stroke-width="5" opacity=".4"/><text x="61" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">11</text><text x="61" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c0</text><text x="143" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">12</text><text x="143" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c1</text><text x="225" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">13</text><text x="225" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c2</text><text x="307" y="53" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">14</text><text x="307" y="71" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c3</text><text x="61" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">10</text><text x="61" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c4</text><text x="143" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">9</text><text x="143" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c5</text><text x="225" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">8</text><text x="225" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c6</text><text x="307" y="135" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">15</text><text x="307" y="153" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c7</text><text x="61" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">1</text><text x="61" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c8</text><text x="143" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">6</text><text x="143" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c9</text><text x="225" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">7</text><text x="225" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c10</text><text x="307" y="217" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">16</text><text x="307" y="235" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c11</text><text x="61" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">2</text><text x="61" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c12</text><text x="143" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">5</text><text x="143" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c13</text><text x="225" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">18</text><text x="225" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c14</text><text x="307" y="299" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">17</text><text x="307" y="317" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c15</text><text x="61" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">3</text><text x="61" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c16</text><text x="143" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">4</text><text x="143" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c17</text><text x="225" y="381" text-anchor="middle" font-family="system-ui,Microsoft YaHei" font-size="21" font-weight="700">19</text><text x="225" y="399" text-anchor="middle" font-family="system-ui" font-size="10" fill="#665c78">c18</text></svg></figure><p>c8 → c12 → c16 → c17 → c13 → c9 → c10 → c6 → c5 → c4 → c0 → c1 → c2 → c3 → c7 → c11 → c15 → c14 → c18</p></details></div><h3>推理依据</h3><ul><li>c12 先于 c13,作者步号 2<5</li><li>c13 先于 c3,作者步号 5<14</li><li>c16 先于 c1,作者步号 3<12</li><li>c1 先于 c14,作者步号 12<18</li></ul><p>关键分叉:第 1 步应走 c8,诱惑路线走 c13。排除依据:标记次序不符。</p><details><summary>逐项机制必要性反例</summary><p>解除 order:0:0 后:c13 → c17 → c16 → c12 → c8 → c9 → c10 → c6 → c5 → c4 → c0 → c1 → c2 → c3 → c7 → c11 → c15 → c14 → c18</p><p>解除 order:0:1 后:c18 → c17 → c16 → c12 → c8 → c9 → c10 → c6 → c5 → c4 → c0 → c1 → c2 → c3 → c7 → c11 → c15 → c14 → c13</p><p>解除 order:1:0 后:c0 → c4 → c8 → c12 → c13 → c9 → c10 → c6 → c5 → c1 → c2 → c3 → c7 → c11 → c15 → c14 → c18 → c17 → c16</p><p>解除 order:1:1 后:c16 → c12 → c8 → c4 → c5 → c6 → c10 → c9 → c13 → c17 → c18 → c14 → c15 → c11 → c7 → c3 → c2 → c1 → c0</p></details></article></html> |