JavaScript (ES6), 83 ... 74 73 байт
Вводиться як рядок.
n=>1/([a,b,c]=[...n].map(v=>--v+v/3|0))||45242>>(a^b)&(~c&&n<99|b*2==a+c)
Збережено 3 байти завдяки ETHproductions
Як це працює
Перетворюємо цифрову колодку, застосовуючи зміщення до кожної цифри відповідно до рядка, до якого належить:
- +1 для верхнього ряду
- 0 для середнього ряду
- -1 для нижнього ряду.
Всі коди нижче представлені у шістнадцятковій кількості.
7 8 9 8 9 A (+1)
4 5 6 => 4 5 6 (unchanged)
1 2 3 0 1 2 (-1)
Розглянемо всі комбінації XOR цих нових ключових кодів. Суміжні клавіші виділяються дужками.
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
Ми можемо бачити, що два ключі є суміжними лише тоді, і лише тоді, коли XORing їх кодів призводить до одного з наступних значень:
1, 3, 4, 5, 7, C, D, F
Цей список може бути упакований у таку бінарну маску:
FEDCBA9876543210
----------------
0b1011000010111010 = 0xB0BA = 45242
Отже, тест визначає, чи відповідають два коди ключів (a, b) двом суміжним ключам:
45242 >> (a ^ b) & 1
Для трьох ключових кодів (a, b, c) нам потрібен додатковий тест:
b * 2 == a + c
Приклад:
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
Демо
Цей фрагмент виводить список правдивих значень.
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(' '))