Вычислительные модели алгоритмов покрытия

Abstract

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

У статті ставиться і вирішується проблема побудови обчислювальних моделей для класу комбінаторних задач. Практично важливою в цьому класі є задача про покриття, що використовує переборний механізм. Такого роду задачі виникають, наприклад, при необхідності оптимального вибору постачальників при збиранні складного виробу. Обчислювальні процеси розв'язання задачі про покриття мають багато загальних функціонально закінчених компонент, названих нами макроопераціями, які можуть бути виділені як обчислювальні моделі цього процесу. Таке виділення дозволить зібрати бібліотеку макрооперацій для різних класів задач, що спростить і прискорить аналіз програм ще на стадії побудови алгоритмів (обчислювальних процесів). Розглядаються 2 метода і відповідно 2 алгоритма розв'язання задачі про покриття: повного перебору підмножин і граничного перебору по увігнутій множині. Наводяться словесні описи алгоритмів, їх схеми, а також описи і схеми обчислювальних модулів. Виділяються макрооперації як обчислювальні моделі, які частково узагальнюються.

The article raises and solves the problem of building computational models for a class of combinatorial tasks. Important for practice in this class is the coverage task using mechanism of iterates through of the elements. Such tasks arise, for example, on necessity of optimal selection of suppliers for the assembly of complex products. The computational process of solving the task of the coverage have a lot in common functionally complete component called us macrooperation, which can be picked out as computational models of this process. This detachment will allow to build the library of macrooperations for different classes of tasks, which will simplify and speed up the analysis of programs at the stage of construction of algorithms (computational processes). Discusses 2 method and 2 respectively of algorithm for solving the task of covering: complete iterates through of the subsets and boundary iterates through in the concave set. Given the verbal descriptions of algorithms, their schemes, and descriptions and schemes of the computing modules. Pick out macrooperation as computational models, which are partially summarized.