Подход к решению псевдогеометрической версии задачи коммивояжера Текст научной статьи по специальности «Математика»

№ 2 (34), 2015

Физико-математические науки. Математика

УДК 004.23

С. Б. Макаркин, Б. Ф. Мельников, М. А. Тренина

ПОДХОД К РЕШЕНИЮ ПСЕВДОГЕОМЕТРИЧЕСКОЙ ВЕРСИИ ЗАДАЧИ КОММИВОЯЖЕРА

Аннотация.

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

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

Результат. Сформулированы различные метрики и изучены их свойства, на основании которых разработан эвристический алгоритм локального поиска.

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

Ключевые слова: задача коммивояжера, геометрическая версия, псевдогеометрическая версия, геометрический подход, метрика, эвристические алгоритмы.

S. B. Makarkin, B. F. Mel'nikov, M. A. Trenina

APPROACH TO SOLVE A PSEUDOGEOMETRIC VERSION OF THE TRAVELING SALESMAN PROBLEM

Abstract.

Background. The traveling salesman problem is an example of a mathematical model that, being created in one subject area, finds application in many other areas. The pseudogeometric version of this problem more adequately describes a set of its private cases, encountered in most subject areas, in comparison with a more widely-used geometric version. The aim of the work is to apply the developed approaches to solve the geometric version of the traveling salesman problem for its so-called pseudogeometric version.

Materials and methods. To solve the pseudogeometric problem of traveling salesman the authors considered several randomly generated rearrangement of a set of dots, and for each one they applied the algorithm of pseudorestoration of their disposition. The choice of the only variant of disposition of each dot is possible after solution of the optimization problem, consisting in the turn of the generated set of dots through a certain angle and the shift along a certain vector.

Results. The authors formulated various metrics and studied the properties thereof, on the basis of which they have developed a heuristic algorithm of local search.

Physical and mathematical sciences. Mathematics

135

Известия высших учебных заведений. Поволжский регион

Conclusions. Applications of the metrics and the heuristic algorithm of local search, described in the paper, increased the efficiency of the geometric method of solution of the pseudogeometric problem of traveling salesman.

Keu words: traveling salesman problem, geometric version, pseudogeometric version, geometric approach, metrics, heuristic algorithms.

Введение

Данную статью можно рассматривать как дополнение и обобщение статей [1, 2].

Задача коммивояжера (ЗКВ) является примером математической модели, которая, будучи созданной для одной предметной области, находит свое применение и во многих других областях. Среди множества различных версий (вариантов) задачи коммивояжера одной из наиболее изученных является геометрическая (именуемая также Евклидовой [1, 3, 4]). В ней стоимость маршрута равна расстоянию между точками на плоскости, вычисляемому как Евклидова метрика. В результате многолетних исследований для решения ее частных случаев было разработано множество подходов. Однако за пределами геометрической версии алгоритмы, соответствующие этим подходам, обычно неприемлемы. При этом так называемая псевдогеометрическая версия ЗКВ [4-6] более адекватно описывает множество частных случаев ЗКВ, встречающихся в большинстве предметных областей [7].

В псевдогеометрической версии ЗКВ в качестве функции стоимости используется следующая:

0, kj < 0,

где ui, vi - i-я компонента вектора, задающего координаты точки и и v соответственно; kj - j-я компонента нормально распределенного случайного вектора K = {ki,...,kn }: ki е М, n = \E\ с р = 1.

Такое вычисление функции расстояния дает возможность нарушения неравенства треугольника, что является важным отличием псевдогеометрического варианта ЗКВ от геометрического.

Поэтому основные исследования авторов данной статьи направлены на разработку алгоритмов решения псевдогеометрической версии ЗКВ.

1. Геометрический подход - псевдооптимальное размещение точек

Как мы уже говорили, одной из наиболее изученных является геометрическая версия ЗКВ; в результате теоретических исследований было разработано множество подходов к решению ее частных случаев [8]. Среди них можно выделить так называемые геометрические подходы, использующие при поиске решения информацию о том, что координаты городов были получены как частный случай геометрической ЗКВ. В качестве примеров алгоритмов, относящихся к группе таких геометрических подходов, можно привести луковичный (onion-peeling) алгоритм [9], а также алгоритм эластичной сети [10]. Имея небольшую вычислительную сложность, эти подходы позво-

136

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

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

n-1 n

ХЦ

i=1 j =i+1

