Деление c остатком (деление по модулю) — арифметическая операция, играющая большую роль в арифметике, теории чисел и алгебре. Чаще всего эта операция определяется для целых или натуральных чисел следующим образом. Пусть a и b — целые числа, причём b ≠ 0. Деление с остатком a («делимого») на b («делитель») означает нахождение таких целых чисел q и r, что выполняется равенство:
a = b ⋅ q + r
Таким образом, результатами деления с остатком являются два целых числа: q называется неполным частным от деления, а r — остатком от деления. На остаток налагается дополнительное условие: 0 ⩽ r < |b|, то есть остаток от деления должен быть неотрицательным числом и по абсолютной величине меньше делителя. Это условие обеспечивает однозначность результатов деления с остатком для всех целых чисел, то есть существует единственное решение уравнения a = b ⋅ q + r при заданных выше условиях.
0 ⩽ r < |b| в нотации исходной задачи как раз и будет 0 ≤ c < z
Так что, батенька, попробуйте сами почитать учебники и найти свою ошибку.
AVKor, То есть вы хотите сказать, что при делении неотрицательного целого числа на положительное целое остаток может быть больше делителя? Или меньше нуля?
AVKor, опять же, поскольку речь об RSA, то
x > 0, 0 ≤ y < z - из алгоритма RSA
0 ≤ c < z - из определения mod
yx ≥ 0 => с + z × i ≥ 0
но если i < 0, то с + z × i < 0, что не соответствует условиям.
Значит i ≥ 0 или i ∈ N0 (про N я слегка ошибся).
И кстати, 21 = 5 mod 3, 21 = 5 + 3*(-1) - тут ошибка. У вас c > z (5 > 3), чего быть не может.
Дмитрий Александров, Да нет, и колхоза хватает, и версию несколько раз меняли. Была только проблема с конфигами 1.2 -> 1.4, но с тех пор существенно ничего не менялось. E1 не использовали, только аналог. А клиентам ставили и E1, и Digium, и Parabel, и внешние шлюзы, тоже после разовой настройки без проблем работает.
Дмитрий Александров, Странно, но за 10 лет использования Asterisk в конторе на ~100 пользователей в 5 точках с IAX-транками никаких особенных проблем с ним не было.
Иван Петрович, На мой взгляд, переход имеет смысл. Asterisk гораздо более гибок в настройке, особенно если использовать чистый сервер, без оболочек типа FreePBX. Его можно зацепить и к домену, и к базе данных, и к каким-то своим сервисам.
demser, Конечный автомат - это автомат у которого обязательно есть минимум одно допустимое конечное состояние. Оказавшись в нём автомат прекращает работу и сообщает, что цепочка входных символов допустима.
demser, А какой у него набор входных символов? И какой набор допустимых и недопустимых состояний в которых светофор завершает работу?
Конечный автомат он потому и конечный, что есть конечные (завершающие) состояния.
0 ⩽ r < |b| в нотации исходной задачи как раз и будет 0 ≤ c < z
Так что, батенька, попробуйте сами почитать учебники и найти свою ошибку.