Anéis AIC

Cadeias de inferência alternada fechadas: anéis de mesmo dígito, bivalor e mistos, cuja inferência fraca de fechamento é verificada independentemente do caminho.

Cadeias fechadas: quando o último elo morde o primeiro

Um anel AIC é uma cadeia de inferência alternada cujas extremidades se unem: a inferência fraca de fechamento entre o último e o primeiro nó forte é verificada independentemente do próprio caminho. Como o laço não tem extremidade livre, o teorema das extremidades fornece a inferência forte ausente entre o par de fechamento, cada aresta fraca ganha uma inferência forte complementar, e candidatos que veem ambos os lados de uma aresta fraca podem ser eliminados.

Os guias aqui cobrem anéis de mesmo dígito — do laço X-Wing de quatro células até estruturas L(1)-Ring mais longas — além de anéis bivalor e mistos construídos a partir de nós fortes de célula e agrupados. Cada anel nestas páginas é validado pela mesma regra: a ligação fraca de fechamento deve existir independentemente do caminho que fecha.