•((■, uj )-c (ui, uj)

где Ui (i = 1, ..., n) - точки; ниже координаты i-й точки будем обозначать

(xi,yi); с(i,Uj) - (i, j)^ элемент исходной матрицы расстояний; c (щ,Uj) -

(i, j)-й элемент полученной матрицы расстояний.

Для этого так называемого псевдовосстановления координат исходного множества точек был разработан эвристический алгоритм [1]. С целью его оптимизации авторы внести некоторые изменения:

Алгоритм 1 (алгоритм псевдооптимального размещения точек)

• Вход. Матрица c: E ^ N о (матрица весов ребер полного взвешенного графа [11] с вершинами V = {u1,..., un}), некоторое число Nе N .

• Шаг 1. Х1 := 0; У1 := 0; Х2 := 0; У2 := c Щ1,U2).

• Шаг 2. Для каждой точки k = 3, ..., n вычислить координаты (x^,yk) путем выполнения описанных далее шагов 3-7.

• Шаг 3. M := min f(k -1)2k - 2), n'j.

• Шаг 4. Для каждого значения l = 1,...,M выполнить описанные далее шаги 5 и 6.

• Шаг 5. Случайно выбрать равномерно распределенные значения i, j е {1,..., k -1} , причем i Ф j. Будем i-ю точку называть также v, а j-ю - w, и, кроме того, обозначать q = c(u, v), С2 = c(u, w).

• Шаг 6. Если q + c2 < c(v, w) (т.е. для точек u, v и w нарушается неравенство треугольника), то выбираем

x

u

c1 xw + c2 xv c1 + c2

y = c1 yw + c2 Уу

ju

c1 + c2

(в вырожденной ситуации, т.е. когда одновременно c1 = 0 и c2 = 0, берем точку посередине отрезка [ v, w]), т.е. выбираем координаты между i-й и j -й точками пропорционально значениям соответствующих элементов матрицы стоимостей).

Physical and mathematical sciences. Mathematics

137

Известия высших учебных заведений. Поволжский регион

В противном случае (т.е. при q + c2 > c(v, w)):

— вычисляем два варианта пар и yk согласно системе

(х — xv )2 +(y — yv )2 =(c (и, V))2,

Xх - xw )2+(х — yw )2 =( (и w ))2;

— если k = 3, то выбираем произвольную пару координат, иначе выбираем пару по одной случайно выбранной точке среди точек с номерами 1,..., k — 1, отличными от i и j;

— выбранную пару координат добавляем в коллекцию пар.

• Шаг 7. Вычисляем окончательные значения Xk и yk как средние арифметические значений l соответствующих координат сформированной коллекции.

• Выход. Координаты (Xi,yi),...,(xn,yn).

После выполнения этой операции применяются описанные выше методы решения геометрического варианта ЗКВ.

2. Метрика псевдооптимального размещения точек и ее свойства

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

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

После применения алгоритма 1 мы получаем размещение точек для данной ЗКВ, которую назовем псевдорасстановкой. После многократного применения алгоритма 1 мы можем рассматривать множество таких псевдорасстановок. Пусть Х - множество всех возможных псевдорасстановок для данного частного случая псевдогеометрической версии ЗКВ. С помощью поворота на угол ф и параллельного переноса на вектор а мы можем максимально приблизить (т.е. максимально уменьшить расстояние) одну псевдорасстановку к другой, не изменяя матрицы расстояний. Для каждой пары (ф, а) вычис-

лим расстояние между псевдорасстановками xi

и

