Методы оптимизации. Основы теории, задачи, обучающие компьютерные программы

Задача оказалась необычайно трудной. Потребовались сложные и громоздкие вычисления большого числа членов длинной последовательности, чтобы выяснить, где могут возникнуть серьезные бесконечности. В известной мере работу облегчало использование компьютера. Впоследствии Хоофт поведал о том, с какой тревогой он изучал результаты, полученные с компьютера: Несколько простых моделей дали обнадеживающие результаты. В этих особых случаях все бесконечности взаимно уничтожались независимо от числа калибровочных частиц, участвующих в обмене, и количества петель в диаграммах Фейнмана. Решающей могла бы стать проверка теории с помощью компьютерной программы, вычислявшей бесконечные члены во всех возможных диаграммах с двумя петлями. Результаты такой проверки, были получены к июлю 1971 г.: программа выдала нескончаемую последовательность нулей. Все расходящиеся члены взаимно сократились. Ясно, что решающее значение для исключения бесконечностей имела высокая степень симметрии, заложенная в электрослабой теории. Физики извлекли из этого хороший урок ...»