A-B

Onlu onluq rəqəmlərdən və ya hər iki halda latın əlifbası hərflərindən ibarət sətrlər çoxluğunu nəzərdən keçirin. İki sətir o zaman oxşar hesab olunur ki, onların uzunluğu eyni olsun və əlavə olaraq, eyni mövqelərdə eyni kateqoriyadan olan simvollar olsun; bu kateqoriyalar isə 3 – rəqəmlər, kiçik latın hərfləri və böyük latın hərfləri olaraq təsnif edilir.

Oxşar sətrlərdən ibarət hər bir çoxluq üçün çıxma əməliyyatı müəyyən olunub. Verilən sətrilə oxşar olan bütün sətrləri leksikoqrafik ardıcıllıqla düzürük və onları sıfırdan başlayaraq nömrələyirik. B sətrini A sətrindən çıxmaq əməliyyatının nəticəsi, aşağıdakı şərti ödəyən C sətridir:

N(C) = (N(A) - N(B)) mod M,

burada M – oxşar sətrlərin ümumi sayıdır, N(A), N(B) və N(C) isə yuxarıda göstərilmiş ardıcıllığa görə uyğun olaraq A, B və C sətrlərinin nömrələridir. mod əməliyyatı adi riyazi mənada başa düşülür – nəticə (N(A) - N(B))-ni M-ə böləndə alınan ən kiçik qeyri-mənfi ədəddir.