JavaScript (ES6), 83 ... 74 73 byte
Accetta l'input come stringa.
n=>1/([a,b,c]=[...n].map(v=>--v+v/3|0))||45242>>(a^b)&(~c&&n<99|b*2==a+c)
Risparmiato 3 byte grazie a ETHproductions
Come funziona
Trasformiamo il tastierino numerico applicando un offset a ciascuna cifra in base alla riga a cui appartiene:
- +1 per la riga superiore
- 0 per la riga centrale
- -1 per la riga inferiore.
Tutti i codici seguenti sono rappresentati in esadecimale.
7 8 9 8 9 A (+1)
4 5 6 => 4 5 6 (unchanged)
1 2 3 0 1 2 (-1)
Consideriamo tutte le combinazioni XOR di questi nuovi codici chiave. I tasti contigui sono evidenziati tra parentesi.
XOR| 0 1 2 4 5 6 8 9 A
---+------------------------------------
0 | 0 [1] 2 [4] [5] 6 8 9 A
1 | [1] 0 [3] [5] [4] [7] 9 8 B
2 | 2 [3] 0 6 [7] [4] A B 8
4 | [4] [5] 6 0 [1] 2 [C] [D] E
5 | [5] [4] [7] [1] 0 [3] [D] [C] [F]
6 | 6 [7] [4] 2 [3] 0 E [F] [C]
8 | 8 9 A [C] [D] E 0 [1] 2
9 | 9 8 B [D] [C] [F] [1] 0 [3]
A | A B 8 E [F] [C] 2 [3] 0
Possiamo vedere che due chiavi sono contigue se e solo se XORing dei loro codici porta a uno dei seguenti valori:
1, 3, 4, 5, 7, C, D, F
Questo elenco può essere inserito nella seguente maschera binaria:
FEDCBA9876543210
----------------
0b1011000010111010 = 0xB0BA = 45242
Da qui il test per determinare se due codici chiave (a, b) corrispondono a due chiavi contigue:
45242 >> (a ^ b) & 1
Per tre codici chiave (a, b, c), abbiamo bisogno di questo test aggiuntivo:
b * 2 == a + c
Esempio:
a = 0xA
b = 0x6
c = 0x2
0xB0BA >> (0xA ^ 0x6) & 1 == 0xB0BA >> 0xC & 1 == 1
=> 0xA and 0x6 are contiguous key codes
0x6 * 2 == 0xA + 0x2
=> 0xA, 0x6 and 0x2 are contiguous key codes on the same row, column or diagonal
dimostrazione
Questo frammento restituisce l'elenco dei valori di verità.
let f =
n=>1/([a,b,c]=[...n].map(v=>--v+v/3|0))||45242>>(a^b)&(~c&&n<99|b*2==a+c)
console.log([...Array(1000).keys()].filter(n=>n && f(n+'')).join(' '))