Линейные алгоритмы: простые решения для формального исполнителя