AIC / Nice Loops

AIC, ou Alternating Inference Chain, é uma cadeia de candidatos que alterna dois tipos de consequência. Na ligação forte, uma ponta falsa obriga a outra a ser verdadeira. Na ligação fraca, uma ponta verdadeira obriga a outra a ser falsa. Depois dessa explicação, elas podem ser abreviadas como S e W. A cadeia pode mudar de dígito dentro de uma casa com dois candidatos.

Na AIC aberta, a rota começa e termina com uma ligação forte. Se a primeira ponta for falsa, a alternância força a última verdadeira; percorrida ao contrário, uma última ponta falsa força a primeira verdadeira. Portanto, ao menos uma ponta é verdadeira, e um candidato externo que conflita com ambas pode ser eliminado.

Nice Loops é a notação que lê essas mesmas inferências como uma volta. Uma volta contínua mantém a alternância também no fechamento e produz conclusões nas ligações fracas; numa volta descontínua, duas ligações fracas eliminam o candidato do encontro e duas ligações fortes o confirmam.

X-Chain e X-Cycles acompanham um único dígito. AIC / Nice Loops amplia a rota para vários dígitos, mas cada ligação continua precisando de uma causa local explícita: duas posições possíveis ou uma casa com dois candidatos para a ligação forte; conflito de casa ou unidade para a ligação fraca.