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