Есть ли алгоритм для проверки теории расписаний?

Да, конечно, Вы правы, однако суть вопроса в том, чтобы найти практическую задачу.

Есть ли алгоритм для проверки теории расписаний?

Я повторюсь: надо подобрать некоторый алгоритм или задачу в общем виде.
Это задача, а точнее её подзадачи (или можно сказать этапы алгоритма) будут запускаться на выполнение в определенной последовательности, получение которой это так сказать моя головная боль.
Представьте, что мы говорим о сжатии текстовой информации (надеюсь это область Вам знакома).
У нас есть классическая цепочка методов: BWT->MTF(IF,DC)->Ari(Haf).
Тут путь, который проходят данные, статичный с малыми отклонениями.
А я ищу нечто более гибкое.