Без заголовка

Оптимизация кода, построение планов запросов, решение систем уравнений в символьном виде и даже формальные доказательства - это всё цепочки преобразований, по каждому из которых в отдельности нельзя предсказать, приближает ли оно к одному из правильных (или одному из более выгодных) решений. "Потенциально выигрышные" стратегии перебираются вручную и хардкодятся. Вот пусть "кластер-самоучка" их и перебирает, экономя время специалистов.