Здравствуйте, мыщъх, Вы писали:

М>насколько я понял, доказательства для общего случая не существует.
Общий случай в вакууме не ясен.
М>а что вы думаете?
Если можно представить цикл в виде некоей функции, то можно попробовать раскрыть неопределённость. Самое сложное тут это представить цикл как функцию или набор функций. Можно попробовать выразить цикл через рекуррентную последовательность и как-то её обработать, после чего получить некоторые признаки циклов которые могут быть вычислены за бесконечное время или даже конечно время.