Описывается алгоритм разбиения циклов, использующий в качестве вспомогательного преобразования введение временных массивов. Он построен таким образом, чтобы количество введений временных массивов было минимальным. Эта задача решается с помощью графовых моделей программ, а точнее с использованием графа информационных связей и построенного на его основе фактор-графа. Результаты этой статьи могут быть использованы при разработке распараллеливающих компиляторов. Написана программная реализация этого алгоритма в рамках проекта «Диалоговый высокоуровневый оптимизирующий распараллеливатель».