La griglia giornaliera è larga sette tessere e alta sette. Sembra piccola. Poi conti in quanti modi può essere girata, e il numero smette del tutto di sembrare piccolo.
Scritto e redatto in inglese. Questa versione italiana è stata prodotta con traduzione automatica; dove conta la precisione, fa fede l'originale inglese. Leggi l'originale in inglese →
Ogni tessera di Conduit ha quattro orientamenti possibili, ruotata di zero, uno, due o tre quarti di giro rispetto a dove si trova. 1 Dai a ciascuna delle quarantanove celle della griglia giornaliera una scelta indipendente fra quei quattro, e il numero di stati distinti della griglia è 449. Scritto per esteso, fa 316.912.650.057.057.350.374.175.801.344, oltre trecento quadriliardi di configurazioni, fra le quali il gioco ti chiede di trovarne una che sia completamente accesa e senza perdite.
Il rimescolamento che ti consegna un rompicapo sceglie, per ogni tessera, un numero casuale di quarti di giro da zero a tre. 1 Così la griglia che ti trovi davanti è estratta in modo uniforme da quello spazio enorme, meno un'unica, accurata esclusione che il gioco applica per evitare di servirti una griglia già risolta. 1 La forza bruta è fuori discussione: i test stessi del gioco osservano che provare tutte e quattro le rotazioni di ogni tessera è esponenziale, e la ricerca esaustiva viene eseguita soltanto su griglie giocattolo di nove celle o meno. 2
Quel numero da titolo conta troppo, perché ad alcune tessere non importa come le giri. Una croce, con connettori su tutti e quattro i lati, appare identica in tutti e quattro gli orientamenti; ruotarla non cambia nulla. Una linea retta ha solo due aspetti distinti, orizzontale e verticale, perché un mezzo giro la riporta su se stessa. Solo le forme asimmetriche, il gomito, la T e il terminale a connettore singolo, hanno davvero tutti e quattro gli orientamenti distinti. 3
| Forma | Connettori | Giri distinti | Simmetria |
|---|---|---|---|
| Terminale (nodo/lampadina) | 1 | 4 | nessuna |
| Linea | 2 | 2 | mezzo giro |
| Gomito | 2 | 4 | nessuna |
| T | 3 | 4 | nessuna |
| Croce | 4 | 1 | completa |
Le forme prendono nome dalle note di progettazione del gioco; i conteggi degli orientamenti distinti discendono dal fatto che la maschera di connettori a quattro bit resta invariata sotto le rotazioni elencate. 3 Lo spazio di ricerca effettivo è più piccolo di 449 esattamente del prodotto di queste simmetrie per tessera, ma su qualsiasi griglia con una sana mescolanza di gomiti e T resta astronomicamente grande.
Rovescia la domanda. Dimentica gli orientamenti che potresti provare; chiediti quante griglie risolte siano possibili in partenza. Una griglia di Conduit completata è un insieme di tubi connesso, in cui l'energia raggiunge ogni tessera, e senza alcun anello sprecato, perché ciò che il generatore costruisce è un albero ricoprente: connesso, aciclico, un solo cammino dalla sorgente a ciascun nodo. 3 Ogni cablaggio di questo tipo è, precisamente, un albero ricoprente del grafo a griglia, in cui i vertici sono le celle e gli spigoli sono i bordi condivisi che un tubo può scavalcare.
E gli alberi ricoprenti si possono contare esattamente. Il teorema matrice-albero di Kirchhoff, un risultato del 1847, afferma che il numero di alberi ricoprenti di un grafo qualsiasi è uguale a un qualunque cofattore della sua matrice laplaciana, un determinante calcolabile in tempo polinomiale. 4 Per le griglie il conteggio esplode con la dimensione: un modesto reticolo 4×4 ha già 100.352 alberi ricoprenti, e da lì il numero sale in modo feroce. Ognuno di essi è una soluzione legittima e completamente accesa di Conduit. Il rompicapo è difficile non perché le risposte scarseggino, ma perché sono nascoste in una folla assai più grande di quasi-risposte.
Gli stati risolti sono numerabili e tanti; gli stati rimescolati sono numerabili e immensamente di più. Risolvere è la ricerca di un ago che sai esistere, perché il gioco l'ha nascosto lì apposta.
Potresti sperare che il rompicapo si scomponga: sistema l'angolo in alto a sinistra, poi la tessera accanto, e marcia con ordine fino all'angolo opposto. A volte un tratto della griglia cede davvero a questo approccio. Una tessera in un angolo ha solo due lati che toccano dei vicini, quindi i suoi connettori sono fortemente vincolati; un terminale sul bordo può puntare soltanto verso l'interno. Queste mosse forzate offrono degli appigli.
Ma le due condizioni di vittoria non si concatenano in modo così accomodante. Senza perdite è una proprietà locale, la puoi verificare lato per lato. Alimentato non lo è: che una tessera sia accesa dipende da una catena ininterrotta di giunzioni che risale fino alla sorgente, potenzialmente attraverso l'intera griglia. 3 Una modifica che fai in un angolo può far piombare nel buio una regione lontana, spezzando l'unico cammino che la alimentava. Questo accoppiamento, la sorte di ogni tessera potenzialmente legata a un percorso attraverso tutta la griglia, è ciò che impedisce a un rompicapo di rotazione di ridursi a semplice contabilità, ed è il motivo per cui i risolutori della più ampia famiglia Net/Pipes (i rompicapi di tubi da collegare) si affidano alla propagazione di vincoli e alla ricerca piuttosto che a una semplice scansione da sinistra a destra. 5
Per quanto vasto sia lo spazio degli stati, la quantità su cui Conduit ti valuta è minuscola e umana: quante volte hai toccato. Il punteggio è 1000 − 4 × mosse − 2 × secondi, con un minimo di zero. 3 Per ogni griglia esiste un numero minimo teorico di rotazioni, la somma, su tutte le tessere, del minor numero di quarti di giro necessari a raggiungere un orientamento risolto, e ogni giro sprecato oltre quel minimo ti costa quattro punti, ogni secondo di inattività due.
Così il vero gioco sta fra due fatti enormi e uno piccolo. Il pagliaio è largo 449 orientamenti; gli aghi sono i molti alberi ricoprenti della griglia; e il tuo compito è viaggiare dall'uno all'altro con il minor numero possibile dell'unica mossa consentita. La combinatoria garantisce che una risposta sia là dentro. Il punteggio ti sfida sottovoce a trovarla senza vagare. 4