Quatro imagens cobrem todo o conjunto de regras. Não há nada escondido.
Os números contam trechos de casas preenchidas
Cada número ao lado de uma linha, ou acima de uma coluna, é o comprimento de um trecho ininterrupto de casas preenchidas. Os números vêm na ordem em que os trechos aparecem, da esquerda para a direita ou de cima para baixo.
Entre dois trechos há sempre pelo menos uma casa vazia. É isso que impede 2 2 de ser o mesmo que 4.
Marcar é metade do trabalho
Uma casa que você descartou vale tanto quanto uma que você preencheu — ela estreita o que resta. Marque essas com um X para não raciocinar duas vezes sobre elas.
Os X são anotações suas. Eles nunca são conferidos, e um desenho pronto é julgado só pelas casas preenchidas.
Uma linha termina quando seus trechos batem com a pista
Assim que uma linha contém exatamente os trechos que a pista pede, todas as casas restantes dela estão vazias. É daí que costuma vir a próxima jogada.
Ligue o ajuste que esmaece as pistas terminadas e dá para ver de relance em quais linhas ainda sobra algo.
Com o que você fica é um desenho
Todo quebra-cabeça daqui é conferido antes de ser publicado: um resolvedor o percorre usando só raciocínio de uma linha por vez, e ele só é mantido se isso terminar a grade inteira. Então nunca há um ponto em que o sensato seja chutar e ver no que dá.
E como termina desse jeito, a resposta também é a única possível.