| |
Кривий, С. Л.
Алгоритми розв'язання лiнiйних обмежень у кiльцi лишкiв [Текст] / С. Л. Кривий
// Кібернетика та системний аналіз. – 2024. – Т. 60, № 6. – C. 23-32.
Запропоновано алгоритми перевірки виконанності обмежень типу лінійних рівностей у кільцях лишків Z_m. Показано, що ці алгоритми належать класу поліноміальної часової складності. |
