У роботі розглядається оптимізаційна задача упакування заданого набору гомотетичних довільно орієнтованих опуклих багатогранників без їх взаємного перетинання у прямому паралелепіпеді мінімального об'єму. Як конструктивні засоби математичного моделювання поставленої задачі пропонується використовувати метод Ф-функції. На основі Ф-функції для двох опуклих неорієнтованих багатогранників будується математична модель задачі та досліджуються її основні властивості, які впливають на вибір стратегії розв’язання поставленої задачі. Отримана математична модель подає задачу у вигляді класичної задачі нелінійного програмування, що дозволяє використовувати для пошуку розв’язку сучасні солвери. Пропонуються ефективні методи пошуку припустимих початкових точок і локально оптимальних розв'язків, що ґрунтуються на гомотетичних перетвореннях. Для пошуку локальних екстремумів сформульованих оптимізаційних задач розроблено спеціальний метод декомпозиції, який дозволяє значно зменшити обчислювальні витрати за рахунок значного зменшення кількості нерівностей. Ключова ідея процедури оптимізації дозволяє генерувати підмножини області припустимих розв'язків на кожному етапі пошуку локального екстремуму. Для пошуку локальних екстремумів використовувались паралельні обчислення, що дозволило скоротити часові витрати. Наведено числові приклади. Запропоновані в роботі методи можуть бути використані для розв’язання задачі упакування неопуклих багатогранників.
В работе рассматривается оптимизационная задача упаковки заданного набора гомотетичних произвольно ориентированных выпуклых многогранников без их взаимного пересечения в прямом параллелепипеде минимального объема. Как конструктивные средства математического моделирования поставленной задачи предлагается использовать метод Ф-функции. На основе Ф-функции для двух выпуклых неориентированных многогранников строится математическая модель задачи, и исследуются ее основные свойства, которые влияют на выбор стратегии решения поставленной задачи. Полученная математическая модель представляет задачу в виде классической задачи нелинейного программирования, что позволяет использовать для поиска решения современные Солверы. Предлагаются методы поиска допустимых начальных точек и локально оптимальных решений, основанные на гомотетичных преобразованиях. Для поиска локальных экстремумов сформулированных оптимизационных задач разработан специальный метод декомпозиции, который позволяет значительно уменьшить вычислительные затраты за счет значительного уменьшения количества неравенств. Ключевая идея процедуры оптимизации позволяет генерировать подмножества области допустимых решений на каждом этапе поиска локального экстремума. Для поиска локальных экстремумов использовались параллельные вычисления, что позволило сократить временные затраты. Приведены числовые примеры. Предложенные в работе методы могут быть использованы для решения задачи упаковки невыпуклых многогранников.
This paper deals with the optimization problem of packing a given set of homothetical arbitrarily oriented convex polytopes without their overlapping in a linear parallelepiped of minimal volume. Phi-functions are proposed to be used as a constructive means of the mathematical modeling of a given problem. On the basis of the phi-function a mathematical model of the problem is constructed for two convex non-oriented polytopes, and its main properties which influence the choice of the strategy for solving the problem are examined. The obtained mathematical model presents the problem in the form of a classical problem of nonlinear programming, which makes it possible to use modern solvers for searching for a solution. Effective methods for finding valid starting points and locally optimal solutions based on homothetic transformations are proposed. To search for local extrema of the formulated optimization problems, a special method of decomposition has been developed, which allows us to significantly reduce computational costs due to a considerable reduction in the number of inequalities. The key idea of the optimization procedure allows us to generate subsets of the domain of admissible solutions at each stage of searching for a local extremum. Parallel computations were used to search for local extrema, which made it possible to reduce time expenditures. Numerical examples are given. The methods proposed in the work can be used for solving the problem of packaging convex polytopes.
