Você está na página 1de 140

PREFACIO

Cada programa sudoku afirma ser capaz de resolver todos os sudokus ...
bem, grande coisa! Uma vez que para cada sudoku o nmero de maneiras
em que os dgitos podem ser inseridos na grade finito um computador
pode apenas tentar todos eles e ver qual se encaixa (esta abordagem
geralmente chamado de "fora bruta" ou "adivinhar") - e um boa execuo
em um computador moderno s deve precisar de alguns poucos
milissegundos para fazer isso.
O verdadeiro desafio claro para resolver o sudoku usando a lgica apenas.
Para todos, mas as mais fceis quebra-cabeas que exige mais do que
apenas olhar para a grelha e esperando por uma revelao. Muitas tcnicas
foram desenvolvidas para ajudar os seres humanos na busca de possveis
prximos passos. A maioria destas tcnicas concentrar na reduo do
nmero de candidatos a fim de encontrar solteiros que realmente avanar o
quebra-cabeas para a soluo.
A melhor fonte para todos os tipos de informaes sobre Sudoku (incluindo
tcnicas de resoluo) ainda ndice Sudopedia da Tcnica Soluo que tem
no apenas em descries detalhadas de um grande nmero de tcnicas
diferentes, mas o lote de informaes adicionais que no so facilmente
encontradas em outros lugares tambm (descries por exemplo, e tcnicas
para as variantes de Sudoku).
Neste guia de cerca de 70 e variantes tcnicas so descritas em pormenor e
ilustradas com mais de 170 exemplos.

TERMINOLOGIA
Ao longo deste guia os seguintes termos so usados: A consiste sudoku de
clulas, as clulas so agrupadas em casas. Existem trs tipos diferentes de
casas: linhas, colunas e caixas (sob certas circunstncias uma clula pode
ser visto como uma casa, bem). Trs caixas em uma linha so chamados de
uma rampa (uma calha horizontal um cho, uma rampa vertical uma
torre) ou uma banda. As clulas so preenchidas com valores, os valores
presentes no incio do jogo so chamados Givens, valores possveis para as
clulas no preenchidas so candidatos. Toda a rea sudoku s vezes
chamado de grid. Se os jogadores de lpis e papel escrever candidatos na
rede algumas vezes so chamadas marcas de lpis, uma grade com todos
os candidatos preencheram, portanto, uma marca de lpis de grade ou PM.
Linhas e colunas so numeradas de 1 a 9 (esquerda para a direita / de cima
para baixo), uma clula especificado pela sua linha e coluna (por exemplo:
r5c2 significa que a clula da linha 5 e coluna 2; r57c2 clulas meios r5c2 e
r7c2). Os blocos so numerados de 1-9 tambm (mais andar de cima da

esquerda para a direita, ento o prximo andar e assim por diante).


Se duas clulas so na mesma casa (mesma linha, mesma coluna, ou
mesmo bloco) disse que esto a ver uns aos outros, ou para ser pares. Isto
importante em muitas tcnicas desde duas clulas que vem um ao outro
no podem ter o mesmo valor.

SIMPLES
Singles so as tcnicas mais bsicas na resoluo de sudokus e dentro dos
singles do Full House o mais fcil tambm.

Uma casa completa simplesmente o ltimo dgito que pode ser colocado
numa casa. Se ele o ltimo dgito para toda a rede, s vezes chamado
de "ltimo dgito". No exemplo acima no bloco esquerdo 8 tem apenas uma
clula vazia para a esquerda. O dgito que falta 6, r9c6 deve ser um 6.
No exemplo direita, a Full House est na linha 5: Somente 1 dgito est
faltando.

ESCONDIDO NICO

Escondidos nico meio que para um determinado dgito e casa apenas uma
clula deixado para colocar esse dgito. A prpria clula tem mais de um
candidato a esquerda, o dgito correcta , assim, escondido entre o resto.
Olhe para celular r3c4 no exemplo esquerda: os 4 dgitos, 6 e 9 so
possveis de acordo com a regra. Se olharmos atentamente para a linha 3,
no entanto, percebe-se que nesta linha de 6 dgitos s pode ser colocado
em r3c4. r3c1, r3c2 e R3C3 so bloqueados por 6 dgitos em r2c3, r3c6 est
bloqueada por 6 dgitos em r6c6. Isso significa que 6 pode ser colocado em
r3c4.
No exemplo um direito de mel escondida vrios podem ser encontrados em
r6c4: 3 Digit a 3 apenas em linha 6, coluna 4 e 5 do bloco.

NU NICO

Nuas nico meio que em uma clula especfica apenas um dgito continua a
ser possvel (o ltimo candidato remanescente no tem outros candidatos
para se esconder por trs e assim nu). O dgito deve, ento, ir para a
clula.
Exemplo esquerda: Olhe para celular r6c7: No um nico escondido.
Linha 6 tem um outro 6 possvel em r6c4, C7 e B6 tm ambos uma outra 6
possvel em r5c7. Mas quando examinamos todas as clulas que podem ver
r6c7, percebemos que elas contm todos os dgitos exceto 6. 6 , portanto,
o ltimo candidato possvel para r6c7.
No quebra-cabea sobre a configurao correta 3 em r3c4 (a nica Oculto)
desbloqueia o nico despido em R3C3: o ltimo dgito possvel l e pode
ser colocado.

COMO ENCONTR-LOS

Encontrar casas cheias auto-explicativo. Singles ocultos e Naked no so to fceis de


detectar. Eles so um bom exemplo de por que to difcil especificar um nvel de
dificuldade para as tcnicas: Ao jogar com lpis e papel, escondido Singles so fceis de
encontrar, mas vendo Singles nu pode demorar um pouco. Ao jogar com um programa
de computador, tais como HoDoKu que mantm automaticamente o controle de

possveis candidatos restantes, encontrando Singles Nu trivial, mas encontrar Singles


escondido pode ser completamente um chore por causa da quantidade de candidatos
esquerda na grade (especialmente no incio do jogo) .
Ao jogar com a mo, Singles escondido pode ser encontrado por "ecloso cruz":
Concentre-se em um dgito e um bloco. Desenhe linhas atravs de todas as linhas e
colunas que j tem uma instncia de que o conjunto de dgitos (em sua mente s por
favor). Se apenas uma clula esquerda, que a clula um Single oculto para esse
dgito.

A imagem da esquerda mostra que a tcnica de 3 dgitos no bloco 5: Todas


as clulas em que o bloco est "bloqueado" por um 3 dgitos, colocados r6c4
a ltima clula possvel para 3 dgitos no bloco 5.
A imagem direita mostra uma outra possibilidade: O uso de filtros. Se os
filtros so habilitados, movimentos Solteiros e candidatos bloqueadas
podem ser facilmente encontrados.
Encontrar Singles Nu com a mo envolve o preenchimento de todos os
possveis candidatos ou tentando clulas promissoras (contar todos os
dgitos nas clulas vendo sua clula-alvo pretendido e, se permanece
apenas uma possibilidade, um nico nu).

INTERSEES

Os candidatos Fechados tipo 1 (apontando)


Se em um bloco de todos os candidatos de um dgito certo esto confinados
a uma linha ou coluna, esse dgito no pode ficar fora do bloco em que linha
ou coluna.

Olhe o exemplo esquerda: Na candidato bloco 1 5 s pode ir em linha 3.


Isso significa que, para que uma das clulas r3c1 ou r3c2 tem de ser de 5,
ou o bloco 1 seria sem 5, o que no possvel. Isso significa tambm, que 5
pode ser eliminado da r3c7, porque r3c7 v tanto r3c1 e r3c2. O enigma
resolve com singles depois que se movem.
Movimentos bloqueados candidatos podem eliminar at 6 candidatos como
pode ser visto no exemplo direita: Em caixa candidato 8 1 est bloqueado
na linha 7 e pode, portanto, ser eliminado a partir da interseco das caixas
de 7 e 9 com a linha 7.

Os candidatos Fechados Tipo 2 (Afirmando)

Os candidatos Fechados Tipo 2 funciona exatamente o contrrio: se em uma


linha (ou coluna) todos os candidatos de um dgito certo esto confinados a
um bloco, o candidato que ser eliminado de todas as outras clulas desse
bloco.

Olhe o exemplo esquerda: Na linha 2 7 candidato s pode ir em bloco 1. Ele pode ser
eliminado a partir de todas as clulas em bloco 1 que no pertencem linha 2, no nosso
caso clula r3c2. O enigma resolve com singles depois.
O exemplo da direita mostra um candidato Fechados mover em uma coluna: Todos 4s
na coluna 6 so no bloco 2. Eles podem ser eliminados em qualquer outro lugar no
referido bloco, como mostrado na imagem.
Como encontr-los

Movimentos Fechados Candidatos normalmente so encontrados atravs da insero de


marcas de lpis na rede sempre que um candidato se limita a uma linha ou coluna dentro
de um bloco. Olhe o exemplo do lado esquerdo: O 6 em r7c2 blocos linha 7. No bloco
candidato 8 6 pode, portanto, s ir na coluna 5. Isso significa que nenhuma 6 pode ser
na coluna 5 em qualquer bloco de 2 ou bloco 5 (candidatos bloqueadas Tipo 1).
O exemplo da direita mostra a outra variante: Na candidato bloco 8 6 s pode ir na
coluna 4, no bloco 9 apenas na coluna 8. Uma vez que em ambos os blocos dos 6
candidatos so confinados a linhas 7 e 8, no terceiro bloco de que calha (bloco 7) 6 tem
que estar em linha 9 (ou para colocar em termos da definio acima: 6 pode ser
seguramente eliminado do r8c2).
Os candidatos bloqueadas podem ser identificados facilmente, quando os filtros so
aplicados para um dgito. Para um exemplo, consulte Usando filtros no manual do
usurio.

SUBCONJUNTOS OCULTOS

Par Invisvel

Todos os subconjuntos ocultos funcionam da mesma maneira, a nica coisa que muda
o nmero de clulas e os candidatos afectados pelo movimento. Tome Par Oculto: Se
voc pode encontrar duas clulas dentro de uma casa, como que dois candidatos
aparecem em nenhum lugar fora dessas clulas em que a casa, os dois candidatos devem
ser colocados nas duas clulas. Todos os outros candidatos podem ser eliminados.

D uma olhada na coluna 9 no exemplo esquerda: Os candidatos 1 e 9


aparecem apenas em clulas r5c9 e r7c9 (muitas vezes abreviado como
r57c9) na coluna (que aparece em outro lugar na linha 5, linha 7, bloco 6 e
bloco 9, mas que no importante aqui). Uma dessas duas clulas tem de
ser 1 e 9 a outra. Ns ainda no sabemos qual qual, mas o que sabemos
que r5c9 no pode ser 6.
Pares escondidos podem ser enterrados em lotes de outros candidatos,
como mostrado no exemplo a direita: r1c12 um Par Invisvel para os
candidatos 4 e 7 (neste caso eles esto escondidos na linha 1 e no bloco 1),
mas essas clulas casa mais 10 candidatos , que podem todos ser
eliminados.

triplo escondida
Triplica ocultos trabalhar da mesma maneira como pares escondidos apenas
com trs clulas e trs candidatos.

O exemplo esquerda mostra um triplo escondida no bloco 7: Os candidatos 2, 4 e 5 s


aparecem em clulas r8c2 e r9c2 e r9c3 nesse bloco. 1 pode ser eliminado da r9c2 e 6 a
partir de r9c3, que decifra o quebra-cabeas.
O exemplo da direita especial, em que o triplo escondida o primeiro passo da
soluo (no individuais disponveis no estado inicial do quebra-cabeas). O triplo na
coluna 6 (r468c6) com os candidatos 2, 5, e 6. Aps os singles triple s so necessrios
para resolver o enigma.
escondido Qudruplo
Quadruplica ocultos (4 candidatos em 4 clulas) so relativamente raros.
muito difcil identific-los sem o uso de marcas de lpis.

O exemplo da esquerda novamente num bloco (clulas r7c56 e r8c56,


todos em bloco 8) usando o candiates 2, 4, 5 e 8. O exemplo direita est na
coluna 9 (r1238c9) utilizando candidatos 2, 4, 5 e 9.

Como encontr-los

Pares escondidos podem ser facilmente encontrados usando marcas de


lpis. D uma olhada no quebra-cabea: Depois de algumas marcas de lpis
poucos solteiros foram aplicados para os candidatos 4 e 8. O Par Invisvel
em r3c46 torna-se imediatamente visvel. Nenhum outro candidato pode
entrar em uma dessas clulas.
Encontrar maiores subconjuntos ocultos requer uma memria de curto
prazo bom. Muitos jogadores preferem usar grandes subconjuntos nuas em
grandes subconjuntos ocultos, uma vez que as marcas de lpis tenham sido
aplicadas, mas este , naturalmente, inteiramente uma questo de gosto.

SUBCONJUNTOS NUAS

Par nu / Trancado Pair


Subconjuntos nuas so semelhantes aos Subconjuntos ocultos, a nica
diferena que no se trata de candidatos que esto sendo confinados s

clulas (como em subconjuntos ocultos), mas sobre as clulas que


contenham apenas um certo nmero de candidatos.
Par nu
Se voc pode encontrar duas clulas, tanto na mesma casa, que tm
apenas os mesmos dois candidatos esquerda, voc pode eliminar de que
dois candidatos de todas as outras clulas que casa.

Exemplo esquerda: as clulas r8c3 e r8c4 so ambos na mesma casa


(linha 8) e ter os dois candidatos apenas 3 e 9 de esquerda. Segue-se
imediatamente que, em uma das clulas tem de ser de 3 a 9 e outro (que
o que ainda desconhecido). Mas podemos dizer com segurana que r8c2
no pode ser 3. O enigma resolve com singles depois disso.
O exemplo da direita mostra um par despido em uma caixa: r4c5, r5c6
formar um par Nua na casa 5, eliminando os candidatos 8 e 9 de todas as
outras clulas que caixa.

Par trancado
Se as duas clulas que formam o par nu no est apenas confinada a uma
mas a duas casas (uma linha e um bloco ou uma coluna e um bloco), so
chamados s vezes um par fechado. Os candidatos podem ser eliminados a
partir de ambas as cmaras.

No lado esquerdo r3c79 um par bloqueado na linha 3 eo bloco 3, , por


conseguinte, elimina 2 a partir de R3C3 (linha 3) e de r1c9 (bloco 3). O lado
direito mostra um par fechado na linha 8 e bloco 8 eliminando 18
candidatos.

Nu Triple / Trancado Triplo

nu Triplo

Se voc pode encontrar trs clulas, todos na mesma casa, que tm apenas os mesmos
trs candidatos esquerda, voc pode eliminar os candidatos de todas as outras clulas
que casa. importante notar que nem todas as clulas devem conter todos os trs
candidatos, mas no deve haver mais de trs candidatos nas trs clulas todos juntos.

Exemplo esquerda: as clulas r2c2 e r4c2 e r5c2 esto todos na mesma


casa (coluna 2) e, juntos, s os candidatos tm 3, 6 e 9 esquerda. Seguese imediatamente, que uma das clulas tem de ser 3, um outro 6, e 9 a
ltima (que o que ainda desconhecido). Mas podemos dizer com
segurana que r1c2 no pode ser 6. O enigma resolve com singles depois
disso.
O exemplo da direita mostra um triplo despido em uma caixa: r3c45, r1c5
uma forma nua Triplo em caixa 2, eliminando assim os candidatos 1, 2 e 6
de todas as outras clulas que caixa.

bloqueado Triplo

Se as trs clulas que formam as Triplo nu no so apenas confinado a uma mas a duas
casas (uma linha e um bloco ou uma coluna e um bloco), eles so s vezes chamado de
Triplo Bloqueado. Os candidatos podem ser eliminados a partir de ambas as cmaras.

No lado esquerdo r789c5 uma tripla bloqueado na coluna 5 e bloco de 8,


, por conseguinte, elimina 9 a partir de r8c4 (bloco 8) e de r2c5 (coluna 5).
O lado direito mostra um triplo fechado nos dias 5, 6, 7 na linha 5 e 6 bloco
eliminar 18 candidatos.

nu Qudruplo
Quadruplica nuas funcionam exatamente da mesma maneira como pares
nuas e triplos, com apenas quatro candidatos em quatro clulas. Uma vez
que um cruzamento entre uma linha ou coluna e uma caixa pode ter apenas
trs clulas, um Qudruplo fechado no existe.

O lado esquerdo mostra um Qudruplo Nua na linha 8: os candidatos 3, 4, 8,


