Розглянуто алгоритм, який для будь-якої поданої на вхід (max,+) задачі розмітки з цілочисельними вагами надасть на вихід одну з двох відповідей: або розв’язок у формі оптимальної розмітки, або фразу «задача не є супермодулярною», при цьому будь-яка відповідь гарантовано буде коректною. Самоконтроль у розпізнаванні образів полягає у тому, що не користувач приймає рішення, на яке питання треба відповісти, а сам алгоритм вирішує, що потрапляє у зону його компетентності. Іншою особливістю алгоритму є те, що він не потребує відомої впорядкованості міток для супермодулярних задач. Гарантію скінченної кількості кроків забезпечує використання субградієнтного спуску і цілочисельність ваг вершин та ребер.