Пропонується формалізація відомої в теорії прийняття рішень задачі знаходження квазіпорядку, найближчого до заданого нетранзитивного бінарного відношення в класі моделей дискретного аддитивного програмування. Описуються алгоритми послідовного аналізу варіантів по обмеженнях на цільову функцію задачі та по умові ациклічності розв"язку.