Оптиимизация перебора.

[Чудо-в-перьях]

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

Подскажите, пожалуйста, хорошую стратегию перебора в таких случаях=)))

[Чудо-в-перьях]

То, что мы придумали с профессором нашей кафедры, не дает никакого результата: вычисление эвристик поглощает столько же времени, сколько и вычисление полным перебором))))

[maxal]

Чудо-в-перьях в сообщении #243350 писал(а):

В результате обнаружилось, что очень часто одни и те же значения вычисляются по нескольку раз, что сильно тормозит программу, особенно на поиске контпримера для довольно сложных задач.

Может быть, кэширование вычисленных результатов здесь поможет?
По-английски эта техника оптимизации называется Memoization - http://en.wikipedia.org/wiki/Memoization

[Чудо-в-перьях]

Спасибо большое!!... надо будет попробовать. прочитала статью--кажется, то, что нужно;)

[Чудо-в-перьях]

Еще раз спасибо!.. очень эта техника помогла: вместо восьми минут контпример находится за 1 минуту 45 сек.и т.п.))