Sudoku
Sudoku
Sudoku
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
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
INTERSEES
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
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.
triplo escondida
Triplica ocultos trabalhar da mesma maneira como pares escondidos apenas
com trs clulas e trs candidatos.
Como encontr-los
SUBCONJUNTOS NUAS
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.
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.
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.
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.
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.
Formas e tamanhos
O nmero de base / tampa define definir o tamanho do peixe. Os seguintes
nomes so normalmente utilizados para descrever o tamanho:
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.
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.
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.
Swordfish
Swordfishes funcionam exatamente da mesma maneira como X-Wings,
apenas com base de trs e trs cobertura define, em vez de apenas dois.
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.
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.
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.
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).
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.
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.
Um erro comum quando se olha para ARs violar a "2 blocos" regra (ver o
artigo Sudopedia para um exemplo).
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.
contm o candidato UR adicional. A lgica por trs que se movem o mesmo que em
um tipo de UR 2.
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.
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.
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.
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).
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"
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
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
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):
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
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
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.
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.
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).
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-XY-Wing
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.
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
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
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.
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 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.