х ={( х(, у/ ) — (хП, yJn

по формуле

138

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

к=1

Рассмотрим всевозможные пары (ф, а) и для всех вычисленных значений Ту выберем минимальное. Таким образом, для любых двух псевдорасстановок X и xJ введем следующую функцию:

Покажем, что функция (1) удовлетворяет аксиомам метрики:

1. р(X, у) = 0 тогда и только тогда, когда x = у .

2. р(X,у) = р(у, х) .

3. р( х, у) <р( х, z) + р( z, у).

Первые две аксиомы очевидно выполняются. Для доказательства неравенства треугольника рассмотрим неравенства:

Неравенство (3) не зависит от пар (ф, а) и выполняется для любых таких пар, следовательно, оно выполняется и для таких пар, при которых эти суммы минимизируются. Следовательно

min Гу = min

(ф, а) (ф, а)

(1)

(2)

где k = 1,..., n .

Полагая xk - xk = а1, ук - ук = a2, xk - xk = bl, ук - у}к = b2 , получим соотношение

которое следует из неравенства Коши - Буняковского:

Просуммируем неравенства (2) по к от 1 до n

(3)

Physical and mathematical sciences. Mathematics

139

Известия высших учебных заведений. Поволжский регион

min

(Ф, а)

<

- min iXvK - xk) +(ylk - ylk) [ +

(ф, а) U=r ' v Ч

+min

(Ф, а)

Итак, введенная функция удовлетворяет всем аксиомам метрики, следовательно, (X, d) - метрическое пространство.

Проанализируем, какими свойствами обладает метрика d и метрическое пространство (X, d). Для этого будем использовать определения: ограниченного множества, предела последовательности, фундаментальной последовательности и полного пространства согласно [12].

Любая последовательность расстановок {xm} данного метрического пространства является ограниченной, действительно, выберем в качестве центра шара а первый член последовательности x1, тогда в силу того, что эти расстановки получены для одной псевдогеометрической ЗКВ, выполняется неравенство

XV(xk - x1)2 + (ук - Ук)2 <

к=1

< X

к=1

max c(щ,ui)- min c(ut,щ ) ^

1<i <n

1<i < n

+

max c(,U1)- min c(щ,U1 )2

1<i < n

1<i <n

n max c

< X

к=1

1<i < n

(щ,U1)- min c(,U1)

1<i < n

V2

а расстояние между псевдорасстановками после преобразования (ф, 2) значительно уменьшится. Таким образом, существует число r такое, что р(xn, x1) < r , и все члены последовательности принадлежат шару B(x1, r).

Теорема 1. Пространство (X, d) полное.

Доказательство. Пусть последовательность псевдорасстановок {xm} фундаментальная, т.е. она удовлетворяет условию Коши: для любого £>0 найдется номер Ке, начиная с которого для любых номеров p и m выполняется неравенство р( xp, xm) <е,

min

(Ф, а)

Xj (

к=1

2

-xm ) +

(yP

m - yk

т.е. существует такая пара (ф, 2), для которой

140

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

Ы4 -xm) +(у[ - у" ) <£ ^ j(4 - 4') +(уР - у”) <е,

k=1

\xk -x” \<£,\Ур -у”\<£• (4)

При этом выше было сказано, что любая последовательность в этом метрическом пространстве ограничена, а из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность {xmk } .

Пусть lim xmk = a, a = {(x",y1),...,(x%,y%)}. Покажем, что и данная

последовательность {xm } имеет предел, равный а.

Исходя из определения предела, получаем, что для любого £>0 найдется номер N£, начиная с которого для любого номера mk выполняется

неравенство р (a,xMk ) <£,

a mk

,min (xk- xmk) +(yk - y'k

( ф, a) Ik=ivy ' y

т.е. существует такая пара (ф, a), для которой

< £,

Zv(xa -xkk) +(yaa -у”) <£(xa -^) +(yaa -у”) <£,

k=i

x - xkmk )i<£,iya - y” ><£.

(5)

При L = max{^£,N£} для любого номера m > L неравенства (4) и (5) выполняются одновременно и мы получаем

m a

xk - xk

x” - x”k + x”k - 4

xm - xmk xk xk

xmk - ra

xk xk

<

£ £ <---^ +

2-Jln 2-Jln \fln ’

при всех k = 1,..., n . Аналогично,

a

yk - yk

42n

. Следовательно

iJ(x” - 4) +(y'k - ya) < ■£, при всех k = n .

Просуммируем неравенства по k от 1 до n n

£J (x - 4 )2+(y"k - A )2 <£

k=1

Physical and mathematical sciences. Mathematics

141

Известия высших учебных заведений. Поволжский регион

^ min

(Ф, а)

< е ^ lim xm = а.

П

Значит, любая фундаментальная последовательность имеет предел, и пространство (X, d) полное. Теорема доказана.

Теорема 2. Пространство (X, d) компактно.

Доказательство. Нами уже было доказано, что любая последовательность ограничена, и в силу этого из нее можно выделить сходящуюся подпоследовательность. Исходя из теоремы о том, что метрическое пространство компактно тогда и только тогда, когда из любой последовательности точек можно выделить сходящуюся подпоследовательность, получаем, что теорема доказана.

Выявленные свойства метрики позволяют нам оптимизировать алгоритм 1.

Компактность метрического пространства (X, d) говорит о сходимости последовательной оптимизации размещения точек и, следовательно, возможности последовательного улучшения полученного решения ЗКВ. На основании этого получим следующий эвристический алгоритм.

Алгоритм 2

• Вход. Взвешенный полный [11] граф (G, c), где G = (V, E), V = (vi,..., vn } для некоторого n е N, а также функция c:E ^ N.

• Шаг 1. Применим алгоритм 1 для нахождения псевдооптимального размещения Xо.

• Шаг 2. На основе размещения Xо найдем решение ЗКВ, используя луковичный алгоритм (onion peeling, [8]). Будем считать это решение So текущим псевдооптимальным.

• Шаг 3. С помощью алгоритма 1 получим k размещений (X1,..., Xk), используя различный случайный порядок точек.

• Шаг 4. Выберем из (X1,...,Xk) размещение Xj с минимальным расстоянием от X0, в качестве функции расстояния используем (3).

• Шаг 5. На основе размещения Xi найдем решение ЗКВ, используя луковичный алгоритм; если cost(X0) > cost(Xt), примем за оптимальное решение X, иначе говоря, Xо = Xi.

• Шаг 6. Повторим m раз шаги 3-5.

• Выход. Псевдооптимальное решение ЗКВ Xо = (, (, ..., vt , v^ ),

4. Метрика на преобразованной матрице расстояний и ее свойства

Рассмотрим еще одну возможность введения метрики. Для каждого псевдоразмещения точек данной псевдогеометрической ЗКВ запишем преоб-

3. Эвристический алгоритм локального поиска

.,vt„,vi1 eV, ...Jn е [0---n].

142

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

разованную матрицу расстояний, в результате чего получим множество M

зсии данной псевдогео-и B = IUI определим

всевозможных матриц расстояний геометрической ве метрической ЗКВ. Для любых двух матриц A = ||огу функцию

РКB) = S S \aij -bij|.

i=1 j=i+1

Данная функция очевидным образом удовлетворяет первым двум аксиомам метрики. Проверим выполнение неравенства треугольника:

\aij — bij\ = aij — cij + cij — bij 1-1 aij — cij 1 + I cij — bij I, Vi , j . Просуммируем эти неравенства по i и j:

n n n n n n

S S \aij — j - S S laj - ci/| + S S lcij - bj *

i=1j=i+1 i=1j=i+1 i=1j=i+1

* p(A,B) -p(A, C) + p(C, B).

Таким образом, функция

n n

p(A,B) = S S |aij — bij\

i=1j=i+1

удовлетворяет всем аксиомам метрики, (M, p) - метрическое пространство.

Так как алгоритм псевдоразмещения точек разрабатывался исходя из n-1 n

минимизации невязки S S |c(Mi, uj) — c(щ, Uj), то найдется некоторое

i=1j=i+1

число 5 такое, что

c (щ,Uj) — c (щ,Uj) <5, для Vi, j.

тогда

\aij — bij | -l aij — c (ui, uj ) + c (ui,uj ) — bij |--| aij — c (ui,uj ) 1 + 1 c (Щ,uj ) — bij |- 25 .

Следовательно, p(A,B) - n 5 /2 для любых элементов A и B .

На основании выполнения данного неравенства мы можем сделать вывод о том, что любая последовательность в метрическом пространстве (M, р) ограничена и из нее можно выделить сходящуюся подпоследовательность. Поэтому для пространства (M, p) аналогично выполняется теорема 3.

Теорема 3. Пространство (M ,p) компактное.

Physical and mathematical sciences. Mathematics

143

Известия высших учебных заведений. Поволжский регион

Теорема 4. Пространство (M, р) полное.

Доказательство. Пусть последовательность матриц {Am} фундаментальная, т.е. она удовлетворяет условию Коши: для любого £>0 найдется номер К£, начиная с которого для любых номеров p и m выполняется неравенство р(р, Am )<£,

n n

ЕЕ

i=1 j=i+1

Любая последовательность в этом метрическом пространстве ограничена, из нее можно выделить сходящуюся подпоследовательность {Amk }.

Пусть lim Am = C, C = Cj . Покажем, что и данная последователь-k k 11 J''

ность {Am} имеет предел, равный C.

Исходя из определения предела получаем, что для любого £> 0 найдется номер N£, начиная с которого для любого номера mk выполняется

неравенство р (Amk, C) <£,

n n

ЕЕ

i=1j= i+1

При L = max{K£,N£} для любого номера m > L неравенства (6) и (7) выполняются одновременно, и мы получаем

m aij - cu = am - amk + amk - ctj < am - amk + amk - Cjj

4 i У У У У У У У У

a..

ач

< £

Smk).

< £.

(7)

У

p m

ap - aij

< 8 .

(6)

£ £ 2£

<-r + ~T = ~J, при всех i = 1, ..., n,j = i + 1, ..., n. n n n

Просуммируем неравенства по i и j:

n n

ЕЕ

aP

aj

i=1j=i+1

n2 2£

<------— = £ ^ lim A,

2 2 '

n m^<^

= C.

Значит, любая фундаментальная последовательность имеет предел и пространство (M, р) полное. Теорема доказана.

Заключение

Для оценки эффективности предложенного подхода был проведен численный эксперимент, в ходе которого предложенный алгоритм 2 сравнивался с алгоритмом, описанным в [1] (по сути, предложенный в настоящей работе алгоритм является расширением данного алгоритма). В ходе данного эксперимента 50 случайно сгенерированных частных случаев псевдогеометри-

144

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

ческой ЗКВ (n = 50, |i = 1, а = 0,03) решались с помощью вышеуказанных алгоритмов и сравнивалось качество найденных решений (т.е. длина маршрута). Как видно из полученных данных, приведенных на рис. 1, разработанный авторами алгоритм во всех случаях показал лучший результат. Таким образом, применение описанных в настоящей работе метрик позволило повысить эффективность геометрического метода решения псевдогеометрической ЗКВ.

28

26

24

22

20

18

16

14

12

10

Рис. 1. Результаты численного эксперимента

На рис. 1 по оси Y - длина маршрута, каждый из отрезков обобщает результаты работы соответствующего алгоритма для 50 частных случаев: верхняя и нижняя границы отрезков - максимальная и минимальная длина маршрута, полученная с помощью соответствующего алгоритма, прямоугольная отметка на отрезке - средняя длина пути.

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

1. Макаркин, С. Б. Геометрические методы решения псевдогеометрической версии задачи коммивояжера / С. Б. Макаркин, Б. Ф. Мельников // Стохастическая оптимизация в информатике. - 2013. - Т. 9, № 2. - С. 54-72.

2. Макаркин, С. Б. Применение проблемно ориентированных метрик в геометрических алгоритмах решения псевдогеометрической версии задачи коммивояжера / С. Б. Макаркин, Б. Ф. Мельников, М. А. Тренина // Стохастическая оптимизация в информатике. - 2014. - Т. 10, вып. 1. - С. 63-71.

3. Hromkovic, J. Algorithmics for Hard Problems. Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics / J. Hromkovic. - Springer, 2003. - 538 p.

4. Melnikov, B. Some special heuristics for discrete optimization problems / B. Melnikov, A. Radionov, V. Gumayunov // Proc. of 8th International Conference on Enterprise Information Systems, ICEIS-2006. - P. 360-364.

5. Мельников, Б. Еще раз об эвристиках для задачи коммивояжера / Б. Мельников, Н. Романов // Теоретические проблемы информатики и ее приложений. -2001. - № 4. - С. 81-92.

6. Melnikov, B. Multiheuristic approach to discrete optimization problems / B. Melnikov // Cybernetics and Systems Analysis. - 2006. - Vol. 42, № 3 (Sept.). - P. 335-341.

Physical and mathematical sciences. Mathematics

145

Известия высших учебных заведений. Поволжский регион

7. Мельников, Б. Ф. Кластеризация ситуаций в алгоритмах реального времени для задач дискретной оптимизации / Б. Ф. Мельников, Е. А. Мельникова // Системы управления и информационные технологии. - 2007. - № 2 (28). - С. 16-20.

8. The Traveling Salesman problem / G. Gutin, A. Punnen (editors). - Kluwer Academic Publishers, 2002.

9. URL: http://arxiv.org/ftp/arxiv/papers/1204/1204.2350.pdf - Liew Sing. Introducing convex layers to the Traveling Salesman Problem / Preprint: arXiv: 1204.2348. -2012. - Режим доступа - свободный. (Access mode - free.)

10. Somhom, S. Competition-based neural network for the multiple travelling salesmen problem with minimax objective / S. Somhom, A. Modares, T. Enkawa // Computers & Operations Research. - 1999. - Vol. 26, №. 4. - P. 395-407.

11. Громкович, Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию : пер. с нем. / Ю. Громкович. - СПб. : БХВ-Петербург, 2010. - 326 с.

12. Колмогоров А. Н. Элементы теории функций и функционального анализа / А. Н. Колмогоров, С. В. Фомин ; МГУ им. М. В. Ломоносова. - Изд. 7-е. - М. : Физматлит, 2004. - 570 с.

References

1. Makarkin S. B., Mel'nikov B. F. Stokhasticheskaya optimizatsiya v informatike [Stochastic optimization in informatics]. 2013, vol. 9, no. 2, pp. 54-72.

2. Makarkin S. B., Mel'nikov B. F., Trenina M. A. Stokhasticheskaya optimizatsiya v informatike [Stochastic optimization in informatics]. 2014, vol. 10, iss. 1, pp. 63-71.

3. Hromkovic J. Algorithmics for Hard Problems. Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics. Springer, 2003, 538 p.

4. Melnikov B., Radionov A., Gumayunov V. Proc. of 8th International Conference on Enterprise Information Systems, ICEIS-2006. P. 360-364.

5. Mel'nikov B., Romanov N. Teoreticheskie problemy informatiki i ee prilozheniy [Theoretical problems of informatics and its applications]. 2001, no. 4, pp. 81-92.

6. Melnikov B. Cybernetics and Systems Analysis. 2006, vol. 42, no. 3 (Sept.), pp. 335341.

7. Mel'nikov B. F., Mel'nikova E. A. Sistemy upravleniya i informatsionnye tekhnologii [Control systems and information technologies]. 2007, no. 2 (28), pp. 16-20.

8. The Traveling Salesman problem. G. Gutin, A. Punnen (editors). Kluwer Academic Publishers, 2002.

9. Available at: http://arxiv.org/ftp/arxiv/papers/1204/1204.2350.pdf - Liew Sing. Introducing convex layers to the Traveling Salesman Problem. Preprint: arXiv: 1204.2348. 2012. (Access mode - free.)

10. Somhom S., Modares A., Enkawa T. Computers & Operations Research. 1999, vol. 26, no. 4, pp. 395-407.

11. Gromkovich Yu. Teoreticheskaya informatika. Vvedenie v teoriyu avtomatov, teoriyu vychislimosti, teoriyu slozhnosti, teoriyu algoritmov, randomizatsiyu, teoriyu svyazi i kriptografiyu: per. s nem. [Theoretical informatics. Introduction into the theory of automata, theory of computability, theory of algorithms, randomization, theory of communication cryptography: translation from German]. Saint-Petersburg: BKhV-Peterburg, 2010, 326 p.

12. Kolmogorov A. N., Fomin S. V. Elementy teorii funktsiy i funktsional’nogo analiza [Elements of functional analysis and the theory of functions]. 7th ed. Moscow: Fizmatlit, 2004, 570 p.

146

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

Макаркин Сергей Борисович доцент, кафедра

прикладной математики и информатики, Тольяттинский государственный университет (Россия, г. Тольятти, ул. Белорусская, 14)

E-mail: s.makarkin@gmail.com

Мельников Борис Феликсович

доктор физико-математических наук, профессор, кафедра прикладной математики и информатики, Тольяттинский государственный университет (Россия, г. Тольятти, ул. Белорусская, 14)

E-mail: barmaley62@yandex.ru

Тренина Марина Анатольевна старший преподаватель, кафедра прикладной математики и информатики, Тольяттинский государственный университет (Россия, г. Тольятти, ул. Белорусская, 14)

E-mail: trenina.m.a@gmail.com

Makarkin Sergey Borisovich Associate professor, sub-department of applied mathematics and informatics, Togliatti State University (14 Belorusskaya street, Togliatti, Russia)

Mel'nikov Boris Feliksovich Doctor of physical and mathematical sciences, professor, sub-department of applied mathematics and informatics, Togliatti State University (14 Belorusskaya street, Togliatti, Russia)

Trenina Marina Anatol'evna Senior lecturer, sub-department of applied mathematics and informatics, Togliatti State University (14 Belorusskaya street, Togliatti, Russia)

УДК 004.23 Макаркин, С. Б.

Подход к решению псевдогеометрической версии задачи коммивояжера /

С. Б. Макаркин, Б. Ф. Мельников, М. А. Тренина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. -№ 2 (34). - С. 135-147.

Physical and mathematical sciences. Mathematics

147