9 em clulas r8c1346, eliminando 3 e 8 de r8c7 e 9 de r8c8. O lado direito
tem o Quadruple despido em bloco 7: Os candidatos 4, 6, 7, 9 em clulas
r8c2 e r789c3.

Como encontr-los
Encontrar Subconjuntos nuas o melhor feito, quando todos os restantes
candidatos foram apontados dentro Se este for o caso, eles so bastante
fceis de detectar e muito eficiente.

FISH (EXPLICAO GERAL)


Introduo
O peixe termo denuncia um grupo de tcnicas que trabalham a partir do
mesmo princpio, mas geraram uma quantidade incrvel de variedades
(como peixe real tem). Eles comeam com simples X-Wings (pode ser
encontrado em qualquer tutorial) e ir to longe como canibais com aletas
Leviats mutantes. As espcies maiores so bastante complicados de
encontrar manualmente e so mais comumente usados por programas de
computador, mas os mais simples so bastante fceis de detectar e pode

avanar um quebra-cabea muito rapidamente.


Esta seo tenta cobrir completamente todos os tipos de peixe. Se voc
est interessado apenas nas variantes bsicas e encontrar as explicaes
aqui, em vez cumbersum, prossiga diretamente para as descries dos
Peixes Basic.
Os peixes so simples padres de dgitos. "Um dgito" significa que s os
candidatos do mesmo dgito so considerados quando se olha para os
peixes. "Padro" significa, que a localizao dos candidatos na grade
importante. O termo usado para diferenci-los das cadeias.
Princpio
O princpio por trs de peixe muito simples: Procure por um certo nmero
de casas no sobrepostas. Estas casas so chamados os conjuntos de base
(conjunto sinnimo de casa aqui), os candidatos neles contidas so os
candidatos da base. Meios no se sobrepem, que qualquer candidato de
base est contida em apenas um conjunto de base, os conjuntos de si
podem sobrepor-se. Agora, olhe para um nmero igual de diferentes casas
no se sobrepem, que cobrem todos os candidatos da base. Estes novos
conjuntos so a tampa ajusta contendo os candidatos de cobertura. Se uma
tal combinao existe, todos os candidatos de cobertura que no so
candidatos de base pode ser eliminado.
Como funciona
Peixes usam o fato de que um dgito s pode aparecer uma vez em uma
casa. Desde que ns consideramos apenas os candidatos do mesmo dgito,
qualquer conjunto de base deve conter exatamente uma clula com o valor
de peixes. O mesmo verdadeiro para os conjuntos de tampa. Uma vez que
todos os candidatos de base so parte de um conjunto de tampa, bem como
um conjunto de base, os posicionamentos possveis dos candidatos tornamse muito restrito. Se temos N conjuntos bsicos e conjuntos de cobertura de
N, N tem exatamente as clulas para conter o peixe dgitos. A regra sudoku
garante que em cada capa de definir exatamente o candidato base de um
tem que ser definido. Como geralmente no sabemos o que, naturalmente,
mas sabemos que deve ser um, de modo que nenhum dos candidatos de
cobertura que no so candidatos da base so posicionamentos possveis.
Eles podem ser eliminados.

Formas e tamanhos
O nmero de base / tampa define definir o tamanho do peixe. Os seguintes
nomes so normalmente utilizados para descrever o tamanho:

Tamanho 2: X-Wing (X-Wing um peixe e no uma asa!)


Tamanho 3: Swordfish
Tamanho 4: Jellyfish
Tamanho 5: Squirmbag
Tamanho 6: Baleia
Tamanho 7: Leviathan

Podem ser encontrados exemplos no captulo sobre peixes de base.


As combinaes de tipos de casas (linhas, colunas, blocos) usados para construir a base
e abrange os conjuntos de determinar o tipo de peixe (tipos so dados como [conjuntos
de base] / [cover] conjuntos):
[linhas] / [colunas] ou [colunas] / [linhas]: Peixe Basic (o termo "bsico"
normalmente omitida)
[linhas e caixas] / [colunas e caixas] ou [colunas e caixas] / [linhas e caixas]: Franken
Peixe (normalmente apenas um dos conjuntos contm pelo menos uma caixa)
combinaes arbitrrias de linhas / colunas / caixas em um ou ambos os conjuntos:
Peixe Mutante
Ao descrever os peixes, os conjuntos de base e cobertura so geralmente reduzidos e
determinar o tipo do peixe. exemplos:
4 C39 R46: Peixe por 4 dgitos, conjuntos bsicos so colunas 3 e 9, conjuntos de
cobertura so linhas 4 e 6 -> (Basic) X-Wing
4 c39b8 r469: Peixe por 4 dgitos, conjuntos bsicos so colunas 3 e 9 e caixa de 8,
conjuntos de cobertura so linhas 4, 6 e 9 -> Franken Swordfish
4 r159c9 c45b36: Peixe por 4 dgitos, base define a linha 1, 5, 9 e coluna 9, coluna
abrange os conjuntos de 4, 5 e blocos de 3, 6 -> Mutant Jellyfish
Exemplos para peixes Franken e mutante pode ser encontrada em peixes
Complex.

