Quando uma linha contém vários fragmentos preenchidos separados por células ainda desconhecidas, surge uma pergunta importante: esses fragmentos pertencem ao mesmo bloco de pista ou a blocos diferentes?
O raciocínio de unir e separar responde a essa pergunta usando tamanho das pistas, ordem, separadores e todas as colocações ainda legais.
União: uma pista precisa cobrir os dois fragmentos
Considere uma linha com uma única pista 5 e dois fragmentos preenchidos que podem ser cobertos pelo mesmo bloco de cinco.
Se existe apenas esse bloco e toda colocação legal precisa incluir os dois fragmentos, eles pertencem ao mesmo bloco.
As células desconhecidas entre os fragmentos podem então ficar forçadas como preenchidas para conectá-los, desde que essa união seja necessária em todas as colocações válidas.
Separação: unir violaria todo tamanho de pista compatível
Agora considere uma linha com pistas 3 3 em que dois fragmentos preenchidos estão longe o bastante —ou já estruturados de forma suficiente— para que nenhum bloco de comprimento 3 consiga cobrir ambos.
Nesse caso, os fragmentos precisam pertencer a blocos diferentes.
Como são blocos monocromáticos distintos, precisa existir pelo menos uma célula vazia entre eles.
O que prova que fragmentos precisam se unir?
A união é provada quando todo padrão válido da linha coloca os fragmentos dentro do mesmo bloco de pista.
Isso pode acontecer porque:
- existe apenas uma pista capaz de cobrir ambos;
- separar os fragmentos exigiria blocos demais;
- a ordem e o espaço restante tornam a separação impossível;
- um bloco atribuído já precisa cobrir os dois fragmentos para atingir seu tamanho.
O que prova que fragmentos precisam se separar?
A separação é provada quando nenhum bloco compatível consegue cobrir ambos sem violar alguma restrição.
Possíveis motivos:
- a distância total entre os extremos excede o tamanho máximo da pista compatível;
- existe uma célula vazia confirmada entre eles;
- os fragmentos já estão atribuídos a pistas diferentes;
- juntá-los impediria que as pistas restantes coubessem em ordem;
- um bloco concluído já fixa uma das identidades.
Não confunda “estão perto” com “são o mesmo bloco”
Dois fragmentos separados por uma única célula desconhecida podem parecer candidatos naturais à união. Mas, se a sequência de pistas permite dois blocos diferentes com um separador naquela célula, a união pode continuar não provada.
Da mesma forma, fragmentos um pouco distantes ainda podem pertencer ao mesmo bloco se houver uma pista longa que precise cobrir o intervalo.
A geometria visual é apenas parte da prova.
Use a identidade da pista atribuída sempre que possível
Se a G-033 já provou que um fragmento pertence a uma pista específica, o teste fica muito mais forte.
Você passa a saber:
- o tamanho máximo e exato do bloco;
- quais outros fragmentos ele poderia alcançar;
- quais pistas precisam ficar antes e depois;
- quanto espaço precisa ser reservado para os vizinhos.
Às vezes nem a união nem a separação estão provadas
Um resultado avançado importante é reconhecer quando a resposta correta ainda é não resolvido.
Considere pistas 2 5 com dois fragmentos preenchidos posicionados de modo que existam padrões válidos em que eles pertencem juntos ao bloco 5 e outros padrões válidos em que um fragmento pertence ao 2 e o outro ao 5.
Nesse estado, forçar união ou separação seria um chute. A dedução correta é manter a ambiguidade e buscar informação em outra linha ou técnica.
A identidade de um fragmento pode mudar antes das pistas mudarem
As pistas da linha são fixas, mas nossa interpretação de qual pista cobre um fragmento pode ficar mais precisa à medida que novas células são confirmadas.
Uma marca X recebida de uma coluna pode eliminar todas as colocações em que o fragmento pertencia ao primeiro bloco. A partir daí, o mesmo fragmento passa a estar identificado com o segundo bloco.
Essa mudança de identidade pode imediatamente provar união ou separação com outro fragmento.
Unir e separar são afirmações sobre todos os padrões válidos
Uma forma rigorosa de pensar é:
- unir se todos os padrões válidos atribuem os fragmentos ao mesmo bloco;
- separar se todos os padrões válidos atribuem os fragmentos a blocos diferentes;
- manter desconhecido se existem padrões válidos dos dois tipos.
Esse enquadramento evita decisões baseadas na aparência da imagem.
Teste passo a passo de fragmentos
- identifique os fragmentos preenchidos relevantes;
- liste quais pistas poderiam cobrir cada fragmento respeitando ordem e tamanho;
- teste se um mesmo bloco poderia cobrir ambos;
- teste se eles poderiam pertencer a blocos distintos com o separador obrigatório;
- elimine opções incompatíveis com outras pistas, X e limites do segmento;
- conclua união ou separação apenas se todas as possibilidades restantes concordarem;
- se ambas sobreviverem, deixe a relação sem resolver.
Erros comuns
Unir fragmentos porque a imagem escondida “precisa de uma linha”
O desenho não faz parte das pistas. Só as restrições lógicas podem provar a união.
Esquecer o comprimento máximo da pista
Se cobrir os dois fragmentos exigiria um run maior que qualquer pista compatível, eles não podem pertencer ao mesmo bloco.
Separar fragmentos sem espaço para um separador obrigatório
Dois blocos monocromáticos diferentes exigem pelo menos uma célula vazia entre eles. Se não há espaço legal para isso, a separação é impossível.
Assumir a identidade do fragmento antes de saber a atribuição da pista
Um fragmento pode ser compatível com mais de uma pista. Não construa uma prova sobre uma identidade ainda não demonstrada.
O que aprender depois
A identidade dos fragmentos se torna ainda mais precisa quando você calcula ordem dos blocos e limites de colocação e, quando necessário, compara todos os padrões válidos de linha.
FAQ
Dois fragmentos preenchidos podem pertencer ao mesmo bloco de pista?
Sim. Se existir uma colocação legal do bloco que cubra ambos —e todas as alternativas válidas exigirem essa união— eles fazem parte do mesmo bloco.
Dois fragmentos preenchidos adjacentes podem pertencer a pistas monocromáticas diferentes?
Não. Blocos monocromáticos consecutivos precisam de pelo menos uma célula vazia entre eles. Se as células preenchidas são diretamente adjacentes, pertencem ao mesmo bloco contínuo.
Unir é a mesma coisa que estender um bloco confirmado?
Não exatamente. Estender parte de um bloco cuja identidade já é conhecida. Unir pode primeiro precisar provar que dois fragmentos separados pertencem ao mesmo bloco.