Доктор, я не настолько гениален, чтобы создать адекватную модель окружения и доказать, что она за такое-то время симуляции гарантированно выйдет на худший из возможных случаев. Поэтму мне легче по-старинке, посчитать. Сложность адекватной модели может легко превысить сложность самой программы.