混合 AIC 环

分步示例

混合AIC环分步示例：双位强链接与双值强链接结合在同一个闭合交替结构中。

第 1 步

考虑这些单元格。

第 2 步

高亮的候选数形成闭合的 Mixed AIC Ring (B2=D2)-(D2=D9)-(D9=D7)-(D7=F8)-(A8:9=3)-(A1:3=2)。每个等号都是强链接（XOR）；每个破折号都是弱推论（NAND）。最后一个链接，A1=2 回到 B2=2，是一条独立于路径成立的弱推论 — 它闭合环路，端点定理提供其互补的强推论，因此环的每条弱边都变成恰好一对。 编号的推理轨迹沿一个方向遍历环以展示交替链接；它说明闭合结构，并非额外的强制假设。 1. 如果 A1 包含 值 2，那么 B2 不能包含 值 2 (该值在宫中只能出现一次) 2. 如果 B2 不包含 值 2，那么 D2 必须包含 值 2 (行中唯一剩余的可能位置) 3. 如果 D2 包含 值 2，那么 D2 不能包含 值 4 (该格只能填入一个值) 4. 如果 D2 不包含 值 4，那么 D9 必须包含 值 4 (列中唯一剩余的可能位置) 5. 如果 D9 包含 值 4，那么 D9 不能包含 值 1 (该格只能填入一个值) 6. 如果 D9 不包含 值 1，那么 D7 必须包含 值 1 (宫中唯一剩余的可能位置) 7. 如果 D7 包含 值 1，那么 D7 不能包含 值 9 (该格只能填入一个值) 8. 如果 D7 不包含 值 9，那么 F8 必须包含 值 9 (宫中唯一剩余的可能位置) 9. 如果 F8 包含 值 9，那么 A8 不能包含 值 9 (该值在行中只能出现一次) 10. 如果 A8 不包含 值 9，那么 A8 必须包含 值 3 (格中唯一剩余的可能值) 11. 如果 A8 包含 值 3，那么 A1 不能包含 值 3 (该值在列中只能出现一次) 12. 如果 A1 不包含 值 3，那么 A1 必须包含 值 2 (格中唯一剩余的可能值)

第 3 步

因此可以移除 值 2 和 3：闭合使环的每条弱边变成恰好一对，其两个交替赋值中恰有一个成立 — 每个标记的候选数在两种情况下都与一个为真的环命题冲突。

混合环将双位强链接（一数两位）与双值强链接（一格两数）结合，并通过独立于路径验证的弱推论（NAND）闭合。端点定理使闭合对饱和，因此任何与任一弱边两侧均冲突的候选数都可以被移除。您可以免费在线玩数独，在当前候选状态可见的情况下进行练习。