A-B

Розглянемо множину рядків, що складаються лише з десяткових цифр або літер латинського алфавіту обох регістрів. Два рядки вважаються схожими, якщо вони мають однакову довжину і, додатково, на тих самих позиціях містять символи однієї категорії, причому категорій $3$ – цифри, малі латинські літери та великі латинські літери.

Для кожної множини схожих рядків визначено операцію віднімання. Всі рядки, схожі на заданий, впорядковують у лексикографічному порядку, після чого їм надають номери, починаючи з нуля. Результатом віднімання рядка $B$ від рядка $A$ вважається рядок $C$, що задовольняє рівнянню:

де $M$ — кількість всіх схожих рядків, а $N(A)$, $N(B)$, $N(C)$ — номери рядків $A$, $B$ і $C$ відповідно у вищевказаному порядку. Операція \mod трактується у звичайному математичному сенсі — це найменше невід'ємне число, таке, що результат дорівнює (N(A) - N(B)) за модулем $M$.