ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

The article was published in issue no. № 4, 2000
Abstract:
Аннотация:
Authors: () - , S.A. Belyaev (beliaev@nicetu.spb.ru) - St. Petersburg Electrotechnical University "LETI" (Associate Professor), St. Petersburg, Russia, Ph.D
Ключевое слово:
Page views: 10739
Print version
Full issue in PDF (1.83Mb)

Font size:       Font:

Активно развивающаяся в последние годы логистика (транспортная, торговая, финансовая и т.п.) поставила перед разработчиками программных систем проблему создания эффективного инструментария для решения подобных задач. Специфической особенностью такого рода систем является необходимость интеграции в единой программной среде методологии искусственного интеллекта и исследования операций для решения комбинаторных задач большой размерности [1].

Одним из наиболее эффективных подходов является Constraint Logic Programming (CLP), объединяющий в единой среде средства логического вывода и методологию решения задач исследования операций. Большинство современных CLP-систем строятся на базе методов исследования операций. Ядром такого рода систем являются специальные процедуры constraint solvers, решающие оптимизационные задачи на базе constraint технологии. Основная задача constraint solvers – редукция пространства поиска решения за счет наложения ограничений на переменные с последующим использованием парадигмы constraint and generate [3].

Подпись:  
Рис. 2.

Несмотря на успешное применение парадигмы constraint and generate при решении многих практических задач [1], по-прежнему остается открытым вопрос создания эффективных процедур, решающих задачи комбинаторной оптимизации с требуемым качеством и за приемлемое для пользователя время. Рассмотрим ситуацию на примере решения одной из важнейших задач транспортной логистики – задачи коммивояжера. Одним из основополагающих методов решения этой задачи является метод ветвей и границ. Известно, что при средней сложности решения n3 верхней границей является экспонента. Однако при решении транспортных задач время, отводимое на решение, ограничено и является критическим фактором. При большой размерности исходных данных в таких задачах чаще всего используют процедуры, которые ищут приближенное решение, заранее отказываясь от преимуществ точного. Большинство из них находит локальный минимум за полиномиальное время, но практически невозможно определить точность найденного решения (см. табл.), что приводит к большим финансовым потерям при решении логистических задач.

Подпись:  
Рис. 1

Подпись: Таблица 
Метод	Точность
• Метод ближайшего соседа	(решение) / (оптимальное) £ 0.5 [ln n] + 0.5
• Метод вставки (ближайшей, наилучшей, наихудшей)	(решение) / (оптимальное) £ 2


Положение усугубляется обнаруженным в последние годы эффектом фазовых переходов сложности решения комбинаторных задач [2,4], которые приводят к патологическому возрастанию времени решения и исключают возможность реализации процедур с использованием точных методов. Как было показано в [2], одной из причин резкого возрастания сложности решения является наличие фазового перехода, обусловленного топологией весовой матрицы. В данном случае причиной появления фазового перехода являются подматрицы на главной диагонали (кластеры) с элементами в среднем меньше элементов в остальных подматрицах (рис. 1), а также обнаружено, что при использовании метода ветвей и границ время на решение возрастает на порядки. Так, на рисунке 2 приведена зависимость времени решения для матрицы размерностью 16´16 от степени различия весов элементов в подматрицах главной диагонали и подматрицах связи.

Следует заметить, что такой тип топологии весовой матрицы является типичным для задач транспортной логистики вследствие концентрации пунктов доставки грузов в городах, поселках и т.п.

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

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

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

Подпись:  
Рис. 3

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

Следует заметить, что в задачах рассматриваемого типа с априори известными областями наиболее вероятных решений возможна организация интеллектуального возврата в среде CLP.

Разумеется, предлагаемый подход носит достаточно общий характер и требует дальнейшей детализации для его практического воплощения.

Список литературы

1.    CP-AI-OR’99, Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems – Ferrara, Italy, 25 – 26 February, 1999.

2.    Valkovsky V.B., Gerasimov M.B., Savvin K.O. Phase Transitions in TSP and Matrix Topology. In Proc. of  the Joint Workshop on  Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems. Universita degli Studi di Ferrara – Facolta di Ingegneria, Italy 1999. 5 pp.

3.    Fierbinteanu C. “The Implementation by Constraint Logic Programming of a Decision Support System Generator for Transportation Planning”, Proc. Of the Fourth Int’l Conf. On the Practical Application of Constraint Technology, PAPPACT98, London, pp.285-294, March 1998.

Gent J.P., Walsh T. The TSP Phase Transition, Research Report/95/178, Department of Computer Science, University of Strathclyde


Permanent link:
http://swsys.ru/index.php?page=article&id=905&lang=en
Print version
Full issue in PDF (1.83Mb)
The article was published in issue no. № 4, 2000

Perhaps, you might be interested in the following articles of similar topics: