JavaScript (ES6), 83 ... 74 73 bytes
Toma la entrada como una cadena.
n=>1/([a,b,c]=[...n].map(v=>--v+v/3|0))||45242>>(a^b)&(~c&&n<99|b*2==a+c)
Guardado 3 bytes gracias a ETHproductions
Cómo funciona
Transformamos el teclado numérico aplicando un desplazamiento a cada dígito de acuerdo con la fila a la que pertenece:
- +1 para la fila superior
- 0 para la fila del medio
- -1 para la fila inferior.
Todos los códigos a continuación están representados en hexadecimal.
7 8 9 8 9 A (+1)
4 5 6 => 4 5 6 (unchanged)
1 2 3 0 1 2 (-1)
Consideremos todas las combinaciones XOR de estos nuevos códigos clave. Las teclas contiguas se resaltan con corchetes.
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
Podemos ver que dos claves son contiguas si y solo si XORing sus códigos conduce a uno de los siguientes valores:
1, 3, 4, 5, 7, C, D, F
Esta lista se puede empaquetar en la siguiente máscara binaria:
FEDCBA9876543210
----------------
0b1011000010111010 = 0xB0BA = 45242
De ahí la prueba para determinar si dos códigos clave (a, b) corresponden a dos claves contiguas:
45242 >> (a ^ b) & 1
Para tres códigos clave (a, b, c), necesitamos esta prueba adicional:
b * 2 == a + c
Ejemplo:
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
Manifestación
Este fragmento genera la lista de valores verdaderos.
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(' '))