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.
Anel AIC de Mesmo Dígito de Dois Nós
Um anel AIC de dígito único de quatro células — o laço X-Wing — com uma inferência fraca de fechamento verificada.
Continuar Lendo
Anel AIC de Três Nós (mesmo dígito)
Três nós fortes de dígito único com um fechamento de anel contínuo verificado.
Continuar Lendo
Anel AIC de Três Nós Agrupado (mesmo dígito)
Três nós fortes incluindo proposições agrupadas, com um fechamento de anel contínuo verificado.
Continuar Lendo
Anel AIC de Mesmo Dígito
Um anel AIC de dígito único cujas ligações fortes e fracas alternadas se fecham num laço contínuo.
Continuar Lendo
Anel AIC Bivalente
Um anel cujas inferências fortes passam todas por células bivalor, fechado por uma ligação fraca verificada.
Continuar Lendo
Anel AIC Misto
Um anel AIC que mistura ligações fortes bilocais e bivalor, fechado por uma ligação fraca verificada.
Continuar LendoCadeias 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.