Fins e Sashiminess
(Ex) Fins
O truque com a pesca , naturalmente, encontrar conjuntos de cobertura
que contm realmente todos os candidatos da base. Infelizmente mais
frequentemente ento no candidatos da base so mais de esquerda. Isso
destri o pressuposto de peixe ("em qualquer cobertura definir exatamente
o candidato deve ser base de uma verdadeira"), porque qualquer um dos
candidatos extra da base poderia ser verdade. Os candidatos extras so
chamados barbatanas (ou mais exactamente: barbatanas exo para
diferenci-los de barbatanas endo - veja abaixo), o peixe torna-se um peixe
Finned.

A boa notcia que eliminaes ainda so possveis sob certas


circunstncias. A lgica a seguinte: ou todas as nadadeiras so falsas,
ento temos um peixe que elimina todos os candidatos de cobertura que
no so candidatos da base (as eliminaes possveis), ou uma das
barbatanas verdade, eliminando assim todos os candidatos que podem
ver a clula fin . Se combinarmos as duas possibilidades ns temos a
seguinte regra: Em um peixe voador todas as eliminaes possveis que ver
todas as nadadeiras podem ser eliminados.
Exemplos para peixes Finned pode ser encontrada em Finned / Sashimim
peixes.
Sashiminess
Em descries disponveis na internet muitas condies adicionais sobre os
candidatos de peixe pode ser encontrado (assim e assim muitos candidatos,
pelo menos, neste ou naquele conjunto base). Eles so todos desnecessria.
Cada peixe que tem um nmero igual de base e tampa conjuntos, em que
todos os candidatos de base esto dentro dos conjuntos de cobertura, no
funciona. A razo para estas regras uma discusso que ainda no est
resolvida na comunidade sudoku: A questo da degenerao. Certos tipos
de padres de cumprir as regras de peixes, mas eles contm um pequeno
peixe que poderia eliminar algo primeiro ou podem ser simuladas por
movimentos mais fcil (normalmente solteiros e movimentos bloqueados
candidatos). Alguns jogadores do sudoku chamar os peixes "degenerados" e
no pensar nelas vlido.
Em alguns aspectos a discusso acadmica. Se o peixe est degenerada
ou no, as eliminaes que deles se retiram so sempre vlidos. H um caso
especial, onde a diferena importante para entender os nomes de peixes
diferentes: Se um peixe degenerado tem barbatanas, os movimentos mais
fceis contidos no peixe no pode ser executado porque eles so impedidos
pelas aletas. O que temos um peixe Finned, que no seria mesmo um
peixe, se no fosse para as aletas. Esse peixe muitas vezes chamado
Sashimi.
A discusso ainda no est resolvido se o Sashimi prazo dever substituir o
termo aletas (visto regularmente em diversos fruns) ou se deve ser um
atributo adicional para o nome do peixe que descreva a sua Sashiminess.
Dependendo de que lado do argumento voc decidir ser, ou Sashimi XWing ou Finned Sashimi X-Wing (voc pode, claro, pular o argumento e ficar
com Peixe Finned - este exatamente o que HoDoKu faz para todos os
peixes no bsica tipos).

Fins Endo e canibalismo

Uma condio importante para peixes foi, que nem os conjuntos de base
nem os conjuntos de cobertura so permitidos a sobrepor-se (e
sobreposio significa aqui: nenhum candidato base pode estar em mais de
um conjunto de base e nenhum candidato cobertura pode estar em mais de
um conjunto de tampa) . Se diminuir essa restrio, temos duas tcnicas
avanadas: Fins Endo e canibalismo.
Fins Endo
Se um candidato de base est contida em mais de um setor de base nossos
clculos no esto somando mais. Se esse candidato era verdade, tnhamos
apenas (n-1) candidatos inscritos para os conjuntos de tampa N: Um
conjunto de cobertura seria sem um candidato de base colocado destruindo
assim o peixe. Por outro lado, j tnhamos candidatos de base que, quando
estabelecidos destruir o peixe: Ns os chamamos de barbatanas.
Os meios acima, que podemos permitir que os candidatos da base que
esto contidos em mais de um conjunto bsico, contanto que trat-los como
barbatanas. Para diferenciar essas novas aletas de os regulares, os
chamamos barbatanas endo.
Fins endo aumentar grandemente o nmero de peixes possvel (e, assim, o
nmero de possveis eliminaes por peixe), mas eles aumentar
grandemente o nmero de possveis combinaes de conjuntos de base
tambm. Combine isso com o fato de que as aletas endo s pode existir nos
peixes Franken ou Mutant e voc ver que o nmero de combinaes
possveis para procurar barbatanas de peixe Franken / Mutant com
barbatanas endo os torna muito difcil de encontrar para os jogadores
humanos.
Canibalismo
Agora vamos ver o que acontece, se um candidato de base faz parte do
conjunto de cobertura no s um mas de dois conjuntos de cobertura. Se
esse candidato foram colocados, ainda precisaramos candidatos da base N
para satisfazer a regra sudoku para os conjuntos de base. Infelizmente
tambm obter candidatos N colocados dentro dos conjuntos de cobertura.
Isto significa que gostaramos de obter uma cobertura definida com duas
clulas que contm o peixe dgitos, portanto, violando a regra de sudoku.
Concluso: Se tivermos um peixe vlida, um candidato de base contido em
dois conjuntos de cobertura deve ser falsa, ou, dito de outra maneira, ele
pode ser eliminado. Porque uma parte do conjunto de base, o peixe
quase comer em si. Esse peixe um peixe chamado conseqentemente
canibal.

A mesma lgica se mantm, se um peixe canibal tem barbatanas. Como em


qualquer peixe barbatanas, no entanto, o candidato base de s pode ser
eliminado, quando se v todas as aletas.

PEIXE BSICO

Para uma descrio geral das tcnicas de pesca, incluindo as explicaes para todos os
termos necessrios consulte Peixe (geral). Para todos os exemplos a notar que no
necessrio para cada interseco entre uma base e uma tampa definido para conter um
peixe dgito. No entanto, necessrio que cada base e cada conjunto tampa contm pelo
menos um peixe dgito.
X-Wing
Tome duas linhas (os conjuntos de base). Se voc pode encontrar duas
colunas, de tal forma que todos os candidatos de um dgito especfico (o
peixe dgitos) em ambas as linhas so containd nas colunas (a tampa fixa),
todos os candidatos de peixes nas colunas que no fazem parte das linhas
podem ser eliminados . O resultado chamado de X-Wing nas linhas.
Se voc trocar as linhas e colunas em termos da descrio acima, voc
obter uma X-Wing nas colunas.

Tomemos o exemplo esquerda: Os conjuntos de base so as 2 linhas e 5


(eles tm candidato 5 em r2c58 e r5c58 colunas 5 e 8 so os conjuntos de
cobertura:.. Todos os candidatos a partir dos sets base esto contidos em
que as colunas O que resta 5 em um r4c5: parte de um conjunto de
tampa, mas no de um conjunto de base que candidato pode ser eliminado..
A lgica por trs que funciona da seguinte forma: As linhas 2 e 5 ambos tm
somente dois candidatos 5. Se r2c5 = 5, r2c8 e r5c5 no pode ser 5. Isso
deixa r5c8 como ltima possibilidade para a 5 na linha 5. Se r2c8 = 5, o
mesmo argumento leva r5c5 = 5. No importa como voc olha para ele,
tanto r2c5 ou r5c5 deve ser 5. r4c5 no pode, portanto, ser de 5.
A exemplo da direita mostra um X-Wing nas colunas: Os conjuntos base so
colunas 1 e 5, os conjuntos de cobertura so as linhas 2 e 5. Todos os
candidatos nas linhas que no esto nas colunas pode ser eliminado.

Swordfish
Swordfishes funcionam exatamente da mesma maneira como X-Wings,
apenas com base de trs e trs cobertura define, em vez de apenas dois.

No lado esquerdo os conjuntos de base so as linhas 1, 2 e 9. Os conjuntos de tampa so


colunas 1, 5 e 8, o dgito peixe 2. Os candidatos 2 em r7c1 e em r6c8 so candidatos
de cobertura que no so candidatos de base e pode ser eliminada.
Na base direita, define r247 so combinadas com conjuntos de cobertura para eliminar
C235 4 de r3c235, r6c235, r8c235 e r9c23.
gua-viva
Medusas precisaria de quatro base e quatro conjuntos de cobertura. Ambos
os exemplos abaixo foram tiradas da coleo Medusa Pure no Frum do
Jogador Sudoku Novo.

esquerda temos uma gua-viva em r3467/c1259 para 7 dgitos,


eliminando todos os candidatos marcados em vermelho. direita da
Medusa est na r1367/c2589, tambm para 7 dgitos.
Os peixes maiores bsico
Peixe bsica maior que medusas so, evidentemente, possvel, mas
necessria: Para qualquer grande peixe um complemento menor vai existir.

FINNED / SASHIMI PEIXE


Finned / Sashimi X-Wing
A Finned X-Wing um regular X-Wing, onde um ou mais candidatos da base
no so cobertos por um conjunto de cobertura. Conforme explicado no
Peixe (geral), apenas os candidatos de cobertura pode ser eliminado que ver
todas as aletas (e so, naturalmente, candidatos e no de base).
Um Peixe aletas se torna Sashimi, se o peixe restante incompleta (ou
degenerado), quando todas as nadadeiras so falsas.

No exemplo da esquerda temos uma X-Wing em r24/c35. Infelizmente,


temos um candidato base adicional em r2c1, que no est contida em um
dos conjuntos de tampa (C35). O candidato o fin. Se a barbatana no era
verdade, teramos um regular X-Wing que poderia eliminar 9 de r35c3 e
r5c5 (as eliminaes possveis). Se a nadadeira verdade, que elimina 9 de
L1C1, r2c35 e R3C3. Uma vez que uma das duas possibilidades tem que ser
verdade (ou a nadadeira falsa, ento temos o X-Wing, ou verdade), a
interseo dos dois conjuntos de candidatos deleteable pode ser eliminado
(em outras palavras: tudo possvel eliminaes que vem todas as
nadadeiras). No nosso exemplo, apenas uma clula parte de ambos os
conjuntos: R3C3.
direita, temos um (Finned) Sashimi X-Wing em c36/r37 com duas aletas
em r89c3. Se nenhuma das aletas fosse verdade, uma X-Ala permaneceria.
Em nova inspeco vemos que o restante X-Wing poderia ser substitudo por
um nico em R3C3 (seguida por outra em r7c6): O X-Ala degenerada.
isso que torna este peixe Sashimi. A lgica o mesmo que com um normal
Finned X-Wing: r7c1 o candidato tampa nica que pode ver ambas as
aletas, ele pode ser eliminado.

Finned / Sashimi Swordfish

Finned / Sashimi Swordfish funciona exatamente como barbatanas / Sashimi


X-Wing apenas com trs base / tampa fixa em vez de dois.

A esquerda um Swordfish c159/r357, a "sobra" clula base r1c9 o fin. As


eliminaes possveis do Espadarte, sem a nadadeira so r3c7, r5c3 e r7c6. Daqueles
r3c7 s v o fin (mesma caixa) e pode ser eliminado.
O Swordfish um direito Swordfish nas linhas: r269/c258, fin em r6c4. As duas nicas
clulas de cobertura que vem a nadadeira so r45c5, portanto, duas eliminaes. Sem a
barbatana em r6c4 teramos um nico r4c2, portanto Sashimi.
Finned / Sashimi Jellyfish
Se somarmos uma outra combinao de conjunto base / tampa temos uma
medusa Finned / Sashimi.

Exemplo esquerda: barbatanas Jellyfish r2479/c1348, fin em r4c9. Cubra clulas


r56c8 ver o fin. Se a nadadeira falso, o peixe iria degenerar numa Swordfish
(r479/c134) eliminar 9 de r26c3. Esta medusa Finned poderia, portanto, ser chamado
Sashimi tambm.
Exemplo direita: Jellyfish r1469/c1289, fin em r9c3, eliminaes e r7c12 r8c12. Sem fin
temos um nico r9c9 assim Sashimi.
Os peixes maiores Finned / Sashimi
Para maiores Finned / Sashimi Peixe um peixe complementar existir para as
eliminaes mesmos. Procurando por peixes maiores no necessrio.

PEIXE COMPLEXO
(Finned) Franken Fish
Se pelo menos um dos conjuntos de base ou cobertura uma caixa, o peixe
resultante chamado um peixe Franken. As regras de peixes permanecem
inalterados.

A imagem esquerda acima mostra uma gua-viva Franken: r125b7/c1257


leva aos seguintes eliminaes: r3c257 e r4c12 e r6c257 <> 8. primeira
vista parece uma medusa base nas linhas. A nica diferena que o
conjunto base de quarto no uma linha mas um bloco: Isto o torna um dos
peixes Franken.
O lado direito mostra exatamente o estado de quebra-cabea mesmo que a
esquerda, mas um peixe diferente: c34b6/r346. H trs base / tampa
conjuntos, de modo Swordfish. Os conjuntos de base contm um bloco,
Espadarte assim Franken. E um candidato de base "sobra": r5c7. Esta
uma fin, espadarte para barbatanas Franken. A eliminao r3c8.
Muitos peixes avanado produzir padres que foram descritos com um
nome diferente. A maioria destes diferentes padres so mais fceis de
detectar. As possibilidades adicionais introduzidos atravs da utilizao de
caixas de base ou como cobertura define chumbo para peixes com aletas
endo e canibalismo. As variedades possveis so realmente infinitas, abaixo
esto dois exemplos desses tipos de peixes:

O exemplo esquerda mostra uma Franken Finned X-Wing: conjuntos base


so a linha 6 e 1 bloco, conjuntos de cobertura so colunas 3 e 5. 2 em r2c1
no est coberto por um conjunto de tampa e , portanto, uma aleta. A
eliminao s possvel do Peixe Franken Unfinned est na r2c5. Uma vez
que isso acontece para ver o fin, torna-se uma eliminao real. Esse padro
mais conhecido como um retngulo vazio.
O exemplo da direita um tipo de peixe mais complexo: os conjuntos de
base so as linhas 1 e 5 e caixa 3, conjuntos de cobertura so colunas 6 e 8
e caixa 2. Trs base / tampa conjuntos significa Espadarte, em caixas de
base / tampa conjuntos significa Swordfish Franken. Eliminaes possveis
so R2C4, r24c6 e r4c8. No olhar mais atento se v, no entanto, que r1c89
candidatos da base no so apenas na linha de base set 1, mas na base de
caixa conjunto 3 tambm: Eles tm que ser tratados como aletas ("Endo"
barbatanas). Dado que nenhuma das possveis eliminaes v todas as
barbatanas que nos deixam sem nada para fazer. Felizmente, porm, o
candidato de base r1c6 est contida em dois conjuntos de Capa: coluna do
conjunto de 6 e cobrir definir caixa 2, , portanto, uma possvel eliminao
canibal. Ele faz ver todas as barbatanas, por isso torna-se a eliminao real
para este peixe (um canibal Swordfish Franken Finned).

(Finned) Peixe Mutante

Se permitirmos que todos os tipos possveis de casas na base e abranger


conjuntos de nossos peixes, os resultados ficam ainda mais complicadas.
Mais uma vez os exemplares menores so conhecidos sob um nome
diferente.

Vamos comear de novo com o lado esquerdo: conjuntos base so a linha 6 e coluna 2,
os conjuntos de cobertura so a coluna 6 eo bloco 4. Dois setores cada meios X-Wing,
linhas e colunas misturado na base define significa Mutant X-Wing. Base de dados de
clula r7c2 no coberto, para barbatanas Mutant X-Wing. A eliminao r7c6. Este
padro em particular tambm conhecido como um 2-String-Kite ou como Turbot de
peixe (que, alis, no um peixe, mas uma cadeia ...).
O exemplo acima no lado direito mostra uma gua-viva Finned Mutant: r16c47/c1b358,
barbatanas em r1c6 e r7c7, a eliminao r7c6.

O exemplo esquerda no se parece muito mais complicado do que o Jellyfish acima,


mas . o menor peixe disponvel no grid, uma baleia Finned Mutant: 4 r35c89b49
r69c347b3 fr4c1 efr9c8 => r9c1 <> 4. Embora seja engraado olhar para esses
monstros, altamente improvvel que um solucionador humano deve encontrar um
peixe to. No sequer necessrio: A eliminao pode ser reproduzida por um loop
Agrupados Nice ou uma Cadeia Forando.
peixes Siamese

Se em um estado de quebra-cabea dado dois peixes do mesmo tipo existem, que


ocupam as mesmas clulas, mas levar a eliminaes diferentes, esses dois peixes podem
ser combinados em um Siamese. Para um peixe Siamese seja possvel, os peixes de
construo que deve ser algum tipo de peixe voador que diferem em um conjunto de
cobertura. A forma mais fcil de um Sashimi Siamese X-Wing mais conhecido como
Arranha-cu.

O exemplo esquerda (postado no Frum do Jogador) um Siamese


Sashimi Swordfish em 1: O primeiro peixe no r358 c259, fin em r8c6, que
elimina uma das r7c5, o segundo em r358 c269, fin em r5c5, eliminando 1
a partir de r4c6.

O segundo exemplo um Siamese Sashimi Jellyfish em 8 (cada peixe tem


duas aletas): O primeiro peixe em r4678 c1689, barbatanas e r4c2 r6c2,
eliminando 8 de r5c1 (note que, embora o segundo candidato eliminado
r9c2 v os dois aletas, que no um candidato tampa e no pode, portanto,
ser eliminados pelo primeiro peixe sozinho). O segundo peixe est na r4678
c2689, barbatanas em r7c1 e r8c1, eliminando 8 de r9c2.
HoDoKu suporta peixes siameses, mas apenas se a opo "Permitir Duals /
siameses" est ativada.
NICO PADRES DE DGITOS
arranha-cu
Um arranha-cu um padro simples que ocorre com bastante freqncia
em sudokus e pode ser facilmente localizados. No nada realmente novo:
Um arranha-cu uma forma especial de Peixe Pregado e pode ser visto
como dois Sashimi X-Wings.
A descrio do padro soa mais complicado do que realmente : Concentrese em um dgito. Encontre duas linhas (ou colunas) que contm apenas dois
candidatos para esse dgito. Se dois desses candidatos so na mesma
coluna (ou linha), um dos outros dois candidatos deve ser verdadeira. Todos
os candidatos que vem ambas as clulas podem, portanto, ser eliminados.
Vejamos exemplos:

Tomemos o exemplo da esquerda: Na coluna 6 1 dgito s pode ser colocado


na linha 1 ou linha 5. Na coluna 9 1 dgito s pode ser colocado na linha 3
ou linha 5. r5c6 e r5c9 esto na mesma linha (a "base" do arranha-cus).
Ns agora podemos raciocinar da seguinte forma: Se r1c6 no verdade,
ento deve ser verdade r5c6 (apenas dois valores possveis, um deles deve
ser verdadeiro: Link forte). Mas se r5c6 verdadeiro, r5c9 no pode ser
verdade uma vez que so na mesma linha (elo fraco). E se r5c9 no
verdade, r3c9 tem que ser verdade (ligao forte). Temos assim provado,
que r3c9 tem que ser verdade, se r1c6 no verdade. O mesmo argumento
vale se comearmos com r3c9 no verdade: Segue-se que r1c6 tem que
ser verdade. Como um dos r1c6 e r3c9 tem que ser verdade, todos os
candidatos que podem ver ambas as clulas podem ser eliminados (no
nosso exemplo: r1c78 e r3c45).
Felizmente para voc, no necessrio para seguir com a toda a lgica que
voc procure um arranha-cu: Voc s tem que identificar o padro.
Pode ser visto, que os locais dos candidatos so sujeitos a uma restrio: As
duas clulas de topo tem que ser na mesma banda ou nada pode ser
eliminado.
O exemplo da direita mostra um arranha-cu, que foi rodado em 90 graus
sentido horrio: Arranha-cu em 4 de r2c5, r8c4 (ligado por r28c1) => r1c4
<> 4
Se olharmos para o exemplo da esquerda, novamente, podemos facilmente
identificar o Sashimi dois X-Wings que esto contidas nele: A primeira
c59/r35, fin em r1c6, eliminando 1 de r3c45. O segundo c59/r15, fin em
r3c9, eliminando 1 de r1c78.

2-pipa

padro padro
A Kite 2-String uma segunda forma especial de peixe pregado, que pode ser
encontrado em lotes de enigmas. A descrio: Concentre-se mais uma vez em um dgito.
Encontre uma linha e uma coluna que tem apenas dois candidatos esquerda (o
"strings"). Um candidato a partir da linha e um candidato a partir da coluna tem que
estar no mesmo bloco. O candidato que v as duas outras clulas podem ser eliminados.
2-String Kites trabalho semelhante ao Arranha-cus: Uma das duas pontas das cordas
deve ser verdade.

Exemplo esquerda: Candidato 5. A primeira seqncia est na coluna 7 (candidatos


r29c7), o outro est na linha 8 (candidatos r8c49). Os pontos finais r9c7 e r8c9 esto
ambos na casa 9. Se r2c7 no verdade, ento r9c7 tem que ser verdade, r8c9 tem de
ser falsa, e r8c4 tem que ser verdade. Se r8c4 no verdade, o mesmo argumento leva
r2c7 verdade. De qualquer forma R2C4, que v tanto r2c7 e r8c4, no pode ser verdade.
Exemplo direita: Candidato 9, cordas e r6c16 r47c2, conectados na casa 4: r7c6 no
pode ser 9.
Dupla 2-pipa
s vezes, os mesmos dois candidatos de conexo na caixa comum pode ser amarrado
dois quatro cordas diferentes, formando efetivamente dois 2-String Kites, que eliminam
dois candidatos. Essas duas 2-String Kites pode ser considerado como um nico
movimento e pode ser chamado Dupla 2-pipa. HoDoKu suporta formas duais apenas
como uma opo (que sempre pode ser replicado pelos dois papagaios que constroem a
forma dual).

Exemplo esquerda: Os candidatos comuns so r1c3 e r3c1 no quadro 1. Os dois kites


que podem ser construdos com eles so: r1c38/r36c1 (r6c8 <> 1) e r3c19/r14c3 (r4c9
<> 1).

Bom exemplo: os candidatos comuns r7c2 e r9c1 na casa 7. Kites: r29c1/r7c28 (r2c8 <>
4) e r17c2/r9c19 (r1c9 <> 4).
Peixe pregado
Um Peixe Pregado realmente uma cadeia e no um peixe. Para uma
descrio detalhada das vrias tcnicas e termos sobre cadeias consulte
Chains: Introduo.
Um Peixe Pregado uma X-Chain que exatamente quatro candidatos
longo. Vrias formas podem ser construdos com uma tal cadeia. Um deles
se assemelha a um peixe, que deu a tcnica de seu nome (veja o exemplo a
direita: desenhe duas linhas do candidato vermelho para os mais prximos
candidatos verde e azul para ver a forma de peixe).
Peixes pregado ter ido um pouco fora de moda. Uma das razes que a
maioria dos padres pregado princpio tm sido descritos como padres
separados com seus nomes prprios: arranha-cus, 2-pipa e retngulo vazio
(apenas dois candidatos no retngulo vazio em si).

Os exemplos acima mostram duas das possibilidades: Na esquerda est um


retngulo vazio, direita um papagaio 2-String.

Os exemplos acima: No arranha-cu esquerda, no retngulo vazio


novamente um direito (o exemplo certo realmente contm um retngulo
duplo vazio)

retngulo vazio
padro padro
Retngulos vazios tm sido usados em muitas formas diferentes em
tcnicas muito avanadas. O padro aqui descrito uma variante muito
bsico.
Vamos comear com uma definio do retngulo vazio (ER) em si: Se um
candidato restrito a Exactely uma linha e uma coluna dentro de uma
caixa, as clulas restantes formam uma ER. Olhe para os dois exemplos
abaixo: Na candidato de esquerda 9 em caixa de 5 restrito a linha 4 e
coluna 6. O ER r5c45 e r6c45. Na candidato certo 1 na casa 5 restrito a
linha 4 coluna e 5. O ER r5c46 e r6c46.
Se um ER foi encontrado, pode ser verificado para eliminaes: Encontrar
um par conjugado (uma linha ou coluna que contm apenas dois
candidatos) onde um dos candidatos est na linha (coluna) formando o ER.
Se a coluna (linha) do ER contm um candidato, que pode ver o candidato
do segundo par conjugado, ele pode ser eliminado.

Um padro de ER que se segue a descrio acima pode sempre ser visto


como um Finned Mutant X-Wing ou como um lao Agrupado Nice.

esquerda: 4 linhas e forma uma coluna 6 ER na casa 5. r48c2 formar um par


conjugado. Um lado do par conjugado na linha ER (r4c2), o outro pode ver um
candidato na coluna ER (r8c6). 9 pode ser eliminado da r8c6.
Para ver por que isso funciona, vamos comear com candidato 9 em r8c2: Se r8c2 9,
r8c6 no pode ser 9 (mesma linha). Se no r8c2 9, r4c2 tem de ser 9 (par conjugado /
ligao forte), o que significa que nem r4c5 nem r4c6 pode ser 9. Isso deixa r6c6 como
ltimo candidato 9 na casa 4, deve ser verdade e r8c6 deve ser falso novamente. Uma
vez que ambas as possibilidades em r8c2 chumbo para o mesmo resultado (r8c6 <> 9),
9 pode ser eliminado da r8c6.
O equivalente barbatanas Mutant X-Wing: 9 c2b5 r4c6 fr8c2 => r8c6 <> 9.
The Loop Agrupados equivalente Nice: r8c6 -9 - r8c2 = 9 = r4c2 -9 - r4c56 = 9 = r6c6
-9 - r8c6 => r8c6 <> 9.
No exemplo da linha 4 direito e forma coluna 5, o ER, r7c59 o par conjugado, e r4c9
pode ser eliminado.

ERs, com apenas dois candidatos


Se o ER contm apenas dois candidatos a retngulo vazio no est
claramente definida. As eliminaes so, naturalmente, continua vlido. O
movimento pode ser replicado como Peixe Pregado ou como X-Chain. Alguns
jogadores do sudoku no consideram ERs, com apenas dois candidatos
vlidos, portanto HoDoKu apoia-los apenas como opo.
Nota: Como Peixe Pregado antes de ER na ordem padro de problemas,
ERs, com dois candidatos so sempre encontradas como peixes pregado,
mesmo se eles esto habilitados. Por favor, mova Peixe Pregado atrs ER
(ou desativ-lo) para encontrar as ERs abaixo.

Exemplo Esquerda: retngulo vazio: 6 em b8 (r69c1) => r6c4 <> 6


Bom exemplo: retngulo vazio: 5 em b3 (r8c49) => R2C4 <> 5

Retngulo vazio dupla


s vezes o candidato eliminado e no final do par conjugado formar um par conjugado
tambm. Se for esse o caso, ambas as ligaes fortes podem desempenhar o papel de
"par conjugado" levando a duas eliminaes diferentes. O resultado chamado de um
retngulo duplo vazio.
Dupla retngulos vazios so suportadas como uma opo na HoDoKu.

No exemplo do lado esquerdo do ER formado por linha 2 e coluna 3. r6c35 um par


conjugado eliminando 2 a partir de r2c5. Mas r26c5 um par conjugado assim
eliminando 2 a partir de r6c3.
direita: retngulo vazio Dual: 9 em b5 (r67c8/r7c48) => r6c8, r7c4 <> 9
SINGULARIDADE
introduo
Singularidade em Sudoku
Tcnicas de exclusividade so baseadas no fato de que praticamente todos
os quebra-cabeas de Sudoku que j foi publicado tem apenas uma soluo.
Mais do que isso: A maioria dos jogadores de Sudoku considerar quebracabeas com mais de uma soluo invlido! Assim, qualquer constelao,
que levaria a duas ou mais solues, que no violam a regra Sudoku, deve
ser evitada. O problema que a singularidade em puzzles publicados no
faz parte da regra de Sudoku em si ("qualquer linha, coluna e bloco deve
conter os dgitos 1 a 9"). Isto levou a um argumento muito aquecida, se as
tcnicas de exclusividade so vlidos ou no (ver Controvrsia
Singularidade em Sudopedia).
Se voc quiser usar tcnicas de exclusividade ou no, inteiramente uma
questo de gosto. Se voc resolver enigmas publicados em livros ou jornais,

voc pode estar razoavelmente seguro de que eles tm uma soluo nica
(para algumas excees ver o Hall da Vergonha). Se voc usar um programa
de computador como HoDoKu, o nmero de solues sero verificados
automaticamente e voc receber um aviso, se voc tentar resolver um
enigma invlido (consulte o Manual do Usurio).
Tcnicas de exclusividade so fceis de encontrar, verstil, e muitas vezes
avanar quebra-cabeas que sem eles exigiriam tcnicas muito
complicadas. HoDoKu, portanto, suporte embutido para um grande nmero
de diferentes tcnicas. Se voc no quiser us-los (apesar de suas
vantagens bvias), voc pode desativar todas as tcnicas de exclusividade
com um nico clique do mouse, v em "Editar | Preferncias | Passos"
(mudar para a vista de rvore).

Retngulo nica
A "Rectangle Unique" (UR) composta por quatro clulas que ocupam
exatamente duas linhas, duas colunas e duas caixas. Todos os quatro
clulas tm os mesmos dois candidatos esquerda.

O exemplo da esquerda tomada a partir de Rectangle original em


Sudopedia. D uma olhada em clulas r2c13 e r4c13: Eles satisfazem todas
as restries necessrias. Duas linhas (linha 2 e 4), duas colunas (coluna 1 e
3), dois blocos (blocos 1 e 4) e dois candidatos (candidatos 6 e 8).

Uma situao como esta invlida, porque os candidatos nas clulas


poderia ser trocado, resultando em duas solues diferentes que ambos
satisfaam a regra sudoku (veja abaixo). Se o jogo tem apenas uma soluo,
qualquer situao que possa levar a um retngulo original deve ser evitada.
Os dois (vlido) solues para o UR acima:

Um erro comum quando se olha para ARs violar a "2 blocos" regra (ver o
artigo Sudopedia para um exemplo).

Sepultura Universal Binary (BUG)


A Grave Binrio Universal (BUG) uma generalizao de uma UR: um bug
existe se todas as clulas no resolvidos ter apenas dois candidatos e se
cada candidato aparece exatamente duas vezes em qualquer linha, coluna e
caixa. Esse quebra-cabea tem duas solues tambm.

Tipo Retngulo nica 1


Um tipo UR 1 existe, se uma das quatro clulas de uma UR possvel tem candidatos
adicionais. Se os candidatos foram eliminados, a UR existiria, causando duas solues.
, portanto, absolutamente necessrio, que um dos candidatos adicionais tem que ser
verdade. Isso significa que, para que os candidatos UR pode ser eliminado a partir da
clula com os candidatos adicionais. Se apenas um candidato adicional existe, ele pode
ser colocado em que a clula imediatamente.

No exemplo sobre os candidatos esquerdo 8 e 9 quase formar uma UR em


r2c23 e r6c23. A UR s impedido pelo candidato adicional de 3 em r2c2. 8
e 9 pode ser eliminado da r2c2 (ou 3 pode ser colocado em r2c2).
direita: 2/3 em r2c46, r9c46 => r9c6 <> 23 (ou r9c6 = 1).

Tipo Retngulo exclusivo 2


Se numa possveis UR duas clulas no diagonais tm apenas um candidato
extra, e que o candidato o mesmo em ambas as clulas, todos os
candidatos vendo ambos os candidatos extra podem ser eliminados.
A lgica simples: Para evitar a UR dos candidatos extras deve ser verdade,
portanto, qualquer clula de ver ambos os candidatos no podem ter o
mesmo valor colocado.

Olhe o exemplo esquerda: Temos uma UR possvel nos dias 3 e 7 em r7c29


e r8c29. As duas clulas no diagonais r78c9 tm um candidato mais 8.
Uma dessas clulas devem ser de 8, ou a quebra teria duas solues. Assim
8 nunca pode ser colocado em r9c9.
Um tipo UR 2 pode eliminar candidatos em mais de uma casa como pode
ser visto no exemplo direita: O 7s adicional em r8c56 eliminar todos os 7s
outro tanto de linha 8 e bloco 8.

Tipo Retngulo nica de 3


Esta uma combinao de UR com despidas / bloqueado Subconjuntos. Ns
olhamos para duas clulas no diagonais em uma UR possvel que tenham
candidatos extras. Uma vez que um dos candidatos tem de ser ajustado
para evitar a UR, podemos tratar tanto as clulas como uma clula virtual
contendo apenas os candidatos extras e tentar construir um subconjunto
Naked (todas as clulas adicionais tm a ver com ambas as clulas UR
candidatos extras). Se tal um subconjunto UR / Nu encontrado, todos os
candidatos subconjunto pode ser eliminado a partir de todas as clulas fora
do subconjunto (mas na mesma casa claro).

esquerda: UR Possvel em 1/5 em r4c28 e r6c28. Clula r6c8 tem candidatos


adicionais 6 e 9 e de clula r4c8 tem candidatos adicionais 4 e 6. Se tratarmos clulas
r46c8 como uma clula que contm os candidatos apenas 4, 6 e 9, podemos construir
um triplo nua sobre esses trs candidatos em r1c8, r2c8 e r46c8. Uma vez que estes trs
candidatos so bloqueados em esses quatro clulas, elas no podem ser colocados em
r8c8 ou r9c8.
O exemplo da direita mostra um tipo de UR 3 com um par fechado: Os candidatos
adicionais 1 e 3 em r6c23 forma o par fechado com r6c1 (bloqueado na linha 6 e bloco
4).
Tipo Retngulo Unique 4
Procuramos candidatos adicionais em duas clulas no diagonais
novamente, mas desta vez ns ignoramos os candidatos extras e
concentrar-se sobre os candidatos UR prprios: Se um dos candidatos UR
no mais possvel em qualquer outra clula de uma casa que contm
ambas as clulas com os candidatos extra, o outro candidato UR pode ser
eliminado a partir dessas clulas UR.

Para ver como isso funciona, vamos dar uma olhada no exemplo esquerda:
UR Possvel de 6/7 em r3c79 e r6c79. r3c7 e r3c9 ter candidatos adicionais
(ou seja: essas so as nicas clulas da UR que seria possvel conter nem
um 6 nem 7). Existem duas casas que vem ambos os r3c7 clulas e r3c9: a
linha 3 e bloco 3. Linha 3 tem candidato 6 apenas nas clulas UR (o mesmo
acontece com o bloco 3, mas isso no necessrio - casa um suficiente),
de modo 6 deve ir em qualquer r3c7 ou r3c9. Mas isso significa que 7 pode
ser nem em r3c7 nem em r3c9 ou teramos duas solues. Podemos, por
conseguinte, eliminar 7 a partir de r3c79.
A lgica mesmo se aplica ao exemplo direita: candidato UR 8 nada na
coluna 8 (ou bloco 9), de modo 2 podem ser eliminados. Note-se que os
candidatos mais 8 poderia ser em uma das casas (coluna 8 ou bloco 9), mas
no em ambas. Tal situao no muito provvel, no entanto, porque o
adicional de 8 seria provavelmente foram eliminadas antes de usar um
movimento fechado candidatos.

Tipo Retngulo nico de 5


Tipo UR 5 uma variao do Tipo UR 2, mas agora o candidato adicional pode ser em
clulas diagonais. Suponha que temos um UR possvel com um candidato extra em
qualquer uma das duas clulas na diagonal ou em trs clulas. Todas as ocorrncias de
que o candidato pode ser eliminado em todas as clulas que vem todas as clulas que

contm o candidato UR adicional. A lgica por trs que se movem o mesmo que em
um tipo de UR 2.

O exemplo esquerda o nico exemplo publicada para um tipo UR 5, com


apenas dois candidatos adicionais at o momento: 1 devem ser
estabelecidas em qualquer r7c8 ou r8c5 para evitar a UR. Clula r7c4 v
ambas as clulas UR e no pode ser um em si.
O tipo UR 5 na direita tem trs candidatos adicionais: 6 deve estar em r8c6,
r8c9, ou r9c9. Ele pode ser eliminado do r8c7.

Tipo Retngulo nico 6

Tipo UR 6 uma variao de 4 Tipo UR. No muito comum, mas altamente eficaz,
pois sempre leva a duas colocaes: Suponha que temos um UR possvel com duas
clulas na diagonal contm candidatos extras. Se um dos candidatos UR outro lugar nas
duas filas e duas colunas de construo do UR, ele pode ser eliminado a partir das
clulas com os candidatos extra.

Olhe o exemplo esquerda: Nas linhas 4 e 5 e colunas 3 e 4 candidatos 5


aparece apenas dentro do UR: Faz uma X-Wing. Se 5 foi colocado num dos
r4c3/r5c4 clulas que contm os candidatos extra, que tinha de ser
colocado na outra clula tambm, forando assim o UR e causando duas
solues. , portanto, seguro assumir que ele no pode estar em qualquer
uma daquelas clulas.
O exemplo da direita mostra um tipo de UR 6 no candidato 7. Note-se que
todos os seis Tipo UR acompanhado por um par de rectngulos ocultos,
cada um deles conduzindo aos posicionamentos mesmos.

Retngulo escondida
Retngulos ocultos so muito versteis, pois podem ser usados em ARs possvel que
conter at trs clulas com arbitrrias candidatos adicional (a UR est escondido sob um
emaranhado de candidatos adicionais - para no ser confundido com retngulos quase
nico).
Precisamos de uma UR possvel com duas ou trs clulas que contm candidatos
adicionais (com apenas uma clula do tipo UR 1 deve ser usado). Agora pegue uma
clula UR sem candidatos adicionais e verifique a linha ea coluna que contm o canto
oposto da UR. Se um candidato UR nada fora da UR nessas duas casas, o outro
candidato UR pode ser eliminado a partir do canto oposto.

Para ver como isso funciona, vamos olhar para o exemplo esquerda: Ns
temos apenas uma clula sem candidatos adicionais: r7c7, que se torna
nosso ponto de partida. O canto oposto r9c5 clulas contidas na linha 9 e
coluna 5. Candidato 5 est longe fora da UR nestas duas casas, de modo 9
pode ser eliminado da r9c5. Por qu? Se olharmos para a coluna 5, vemos
que o candidato 5 tem de ser colocado em r7c5 ou em r9c5. Se for colocado
em r9c5, que a clula no pode ser 9. Se for colocado em r7c5, no pode
estar em r9c5 e, portanto, tem de ser colocado em r9c7 tambm. Isto fora
a ser r7c7 9, o que significa que no pode ser r9c5 9 to bem ou teramos
duas solues. Uma vez que ambos os posicionamentos possveis de
candidato 5 em chumbo coluna de 5 a r9c7 <> 9, 9 pode ser eliminado a
partir dessa clula.
O exemplo da direita tem apenas duas clulas com os candidatos adicionais,
o que significa duas possveis clulas comeam a verificar: r2c9 e r3c2.
Vamos tentar r2c9 primeiro: O canto oposto est contida na linha 3 e coluna
2. Vemos que a linha 3 tem um 4 e um 5 fora da UR, assim Rectangle no
oculta possvel.
Agora r3c2: As casas para verificar se a linha 2 e coluna 9. Candidate 4
aparece em nenhuma parte destas casas (exceto na UR claro), para 5
pode ser eliminado da r2c9.

Retngulo evitvel
Retngulos evitveis diferem de retngulos exclusivas em que algumas
clulas da UR j foram colocados. Se a colocao da clula restante (s)
causaria uma UR, o fabricante de quebra-cabeas teria de fornecer uma das
quatro clulas como um dado. Para evitar uma possvel soluo segundo
(da o nome) Se, portanto, nenhuma das clulas j colocados na UR so
dados, todas as regras x UR tipo podem ser aplicados sem alteraes. Existe
uma diferena importante embora: Devido aos canais, por vezes, apenas
um dos candidatos UR continua a ser possvel para a clula alvo. Isso pode
ser confuso, mas a lgica ainda se mantm.
HoDoKu atualmente suporta apenas retngulos Evitvel Tipo 1 e 2.

Tipo Retngulo evitvel 1


Semelhante ao tipo Rectangle original 1.

esquerda: A UR possvel para os candidatos 7 e 9 em r12c19 clulas. A


clula s no foi colocada j r2c9, todas as outras clulas no so dados.
Se ns colocamos 9 em r2c9 poderamos trocar dgitos 7 e 9 nas quatro
clulas UR, obtendo assim duas solues. Uma vez que sabemos que isso
no possvel, r2c9 no pode ser 9.
Por favor, note que a lgica s se aplica, se nenhuma das clulas UR so
dados. Se apenas uma das clulas era um dado, os dgitos no possam ser
trocadas e do quebra-cabeas ainda tinha apenas uma soluo.
direita: Tipo Retngulo evitvel 1: 6/3 em r57c78 => r5c7 <> 3

Tipo Retngulo evitvel 2


Semelhante ao tipo Rectangle original 2. Tipo 2 mais fcil de detectar,
porque ambos os candidatos UR so visveis como candidatos.

esquerda: UR sobre os candidatos 3 e 7 em r78c37, nem r7c7 nem r8c7 um dado.


Candidato adicional 9 em r78c3, 9 pode ser eliminado a partir de todas as clulas ver os
dois r8c3 e r9c3.
direita: Tipo Retngulo Evitvel 2: 2/8 em r45c37 => r18c7, r456c9, r56c8 <> 9
Erro 1 - Grave Binrio Universal + 1
A BUG +1 um possvel bug, onde exatamente uma clula tem um
candidato adicional. Esse candidato tem que ser colocada para evitar o bug.

Lado esquerdo: O candidato adicional o candidato 6 em r1c8 (afigura-se mais do que


duas vezes em pelo menos uma casa). Pode ser colocado (ou 3 e 5 podem ser
eliminados).

Lado direito: Este no um BUG +1! Temos apenas as clulas com dois candidatos
esquerda (excepo: r7c6), mas a condio no for satisfeita BUG: Na linha 7 candidato
9 aparece trs vezes (r7c147). O mesmo verdade para a coluna 6.
ASAS
XY-Wing
Um XY-Ala realmente um curto XY-Chain que descrito como um padro
e, assim, podem ser encontrados mais facilmente. Ns comeamos por
olhar para uma clula bivalue (piv). Os possveis candidatos em que a
clula so chamados de X e Y. Agora vamos tentar encontrar duas outras
clulas que vem o piv (as pinas). Uma dessas clulas contm candidatos
X e Z (Z um candidato arbitrria diferente de X e Y) e os outros candidatos
Y e Z. Agora Z podem ser eliminados de qualquer clula que v ambas as
pinas.

Exemplo esquerda: r1c3 Cell (o piv) contm candidatos 5 (X) e 7 (Y).


Clula r1c6 partes de linha 1 com o piv e contm candidatos 5 (X) e 2 (Z),
Cell r2c1 partes de caixa 1, com o piv e contm candidatos 7 (Y) e 2 (Z).
Clula r2c6 v ambos os pinas (r1c6 e r2c1). Ele no pode conter 2 (Z).
A lgica simples: Se r1c3 5, r1c6 deve ser 2; se r1c3 7, r2c1 deve ser
2. Em ambos os casos r2c6 no pode ser 2. O equivalente XY-Chain: 2 - r2c1
-7 - r1c3 -5 - r1c6 -2 => r2c6 <> 2
Exemplo direita: X = 1, Y = 6, Z = 9; piv em r4c1, tenazes em R4C4 e
r5c2. Cinco candidatos podem ser eliminados.

XYZ-Wing
A XYZ-Wing uma verso melhorada de uma XY-Wing: Agora o piv contm no
apenas os candidatos X e Y mas Z tambm. Consequentemente Z s pode ser eliminado
a partir de clulas que ver no s as pinas, mas o piv tambm.

esquerda: Pivot r7c2, tenazes e r2c2 r7c1. Se r7c2 = 4, r2c2 = 7 => r9c2
<> 7; se r7c2 = 5, r7c1 = 7 => r9c2 <> 7; se r7c2 = 7 => r9c2 <> 7.
direita: 4/7/6 em r23c4, r3c7 => r3c56 <> 6

Asas expandidas com os candidatos ainda mais tm sido descritos, mas eles
so difceis de encontrar e no so suportados por HoDoKu.

W-Wing
W-Wings so fceis de detectar e muitas vezes muito eficiente. Eles consistem de duas
clulas bivalue com os mesmos candidatos, que so ligados por uma ligao forte em
um dos candidatos. O outro candidato pode ser eliminado a partir de todas as clulas
vendo tanto as clulas bivalue. Uma vez que um W-Ala uma cadeia internamente, uma
prova da lgica escrito em texto claro, como pode ser visto abaixo, complicado. O
padro em si, no entanto, fcil identific-las (os filtros podem ser de grande ajuda
aqui).

esquerda: As clulas so bivalue R4C4 e r8c9 (candidatos 5 e 9). A ligao forte


candidato para 9 na coluna 8 (coluna 8 tem apenas duas possibilidades para o candidato
9, o que significa que, se um deles no est definido, o outro tem de ser definido - forte
ligao). Uma extremidade do forte ligao R4C4 v o outro v r8c9. Candidato 5 pode
ser eliminado a partir de cada clula que v tanto R4C4 e r8c9.
Prove: Ns nos concentramos na forte ligao na coluna 8: Um dos dois candidatos em
9 r48c8 tem que ser colocado. Se r4c8 = 9, R4C4 tem de ser 5. Se r8c8 = 9, r8c9 tem de
ser 5. Uma das clulas R4C4 e r8c9 tem de ser 5 de modo que cada clula que ver tanto
destas duas clulas no podem ser 5.
A W-Wing realmente uma cadeia tambm. O exemplo acima como lao de Nice
Descontnua: r4c9 -5 - R4C4 -9 - r4c8 = 9 = r8c8 -9 - r8c9 -5 - r4c9.
direita: W-Wing: 4/1 em r1c9, r8c7 ligado por 1 em r18c3 => r123c7, r89c9 <> 4

DIVERSO

Sue de Coq
Sue de Coq uma variante do Subconjunto Contagem e foi introduzido pela primeira
vez por um usurio com apelido de "Sue de Coq" sob o nome de um pouco pesado
"Subconjuntos dois setores-disjuntas". Outros usurios logo comeou a chamar a
tcnica pelo apelido do inventor "de Sue Coq" (SDC), e que o nome tem sido usado
desde ento. A tcnica na sua forma bsica bastante simples, mas tem sido aumentada

vrias vezes. Estas verses melhoradas podem ser encontradas em Tipos ampliados
neste guia.
variantes de base
A variante bsica bastante simples: Olhe para as clulas na interseco de
uma linha e um bloco. Voc tem que encontrar qualquer uma das duas
clulas contendo 4 candidatos ou trs clulas contendo 5 candidatos. Agora,
encontrar uma clula bivalue na linha fora da interseo cujos candidatos
so inteiramente desenhar entre os candidatos de interseco. Encontrar
outra clula bivalue no bloco com candidatos estabelecida a partir da
interseo tambm, mas diferente dos candidatos em clula da linha.
Esta uma constelao de Sue Coq: Pode eliminar todos os candidatos
clula da linha a partir do resto das clulas na linha, todos os candidatos de
blocos de clulas a partir do resto das clulas no bloco e qualquer candidato
interseco que deixado a partir de ambos linha e o bloco. Isso pode
elevar em algumas etapas bastante impressionante.
A "linha" termo na definio acima pode ser substituda em todo com
"coluna"

Exemplo esquerda: As clulas de interseo so r7c13. Eles contm os


candidatos {3459}. A clula da linha r7c7 contendo {45}, a clula do
bloco r8c3 contendo {39}. 4 e 5 pode ser eliminado a partir do resto da
linha e 3 e 9 pode ser eliminado a partir do resto do bloco.
Se olharmos para o cruzamento sozinho, descobrimos que temos dois
candidatos para muitos (4 candidatos para apenas 2 clulas). Mas desde
que a clula linha r7c7 tem que conter um dos candidatos, que so
deixados com apenas 3 candidatos para 2 clulas (3, 9, e 4 ou 5). O bloco
da clula r8c3 remove outra possibilidade: As clulas de interseco pode
agora ser 3 ou 9 e 4 ou 5 (2 candidatos em 2 clulas).
A SDC mais ou menos produz dois conjuntos sobrepostos bloqueadas: Os
candidatos 3 e 9 so trancados em (r7c13, r8c3). Uma vez que todos as
clulas esto em bloco 6, 3 e 9 no pode estar em outra clula de que o
bloqueio. Os candidatos 4 e 5 esto presos em (r7c13, r7c7). Uma vez que
todas as clulas esto na mesma linha, 4 e 5 no pode ser em qualquer
outra parte dessa linha.
O exemplo da direita mostra um cruzamento com trs clulas que contm
cinco candidatos: Clulas r789c9 contm candidatos {24567}. A clula da
coluna r2c9 contm candidatos {56}, o bloco de clulas r9c7 contm
candidatos {27}. A lgica o mesmo que acima, mas o resultado trs
candidatos em trs clulas: As clulas interseco pode ser {2 ou 7, 4 e 5
ou 6}. Isso significa que o candidato 4 fica bloqueado dentro da interseco
e pode ser eliminado a partir de ambos bloco e de coluna.
Tipos ampliados
Sue de Coq pode ser aumentada de duas maneiras possveis:

As clulas de interseco pode conter candidatos adicionais. Para cada


candidato adicional uma clula adicional na linha / coluna ou no bloco tem
de ser encontrado.
As clulas de linha (clulas de coluna) e as clulas bloco pode conter
candidatos no desenhadas a partir do conjunto de interseco. Para
qualquer candidato como adicional uma clula adicional necessria.
importante notar, que a SDC pode ter apenas duas clulas na interseco
com a clula possvel terceiro ser parte de qualquer uma das linhas a ou as
clulas de bloco. Da mesma forma, se os candidatos adicionais so usados,
que no so desenhados a partir do conjunto de interseco, o mesmo
candidato pode ser usado em clulas de linha e clulas de bloco.
Uma definio mais formal da SDC dada na discusso de dois setores
Disjoint originais subconjuntos:
Considere o conjunto de clulas C por preencher, que se situa na
interseco da Caixa B e linha (ou coluna) R. Suponha que | C |> = 2. Seja V
o conjunto de valores candidatos a ocorrer em C. Suponha que | V |> = | C |
+2. O padro requer que encontramos | V | - | C | + n clulas em B e R, com
pelo menos uma clula em cada uma, com, pelo menos, | V | - | C |
candidatos estabelecida a partir de V e com N o nmero de candidatos no
retirados V. Identifique os conjuntos de clulas CB e CR e seus candidatos
VB e VR. Decisivamente, nenhum candidato a partir de V permitido
aparecer em VB e VR. Ento C deve conter V \ (VB U VR) [possivelmente
vazio] | VB | - | CB | elementos de VB e | VR | - | | CR elementos da VR. A
construo nos permite eliminar candidatos VB U (V \ VR) de B \ (CU CB), e
os candidatos VR U (V \ VB) de R \ (CU CR).

esquerda: as clulas de interseco com os candidatos r46c8 {3578}, clula coluna


r8c8 {35} e clulas bloco r4c7, r5c9 {789}. Isso muito bonito o nosso caso padro,
exceto que as clulas contm candidato do bloco 9, que no desenhada a partir da
interseo. por isso que duas clulas bloco so necessrios.
direita: r456c1 Intersection - {123479}. 6 candidatos em trs clulas de um para
muitos. Um dos conjuntos adicionais tem de ser de trs candidatos em duas clulas. No
exemplo, a coluna: r89c1 contendo {234}. O conjunto bloco tem um candidato
adicional de 5 no desenhado a partir da interseo.

O exemplo da esquerda foi colocada no Frum do jogador: um padro de 4 candidatos


em duas variante clulas, mas ambos os conjuntos adicionais (clulas de coluna e as
clulas de bloco), contm um candidato adicional, que a mesma em ambos os casos
(candidato 1) .

A exemplo da direita de 5 candidatos em duas clulas, mas demonstra uma


combinao de todos os acessrios:
Embora a interseco da coluna 4 com o bloco 2 tem trs clulas no resolvidos, s
dois deles formar o conjunto de interseco: r23c4 - {13.689}. Clula r1c4 parte das
clulas de bloco.
O r5c2 clula da coluna tem dois candidatos {39} extradas do conjunto interseco:
Este o padro.
Ns ainda temos dois candidatos demais, por isso precisamos de duas clulas de
bloco. Infelizmente um conjunto adequado que cobre {168} candidatos s pode ser
encontrada atravs da incluso de um adicional de 7 dgitos. O conjunto de bloco,
portanto, consiste de trs clulas: r1c46 e r2c6 com os candidatos {1678}.
A resultante de Sue Coq elimina 13 candidatos.
COLORAO

A colorao uma tcnica de um dgito que gerou uma srie de variantes, em diversos
graus de complexidade. Duas variantes fceis so explicados aqui. O princpio sempre
a mesma: O jogador olha para casas, em que o dgito cor tem apenas duas clulas
possveis esquerda (a casa contm uma ligao forte para que o dgito). Em termos de
colorao tal ligao forte chamado um par conjugado. Os dois candidatos do par
conjugado so atribudas cores opostas (ver Coloring no Manual do Usurio). Aps a
colorao completa, a grade procurado contradies que podem levar a eliminaes.
Quando duas cores opostas so aplicadas a uma grade (digamos cor 1 e color2), quer
todas as clulas com 1 cor so verdadeiras e todas as clulas com 2 cor so falsos, ou
vice-versa. impossvel que duas clulas com cores opostas pode ser verdade, ao
mesmo tempo. Se mais do que duas cores so utilizados, o acima verdadeira para cada
par de cor.
Todas as tcnicas de colorao so simplesmente mtodos para encontrar cadeias.
Usando colorao normalmente muito mais fcil do que procurar a rede para as
cadeias possveis.
Cores simples
Cores simples usa apenas duas cores diferentes. Comeando com uma
clula de um par conjugado, as cores so aplicados, at que nenhuma
clula colorida tem uma clula parceiro conjugado para a esquerda. Depois
que a grade verificado por uma das duas possveis contradies:
1.Uma clula incolor que v clulas de cores opostas (Trap colorida):
Uma vez que as clulas com a mesma cor ou so todas verdadeiras ou
todas falsas, uma das duas clulas coloridas tem de ser verdade, ea clula
incolor nunca pode ter a cor candidato colocado.
2.Duas clulas com a mesma cor ver uns aos outros (Wrap Cor): As
clulas com aquela cor ou so todas verdadeiras ou todas falsas. Tudo isso

verdade impossvel (que teramos o mesmo algarismo duas vezes na


mesma casa), ento elas devem ser totalmente falso.

O exemplo esquerda mostra uma armadilha Cor: Cell r1c9 v clulas r1c4 e r8c9 e
essas clulas tm cores opostas. Candidato 3 pode ser eliminado da r1c9. O mesmo

argumento vale para r3c9 e r8c1.


O exemplo da direita mostra um envoltrio Cor: Filtros foram aplicadas para pintar
todas as clulas que contm um candidato 8, com fundo verde (duas dessas clulas
ainda esto verdes, eles no pertencem a um par conjugado). Em seguida, comeou a
colorir r1c6 e continuou, at que nenhuma ligao ainda mais forte poderia ser
encontrado. Agora, olhe na coluna 4: R2C4 e R4C4 tem tanto a mesma cor e esto na
mesma casa. 8 pode ser eliminado de todas as clulas com essa cor, que resolve o
quebra-cabea (ou seja: deixa apenas singles).
multi cores
Multi cores usa mais de um par de cores para as regies de cores formadas
por pares conjugados que no esto conectados. Quando a colorao
feita, temos novamente duas situaes que podem levar a eliminaes:
1.Duas clulas coloridas de pares de cores diferentes esto na mesma
casa (eles formam um elo fraco). Uma vez que partilham uma casa, eles no
podem ser ambas verdadeiras (eo mesmo vale para todas as clulas com
estas cores). Mas isso tambm significa que seja a cor oposta de um par ou
a cor oposta de dois pares tem que ser verdade. O candidato a cor pode ser
eliminado a partir de qualquer clula que v pelo menos duas clulas com
estas cores opostas.
2. Duas clulas com a mesma cor (por exemplo cor 1) ver as clulas com
cores opostas de um outro par de cores. Uma das clulas do par de outra
cor deve ser verdadeira (ver cores simples), o que significa que uma das
clulas que cor 1 tem de ser falsa. Uma vez que todas as clulas com a
mesma cor tm de ter o mesmo estado em relao cor dgito, todas as
clulas com 1 cor no pode conter o candidato cor.
Multi cores tm o mesmo poder que X-Chains. HoDoKu atualmente suporta
somente dois pares de cores na sua implementao multi cores, no para
que todos os X-Chains produzir o equivalente passo multi cores em HoDoKu.

O exemplo esquerda mostra digite 1 para o candidato 1: Ns usamos duas


cores. r1c5 tem cor 1a, 1b r1c7 tem cor; r2c9 tem 2a e 2b r5c9 tem. r1c7 e
r2c9 pertencem dois pares de cores diferentes, mas partilham a mesma
casa (bloco 3). Uma vez que apenas um deles pode ser verdade (ambos

podem ser falsa!), Quer todas as clulas com cor 1a ou todas as clulas com
2b cor tem que ser verdadeiro. Clulas r5c23 ver as duas cores e no pode,
portanto, conter o candidato de cor.
O exemplo da direita mostra tipo 2 para o candidato 3 (usamos os
designadores da mesma cor como acima): Cell r6c2 (1b cor) v clula r6c9
(cor 2b) e clula r8c6 (1b cor tambm) v clula r2c6 (cor 2a ). Uma vez que
todas as clulas com 2a cor ou todas as clulas com 2b de cor deve ser
verdade, um dos r6c2 ou r8c6 tem de ser falsa. Mas desde que estas duas
clulas tm a mesma cor, todas as clulas com que a cor no pode conter
um 3.
CORRENTES E LOOPS
Introduo
O que uma Cadeia?
Cadeias so o mais bsico e os mais avanados tcnica sudoku soluo ao
mesmo tempo. Cada sudoku conhecido pode ser resolvido usando apenas
correntes de vrios graus de complexidade e singles. Uma vez que o
encadeamento uma tcnica to potente, muitas pessoas contriburam
para mtodos, notao e nomenclatura semelhantes. Isto levou a tcnicas
muito avanadas, mas a uma confuso muito grande. Guerra mais como
discusses foram (e ainda so) exercida, qual sabor de encadeamento
melhor do que todos os outros e deve ser usado exclusivamente. Para os
iniciantes a variedade (o caos?) De tcnicas pode ser um pouco
esmagadora. Ainda vale a pena tentar. Uma boa estratgia comear com
variantes fceis como pares remotos, X-Correntes, ou XY-Correntes e
avanar a partir da.
Uma cadeia simplesmente um fluxo de implicaes que levam de uma
premissa (por exemplo, candidato x em y clula no est definido) a um
resultado. Se uma corrente produz uma contradio (por exemplo premissa
x definida em y leva a x no est definida em y), ento a premissa original
provou ser falso (se fosse "se x candidato definido", x pode ser eliminada;
se fosse "candidato se x no est definida", x pode ser colocado
imediatamente).
Se uma cadeia no produz uma contradio, no prova nada. Em seguida,
necessrio combinar mais de uma cadeia para obter um resultado. Por
exemplo duas cadeias a partir de premissas opostas ("x definida em y" e
"x no est definida em y") pode levar ao mesmo resultado: Esse resultado
tem que ser verdade (isso chamado s vezes uma verdade). Outra
possibilidade seria que as cadeias que comeam com a mesma premissa
eliminar todos os candidatos a partir de uma clula (ou todas as instncias
de um candidato de uma casa). Isto constitui uma contradio que prova
que a premissa falsa.
Um terceiro grupo de tcnicas de cadeia usa o fato de que muitos (mas no
todos!) Cadeias so reversveis: se "x no est definida em y" conduz a "x
definida em z", ento "x no est definida em z" leva com "x definida em
y" usando a mesma lgica na ordem inversa. Isto elimina x de todas as
clulas que vem ambas as extremidades da cadeia.

Ligaes e inferncias
A base de todas as correntes so dois tipos de implicaes bsicas, normalmente
chamados de "links" ou "inferncias" (neste guia o "link" usada como sinnimo para
ambos).

Elos fracos
Se duas entidades so fracamente ligados, eles no podem ser verdade, ao mesmo
tempo. Isso significa que: Se um deles for verdadeiro, ento o outro tem de ser falso
(mas tanto pode ser falso, assim, por isso, se uma falsa, nada pode ser concludo). Nas
cadeias simples as entidades normalmente so simplesmente os candidatos, que
partilham uma casa ou um celular.

As fortes ligaes
Se duas entidades esto fortemente ligados, eles no podem ser falso, ao mesmo tempo.
Isso significa que: Se uma delas falsa, ento o outro tem que ser verdade (tanto
verdade s possvel em tipos muito avanados de links). Se usarmos os candidatos,
precisaramos exatamente dois candidatos que compartilham de um celular, ou
exatamente duas instncias do mesmo candidato a partilhar uma casa (um par conjugado
em termos de colorao).
Estes dois tipos de ligao so a base para cada tipo de cadeias, de modo a diferena
entre eles tem de ser entendido completamente. Para resumir:
Elo mais fraco: Se uma verdadeira, ento b falsa
Elo Forte: Se uma falsa, ento b verdadeiro
Para formar uma cadeia de ligaes do tipo de ligao tem de ser alternado (da o nome
"Chain Inferncia alternada" ou AIC). Cada cadeia um AIC em seu corao. A cadeia
pode ento ser lido como "se uma falsa, b tem de verdade, ento c tem de ser falsa, d
tem de ser etc true". Para tornar as coisas um pouco mais complicado, dois candidatos
que esto fortemente ligados so sempre fracamente ligada tambm. Isso significa que
uma ligao forte pode ser usada como um elo fraco nas cadeias (o contrrio no
possvel).
A descrio acima suficiente para entender as cadeias bsicas, e provavelmente
melhor comear com alguns exemplos concretos imediatamente (voc poderia, por
exemplo, salto de pares remotos agora). Para uma compreenso completa dos tpicos
deste captulo os seguintes nmeros tambm so importantes. Volte e l-los, quando
voc tem uma compreenso bsica de cadeias simples.

Vnculos de
Vnculos de fazer inferncias entre mais de dois candidatos. Normalmente ns usamos
apenas dois candidatos para formar uma ligao: Se eles so os nicos exemplos dentro
de sua casa, eles esto fortemente ligados, se h outros casos restantes, que so
fracamente ligados. Se considerarmos intersees entre as casas, assim, podemos
construir um tipo um pouco mais avanada do link. Considere o exemplo abaixo
(retirado de candidatos Fechados):

Olhe para os candidatos 5 em linha 3 (ignorar as cores de agora, eles so do movimento


candidatos Bloqueado). Ns temos trs instncias do candidato 5 em que a linha
(colunas 1, 2 e 7). Qualquer dois dos candidatos so fracamente ligados, uma forte
ligao no pode ser construdo na linha 3 (demais candidatos). A forte ligao existe
no bloco 1 entre r3c1 e r3c2 (apenas dois casos de candidato 5 em bloco 1), mas no
entre um dos r3c12 e r3c7. Que as mudanas, se considerarmos r3c12 como um n, um
n de grupo. Podemos ento fazer as seguintes concluses:
Se ambos os r3c12 no so 5, r3c7 tem de ser 5 (agrupados forte ligao)
Se no r3c7 5, um dos r3c12 tem de ser 5 (agrupados ligao forte)
Como acontece com qualquer elo forte, podem formar um elo fraco demais:

Se um de r3c12 5, r3c7 no pode ser 5 (agrupados elo fraco)


Se r3c7 de 5, nem r3c1 nem r3c2 pode ser 5 (agrupados elo mais fraco)
Os links podem existir entre ns do grupo tambm como pode ser visto no exemplo
abaixo:

Vamos olhar para candidato 2 em linha 9, coluna 4, e bloco 8 (para fazer aps a
explicao mais fcil, as clulas foram coradas): Temos um link agrupados forte na
linha 9 entre r9c9 e r9c56 e outro na coluna 4 entre r6c4 e r78c4. Ambas as ligaes
funcionam como descrito acima.
Dentro do bloco 8 outro elo fraco existe entre o grupo n e n r9c56 grupo r78c4 (elo
mais fraco, porque h outras instncias do candidato 2 em bloco 8):
Se um de r9c56 2, nem r7c4 nem r8c4 pode ser 2 (agrupados elo fraco)
Se um de r78c4 2, nem r9c5 nem r9c6 pode ser 2 (agrupados elo fraco)
As trs ligaes podem ser combinados em uma cadeia curta (que a cadeia no tem
efeito sobre a sua prpria, mas pode tornar-se parte de uma longa cadeia, como
demonstrado em Agrupados Loops Nice):
r6c4 = 2 = r78c4 -2 - r9c56 = 2 = r9c9

ALS in Chains
ALS significa "conjunto quase fechado" e descrito em detalhes no Captulo ALS deste
guia. Por enquanto suficiente saber, que um ALS um grupo de clulas dentro de uma
casa, que tem N +1 candidatos em N clulas. ALSes se provar nada, mas coisas muito
interessantes pode ser feito com eles. Se um candidato removido da ALS, torna-se um
conjunto fechado (aka um subconjunto Naked). Mas este exatamente a definio de
uma forte ligao. Tomemos por exemplo um ALS imaginrios com os candidatos
{1234} em trs clulas:
Se um candidato no est definido no SLA, o SLA torna-se um conjunto fechado de
candidatos {234} (ligao forte)
Se o ALS no um conjunto fechado de candidatos {234}, o candidato 1 tem que ser
definido dentro dos ALS (ligao forte)
Um ALS alcanado atravs de uma ligao fraca (um candidato tem que ser removido
do ALS) e deixou atravs de uma ligao fraca (o conjunto resultante Locked elimina
algumas candidato fora do ALS). A necessria ligao forte entre esses dois elos fracos
o fato de que o ALS torna-se um conjunto fechado como mostrado acima.
Correntes contra Nets
O que uma cadeia eo que uma rede tem sido o tema de muitas discusses acaloradas
entre os jogadores de sudoku. HoDoKu utiliza a seguinte definio: Em uma cadeia
cada ligao depende apenas do passo imediatamente antes dela. Se um link s
funciona, se ele depende do resultado de mais um elo da cadeia, a cadeia se torna um
lquido. O mesmo verdadeiro, se os garfos cadeia em ramos que reunir novamente
mais abaixo na cadeia.
Notao
Para comunicar as cadeias para os outros jogadores, os sistemas de notao tm sido
desenvolvidos. Trs tipos de anotaes ainda so comumente utilizados:
Notao Cadeia forando (usado para forar Cadeias / Redes em HoDoKu)
Notao de Loop Nice (usado para tudo o resto em HoDoKu)
AIC (ou Eureka) notao (atualmente no implementado em HoDoKu)
Forando Notao Cadeia
Forando notao Cadeia usa expresses do tipo [clulas] = [valor] (ou [celular] <>
[valor]) para seguir a cadeia. O exemplo Pair esquerda remoto seria:
r2c7 <> 4 => r2c7 = 5 => r2c2 <> 5 => r2c2 = 4 => r3c1 <> 4 => r3c1 = 5 => r6c1 <> 5
=> r6c1 = 4

Para abreviar o "<>" expresses so frequentemente omitido, exceto nos pontos de


extremidade da cadeia:
r2c7 <> 4 => r2c7 = 5 => r2c2 = 4 => r3c1 = 5 => r6c1 = 4
A brevidade possvel fazer Forando notao Cadeia um pouco difcil de seguir.
Notao loop de Nice
Notao ciclo de Nice usa "-x" para ligaes fracas e "= x =" para ligaes fortes. Os
links so apenas escrito entre as clulas (ligaes dentro das clulas esto implcitas). O
par remoto na notao de Loop Nice:
r2c7 -5 - r2c2 -4 - r3c1 -5 - r6c1
Para esclarecer, como a cadeia comea e termina (os links e sobrenome em 4 so
completamente deixados de fora), esses links podem ser acrescentadas notao:
4 - r2c7 -5 - r2c2 -4 - r3c1 -5 - r6c1 -4
Notao AIC
Notao AIC no omitir nada. "-" usado para elos fracos "=" para ligaes fortes, os
candidatos so escritos entre parnteses antes da clula afetada. Se uma ligao ocorre
dentro de uma clula, que est includo no parnteses. O par remoto:
(4 = 5) r2c7-(5 = 4) r2c2-(4 = 5) r3c1-(5 = 4) r6c1

Cadeias Exibio dos HoDoKu


Quando HoDoKu exibe uma corrente, que simboliza as ligaes entre as clulas com
setas (tracejada para as ligaes fracas, slidas para ligaes fortes). Fundo verde
significa "conjunto de candidato", fundo azul significa "no candidato definido". Nas
cadeias canibais (a cadeia elimina candidatos, que fazem parte da cadeia em si), a
eliminao prevalece antes da cadeia. Em complicadas Forar Nets Correntes / o mesmo
candidato pode ser parte de diferentes cadeias e, portanto, ter cores diferentes. A cor
resultante para esse candidato inteiramente uma questo de chance.

Par remoto
Par remoto a tcnica mais simples encadeamento. Ele considera apenas as clulas que
contm bivalue os mesmos dois candidatos. Uma vez que as clulas so bivalue, existe
um vnculo forte dentro de cada clula entre os dois candidatos. As ligaes entre as
clulas pode, portanto, ser fraco (as clulas tm a ver uns aos outros). Para eliminar

algo, a cadeia tem de ser de pelo menos quatro clulas de comprimento. O par remoto
garante, que qualquer clula dentro da cadeia tem o valor oposto da clula antes dela.
Qualquer clula fora do par remoto que v duas clulas com valores diferentes no
podem ter um do Comando conjunto dgitos Pair.
Pares remoto pode ser replicado por um ou dois movimentos de cor simples.

Exemplo esquerda: Se r2c7 5, r3c1 deve ser de 5, bem e r2c2 e r6c1 deve ser de 4 ou
vice-versa. Em outras palavras: Se r2c7 5, r6c1 4; se r2c7 4, r6c1 5 (as clulas
r2c7 e r6c1 ter polaridade oposta). Qualquer clula que v essas duas clulas (no
exemplo r6c7) pode ser nem 4 nem 5.
A exemplo da direita comea com r7c8 e termina com r8c4. A cadeia de 8 clulas de
comprimento. Todas as clulas que vem as clulas pares remotos com polaridade
oposta no pode ser nem 2 nem 8.
X-Chain
X-Chains so cadeias que utilizam um dgito apenas. X-Cadeias de comprimento 4 so
s vezes chamados peixes pregado e pode ser encontrada usando as variantes pregado
apropriadas (Arranha-cu, 2-pipa, ou retngulo vazio).
O importante com X-Chains , que eles tm que comear e terminar com uma forte
ligao. Isto assegura que uma das extremidades realmente contm a cadeia dgito. Que
dgitos pode ser removido a partir de qualquer clula que v ambas as extremidades da
cadeia.

No lado esquerdo: Se no r1c2 7, r1c9 tem que ser 7, r2c8 no pode ser 7, r7c8 tem
que ser 7, r7c3 no pode ser 7 e r4c3 tem que ser 7. Se, no r4c3 por outro lado no 7,
em seguida, r7c3 tem que ser 7, r7c8 no pode ser 7, r2c8 tem que ser 7, r1c9 no pode
ser 7, e r1c2 tem que ser 7. Concluso: Um dos r1c2 e r4c3 deve ser de 7. r4c2 v ambas
as clulas e no pode ser 7 tambm.
direita: O X-Chain prova, que tanto r4c2 ou r6c5 3. 3 pode ser eliminado da r6c123.
XY-Chain
Um XY-Chain uma cadeia que utiliza apenas clulas bivalue (semelhante a pares
remoto), mas as clulas podem ter candidatos arbitrrias. A nica restrio (alm das
necessidades bvias para os links) que o XY-Chain comea e termina com uma forte
ligao com o mesmo algarismo. Tal como acontece com X-Chains isto prova que um
dos pontos de extremidade tem de ter que candidato colocado, e que pode ser eliminado
a partir de todas as clulas que vem ambas as extremidades da cadeia.
Tal como acontece com pares remoto todas as ligaes fortes so dentro das clulas,
todas as ligaes fracas so entre as clulas.

Exemplo esquerda: 3 - r7c4 -9 - r5c4 -8 - r5c6 -2 - r2c6 -3 (li: se r7c4 no 3 tem que
ser 9; r5c4 no pode ser de 9 e tem de ser de 8; r5c6 no pode ser de 8 e tem que ser 2;
r2c6 no pode ser 2 e tem que ser 3, tente o contrrio a si mesmo). Se voc olhar na
coluna 6 voc pode ver, que ele tem apenas dois casos de candidato 2 esquerda. r5c6 e
r2c6 so, portanto, fortemente ligados por candidato 2. Para o XY-Chain no
precisamos que apontam forte, precisamos de um fraco aqui. Podemos tomar o vnculo
forte e us-lo como elo fraco como indicado acima.
Exemplo da direita: 8 - r6c5 -4 - r8c5 -1 - r8c4 -9 - r3c4 -8

Circuito Nice / AIC


Regras de propagao de Nice loop
Loops de Nice so cadeias que ligam de volta para a cela onde eles comearam. Para
tornar mais fcil encontrar a cadeia, um conjunto de regras de propagao foi definido.
Tal como acontece com a notao de Loop Nice (ver acima), o que happends no interior
das clulas completamente ignorada, apenas ligaes entre as clulas so
considerados:
Quando um n possui dois elos fortes, os dgitos deve ser diferente

Quando um n possui dois elos fracos, a clula deve ser bivalue e os dgitos deve ser
diferente
Quando um n possui dois links diferentes (um fraco, um forte), os dgitos deve ser o
mesmo
Tome regra nmero dois: Se uma clula atingido e mantido sobre um elo fraco, a
necessria ligao forte tem que ocorrer dentro da clula. A clula deve, portanto, ser
bivalue ea ligao deixando deve ter um dgito diferente.
Se voc usar essas regras de propagao ou apenas tentar alternar os tipos de link,
claro at voc. O link a seguir leva a um tutorial de Loop Nice, que explica as regras em
detalhes e fornece muitos exemplos.
O link para a clula original decide o tipo de loop: descontnuo ou contnuo. Se ele
fornece uma contradio, o loop descontnuo. Dependendo de como o lao iniciado, o
incio dgitos pode ser colocado ou eliminados. Se o ciclo se fecha muito bem (voc
pode seguir o lao em torno de uma e outra vez sem detectar um fim), o ciclo
contnuo.

Ciclo de Nice descontnua


Se o ciclo fecha-se com uma contradio, descontnua. Os efeitos podem ser melhor
visto usando os exemplos abaixo.

Exemplo esquerda: r1c8 -7 - r7c8 -8 - r7c9 -4 - r4c9 -5 - r4c8 = 5 = r1c8. O ciclo


comea com um elo fraco em 7 (a premissa inicial "se r1c8 de 7"), mas a clula
inicial novamente atingida por uma forte ligao em 5. Isso significa que: "se r1c8 7
5", ou (desde 5 e 7 partes de uma clula e, portanto, fracamente ligados) "se r1c8 7
no de 7" - uma clara contradio, que comprova que a premissa era falsa . 7 pode ser
eliminado da r1c8.
Exemplo da direita: r8c2 = 4 = r8c9 -4 - r9c9 -2 - r9c3 = 2 = r7c2 = 4 = r8c2. O ciclo
comea com uma forte ligao em 4 (premissa: "se no r8c2 4") e termina com uma
forte ligao em 4 tambm. Isso significa que: "se no r8c2 4, 4" - uma contradio
que prova que r8c2 tem de fato a ser 4. 4 pode ser colocado em r8c2 (HoDoKu no faz
posicionamentos com Loops Nice, que elimina todos os outros candidatos em vez disso,
o que deixa um nico). Outra maneira de olhar para esse tipo de circuito como um
verity: O loop prova de que, se no r8c2 4, , de facto, 4. Mas, se 4, claro 4
tambm. Ambas as possibilidades (r8c2 = 4 e r8c2 <> 4) levar ao mesmo resultado:
r8c2 = 4, que tem, assim, para ser verdade.

Tipo Cadeia Suplente Inferncia 1


Qualquer AIC pode ser visto como uma combinao de um ou mais descontnuos Loops
Nice (HoDoKu ir mostrar uma AIC s, se fornece mais do que uma eliminao; AICs
com apenas uma eliminao so sempre mostrado como descontnuos Loops Nice).
AICs comeam e terminam com uma forte ligao e que alterna entre links sem maiores
restries.
Um tipo de AIC 1 comea e termina em uma forte ligao para o mesmo dgito,
provando assim que o dgito tem que ser colocada em uma das clulas de extremidade
da AIC. Isto elimina que algarismo de todas as clulas que podem ver ambas as
extremidades da AIC.

No lado esquerdo: 5 - r1c2 -3 - r1c4 = 3 = r3c4 = 9 = r7c4 = 2 = r7c2 -2 - r8c3 -5. Ou


r1c2 ou r8c3 de 5, de modo nenhum r123c3, r78c2 pode ser 5.
direita: 6 - r2c5 -7 - r2c1 = 7 = r6c1 = 6 = r6c7 -6 - r2c7 = 6 = r3c8 -6. O que
especial aqui que um dos candidatos eliminados (6 em r2c7) na verdade parte da
cadeia. Isto perfeitamente legal. A AIC chamado canibal.

Tipo Cadeia Suplente Inferncia 2


Um Tipo AIC 2 comea e termina com uma forte ligao de dois dgitos diferentes em
duas clulas, que vem um ao outro. Isto prova que a extremidade dgito no pode ser
na clula de incio e no incio dgito no pode ser na clula final.

No lado esquerdo: 4 - r6c2 = 4 = r9c2 -4 - r9c5 -9 - r5c5 = 9 = r5c4 = 8 = r6c4 -8.


Comeamos com 4 em r6c2 e terminam com 8 em r6c4. 4 no pode estar em r6c4 e 8
no pode estar em r6c2. Prove para o candidato 4: Se r6c2 <> 4, ento r6c4 = 8, o que
significa r6c4 no pode ser 4. Mas se r6c2 = 4, r6c4 no pode ser 4 ou, porque as clulas
ver uns aos outros. Ns temos uma verdade que prova, que r6c4 no pode ser 4.
direita: 8 - r1c8 -2 - r1c7 = 2 = r6c7 = 6 = r6c3 = 5 = r4c2 = 2 = r4c8 -2. 2 no pode
estar em r1c8 e 8 no pode estar em r4c8.

Loops Contnuos de Nice (Loops AIC)


Loops Contnuos de Nice e Laos da AIC so exatamente a mesma coisa. Eles no
ocorrer to frequentemente como Loops descontnuos, mas, se presente, eles so
geralmente muito eficaz. Um ciclo contnuo, se o link para a clula original, mais o
primeiro link obedecer as regras de propagao, ou dito de outro modo, se nenhuma
contradio ocorre na clula de incio / fim.
O que faz contnuas Loops de Nice to eficaz que todos os elos fracos no circuito so
convertidas em ligaes fortes. Isso significa que todos os candidatos adicionais nas
casas ou clulas que fornecem as ligaes fracas podem ser eliminados.

Exemplo esquerda: 5 = r7c6 = 2 = r6c6 -2 - r4c5 -3 - r8c5 = 3 = r8c6 = 5 = r7c6 = 2.


Clula r7c6 deixado em uma forte ligao de 2 e chegou novamente em uma forte
ligao em 5 (regra de propagao em primeiro lugar). Um elo fraco existe entre os
candidatos 2 e 5 na clula r7c6, todas as regras para AICs de construo forem
cumpridas. As eliminaes: A primeira ligao fraca est dentro da clula de partida
entre os candidatos 2 e 5, todos os outros candidatos em que a clula pode ser eliminado
(6 e 8). O elo seguinte fraco no bloco 5, entre 2 em r6c6 e 2 em r4c5, todos os outros
candidatos 2 no bloco 5 pode ser eliminado. Elo mais fraco na prxima candidato 3 na
coluna 5 (elimina 3 de r26c5), e por ltimo mas no menos importante elo fraco entre 3
e 5 em r8c6 (elimina a 8 em que a clula).
Exemplo da direita: 9 = r7c5 = 1 = r7c9 = 7 = r3c9 -7 - R3C3 = 7 = r1c3 = 5 = r1c6 -5 r8c6 = 5 = r8c4 = 7 = r7c4 = 9 = r7c5 = 1. Elos fracos no interior das clulas esto em
r7c5, r7c9, r1c3, r8c4 e r7c4. Ligaes fracas entre as clulas esto na linha 3 (nada a
eliminar) e coluna 6.
Agrupados loop Nice / AIC
Ns do Grupo S
A nica diferena entre (normal) Loops Nice / AICS e AICS agrupados Loops de Nice /
Agrupados , que as ligaes ltimo grupo de uso.

esquerda: Agrupado loop descontnua de Nice r7c1 = 2 = r2c1 -2 - r2c5 = 2 = r1c5 =


8 = r13c4 -8 - r5c4 -3 - r5c3 -2 - r79c3 = 2 = r7c1. Os dois links so para candidatos do
grupo 8 em clulas r13c4 e para o candidato 2 em r79c3. A lgica para o link primeiro
grupo o seguinte: Se r1c5 no 8, ento quer r1c4 ou r3c4 tem que ser de 8, o que
significa que r5c3 no pode ser 8. Para a ligao do segundo grupo: Se r5c3 2, ento
nem r7c3 nem r9c3 pode ser 2, o que significa que tem que ser r7c1 2.
direita: Agrupado loop contnuo Nice 2 = r6c4 = 1 = r6c3 -1 - r9c3 = 1 = r9c9 = 2 =
r9c56 -2 - r78c4 = 2 = r6c4 = 1. As ligaes do grupo so tanto no candidato 2:
Interseco da linha 9 com bloco 8 (r9c56) e interseo da coluna 4 com bloco 8
(r78c4). A lgica: Se r9c9 no 2, ento, ou r9c5 ou r9c6 tem de ser duas, o que
significa que nem r8c4 nem r7c4 pode ser 2 e segue-se que tem que ser r6c4 2. O elo
fraco entre os ns do grupo r9c56 e r78c4 ocorre no bloco 8 e elimina todos os outros
candidatos 2 a partir desse bloco.

esquerda: Agrupado AIC 5 - r7c2 -6 - r6c2 -3 - r6c4 -7 - r45c5 = 7 = r3c5 = 6 = r3c6


-6 - r9c6 -5 (grupo de ligao, em 7 de r45c5 - mesma lgica acima).

direita: Agrupado AIC 4 - r2c5 = 4 = r9c5 -4 - r9c9 -1 - r89c8 = 1 = r2c8 -1 - r2c456


= 1 = r1c4 -1. Este exemplo tem dois links do grupo. Um deles (r2c456) tem trs clulas
(o mximo para uma ligao de grupo). Uma dessas clulas passa a ser a clula de
incio. Isto no formam um circuito fechado: Um n grupo no o mesmo como um n
simples. No entanto, conduz eliminao de um dos membros de ligao do grupo,
tornando a cadeia canibal.

Ns do Grupo e ALS
Se permitirmos que ALS como ns em cadeias e loops, as coisas ficam realmente
interessantes (e no por nenhum meio para por a: AURs, Quase peixes, etc, podem ser
ns tambm). Para ver essas cadeias, a opo apropriada tem que ser habilitado em
HoDoKu (comeando com a verso 1.2, ns ALS so desabilitados por padro).
ALS em ns agrupados contnuas Loops de Nice so especialmente interessantes: Se
tomarmos todos os candidatos ALS, subtrair os candidatos usadas para entrar e sair dos
ALS (eles so normais elos fracos que se tornam fortes ligaes, como de costume em
loops contnuos), os restantes candidatos se trancado dentro das clulas e pode fornecer
ALS eliminaes em todas as clulas, que vem todas as instncias de um dos
candidatos trancadas dentro dos ALS. Por favor note que este s possvel em loops
contnuos.

esquerda: Agrupado loop descontnua de Nice r8c2 -5 - r7c12 = 5 = r7c5 = 2 = r8c5


-2 - ALS: r8c34 -5 - r8c2. Partimos simples: Se 5 definido na r8c2 (premissa), nem
r7c1 nem r7c2 pode ser de 5, r7c5 tem de ser de 5 e no pode ser 2, r8c5 tem de ser 2 e
r8c3 no pode ser 2. Mas r8c3 era o nico candidato 2 no r8c34 ALS {256}. Isso reduz
as ALS para um conjunto fechado de candidatos {56} em r8c34. Eliminaes possveis
por que Set fechado (e, portanto, possveis elos fracos de nossa cadeia) so 5 em r8c2 e
r8c5 e 6 em r8c6. Estamos apenas interessados em r8c2, uma vez que esta a nossa
clula inicial. O elo fraco em contradio com a premissa, 5 pode ser eliminado da r8c2.
direita: O enigma o mesmo que para o nosso exemplo de loop contnuo Agrupados
de Nice acima. Se permitirmos que ns ALS, podemos squeaze um eliminaes pouco
mais de fora (no que isso importe: o enigma resolvido aps qualquer um dos dois
loops).
O loop: loop contnuo Agrupados Nice 2 = r9c9 = 3 = -3 r9c6 - ALS: r6c56 -2 r6c4 = 2
= r78c4 -2 - r9c56 = 2 = r9c9 = 3. O elo mais fraco dentro da clula r9c9 elimina
candidato 1, o elo mais fraco para o ALS (candidato 3) elimina todas as outras 3s da
coluna 6. Os ALS deixado usando candidato 2, que eliminaria 2s outros da linha 6, se
houvesse alguma. Mas o ALS tem ainda um candidato da esquerda: o candidato 8. Ele
fica trancado dentro das clulas ALS r6c56 e elimina 8 de todas as clulas que ver essas

duas clulas (8 eliminaes total). As eliminaes para o candidato 2 cada ver uma
clula ALS, bem como, mas eles so no pode ser eliminado da ALS: Em primeiro
lugar cada clula teria que ver todas as instncias do canddiate 2 dentro dos ALS e em
segundo lugar 2 no est bloqueado dentro das ALS, o candidato sada. Os 2s, so
eliminados pelo elo fraco entre o grupo n r78c4 e n de grupo r9c56 (tanto em bloco
8).

Finalmente, dois exemplos de AICs com ns ALS:


esquerda: Agrupado AIC 4 - r8c6 -3 - ALS: r78c7, r8c89, r9c8 -6 - r9c4 -9 - r6c4 -4.
Isso no nada novo, apenas o ALS bastante grande: 6 candidatos ({123469}) em 5
clulas (r78c7, r8c89, r9c8).
direita: Agrupado AIC 6 - r7c1 -8 - ALS: r29c3 = 6 = r5c3 -6. Este interessante,
porque mostra uma forante por um n de ALS. A ELA r29c3 {189}. alcanado
atravs candidato 8 em r9c3, o que deixa o par bloqueado {19}. O r5c3 prximo n tem
candidatos {169}: 1 e 9 so eliminados pelo conjunto fechado, deixando 6 como
candidato apenas em que a clula, forando assim ele.
Desde HoDoKu atualmente no suporta ligaes em mais de um candidato, a cadeia
escrito como mostrado acima. Uma notao mais completa seria: 6 - r7c1 -8 - ALS:
r29c3 -19 - r5c3 -6 (o ALS tem de ser alcanado e deixado em um elo mais fraco).

ALS (SETS QUASE FECHADOS)


Introduo
Set quase fechado (ALS)
Um conjunto fechado (ou Set Nua) um grupo de N clulas no resolvidos
dentro de uma casa que, juntos, contm apenas os candidatos N. um

conceito simples que permite eliminar todos os candidatos conjunto


bloqueado a partir de todas as outras clulas na mesma casa que o
conjunto se trancou.
Um conjunto quase fechado um grupo de clulas no resolvidos dentro de
uma casa, que seria um conjunto fechado, se apenas um candidato estava
faltando. Mais formalmente: um grupo de N clulas com N +1 candidatos.
Cada solver sabe que fenmeno: quando se olha para Subconjuntos nuas,
ns geralmente encontrar lotes e lotes de ALS.
Um ALS si no faz nada, mas possvel usar o ALS como ns em cadeias
(ver ALS in Chains). Outra possibilidade de tirar algo de um ALS combinlo com outros ALS. Tcnicas que utilizam este princpio so descritos aqui.
Candidate Comum Restrito (RCC)
Para combinar dois ALS eles devem compartilhar pelo menos um candidato.
"Compartilhar" significa que todas as instncias do candidato em ALS 1 ver
todas as instncias do candidato em ALS 2. Tal candidato chamado um
candidato restrito Comum (RCC ou para o short).
A utilidade de um RCC reside no facto, de que pode ser verdade apenas em
um dos ALS: Todas as clulas de um ALS ver uns aos outros, de modo um
dgito pode ser colocado apenas uma vez dentro de um ALS. Um RCC
ainda mais restrito: Uma vez que todos os casos possveis de um RCC em
ambos os ALS tem que ver uns aos outros, colocando um RCC em qualquer
clula desses ALSes elimina que dgito completamente a partir de um dos
dois ALS. ALS assim que se transformou em um conjunto fechado.
s vezes, dois ALS compartilhar no s uma, mas duas RCC. Estes ALS so
chamados de "duplamente ligada" e so a base para algumas tcnicas
muito eficazes.
ALS Sobrepor
ALS permitido sobreposio em todas as tcnicas de ALS. Existe apenas
uma restrio: A rea de sobreposio entre duas ALS no deve conter um
RCC.

ALS-XZ
Singly Linked ALS-XZ
Esta a mais simples tcnica de ALS: Encontre duas ALS que compartilham
um RCC (RCC chamado de X). Se ambos os ALS conter um Z comum
dgitos que no o RCC, Z pode ser eliminado a partir de todas as clulas
no ALS que vem todas as ocorrncias de Z dentro de ambos os ALS. Um

ALS-XZ na verdade uma cadeia de ALS de comprimento 2.


A lgica por trs ALS-XZ bastante simples tambm: Por causa da RCC, pelo
menos, um dos ALS transformado em um conjunto fechado (no sabemos
ainda qual). Uma vez que ambos os ALS conter Z dgito, Z fica bloqueado
em pelo menos uma das ALS. Isso significa que, em todas as clulas do ALS
juntos um Z tem que ser colocado. Qualquer clula que v todos os canais
possveis de Z pode, portanto, no contm Z em si.

Exemplo esquerda: Ns temos dois ALS: A ALS (r1c67, os candidatos


{679}) e ALS B (r3c289, {6789}). Em ambos ALS 6 dgitos ocorre apenas no
bloco 3, , por conseguinte, um RCC (X - violeta marcada). Ambos tm como
ALS dgito comum alm da RCC 7 dgitos (Z - azul marcado na imagem).
Clulas r3c56 no fazem parte de um dos ALS e pode ver todas as clulas
ALS, que poderia tornar-se 7. 7 pode ser eliminado a partir dessas clulas.
Exemplo da direita: A = r456c3, r6c2 {34568}, B = r7c2, r9c1 {378}, X = 3,
Z = 8 => r789c3 <> 8. ALS A um pouco maior que no exemplo (4 clulas
com 5 candidatos), os princpios so os mesmos.
Duplamente ligada ALS-XZ
Se os dois ALS tem duas CCRs, as coisas ficam realmente interessantes.
Lembre-se que um dgito RCC s pode ser colocada em um ALS,
transformando os outros ALS em um conjunto fechado. Se tivermos duas
RCCs, um deles tem de ser colocado em ALS A, transformando ALS B em um
conjunto bloqueado, o outro tem de ser em ALS B, ALS torneamento A em
um conjunto bloqueado (RCC que ser em que ALS, ainda desconhecida).
Ambos os RCCs em um ALS impossvel, porque ambos os RCCs seriam
eliminados a partir do ALS outros deixando apenas N-1 candidatos para as
clulas n, que , naturalmente, invlido.
O que pode ser concludo a partir de uma duplamente ligada ALS-XZ?
Ambos os CCRs esto presos em um ALS, de modo que os CCRs pode ser

eliminado de todas as clulas no ALS nas casas que fornecem os CCRs.


Mas o mais importante, todos os dgitos no RCC ficar trancado dentro de
suas respectivas ALS e eliminar todos os dgitos fora das ALS que podem ver
todas as instncias do dgito nos ALS (a eliminao pode ser feito at
mesmo em uma clula pertencente ALS outros, tornando o ALS-XZ
canibal).

No lado esquerdo: A = r2c239 {2479}, B = r4c23 {124}, X = 2,4. ALS A e B


so duplamente ligados por candidatos 2 e 4, no vulgar Z dgito est
presente. Todas as instncias da RCC 2 esto na coluna 2, que elimina 2 de
r1c2. Todos os exemplos de RCC 4 esto na coluna 3, o que elimina a partir
de 4 r16c3. A ALS tem agora os dgitos no RCC 7 e 9 de esquerda. Todos os
exemplos de ambos os dgitos so restritas a linha 2, de modo 7 e 9 pode
ser eliminado a partir de todas as outras clulas na linha 2. ALS B tem
apenas 1 dgito esquerda, todas as instncias que so dgitos na linha 4 eo
bloco 4, que elimina todos os 1s outra daquelas casas.
A ALS-XZ no exemplo direita o terceiro movimento neste quebra-cabea
(depois de um nico Invisvel e uma Bloqueado Tipo Candidatos 1): A =
{467} r23c4, B = r2c23, r3c23 {14678}, X = 4, 6. RCC 4 restrito a linha 3
(sem eliminaes), RCC 6 a linha 2 (r2c5 <> 6). ALS A tem esquerda 7
dgitos (elimina a partir do bloco 2 e coluna 4), ALS B tem 1, 7 e 8 esquerda
(eliminando a partir do bloco 1 e coluna 2 - coluna 2 apenas para um dgito).
A distino ltima importante: Dgitos 7 e 8 esto restritos a bloquear 1
uma s pode eliminar do referido bloco. Mas um dgito restrita
interseco do bloco 1 e coluna 2 e pode, portanto, eliminar a partir de
ambas as cmaras.

ALS-XY-Wing

Um ALS-XY-Ala necessita de trs ALS A, B, e C (que uma Cadeia ALS de


comprimento trs: z-A-x-C-y-B-z). ALS um. Partes RCC X com ELA C, ALS B
partes RCC Y com ALS C (X e Y no deve ser o mesmo dgito) Ambos ALS A e
B tm um dgito comum Z. Z pode ser eliminado a partir de todas as clulas,
que ver todas as ocorrncias de Z em A e B.
A lgica a mesma que para uma Cadeia ALS (ver abaixo): Se Z no em
ALS A, ento A tem de conter X (apenas um dgito pode perder a partir de
um ALS). Isso significa que a ELA C tem que conter Y (X est ausente C) e,
portanto, ALS B tem de conter Z (Y est ausente B). O inverso funciona to
bem: Se ALS B no contm Z, ALS uma obrigao.

No lado esquerdo: A = r7c156 {3678}, B = r579c8 {2389}, C = r9c34


{179}, X, Y = 7,9, Z = 3. RCC 7 restrito a bock 7, RCC 9 a linha 9 (ambos
violeta marcado - os nmeros so coincidncia). O 3 comum dgito tem que
ser colocada em uma das clulas azuis, que nunca pode estar em r7c7.
direita: A = r1c78 {247}, B = r25c4 {679}, C = r259c9 {3467}, X, Y =
4,6, Z = 7. Note que ALS C contm 7 dgitos, bem, isso irrelevante para o
movimento.

Cadeia ALS
Cadeias de ALS so uma srie de ALS conectados por CCRs. O primeiro e os
ltimos ALS deve conter um dgito comum, que dgito eliminado a partir
de todas as clulas que ver todas as ocorrncias da dgito em ambas as
extremidades da cadeia de ALS. Algumas restries so colocadas sobre os
CCRs: No h duas RCCs adjacentes pode ser o mesmo. Na verdade, quando
a construo de Cadeias de ALS que contm ALS duplamente ligadas,
escolhendo os CCRs corretos um pouco mais complicado do que isso. Uma
discusso de todas as possibilidades com ELA duplamente ligados est alm
do escopo desse guia, consulte Regras de adjacncia restritos comuns no
Frum do Jogador.
A lgica: A cadeia de prova, que se o dgito no comum nos ALS incio, ele

tem que ser nos ALS finais, eliminando assim todos os pares de todas as
instncias do dgito comum nos finais ALS. Se o dgito comum nos ALS
incio, no entanto, elimina-se o dgito comum de todos os pares dos ALS
incio. Ambos os casos combinados (uma verdade tpica) fornecer as
eliminaes atrs mencionadas.
Algumas explicaes de Cadeias ALS (muitas vezes chamado de "ALS-XYChains") dependem da reversability da cadeia. Por uma questo de fato, no
entanto, algumas cadeias mais complicadas com ELA duplamente ligados
no so reversveis. A lgica descrita acima mesmo nesses casos.
Cadeias de ALS pode ser escrito na notao de loop de Nice com os CCRs
como elos fracos entre os ALS.

Exemplo esquerda: 69 - r1c4789 {24569} -5 - r8c4 {56} -6 - {256} r58c3


-2 - r2c123, R3C3 {23469} -69. Nada especial com que a cadeia, excepto
que tem dois dgitos comum (6 e 9). Os ALS segundo uma clula bivalue
simples (as menores possveis ALS - dois candidatos em uma clula).
Exemplo da direita: 3 - r2c1249 {23567} -7 - r2c7 {37} -3 - r7c7 {37} -7 r7c4, r8c5 {237} -3. Dois ALS em que a cadeia est duplamente vinculada:
r2c7 e r7c7 ligados por {37}. Isto vlido, desde que todos os RCCs
adjacentes so diferentes.

Blossom morte
A Blossom Morte consiste de uma clula estaminal e ptalas. Cada ptala
um ALS que tem um RCC com a clula-tronco. Se uma ptala pode ser
encontrado para cada candidato no clulas estaminais, e se todos os ALS
ptala tm um dgito comum, que dgito pode ser eliminado a partir de
todas as clulas que ver todas as ocorrncias da dgito comum em todas as
ptalas.
Se a sobreposio no permitido (padro em HoDoKu), muito difcil
encontrar uma flor de morte com mais de dois candidatos a clula-tronco
(como Blossom uma morte sempre uma ALS-XY-Wing). Se sobreposio
permitido (no so necessrias restries), Flores de morte muito

interessantes podem ser encontrados.


A lgica por trs da flor Morte simples: Um dos candidatos a clula-tronco
deve ser verdade, travando assim o dgito comum nas ALS conectados.

Exemplo esquerda: [r3c4] -4 - r2c23, r3c23 {14678} -7 - R2C4 {67}. A


clula-tronco tem r3c4 RCC 4 com ALS r2c23, r3c23 e RCC 7 com ALS R2C4.
Ambos os ALS tm um dgito 6 comum, eliminando 6 a partir de r2c5. Esta
uma flor tpica da Morte no sobreposio que realmente um ALS-XY-Wing.
Exemplo direita: [r7c6], -3 - r8c3456 {23569} -6 - r8c4 {56}, -9 - {2569}
r8c345. Neste exemplo ALS 2 e 3 ALS completamente sobreposio com ALS
1 (clula r8c4 est contido em todas as trs ALS!). Isto vlido. O dgito
comum 5 (6 um dgito comum, mas um RCC, bem como, ele no pode
ser utilizado para eliminaes), a flor da Morte elimina 5 a partir de r8c2.

LTIMO RECURSO
modelos
Os modelos so um mtodo padro de um dgito. Em uma grade vazia
sudoku exatamente 46656 possibilidades existem para colocar todos os 9
casos de um dgito na grade. Cada vez que uma instncia do dgito
colocado, todas as combinaes que no contm essa clula se tornar
invlida, e cada vez que outro dgito colocado em uma clula, todas as
combinaes que contm clulas que se tornam invlidas. Se todos os
modelos possveis foram calculados, o dgito pode ser eliminado a partir de
qualquer clula, que no est contido em pelo menos um dos modelos
restantes, e ele pode ser definido em todas as clulas, que esto contidos
em todos os modelos restantes.
A partir da descrio deve ser clara, que os modelos no so destinadas
para os jogadores humanos. Eles podem, contudo, ser utilizados como
indicadores: Se no houver eliminaes Modelo esto presentes, nenhuma
instncia de um padro nico dgito pode possivelmente ser encontrada
(por exemplo: uma busca muito demorado para os tipos de peixes
complexos no necessrio). O inverso no necessariamente vlida.

Forando Cadeia
Antes de tentar cavar Forando Chains ou redes, por favor, certifique-se que
voc tenha entendido completamente a Introduo sobre cadeias.
Forando Cadeia um termo genrico para qualquer cadeia que leva a uma
contradio ou uma verdade e, portanto, fora alguma coisa (qualquer lao
Descontnua Nice ou qualquer AIC uma cadeia Forando por essa
definio). Cadeias que no levam a uma contradio-se pode ser
combinado com uma cadeia mltipla forar. Todas as correntes, todos juntos

podem quer provar uma verdade ou uma contradio, levando assim a uma
forante.
Em verdade, as cadeias de mltiplos tm o mesmo resultado. Se uma das
premissas das cadeias tem que ser verdade, o resultado deve ser verdade.
Exemplos de instalaes que podem fornecer uma verdade:
Correntes a partir de todos os candidatos de uma clula (um dos
candidatos deve ser verdade, e pelo menos um dos candidatos deve ser
falso)
Correntes a partir de todas as instncias de um candidato em uma casa
Correntes a partir de todos os dgitos adicionais de uma UR (no
implementado atualmente em HoDoKu)
Em uma contradio, todas as cadeias de comear com a mesma premissa,
mas levar a implicaes que no podem ser todas verdadeiras. Exemplos de
contradies:
Cadeias
Cadeias
casa
Cadeias
Cadeias
casa

provando que uma clula no pode conter um dgito


eliminando todas as instncias de um dgito a partir de uma
de configurao mais de um dgito em uma clula
de configurao mais de uma instncia de um dgito em uma

As possibilidades de mltiplas cadeias Forar so quase ilimitadas.


Se uma corrente Forar ou lquido visto em HoDoKu, o grande nmero de
ligaes podem tornar a imagem completamente intil. possvel, portanto,
mostram apenas uma cadeia de uma vez (veja Usando o sistema de dicas
no Manual do Usurio).

O exemplo mostra um tanto simples Forando Cadeia Verity, que prova que
r1c7 tem que ser 4 (a primeira imagem mostra todos os links de uma s
vez, as outras trs imagens mostram os trs cadeias).
Forando Cadeia Verity => r1c7 = 4
R4C4 = 1 r8c4 = 6 r6c8 = 6 r1c8 = 3 r1c7 = 4
r4c6 = 1 r4c7 = 3 r1c7 = 4
r4c7 = 1 r5c8 = 5 r1c8 = 3 r1c7 = 4
Significado: Para cada possvel colocao de 1 dgito na linha 4 pode ser
provado que r1c7 4. r1c7 deve ser 4.
Para cada Forando Cadeia Verity uma contradio Cadeia complementar
Forando existe. A contradio para o exemplo acima:
Contradio Cadeia forando em r4 => r1c7 = 4
r1c7 <> 4 r1c7 = 3 r1c8 = 5 r5c8 = 1 = 1 r8c4 R4C4 <> 1
r1c7 <> 4 r1c7 = 3 = 3 r4c6 r4c6 <> 1
r1c7 <> 4 r1c7 = 3 r1c8 = 5 r5c8 = 1 r4c7 <> 1
Significado: Se r1c7 no 4, a linha 4 no contm um dgito. Uma vez que
este no for possvel, a premissa deve estar errado, 4 podem ser colocados
em r1c7.

forando Net
A Net Forando construir no mesmo princpio do que uma cadeia de atuao, mas
como rede e no como em cadeia (ver Chains contra Nets). Eles so uma verdadeira
"ltima Ressort" mtodo e pode ser encontrado manualmente apenas por jogadores
muito experientes (as imagens abaixo falam por si).
Notao: Os ramos da rede so colocados entre parnteses. Existem resultado usado
mais tarde na net.

O exemplo uma verdade que prova que r1c2 tem de ser 5.


Forando Verity Net => r1c2 = 5

r7c2 = 6 (r4c2 = 7 r5c3 <> 7) (r3c2 <> 6) r9c5 = 6 (r9c5 <> 9) (r9c5 <> 9) R3C3 = 6
(r5c3 = 2 r8c3 <> 2) (L1C1 = 7 r9c1 = 2 r8c2 = 5 r8c3 = 9 r8c8 = 8 r7c9 <> 8) r9c3 = 7
r9c4 = 9 r3c4 = 4 r5c2 = 4 r5c9 = 1 r6c9 = 8 r8c5 = 8 r8c6 = 1 r1c6 = 6 r2c6 = 4 r3c4 =
9 r9c3 = 9 r8c3 = 5 r1c2 = 5
r7c2 = 7 (r7c2 <> 6) (r4c2 = 6 r3c2 <> 6) (r7c8 <> 7) (r7c7 <> 7) r9c9 = 7 (R3C3 =
7 = 6 r9c3 r9c1 <> 6) (R3C3 = 7 R3C3 <> 6) (r9c9 <> 2) r8c7 = 4 = 2 r8c8 r2c8 = 6
(r1c7 <> 6) L1C1 = 6 r2c8 = 6 (r1c7 <> 6) r2c1 = 2 r9c1 = 7 r7c2 = 9 (r1c2 <> 9) r1c3
= 9 r1c2 = 5
r7c2 = 9 (r1c2 <> 9) = 9 r1c3 r1c2 = 5
Significado: Cell r7c2 tem trs possibilidades deixadas: 6, 7 e 9. No importa qual
dgito ser finalmente colocado em r7c2, r1c2 sempre 5.
Vamos estudar a rede (e simples) passado. Se ignorarmos o parntese, podemos seguir a
cadeia de bem: Se r7c2 9, r3c2 no pode ser 9. Aqui estamos presos. No podemos
continuar, porque 9 em r3c2 e r1c3 so apenas fracamente ligados (9 adicional em
r1c2). Felizmente, 9 em r1c2 no pode ser verdade, bem como se r7c2 9 (o ramo da
rede), transformando o elo fraco em uma forte ligao.
Os ramos das outras redes no pode ser to facilmente explicado. Basta tentar decifrlas voc mesmo.
Kraken Peixe
A Fish Kraken a combinao de um peixe com uma ou mais cadeias. Ele geralmente
usa peixes com aletas, que no fornecem eliminaes, porque as eliminaes possveis
no pode ver todas as nadadeiras (ver Geral Fish).
Kraken Tipo de Peixe 1
Em um peixe voador uma eventual eliminao torna-se uma eliminao real, se pode
ver todas as barbatanas. Mais frequentemente do que no, este no o caso, e ficamos
com um peixe sem barbatanas intil eliminaes. Um Peixe Kraken pode squeaze uma
eliminao de um peixe to usando correntes.
A premissa para um peixe voador foi: Se todas as nadadeiras so falsas, todas as
eliminaes possveis tornar-se vlido. Mas se uma barbatana verdade, o peixe
destrudo ea colocao elimina todos os candidatos do peixe dgitos nos pares do fin.
Em um peixe Kraken, esse princpio simplesmente melhor: Se pudermos provar que
uma eventual eliminao deve ser falsa para todos os aletas possveis, podemos eliminar
o candidato. A prova utiliza cadeias que comeam com um elo fraco em todos os fin e
fim em um elo fraco na eliminao possvel.

O exemplo do estado mesmo puzzle. em que o lquido Forar a partir do


exemplo acima foi necessrio. A base uma Franken Finned X-Wing: 2 r6b2
C57 fr6c2 fr6c9. Eliminaes possveis so r158c7 (nenhum deles ver ambos
os barbatanas).

A imagem da esquerda mostra a primeira cadeia de ligao fin r6c2 para


r8c7: r6c2 -2 - ALS: r4c2, r5c13 -4 - r2c1 = 4 = r2c6 -4 - r8c6 = 4 = r8c7. A
imagem direita mostra a segunda cadeia para a segunda aleta (r6c9):
r6c9 -2 - ALS: r13479c9 -8 - ALS: r8c238 -2 - r8c7.
significado:
Se ambas as barbatanas so falsas, o peixe verdadeiro e r1c7, r5c7 e
r8c7 pode ser eliminado
Se fin r6c2 verdadeira, 2 podem ser eliminados do r8c7 como provado
pela primeira cadeia
Se fin r6c9 verdadeira, 2 podem ser eliminados do r8c7 como provado
pela segunda cadeia
Esta uma verdade tpica.
Kraken Tipo Fish 2
Tipo 2 fica um pouco mais complicado do que o tipo 1. Vamos analisar o que
um peixe tem tudo a ver: Ele garante que exatamente um candidato de
base verdade em todos os conjuntos de cobertura.
Se pode construir cadeias, comeando com uma ligao fraca cada um, a
partir de cada candidato de base em uma da tampa define mais a partir de
cada aleta (se presente), que levam mesma concluso, temos uma Forar
Cadeia verity.

O exemplo mostra um peixe Kraken baseado em uma Sashimi X-Wing: 4 r15 c12 fr1c7
fr1c9. O que bom para ns que a coluna capa conjunto 2 tem apenas um candidato
da base (r5c2). Os outros 4 na coluna (r3c2) um candidato tampa e no nos interessam
agora. Ns podemos construir as seguintes correntes:
r1c7 -4 - r8c7 -2 - ALS: r4c789, r56c7 -7 - r5c9
r1c9 -4 - ALS: r39c9 -7 - r5c9
r5c2 = 1 = r5c9
Juntos, eles provam que r5c9 no pode ser 7.
Brute Force
Brute Force no realmente uma tcnica: Coloque um dgito em uma clula e olhar, se
voc tem uma soluo ou no. Se essa tcnica est habilitado, cada sudoku pode ser
resolvido.

Você também pode gostar