Alternating Inference Chains (AIC) in Sudoku Explained
An Alternating Inference Chain (AIC) is a Sudoku solving technique that connects candidate digits via a sequence of alternating strong and weak logical links to prove that at least one of the chain's endpoints must be true. This creates a powerful logical relationship that often leads to candidate eliminations. Mastering AICs is a major step into advanced Sudoku logic, building on simpler chain concepts like [X-Cycles](/blog/x-cycles).
The Core Logic of AIC: Strong and Weak Links
An AIC is constructed from two fundamental building blocks: strong links and weak links. A **strong link** between two candidates (A and B) states that if A is false, then B must be true, and vice versa. In Sudoku, the most common strong link is between the only two instances of a digit in a row, column, or box. A **weak link** states that if A is true, then B must be false. This is typically a simple peer relationship, like two of the same digit in the same unit. The chain's power comes from alternating these link types: Strong, Weak, Strong, Weak, and so on.
The Alternating Rule and Chain Structure
The 'alternating' rule is non-negotiable. You cannot have two strong links or two weak links in a row. This alternation creates a domino effect. For example, if the chain starts with a strong link stating 'if the first candidate is false, the next is true,' the following weak link then says 'if that candidate is true, the next one is false.' This back-and-forth creates a continuous logical pathway. A solid grasp of Sudoku notation systems is crucial for tracking these complex chains clearly.
- Practice identifying strong links: look for bivalue cells (cells with only two candidates) or units with only two placements for a digit.
- Label your chain clearly (e.g., A=B-C=D-E=F) where '=' is a strong link and '-' is a weak link.
How to Find Eliminations with AIC
The primary goal of an AIC is to find candidate eliminations. For a standard, linear AIC, there is one key elimination rule: **If the two endpoints of the chain are the same candidate digit, that digit can be eliminated from any cell that is seen by both endpoints.** This is because the chain proves that this digit must be true in at least one of the endpoint cells. Therefore, it cannot be true in any cell that shares a row, column, or box with both. If the endpoints are different digits, the chain alone doesn't directly eliminate a candidate. However, it establishes a relationship that can be combined with other logic or extended into a continuous loop, which creates multiple eliminations. Techniques like the Y-Wing can be viewed as a specific, short type of AIC.
A Simple AIC Walkthrough
Imagine a chain in a puzzle: Candidate 4 in cell R1C1 is strongly linked to candidate 4 in R1C9 (only two 4s in Row 1). This is a strong link (4=R1C1 = 4=R1C9). The 4 in R1C9 is weakly linked to a 7 in R1C9 (they are in the same cell, so both cannot be true: 4=R1C9 - 7=R1C9). That 7 is then strongly linked to a 7 in R5C9 (only two 7s in Column 9: 7=R1C9 = 7=R5C9). We have a chain: 4(R1C1) = 4(R1C9) - 7(R1C9) = 7(R5C9).
The endpoints are the digit 4 in R1C1 and the digit 7 in R5C9. They are different, so no direct elimination yet. But if we could extend the chain to make both endpoints a '4', then we could eliminate other 4s. This illustrates the basic alternating structure. For more on chain strategies, explore our guide on Sudoku Chains.
Key Facts
- ▪An Alternating Inference Chain (AIC) is a logical sequence in Sudoku where strong and weak links between candidates alternate.
- ▪A strong link between two candidates A and B means if A is false, B is true, and if B is false, A is true.
- ▪A weak link between two candidates A and B means if A is true, then B is false.
- ▪The most common strong link is between the only two placements of a digit in a row, column, or box.
- ▪The most common weak link is between two candidates that cannot both be true, like two digits in one cell or two of the same digit in a unit.
- ▪In a standard AIC, if both endpoints are the same digit, that digit can be eliminated from any cell visible to both endpoints.
- ▪If the AIC forms a continuous loop (where the end connects back to the start), it often creates multiple, powerful eliminations.
- ▪Many advanced techniques, like XY-Chains and some Turbot Fish patterns, are specific applications of the general AIC concept.
- ▪Mastering AICs requires consistent practice in spotting strong links and following the alternating logical pathway.
Frequently Asked Questions
What is the difference between a strong link and a weak link in AIC?
A strong link is an 'either/or' relationship: if one candidate is false, the other is true. A weak link is a 'not both' relationship: if one is true, the other is false. They must alternate in an AIC.
Can an AIC have more than two digits?
Yes. An AIC can link multiple different digits. The chain follows the logical relationship between candidates, not the digit value. The alternating strong/weak rule applies to the links between candidates.
What if my AIC endpoints are different digits?
A linear AIC with different digit endpoints does not directly eliminate a candidate. It establishes a logical relationship. To find eliminations, try extending the chain into a loop or use the relationship with other puzzle constraints.
How is an AIC different from an X-Cycle?
An X-Cycle is a specific type of AIC that uses only one digit. A general AIC can involve multiple digits, making it a more versatile and broadly applicable technique.
Is AIC a beginner technique?
No. AIC is an advanced technique. You should be very comfortable with simpler strategies like Y-Wing and basic chains first. It builds on understanding of candidate notation and cell relationships.