разрешимый алгоритм

Мат. solvable algorithm