[L03/04] Puoi farcela, Alberto!

[Gerald Lambeau]

A(lberto) e B(arbara)(o Bernaldo, che è meglio!) fanno il seguente gioco: si inizia con tutti i numeri naturali presenti (ci vorrà un po' a scriverli), nessuno evidenziato. A può, a ogni suo turno, evidenziare due numeri che non siano stati né già evidenziati né cancellati. B può, a ogni suo turno, cancellare una qualsiasi sequenza di interi consecutivi che siano evidenziati e che non siano già stati cancellati. Si gioca a turni alterni e ovviamente inizia A (ma sarà poi così ovvio?).
Per una volta nel testo di questo problema, sarò serio: dire per quali $l$ A ha una strategia che gli permette di riuscire a evidenziare $l$ numeri consecutivi.

[Nadal01]

ma se per esempio ho $1$, $2$ e $3$, e per esempio A evidenzia 1 e 2, poi B cancella 2, e poi A evidenzia 3, allora 1 e 3 sono considerati consecutivi evidenziati?

[Gerald Lambeau]

No, una sequenza di numeri consecutivi è del tipo $a, a+1, a+2, \dots, a+b$, che include tutti i $b+1$ interi da $a$ a $a+b$.
EDIT: tale sequenza può, nel nostro gioco, essere cancellata da B se nessun numero in essa è stato cancellato e sono tutti evidenziati.

[alexthirty]

Ho una soluzione poco formale e da aggiustare ma penso sia giusta, se mi confermi la soluzione potrei pubblicarla

Testo nascosto:

per ogni [tex]l[/tex] è possibile in un modo brutale

[Gerald Lambeau]

Sì, la soluzione è giusta, e da quello che hai scritto mi sa che abbiamo trovato la stessa strategia (mi raccomando, sistema i conti, almeno quelli falli tornare eleganti, visto che possono).