Cross the Streams: Tre?

Question

_{Questa è una voce per Quindicinale Topic Challenge n. 44: introdurre un nuovo genere di deduzione dalla griglia alla comunità .}

---

Ecco un puzzle standard di Cross the Streams. Il genere è stato inventato da Grant Fikes che combina indizi di nonogrammi e caratteri jolly.

Regole di Cross the Streams :

1. Ombreggia di nero alcune celle vuote per creare un unico gruppo di celle nere che sono tutte collegate tra loro attraverso i loro bordi. Nessuna area delle celle 2x2 all'interno della griglia contiene tutte le celle nere.
2. I numeri a sinistra / in alto della griglia rappresentano i gruppi di celle nere consecutive che si trovano in quella riga / colonna in ordine, da sinistra a destra o dall'alto verso il basso. (Ad esempio, un indizio di "3" significa che la riga o la colonna ha tre celle nere consecutive e un indizio di "3 1" significa che la riga o la colonna ha un gruppo di tre celle nere consecutive seguite da una singola cella nera, separati da almeno un globulo bianco.)
3. Un punto interrogativo (?) Rappresenta un gruppo di celle nere consecutive la cui dimensione è sconosciuta; un asterisco (*) rappresenta un numero qualsiasi di gruppi sconosciuti di celle nere, incluso nessuno.

---

Answer 1

La griglia completa:

Ragionamento:

Nella riga 9 possiamo riempire due blocchi di due semplicemente contando, poiché la riga deve essere almeno "3 3 1". Nell'angolo in alto a destra, se assumiamo che R2C9 sia ombreggiato, allora questo forza tutti R2C8-9 e R3C8-9 ad essere ombreggiati, contraddicendo la regola no 2x2. Quindi R2C9 non è ombreggiato, costringendo anche i quadrati sopra e alla sua destra a non essere ombreggiati, e quindi il conteggio costringe R2C6-7 a essere ombreggiato. La griglia fino ad ora:

Il quicker-picker-upper (aggiunto in seguito):

Inizialmente avevo un argomento di contraddizione più lungo per escludere la possibilità che R2C8 non fosse ombreggiato, ma è perché all'inizio ho dimenticato la regola di connettività e quindi non ho escluso immediatamente la possibilità che R1C10 potesse essere ombreggiato. Con questa deduzione corretta, il conteggio semplice mostra che R6-7C10 deve essere ombreggiato per il blocco 3 nella colonna 10, il che forza l'ombreggiatura R4-5C9 per il blocco 3 nella colonna 9, il che forza l'ombreggiatura R2-R3C8 per il blocco a 3 nella colonna 8. Questo porta al resto della soluzione ragionevolmente bene, poiché mi sono concentrato sul lato sinistro successivo, poi sono tornato a destra.

La contraddizione originale a lungo sviluppo:

A titolo di contraddizione, supponiamo che R2C8 non sia ombreggiato. Quindi ci dà il blocco 3 nella riga 2 e colonna 8. Esattamente uno di R3C5 o R3C6 deve essere non ombreggiato; fossero entrambi non ombreggiati, i due 3 blocchi in queste colonne dovrebbero essere affiancati, creando più blocchi 2x2 ombreggiati. Se R3C5 non è ombreggiato, allora R4-6C5 e R8-10C5 devono essere i 3 blocchi in C5, il che lascia spazio solo per un 3 blocchi in C6. Quindi R3C5 deve essere ombreggiato e R3C6 non ombreggiato. Questo forza la posizione dei 3 blocchi in C6, che lascia solo una posizione per i 3 blocchi inferiori in C5. Alcune semplici detrazioni aggiuntive ci lasciano con:

Concentrati ora su C9 e C10. Il blocco 3 in C9 deve contenere R6-7C9, che forza R3-4C9 a non essere ombreggiato. Ma poi R4C10 non può essere ombreggiato, poiché ciò costringerebbe a ombreggiare tutto R3-4C4-5. Quindi il blocco 3 in C10 deve contenere anche R6-7C10, un'ultima contraddizione.

Andando avanti:

Tutto ciò mostra semplicemente che R2C8 deve essere ombreggiato, ma questo mostra che R3C8 è ombreggiato e che R2C5 non è ombreggiato, il che forza i due 3 blocchi sotto di esso, di cui possiamo posizionare 2 blocchi di ciascuno. Ma una di queste costringe R8C6 a non essere ombreggiato, il che forza i 3 blocchi in C6. Questi posizionamenti forzano anche le posizioni dei 3 blocchi in R9. La griglia fino ad ora:

Nella riga 3, il blocco 3 non può iniziare prima della colonna 3, a causa del? prima del 3, quindi deve essere C4-6. Nella riga 4, abbiamo bisogno di due blocchi a destra del blocco 3, quindi il blocco 3 deve essere in C1-5, costringendo R4C3 ad essere ombreggiato. Questo forza R1C3 a non essere ombreggiato, poiché il blocco 3 iniziale in C3 deve contenere R4C3. Una logica simile in R6 mostra che R6C2-3 sono entrambi ombreggiati. Insieme, questi costringono il blocco 3 nella colonna 3, che quindi forza l'ombreggiatura di R2C4. Nella colonna 4, R5C4 non deve essere ombreggiato, poiché creerebbe un blocco di 4, senza lasciare spazio per un blocco di 3 e un blocco più piccolo a destra. Questo infatti forza il blocco 3 nella riga 5 ad essere C5-7. Anche nella colonna 7, il blocco 3 deve essere compreso tra le righe 7-10, costringendo R8C7 ad essere ombreggiato. La griglia fino ad ora:

Finire il lato sinistro:

Nella riga 4, il blocco 3 deve essere nelle prime 3 colonne, il che impone che R1C1 non sia ombreggiato. Inoltre, il blocco 3 nella seconda colonna deve essere R2-4. L'unico altro posto in cui potrebbe essere è R8-10, ma se quei blocchi sono tutti ombreggiati, la connettività costringe anche R7C2 ad essere ombreggiato. Questo quindi forza il blocco 3 nella colonna 1 ad essere R4-6. Questo quindi costringe R6C4 a non essere ombreggiato, poiché non c'è nessun altro posto dove andare il blocco a 3 in R6. La connettività forza i quadrati aggiuntivi nella colonna 2 in R7-8. Dopo esserci assicurati di non ottenere 2x2 ombreggiati, la connettività ci costringe nuovamente a collegare la colonna 4 nella riga 10, da C3-C5. Infine, R10C1 deve essere ombreggiato per ottenere quattro gruppi distinti in R10. La griglia fino ad ora:

Terminando:

Il blocco 3 nelle colonne 4 e 5 è ora forzato, così come il blocco 3 nella riga 8. Quest'ultimo forza il blocco 3 della colonna 10 a trovarsi tra R3 e R7, quindi R5C10 è decisamente ombreggiato. Ci sono quindi solo due posti dove può andare il blocco 3 di C9: R3-5 o R6-8. Ma nota: R9C9 ​​non può essere ombreggiato! Se lo fosse, i blocchi ombreggiati in R10C7-10, di cui devono essercene almeno 2, devono essere collegati tramite R10C7 in un unico blocco, ma devono esserci almeno due blocchi lì. Quindi il blocco 3 in C9 deve essere R3-R5. La stessa connettività e la considerazione di due blocchi nell'angolo in basso a destra costringono R10C7 ad essere ombreggiato: altrimenti tutti i blocchi ombreggiati dovrebbero fuoriuscire attraverso la colonna 9. La connettività forza l'ombreggiatura di R7C9. Il resto cade con una semplice deduzione.