Научная статья УДК 519.6(082) https://elibrary.ru/uaewdt
https://doi.org/10.21285/2227-2917-2023-1 -285-297
Проект программного комплекса генерации машин Тьюринга, решающих NP-трудные задачи
В.И. Мартьянов1
Иркутский национальный исследовательский технический университет, г. Иркутск, Россия Байкальский государственный университет, г. Иркутск, Россия Иркутский государственный университет, г. Иркутск, Россия
Аннотация. Целью исследования является обобщение промежуточных результатов программной реализации концепции генерации машин Тьюринга, решающих NP-сложные задачи. Обсуждаются планы по разработке программного пакета для генерации машин Тьюринга, который может стать открытой платформой для обучения студентов теории алгоритмов и информационным технологиям; проведения всеми желающими экспериментов по определению неполиномиальной сложности решения определенной серии задач, сгенерированными машинами Тьюринга; участия всех желающих в генерации машин Тьюринга и решении NP-трудных задач на личных компьютерах; передачи результатов просчетов на платформу, являющуюся подобием генерации криптовалют, но осуществляющую поиск нетленных математических объектов, а не каких-то искусственно созданных на короткий период времени блоков чисел. Отмечается, что идея использования методов удовлетворения ограничениям для генерации машин Тьюринга, решающих NP-трудные задачи, записанные на ленте, является расширением возможностей программирования в ограничениях и, возможно, будет успешной для решения вопроса о равенстве полиномиальной и NP-сложности (P =? NP), что является одной из семи пока не решенных проблем третьего тысячелетия математики.
Ключевые слова: NP-трудные задачи, удовлетворение ограничениям, программирование в ограничениях, искусственный интеллект, машины Тьюринга
Для цитирования: Мартьянов В.И. Проект программного комплекса генерации машин Тьюринга, решающих NP-трудные задачи // Известия вузов. Инвестиции. Строительство. Недвижимость. 2023. Т. 13. № 2. С. 285-297. https://elibrary.ru/uaewdt. https://doi.org/10.21285/2227-2917-2023-2-285-297.
Original article
Draft program complex for generating Turing machines solving NP-hard problems
Vladimir I. Martyanov
Irkutsk National Research Technical University, Irkutsk, Russia Baikal State University, Irkutsk, Russia Irkutsk State University, Irkutsk, Russia
Abstract. This paper provides an overview of the progress made in the software implementation of the concept for generating Turing machines that solve NP-hard problems. Plans are discussed for developing a software package for generating Turing machines, with the potential to serve as an open-source educational platform for learning algorithm theory and information technologies. The proposed program complex also encompasses the opportunity for interested individuals to conduct experiments aimed at
© Мартьянов В.И., 2023
Том 13 № 2 2023
с. 285-297 Vol. 13 No. 2 2023 pp. 285-297
ISSN 2227-2917
determining the NP-hardness of specific problem series generated by Turing machines; participating in the generation of Turing machines and solving NP-hard problems on personal computers; transferring the calculation results to a platform, similar to the generator of cryptocurrencies, which focuses on searching for timeless mathematical objects, instead of creating artificially generated blocks of numbers for a short period. It is noted that the idea of using constraint satisfaction methods to generate Turing machines for solving tape NP-hard problems extends the boundaries of constraint programming. Furthermore, it holds the potential for contributing to the resolution of the long-standing question regarding the equality of polynomial and NP-hardness (P =? NP) - one of the seven unsolved problems of the third millennium in mathematics to this day.
Keywords: NP-hard problems, satisfying constraints, programming in constraints, artificial intelligence, Turing machines
For citation: Martyanov V.I. Draft program complex for generating Turing machines solving NP-hard problems. Izvestiya vuzov. Investitsii. Stroitel'stvo. Nedvizhimost' = Proceedings of Universities. Investment. Construction. Real estate. 2023;13(2):285-297. (In Russ.). https://elibrary.ru/uaewdt. https://doi.org/10.21285/2227-2917-2023-2-285-297.
ВВЕДЕНИЕ
Программный комплекс генерации машин Тьюринга (ПКГМТ), решающих Np-сложные задачи, основан на методах, предложенных в работах [1-5], функционирует до некоторой степени подобно генераторам криптовалют [6-8], но формирует машины Тьюринга (МТ), решающие математические задачи. С точки зрения программной реализации ПКГМТ является результатом применения расширенной концепции программирования в ограничениях [9-10].
Автор данной работы считает, что, может быть, это станет путем отрицательного решения проблемы P =? NP [11-13].
1. Структура программного комплекса ПКГМТ генерации МТ.
1.1. Начальные данные пишутся на ленте МТ [14, 15] и как математический объект представляют формулы исчисления высказываний. Напомним, что именно алгоритмическая сложность проверки выполнимости высказываний а (x1, x2, ..., xn) объявлена NP-трудной (полной) задачей. В табл.1 в 1-ой клетке прописан начальный элемент ленты 0000 и эту клетку считывает головка МТ готовая к исполнению прописанной команды МТ.
1.2. Алфавит МТ xo_alphabet.slw = {0; 1; b; e; #; 5; 6}, который в ПКГМТ представлен следующим образом (табл. 2).
1.3. Совокупность состояний МТ
xo_state.slw = {q; q0, q1, q2, q3},
где q - начальное состояние; q0 - стоп (конец работы) ; q1, q2, q3 - без свойств, в ПКГМТ представлена в табл. 3.
1.4. Совокупность движений головки МТ xo_displace.slw = {right; left, stop} в ПКГМТ представлена в табл. 4.
1.5. Программа МТ xo_DMT.slw в ПКГМТ представлено в табл.5.
1.6. Редактор программы МТ xo_DMT.slw в ПКГМТ представлен в табл. 6.
Редактирование в данном случае может осуществляться для 2-ой команды вызовом одного из трех словарей. Покажем редактирование состояния в табл.7.
1.7. Проектирование расписания занятий является одним из классов NP-трудных задач.
Основные множества: Дисц = ^1, d2, ..., ds} - дисциплины, Груп = {д1, д2, ..., ди} -учебные группы, Преп = {11, 12, ..., 1в} - преподаватели, Мн-во занятий: Зан с Дисц ® Груп ® Преп. Врем = {11,(2,...¿и} - пары в двухнедельном цикле, Ауд = {а1, а2, ..., aw} - аудитории.
Необходимо построить Распис : Зан ^ Врем ® Ауд, т.е. отображение, которое для (дисциплина, группа, преподаватель) определяет время проведения занятия и аудиторию.
Программа генерации МТ в ПКГМТ реализована во многом на технических решениях:
- проекта системы управления региональной сетью автомобильных дорог (СУРАД) Иркутской области [16];
- проекта построения графа автомобильных дорог для системы взимания платы с большегрузного транспорта [17];
- приложений логико-эвристических методов для расчета комбинаторных задач высокой сложности [3];
- программы сетевого планирование содержания сети автомобильных дорог Иркутской области [18];
- теоретико-множественные модели данных в задаче расчета вторичных структур РНК [19];
ISSN 2227-2917 Том 13 № 2 2023 -joc (print) Известия вузов. Инвестиции. Строительство. Недвижимость с. 285-297 286 ISSN 2500-154X Proceedings of Universities. Investment. Construction. Real estate Vol. 13 No. 2 2023 _(online)_pp. 285-297
- программы планирования работ по нормативному содержанию сети автомобильных дорог [20];
- программы обработки видеорядов, снятых дорожными лабораториями на автомобильных дорогах [21];
- программы расчета (генерации) расписания [22], используемой с 2006 г. в ИРНИТУ. Аналоги организации данных и требования
к расчету можно найти в итоговых результатах расчета расписания (табл. 8).
Карточка (табл. 8) показывает, что:
- занятия ставятся в первую смену или на стыковочную 4-ю пару;
- лекций (красный цвет) ставится не более 2-х в день;
- отсутствуют единственные занятия и «окна».
Таблица 1. Начальный фрагмент ленты МТ в ПКГМТ
Table 1. The initial fragment of the MT tape in the software package for generating Turing machines
Таблица 2. Алфавит МТ в ПКГМТ
Table 2. The MT alphabet in the software package for generating Turing machines
Выберите объект из списка:
А.
0
D
Ь begin е end Й devide 5 6 7
S Объект выбран | Убрать отметки объектов | ® Отменить выбо|
1. о&щее количество о&ъектов :а <1 1 >г
Таблица 3. Совокупность состояний МТ в ПКГМТ
Table 3. The totality of MT states in the software package for generating Turing machines
Выберите объект из списка:
q begin
С q1
q2 С q3 q4 С q5
nfi
Объект выбран
Убрать отметки объектов
@ Отменить выбо|
1. О&щее количество объектов
^ I
: S
Зг1
Том 13 № 2 2023 ISSN 2227-2917
Таблица 4. Совокупность движений головки МТ в ПКГМТ
Table 4. The totality of the movements of the MT head in the software package
for generating Turing machines
Выберите объект из списка:
right
'CZ
stop
S Объект выбран | Убрать отметки объектов | @ Отменить выбо|
1. общее количество объектов ±1_
m
Таблица 5. Программа МТ в ПКГМТ
Table 5. Program МТ in the software package for generating Turing machines
Выберите объект из списка:
(Ü,qÜ stop)-> (?,?,?) Л.
(G,q1 )->(1 ,q beginJeft)
(0,q2)->(1,q begin„right)
(G,q3)-> (?,?,?)
(1,q begin)->(5,q begin Jeft)
(1,q0 stop)-> (?,?,?)
(1,q1)->(1,q1M)
IU,q21->ie end,q1 Jeft]
Î1 пЗЫ? 1
Объект выбран | Убрать отметки объектов | (J) Утменить бы6о|
■ 1
1. Общее количество объектов :35 i^J
<1
Таблица 6. Редактор программы МТ в ПКГМТ
Table 6. The editor of the MT program in the software package for generating Turing machines
i-r-
-= ~= A I
ЭД С:\рг]яя! СПИСОК ОБЪЕКТОВ
Настройка экрана Операции проектирования Выход
Символ < аргумент) :
Состояние (аргумент) : Символ (значение):
состояние (значение):
двиг головки (значение):
- lai х|
ДМТ: Поиск покрытия Команда 1 - ая Команда 2 ■ ая Команда 3 - ая Команда 4 - ая Команда 5 - ая Команда 6 - ая Команда 7 - ая
Аргументы □ о 0 0 0 1 1
команды q begin ql q2 q3 q begin qO stop
Значение Символ 0 777 1 1 777 5 777
Значение Состояние q begin 777 q begin q begin 777 q begin 777
Значение
Сдвиг right 777 left right 777 left 777
ДМТ: Поиск покрытия Команда 19 - ая Команда 20 - ая Команда 21 - ая Команда 22 - ая Команда 23 - ая Команда 24 - ая Команда 25 - ая
Аргументы e end e end ft devide ft devide ft devide It devide It devide
команды q2 q3 q begin qO stop ql q2 q3
Значение Символ e end 777 0 777 777 777 777
Значение Состояние ql 777 q begin 777 777 777 777
Значение
Сдвиг right 777 left 777 777 777 777
ISSN 2227-2917 Том 13 № 2 2023 «лп (print) Известия вузов. Инвестиции. Строительство. Недвижимость с. 285-297 288 ISSN 2500-154X Proceedings of Universities. Investment. Construction. Real estate Vol. 13 No. 2 2023 _(online)_pp. 285-297
Таблица 7. Редактор состояния во второй команде программы МТ в ПКГМТ Table 7. Status editor in the second command of the program МТ in the software package for generating Turing machines
I С :\рг)яя СПИСОК ОБЪЕКТОВ
Ь1астройка экрана Операции проектирования Дыход
- 1Д1 XI
ДМТ: Поиск покрытия
Аргументы команды
Значение Символ
Значение Состояние
Значение Сдвиг
Аргументы команды
Значение Символ
Значение Состояние
Значение Сдвиг
Команда 1 - ая
О
begin
О
q begin right_
ДМТ: Поиск покрытия
Команда 1Э ■ ая
е end q2_
е end
ql
right
Команда 2 - ая
Команда 3 - ая
О
|0 stop
Выберите объект из списка:
??? ??? ???
Команда 5 - ая
Команда Команда
6-ая 7-ая
Команда 20 - ая
Кома1
21 - a: AJ
1. Общее количество объектов
е end
q3
???
??? ???
й deviae q begin
IT aeviae qO stop
"TT aeviae
Jql_
~7T aeviae Jq2_
~~Я aeviae
q3_
0
q begin lieft
???
??? ???
???
???
Ь-??
??? ???
???
??? ???
Объект выбран |_ Убрать отметки объектов j (J) Отмен
— Символ { а р г умент) : о
Состояние ( аргумент) :qo 5top
символ (з нач ени е~) : ???
МЛ4И:П!!Г, в к и (значение)
ДБ И Г ГОЛО : "?"?"?
Таблица 8. Карточка подгруппы АСУб-22-1-2 Table ^Subgroup card ASUb-22-1-2
ВД 0:\2022\22._23\2333-07\233-07П ОБЪЕКТ: АСУб-22-1 (И,О) Настройка экрана Операции проектирования Выход
29.08-03.09 ПОНЕДЕЛЬНИК ВТОРНИК СРЕДА УЕТВЕРГ ПЯТНИЦА СУББОТА
1-е 8:15 по 9:45 Информатика; Иностранный ягфизика; АСУ 6-22ГИ П1ЭЕАСУ 6-22-1-2ГИП АСУ 6-22-1ГИ П1; Дискретная мат АСУ 6-22-1 (И.01;
2- с 10:00 по 11:30 физика: Математика; Элективные кур Математика; Дискретная мат В ведение в прос АСУ 6-22(И.01;ИСАСУ6-22(И,01;ИСАСУ 6-22-1 (И.ОНАСУ 6-22-1 (И ,01; АСУ6-22(И,0]ЭЕАСУ6-22-1 (И,01;
3- с 11:45 по 13:15 Иностранный яг Программиров<Физическая куг АСУ6-22-1 -2[ИАСУ6-22-1 (И,0); АСУб-22(И,0);ИЕ Программировав ведение в прос АСУ 6-22-1 -2(И ,0 АСУ б-22(И ,0);
4- с 13:45 по 15:15 физика; АСУ 6-22-1 -2(И,0 Основы деловой АСУ 6-22-1 (И,0); Введение в прос АСУ 6-22-1-2(И,0
5- с 15:30 по 17:00
6- с 17:10 по 10:40
1
05.09-10.09 ПОНЕДЕЛЬНИК ВТОРНИК СРЕДА ЧЕТВЕРГ ПЯТНИЦА СУББОТА
1-е 8:15 по 9:45 Информатика; АСУ 6-22-1 (И.0); Программиров<Иностранный яг АСУ б-22(И.0)ЭЕАСУ 6-22-1 -2ГИ.0
2- с 10:00 по 11:30 Физика; Математика; Элективные кур Математика; Дискретная мат АСУ6-221И,0);И[АСУ6-22[И,0);И[АСУ6-22-1 [И,0);1 АСУ6-22-1 [И,0); АСУб-22[И,0]ЭЕ
3- с 11:45 по 13:15 Иностранный яг АСУ 6-22-1 -2[И .0 Физическая куг Дискретная мат АСУ б-22(И,0);ИЕАСУ 6-22-1 (И.О); Программиров< АСУ 6-22-1-2(И,0
4- с 13:45 по 15:15 Основы деловое АСУ 6-22-1 (И.О); Программиров* АСУ 6-22-1 -1 (И .0
5- с 15:30 по 17:00
6- с 17:10 по 18:40
Предмет
преподаватель(и) контингект(ы) Аудитория(и) День недели Пара : л — с 13:45 до
Четность недели :нечетная неделя Номер занятия :6509;
:Баранов е.о.;
:АС Уб-22-1-2fУ :Б-206
:вторник
вид работы =2:.. лабораторные работы
Кафедра :Физики
Дата проведения :ЗО.о 8 Период проведения:29.OS до 25.12
Том 13 № 2 2023 ISSN 2227-2917
Таблица 9. Карточка преподавателя Е.С. Друговой able 9. Teacher's card by E.S. Drugova
Щ D:\2022\22_23\233 07D ОБЪЕКТ: Другое a Е.С. Настройка экрана Операции проектнрования Выход
□
X
29.08-03.0Э ПОНЕДЕЛЬНИК ВТОРНИК СРЕДА ЧЕТВЕРГ ПЯТНИЦА СУББОТА
1-е 8:15 no 9:45 ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ
2-с 10:00 no 11:30 Управление оби ЖРб-21(И,0); ОСВОБОДИТЬ
3- с 11:45 no 13:15 Жанры PR-тексЖанры PR-текс ЖРб-20-2(И,0); ЖРб-20(И,0); ОСВОБОДИТЬ
4-с 13:45 no 15:15 П ользовательа- У правление оби П ользовательс* ЖРб-19(И,0); ЖРб-21-1(И,0); ЖРб-19-1-1 (И,0) ОСВОБОДИТЬ
5-с 15:30 no 17:00 Жанры PR-текс ЖРб-20-1(И,0); Пользовательс* ЖРб-19-1 -2(И,0) ОСВОБОДИТЬ
6- с 17:10 no 18:40 ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ
I
05.09-10.0Э ПОНЕДЕЛЬНИК ВТОРНИК СРЕДА ЧЕТВЕРГ ПЯТНИЦА СУББОТА
1-е 8:15 no 9:45 ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ
2-с 10:00 no 11:30 Управление оби ЖРб-21(И„0); ОСВОБОДИТЬ
3- с 11:45 no 13:15 Реклама в медиЖанры PR-текс-Реклама в меди ЖРб-21(И„0); ЖРб-20(И„0); ЖРб-21-1(И„0); ОСВОБОДИТЬ
4-с 13:45 no 15:15 Управление обиПользовательс* ЖРб-21-1(И„0); ЖРб-19-1 -1(И„0) ОСВОБОДИТЬ
5-с 15:30 no 17:00 Пользовзтельс* ЖРб-19-1 -2(И,0) ОСВОБОДИТЬ
6- с 17:10 no 18:40 ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ ОСВОБОДИТЬ
Предмет
преподаватель(и) Контингент(ы) Аудитория(и) День недели пара
Четность недели ноиер занятия
КОЛ-ВО УЧАЩИХСЯ:1С
ПЯТНИЦА
Б - С 1Б: зо ЧЕТНАЯ НЕДЕЛЯ
до 17:с
вид работы Кафедра
дата проведения Период проведения
ДО
Карточка (табл. 9) показывает, что:
- лекций (красный цвет) ставится не более 2-х в день;
- отсутствуют единственные занятия и «окна»;
- учитываются пожелания преподавателя на освобождение времени от занятий.
Кроме того, размерность задачи проектирования расписания для ИРНИТУ имеет очень большую размерность, а именно (400*72) ** 10000 (практически сравнима с размерностью задачи генерации МТ при количестве элементов алфавита и совокупности состояний не более 10). Следует из числа занятий примерно 10 000, числа аудиторий бо-
лее 400 и количества пар 72 в 2-недельном цикле. Расчет расписания занимает чуть более недели на настольном компьютере, причем качество расписания недостижимо для ручного проектирования.
2. Результаты просчетов программного комплекса ПКГМТ генерации МТ.
2.1. Пока не ставится цель провести предельно большие просчеты, так как еще не реализованы многие компоненты ПКГМТ и многие стратегии оптимизации переборов (например, применение параллельных вычислений). Самый глубокий просчет проводился в течение 2-х сут. на настольном компьютере, полученные результаты приведены в табл. 10.
ISSN 2227-2917 Том 13 № 2 2023 -рол (print) Известия вузов. Инвестиции. Строительство. Недвижимость с. 285-297 290 ISSN 2500-154X Proceedings of Universities. Investment. Construction. Real estate Vol. 13 No. 2 2023 _(online)_pp. 285-297
Таблица 10. Описание
результатов просчета he calculation results
Параметр Кол-во шагов или этапов генерации Параметр Кол-во шагов или этапов генерации
Общее число шагов генерации 624 425 886 Общее число выполнимых формул 3733 146
Общее число не выполнимых формул 7 264 362 Количество сгенерированных МТ 8797
Таблица 11. Последняя сгенерированная МТ
Table 11
. The last generated MT
Аргументы команд Значения команд (функции: печати, перехода состояний, сдвига головки) Аргументы команд Значения команд (функции: печати, перехода состояний, сдвига головки)
№ команд Символ Состояние Символ Состояние Двиг головки № команд Символ Состояние Символ Состояние Сдвиг головки
1 0 q begin 0 q begin right 19 e end q2 # devide q1 left
2 0 q0 stop ? ? ? 20 e end q3 # devide q3 left
3 0 q1 1 q begin left 21 # devide q begin 0 q begin left
4 0 q2 1 q begin right 22 # devide q0 stop ? ? ?
5 0 q3 1 q2 right 23 # devide q1 # devide q1 left
6 1 q begin 5 q begin left 24 # devide q2 5 q1 left
7 1 q0 stop ? ? ? 25 # devide q3 5 q3 left
8 1 q1 1 q1 left 26 5 q begin 6 q begin left
9 1 q2 # devide q1 left 27 5 q0 stop ? ? ?
10 1 q3 6 q2 left 28 5 q1 e end q2 left
11 b begin q begin ? ? ? 29 5 q2 6 q1 left
12 b begin q0 stop ? ? ? 30 5 q3 # devide q2 left
13 b begin q1 b begin q2 right 31 6 q begin 0 q1 left
14 b begin q2 b begin q3 right 32 6 q0 stop ? ? ?
15 b begin q3 b begin q1 right 33 6 q1 ? ? ?
16 e end q begin 0 q begin left 34 6 q2 0 q2 right
17 e end q0 stop ? ? ? 35 6 q3 e end q3 left
18 e end q1 5 q2 left
Том 13 № 2 2023 ISSN 2227-2917
В настоящем варианте ПКГМТ промежуточные варианты МТ не сохраняются и доступен для рассмотрения только последний вариант сгенерированной МТ, которая не является решателем ^-трудных задач. Отметим, что МТ с программой, определенной табл. 11, определяет не одну, а целый спектр МТ, получающийся доопределением команд с неопределенными значениями (???). И все
эти МТ также не будут решателями NP-трудных задач.
Без комментариев приведем пример команд МТ-решателя NP-трудных задач (табл. 12), который был получен с использованием эвристик, исключающих возможность найти все решатели NP-трудных задач (именно это и необходимо для решения проблемы Р =? ЫР).
Таблица 12. Команды МТ-решателя NP-трудных задач
Состояние Буква Состояние Буква Сдвиг
0 S r Dpöno 2 ф 1 S r D a 0 n o 2 ф 1 вправо
1 S r D a 0 n o 0 0 p 0 n 0 S r D p 0 n o 7 0 a 0 n 1 вправо
1 S r D a 0 n o 11 p 1 n 2 S r D p 1 n o 13 1 a 1 n 1 вправо
OS r D p 0 n o 0 0 p 0 n 0 S r D p 0 n o 0 0 p 0 n 1 вправо
OS r D p 0 n o 11 p 1 n 0 S r D p 0 n o 11 p 1 n 1 вправо
OS r D p 0 n o 4 # p 0 n 3 S r R a 0 n o 6 # a 0 n 1 вправо
2 S r D p 1 n o 4 # p 0 n 4 S r R a 1 n o 6 # a 0 n 1 вправо
3 S r R a 0 n o 0 0 p 0 n 5 S l R p 0 n o 7 0 a 0 n 0 влево
4 S r R a 1 n o 0 0 p 0 n 6 S l R p 1 n o 11 0 a 1 n 0 влево
3 S r R a 0 n o 11 p 1 n 5 S l R p 0 n o 14 1 a 1 y 0 влево
4 S r R a 1 n o 11 p 1 n 7 S l R p 0 n c 13 1 a 1 n 0 влево
5 S l R p 0 n o 6 # a 0 n 8 S l D p 0 n o 6 # a 0 n 0 влево
6 S l R p 1 n o 6 # a 0 n 8 S l D p 0 n o 6 # a 0 n 0 влево
7 S l R p 0 n c 6 # a 0 n 9 S l D p 0 n c 6 # a 0 n 0 влево
8 S l D p 0 n o 0 0 p 0 n 8 S l D p 0 n o 0 0 p 0 n 0 влево
9 S l D p 0 n c 0 0 p 0 n 9 S l D p 0 n c 0 0 p 0 n 0 влево
8 S l D p 0 n o 11 p 1 n 8 S l D p 0 n o 11 p 1 n 0 влево
9 S l D p 0 n c 11 p 1 n 9 S l D p 0 n c 11 p 1 n 0 влево
8 S l D p 0 n o 7 0 a 0 n 1 S r D a 0 n o 0 0 p 0 n 1 вправо
9 S l D p 0 n c 7 0 a 0 n 10 S r D a 0 n c 0 0 p 0 n 1 вправо
8 S l D p 0 n o 13 1 a 1 n 12 S r D a 1 n o 11 p 1 n 1 вправо
9 S l D p 0 n c 13 1 a 1 n 11 S r D a 1 n c 11 p 1 n 1 вправо
1 S r D a 0 n o 0 0 p 0 n 0 S r D p 0 n o 7 0 a 0 n 1 вправо
1 S r D a 0 n o 11 p 1 n 0 S r D p 0 n o 13 1 a 1 n 1 вправо
10 S r D a 0 n c 0 0 p 0 n 13 S r D p 0 n c 7 0 a 0 n 1 вправо
10 S r D a 0 n c 11 p 1 n 13 S r D p 0 n c 13 1 a 1 n 1 вправо
12 S r D a 1 n o 0 0 p 0 n 0 S r D p 0 n o 7 0 a 0 n 1 вправо
12 S r D a 1 n o 11 p 1 n 0 S r D p 0 n o 13 1 a 1 n 1 вправо
11 S r D a 1 n c 0 0 p 0 n 14 S r D p 1 n c 7 0 a 0 n 1 вправо
11 S r D a 1 n c 1 1 p 1 n 14 S r D p 1 n c 13 1 a 1 n 1 вправо
1 S r D a 0 n o 6 # a 0 n 15 S r R p 0 y o 6 # a 0 n 1 вправо
10 S r D a 0 n c 6 # a 0 n 16S r R p 0 n c 6 # a 0 n 1 вправо
12 S r D a 1 n o 6 # a 0 n 17 S r R p 1 y o 6 # a 0 n 1 вправо
11 S r D a 1 n c 6 # a 0 n 18 S r R p 1 y c 6 # a 0 n 1 вправо
15 S r R p 0 y o 0 0 p 0 n 19 S r R p 0 n o 0 0 p 0 n 1 вправо
15 S r R p 0 y o 11 p 1 n 15 S r R p 0 y o 11 p 1 n 1 вправо
15 S r R p 0 y o 10 1 p 1 y 15 S r R p 0 y o 10 1 p 1 y 1 вправо
ISSN 2227-2917 Том 13 № 2 2023 ппп (print) Известия вузов. Инвестиции. Строительство. Недвижимость с. 285-297 292 ISSN 2500-154X Proceedings of Universities. Investment. Construction. Real estate Vol. 13 No. 2 2023 _(online)_pp. 285-297
16 S r R p 0 y c 0 0 p 0 n 16 S r R p 0 n c 0 0p0n 1 вправо
16 S_r_R_p_0_ y_c 1 1_p_1_n 16 S r R p 0 n c 1 1_p_1_n 1 вправо
16 S r R p 0 y c 10 1 p 1 y 16 S r R p 0 n c 1 1 p 1 n 1 вправо
17S r R p 1 y o 0 0 p 0 n 20 S r R p 1 no 0 0p0n 1 вправо
17S r R p 1 y o 1 1 p 1 n 17 S r R p 1 y o 1 1 p 1 n 1 вправо
17S r R p 1 y o 10 1 p 1 y 17 S r R p 1 y o 10 1 p 1 y 1 вправо
18 S r R p 1 y c 0 0p0n 18 S r R p 1 y c 0 0p0n 1 вправо
18 S r R p 1 y c 1 1 p 1 n 18 S r R p 1 y c 1 1 p 1 n 1 вправо
18 S r R p 1 y c 10 1 p 1 y 18 S r R p 1 y c 1 1 p 1 n 1 вправо
15 S r R p 0 y o 4 # p0 n 20 WIN СТОП
16 S r R p 0 n c 4 # p0 n 8 S l D p 0 n o 4 # p0 n 0 влево
17S r R p 1 y o 4 # p0 n 20 WIN СТОП
18 S r R p 1 y c 4 # p0 n 8 S l D p 0 n o 4 # p0 n 0 влево
20 S r R p 1 no 4 # p0 n 8 S l D p 0 n o 4 # p0 n 0 влево
8 S l D p 0 n o 6 # a0 n 1 S r D a 0 n o 4 # p0 n 1 вправо
15 S r R p 0 y o 3 H 20 WIN СТОП
16 S r R p 0 n c 3 H 22 B l D p 0 n o 3 H 0 влево
17S r R p 1 y o 3 H 20 WIN СТОП
18 S r R p 1 y c 3 H 22 B l D p 0 n o 3 H 0 влево
20 S r R p 1 no 3 H 22 B l D p 0 n o 3 H 0 влево
22 B l D p 0 n o 0 0p0n 22 B l D p 0 n o 0 0p0n 0 влево
22 B l D p 0 n o 1 1 p 1 n 22 B l D p 0 n o 1 1 p 1 n 0 влево
22 B l D p 0 n o 4 # p0 n 22 B l D p 0 n o 4 # p0 n 0 влево
22 B l D p 0 n o 10 1 p 1 y 23 B l D a 0 n o 5 1 p 0 n 0 влево
23 B l D a 0 n o 10 1 p 1 y 23 B l D a 0 n o 5 1 p 0 n 0 влево
22 B l D p 0 n o 0 0p0n 23 B l D a 0 n o 0 0p0n 0 влево
23 B l D a 0 n o 1 1 p 1 n 23 B l D a 0 n o 1 1 p 1 n 0 влево
23 B l D a 0 n o 2 ф 24 B r D a 0 n c 2 ф 1 вправо
24 B r D a 0 n c 15 ► 23 B l D a 0 n o 15 ► 0 влево
23 B l D a 0 n o 4 # p0 n 24 B r D a 0 n c 4 # p0 n 1 вправо
24 B r D a 0 n c 0 0p0n 24 B r D a 0 n c 0 0p0n 1 вправо
24 B r D a 0 n c 1 1 p 1 n 24 B r D a 0 n c 1 1 p 1 n 1 вправо
24 B r D a 0 n c 4 # p0 n 1 S r D a 0 n o 4 # p0 n 1 вправо
2.2. Уже на данном начальном этапе обнаруживаются достаточно интересные закономерности, которые, наверное, трудно предсказать (или предвидеть), пытаясь решать проблему умозрительно. Например, все найденные МТ-решатели ^-трудных задач (блок-тестов ниже) демонстрируют неполиномиальный рост количества шагов решения на следующем блоке тестов:
( ПХ1 V Х2 V пХэ V ПХ4 V пХб УпХа) Л ( ПХ1 V ПХ2 V
Хз V ПХ4 V пХб ^Ха) Л ( ПХ1 V ПХ2 V ПХ3 V Х4 V пХб V Ха) Л ( ПХ1 V ПХ2 V
пХз V ПХ4 V Х5 VХа) Л (1)
(ПХ1 V ПХ2 V пХз V ПХ4 V ПХ5 V Ха); ( ПХ1 V Х2 V пХз V ПХ4 V ПХ5 VпХа VПХ7) Л ( ПХ1 V
ПХ2 V Хз V ПХ4 V ПХ5 VпХа VПХ7) Л ( ПХ1 V ПХ2 V пХз V Х4 V ПХ5 V Ха VПХ7) Л ( ПХ1 V ПХ2 V пХз V ПХ4 V Х5 V пХа V Х7) Л (2)
( ПХ1 V ПХ2 V пХз V ПХ4 V ПХ5 V Ха VХ7) Л ( ПХ1 V ПХ2 V пХз V ПХ4 V ПХ5 V пХа VХ7). Следующие формулы строятся по принципу перехода от формулы (1) к формуле (2). Конкретно, МТ с программой по табл. 12 проверяет выполнимость формулы (1) за 101 шаг;
Том 13 № 2 2023 ISSN 2227-2917
формулы (2) за 240 шагов и так далее, т.е. рост количества шагов решения идет по экспоненте, хотя, конечно, будут сгенерированы другие решатели, где это будет происходить иначе. Следует из того, что МТ реализуют любые алгоритмы [9] и значит, может быть, придется работать с отгенерированными МТ «индивидуально».
3. Математические аспекты создания программного комплекса ПКГМТ генерации МТ.
Данный раздел практически цитата из статьи [1]. В работе [1] генерация Мт для решения ЫР-трудных задач была рассмотрена достаточно бегло, причем перебор программ МТ будем оптимизировать методами УО.
Машина Тьюринга имеет следующие части:
1) Конечная лента разделенная на ячейки. В процессе работы ДМТ с обеих сторон ленты могут пристраиваться новые ячейки, поэтому ленту ^ можно считать потенциально бесконечной. В каждой из ячеек прописан некоторый символ из алфавита А = { Э0 , 31, Э2, ..., Эп} , т.е. в ячейках ленты э^являются символами алфавита А. В процессе работы МТ символы в ячейках ленты ^ могут меняться (или не меняться). Ленту ^ называют также внешней памятью МТ. При пристраивании новой ячейки слева или справа предполагаем, что в ней прописывается один и тот же выделенный символ алфавита А = {Э0, Э1, ..., Эп}, а именно, э0, причем в этом случае ячейка считается пустой.
2) Множество состояний МТ О = {д0, д1, Я2, ■■■, дт}, элементы которого называются внутренней памятью. В дальнейшем предполагаем, что МТ всегда находится только в одном состоянии (почему называется детерминированной, а не детерминированная машина Тьюринга может одновременно находиться более чем в одном состоянии). Состояние д0 называется заключительным (или стоп-состоянием) при получении которого работа МТ прекращается.
3) Управляющая головка. Это устройство считывает информацию только из одной ячейки ленты I.
4) Схема работы МТ. Один такт работы МТ состоит в считывании головкой информации из ячейки ленты МТ и прописывания в эту ячейку некоторого символа алфавита А = { Э0 , Э1, ..., Эп} и сдвига головки (обязательно!) МТ в соседнюю левую или правую ячейку, а ДМТ переходит в некоторое состояние из множества О = {д0, д1, д2, ..., дт}. Отметим, что МТ может работать бесконечно (или вечно), так как заключительное состояние д0 мо-
жет оказаться недостижимым. Состоянием (машинным словом или конфигурацией) МТ будем называть совокупность, образованную последовательностью aji, aj2, ..., символов всех ячеек ленты, состоянием внутренней памяти qi и номером k воспринимаемой ячейки ajk.
Таким образом, каждое машинное слово содержит только одно вхождение символа состояния qi . Для рассматриваемого здесь машинного слова символ qi стоит на позиции k , что позволяет записать его следующей последовательностью:
aji aj2 ... ajk-i qi aik ... ajs. (3)
Важно отметить, что каждое машинное слово всегда заканчивается символом алфавита (если головка сдвигается вправо от последнего символа машинного слова, то справа приписывается символ ao, т.е. справа к ленте приписывается пустая ячейка), но может начинаться символом состояния qi .
5) Функции перехода, печати и сдвига.
Функция перехода состояний:
Pass : (Q x A) -> Q;
Функция печати:
Print: (Q x A) -> A;
Функция сдвига головки:
Displ: (Q x A) -> {-1, 1}.
Рассмотрим преобразование машинного слова (16) после применения выше определенных функций. Пусть Pass (q, ai k) = q(, Print (q, ai k) = aA; Displ (q, ai k) = t. Тогда в зависимости от значения t (-1 соответствует сдвигу головки по ленте влево, а 1 - сдвигу головки вправо) возможны следующие два варианта.
1 вариант. Пусть t = -1. Тогда машинное слово (3) будет преобразовано в последовательность
aj1 aj2 ... ajk-1 aA ... ajs.
2 вариант. Пусть t = 1. Тогда машинное слово (3) будет преобразовано в последовательность
aj1 aj2 ... aj k-1 aA q^ aj k+1 ... ajs.
Функции Pass, Print, Displ называют программой МТ, а начальную ленту L - задачей. На ленте МТ можно записывать классические NP-трудные задачи: выполнимости (SAT), раскраски графов, существования покрытия и др. [5].
Методы УО можно применять для ускорения перебора входных данных (задачи на ленте МТ), а также для ускорения перебора программ МТ (функций Pass, Print, Displ), что, возможно, обещает весьма неожиданные результаты. В статье [1] отмечается, что генерация программ (хотя бы только для МТ) является принципиально новым шагом, а
ISSN 2227-2917 Том 13 № 2 2023 (print) Известия вузов. Инвестиции. Строительство. Недвижимость с. 285-297 294 ISSN 2500-154X Proceedings of Universities. Investment. Construction. Real estate Vol. 13 No. 2 2023 _(online)_pp. 285-297
в настоящей работе показаны результаты, которые могут быть значительно продвинуты вперед в ближайшее время.
ЗАКЛЮЧЕНИЕ
1. Создание открытой платформы по генерации программ МТ, решающих ЫР-трудные задачи, будет интересным экспериментом, создающим возможность участия как студентов, изучающих информационные технологии, так и продвинутых исследователей проблемы Р =? ЫР.
2. Кроме того, возможны эксперименты по созданию решателей для других ЫР-трудных
задач, коих, имеющих большое прикладное значение, очень и очень много. Например,
[2з-28]:
• приблизительные вычисления;
• конфигурация;
• криптография;
• сбор данных;
• поддержка при принятии решения;
• филогенетика;
• планирование;
• расписания;
• маршрутизация.
СПИСОК ИСТОЧНИКОВ
1. Мартьянов В.И. NP-трудные задачи: автоматическое доказательство теорем и машины Тьюринга // Baikal Research Journal. 2021. Т.12. № 4. С. 11-20. https://doi.org/10.17150/2411-6262.2021.12(4).11.
2. Мартьянов В.И. Логико-эвристические методы сетевого планирования и распознавание ситуаций // Проблемы управления и моделирования в сложных системах. Самара, 2001. С. 209-215.
3. Мартьянов В.И., Архипов В.В., Каташев-цев М.Д., Пахомов Д.В. Обзор приложений логико-эвристических методов решения комбинаторных задач высокой сложности // Современные технологии. Системный анализ. Моделирование. 2010. № 4 (28). С. 205-211. EDN: NRBKXP.
4. Мартьянов В.И., Сухорутченко В.В., Окун-цов В.В. Планирование информационных потоков в иерархической системе // Прикладные системы. М.: ИАП РАН, 1992. С. 46-58.
5. Мартьянов В.И., Вяткин И.В., Могильниц-кий Э.Ю. Теоретический и реализационный аспекты некоторых классов задач сетевого управления // Проблемы управления и моделирования в сложных системах. Самара, 1999. С. 203-208.
6. Лагутенков А.В. Криптовалюты. Правила применения // Наука и жизнь. 2018. № 2. С. 22-26.
7. Kharpal A. All you need to know about the top 5 cryptocurrencies // Yahoo/ [Электронный ресурс]. URL: https://finance.yahoo.com/news/know-top-5-cryptocurrencies-093231173.html (14.03.2023).
8. Wilson-Nunn D., Zenil H. On the Complexity and Behaviour of Cryptocurrencies Compared to Other Markets // Research Gate [Электронный ресурс]. URL: https://www.researchgate.net/publication/2680 79329_On_the_Complexity_and_Behaviour_of_Cry ptocurren ci es_Compared_to_Othe r_Markets (14.03.2023).
9. Щербина О.А. Удовлетворение ограничений и программирование в ограничениях (препринт). Vienna: University of Vienna, 2012. 118 с.
10. Hentenryck van P. Constraint Satisfaction in Logic Programming. Cambridge: The MIT Press, 1989. 356 p.
11. Стюарт И. Величайшие математические за-
дачи / Пер. с англ. Н. Лисовой. М.: Альпина нон-фикшн, 2015. 460 с.
12. Разборов А.А. Алгебраическая сложность. М.: Московский центр непрерывного математического образования, 2016. 32 с.
13. Fortnow L. The Golden Ticket: P, NP, and the Search for the Impossible. Princeton: Princeton University Press, 2013.
14. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965. 392 с.
15. Корольков Ю.Д., Мартьянов В.И. Дискретные модели: представление конечными деревьями и разрешимость формальных теорий. Иркутск: Изд-во Иркутского национального исследовательского технического университета, 2017. 160 с.
16. Кулик Н.С., Мартьянов В.И., Пахомов Д.В., Большаков Э.А. Проект системы управления региональной сетью автомобильных дорог (СУРАД) Иркутской области // Вестник Иркутского государственного технического университета. 2014. № 4 (87). С. 118-123. EDN: SBNFNJ.
17. Кулик Н.С., Мартьянов В.И., Пахомов Д.В. Построение графа автомобильных дорог для системы взимания платы с большегрузного транспорта // Вестник Иркутского государственного технического университета. 2016. № 4 (111). С. 96-101. EDN: VVSOFF. https://doi.org/10.21285/1814-3520-2016-4-96-101.
18. Мартьянов В.И., Пахомов Д.В., Архипов В.В. Сетевое планирование содержания сети автомобильных дорог Иркутской области // Новые технологии в инвестиционно-строительной сфере и ЖКХ: сб. науч. трудов: в 2 т. Т. 1. Иркутск: Иркутский государственный технический университет, 2005. С. 123-129.
19. Мартьянов В.И. Теоретико-множественные модели данных в задаче расчета вторичных структур РНК // System Analysis & Mathematical Modeling. 2022. Т. 4. № 4. С. 343-357.
EDN: VUNLFX.
https://doi.org/10.17150/2713-1734.2022.4(4).343-357.
20. Мартьянов В.И., Корольков Ю.Д. Теоретико-множественные модели сложных систем и алгоритмы интеллектуальной поддержки. Иркутск:
Том 13 № 2 2023 ISSN 2227-2917
Изд-во Байкальского государственного университета, 2020. 188 с.
21. Martianov V.I., Katashevtsev M.D. Computer processing of distorted video sequences obtained by mobile road laboratories // Investments, Construction, Real Estate: New Technologies and Special-Purpose Development Priorities: IOP Conference Series: Materials Science and Engineering (Irkutsk, 25 April 2019). 2019. Vol. 667. https://doi.org/10.1088/1757-899X /667 /1/012060.
22. Мартьянов В.И. Теоретико-множественный анализ организации данных учебного процесса и алгоритмы проектирования расписания с элементами искусственного интеллекта // Прикладные проблемы дискретного анализа: сб. науч. тр. 2021. С. 90-100. EDN: BVANFU.
23. Leeuwen J.V. Handbook of Theoretical Computer Science. Vol. A, Algorithms and complexity. Amsterdam: Elsevier, 1998. 1020 p.
24. Knuth D. Postscript about NP-hard problems // ACM SIGACT News. 1974. Vol. 6. No. 2. P. 1516. Mtps://doi.org/10.1145/1008304.1008305.
25. Aaronson S. The Scientific Case for P*NP // Shtetl-Optimized [Электронный ресурс]. URL: https://scottaaronson.blog/?p=1720 (25.09.2016).
26. Aaronson S. PHYS771 Lecture 6: P, NP, and Friends // Scott Aaronson.ru [Электронный ресурс].
URL: https://www.scottaaronson.com/democritus/le c6.html (25.09.2016).
27. Lawler E.L., Lenstra J.K., Rinnooy Kan A.H.G., Shmoys D.B. The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization. John Wiley & Sons, 1985. 75 p.
28. Wegener I. Complexity Theory: Exploring the Limits of Efficient Algorithms. Springer, 2005. P. 189. https://doi.org/10.1007/3-540-27477-4.
REFERENCES
1. Mart'yanov V.I. NP-difficult tasks: automatic proof of theorems and Turing's machine. Baikal Research Journal. 2021;12(4):11. (In Russ.). https://doi.org/10.17150/2411-6262.2021.12(4).11.
2. Mart'yanov V.I. Logical-heuristic methods of network planning and situation recognition. Problemy upravleniya i modelirovaniya v slozhnykh siste-makh. Samara; 2001. p. 203-215. (In Russ.).
3. Martyanov V.I., Arkhipov V.V., Katashevzev V.I. Martyanov, V.V. Arkhipov, M, Pakhomov D.V. Logic-heuristic methods for solving combinatorial problems of high complexity applications preview. Sovremen-nye tekhnologii. Sistemnyi analiz. Modelirovanie = Modern technologies. System analysis. Modeling. 2010;4:205-211. (In Russ.). EDN: NRBKXP.
4. Martyanov V.I., Sukhorutchenko V.V., Okun-tsov V.V. Planning of information flows in a hierarchical system. In: Prikladnye sistemy. Moscow: Institute of Design Automation of the Russian Academy of Sciences; 1992. p. 46-58. (In Russ.).
5. Martyanov V.I., Vyatkin I.V., Mogil'nitskii E.Yu. Theoretical and implementation aspects of some classes of network management tasks. Problemy upravleniya i modelirovaniya v slozhnykh si-stemakh. Samara; 1999. p. 203-208. (In Russ.).
6. Lagutenkov A.V. Cryptocurrencies. Application rules. Nauka i zhizn'. 2018;2:22-26. (In Russ.).
7. Kharpal A. All you need to know about the top 5 cryptocurrencies. Yahoo! Available from: https://finance.yahoo.com/news/know-top-5-cryptocurrencies-093231173.html [Accessed 14th March 2023].
8. Wilson-Nunn D., Zenil H. On the Complexity and Behaviour of Cryptocurrencies Compared to Other Markets. Research Gate. Available from: https://www.researchgate.net/publication/26807932 9_On_the_Complexity_and_Behaviour_of_Cryptoc urrencies_Compared_to_Other_Markets [Accessed
14th March 2023].
9. Shcherbina O.A. Udovletvorenie ogranichenii i programmirovanie v ogranicheniyakh (preprint). Vienna: University of Vienna; 2012. 118 p. (In Russ.).
10. Hentenryck van P. Constraint Satisfaction in Logic Programming. Cambridge: The MIT Press; 1989. 356 p.
11. Stewart I. The great mathematical problems. Moscow: Al'pina non-fikshn; 2015. 460 p. (In Russ.).
12. Razborov A.A. Algebraic complexity. Moscow: Moscow Center for Continuing Mathematical Education; 2016. 32 p. (In Russ.).
13. Fortnow L. The Golden Ticket: P, NP, and the Search for the Impossible. Princeton: Princeton University Press; 2013.
14. Mal'tsev A.I. Algorithms and recursive functions. Moscow: Nauka; 1965. 392 p.
15. Korolkov Yu.D., Martianov V.I. Discrete models: representation by finite trees and solvability of formal theories. Irkutsk: Irkutsk National Research Technical University; 2017. 160 p. (In Russ.).
16. Martyanov V.I., Kulik N.I., Pakhomov D.V., Bol-shakov E.A. Project of the system to control Irkutsk regional automobile road network. Vestnik Irkutskogo gosudarstvennogo tekhnicheskogo universiteta = Proceedings of Irkutsk State Technical University. 2014;4:118-123. EDN: SBNFNJ.
17. Kulik N.S., Martyanov V.I., Pakhomov D.V. Building a motorway graph for the heavy trucks tolling system. Vestnik Irkutskogo gosudarstvennogo tekhnicheskogo universiteta = Proceedings of Irkutsk State Technical University. 2016. № 4 (111). C. 96-101. (In Russ.). EDN: VVSOFF. https://doi.org/10.21285/1814-3520-2016-4-96-101.
18. Martyanov V.I., Pakhomov D.V., Arkhipov V.V. Network planning of the maintenance of the highway network of the Irkutsk region. Novye tekhnologii v investitsionno-stroitel'noi sfere i ZhKKh: sb.
ISSN 2227-2917 Том 13 № 2 2023 (print) Известия вузов. Инвестиции. Строительство. Недвижимость с. 285-297 296 ISSN 2500-154X Proceedings of Universities. Investment. Construction. Real estate Vol. 13 No. 2 2023 _(online)_pp. 285-297
nauch. trudov: in 2 vol. Vol. 1. Irkutsk: Irkutsk State Technical University; 2005. p. 123-129. (In Russ.).
19. Martyanov V.I. Set-theoretical data models in the problem of calculating secondary structures of RNA. System Analysis & Mathematical Modeling. 2022;4(4):343-357. EDN: VUNLFX. https://doi.org/10.17150/2713-1734.2022.4(4).343-357.
20. Martianov V.I., Korolkov Yu.D. Set-theoretic models of complex systems and algorithms of intellectual support. Irkutsk: Baikal State University; 2020. 188 p. (In Russ.).
21. Martianov V.I., Katashevtsev M.D. Computer processing of distorted video sequences obtained by mobile road laboratories. Investments, Construction, Real Estate: New Technologies and Special-Purpose Development Priorities: IOP Conference Series: Materials Science and Engineering (Irkutsk, 25 April 2019). 2019. Vol. 667. https://doi.org/10.1088/1757-899X /667 /1/012060.
22. Martyanov V.I. Set-theory analysis of the data organization and algorithms for net planning with elements artificial intelligence. Prikladnye problemy diskretnogo analiza: sbornik nauchnyh trudov.
2021 ;90-100. (In Russ.). EDN: BVANFU.
23. Leeuwen J.V. Handbook of Theoretical Computer Science. Vol. A, Algorithms and complexity. Amsterdam: Elsevier, 1998. 1020 p.
24. Knuth D. Postscript about NP-hard problems. ACM SIGACTNews. 1974;6(2):15-16. https://doi.org/10.1145/1008304.1008305.
25. Aaronson S. The Scientific Case for P^NP. Shtetl-Optimized. Available from: https://scottaaronson.blog/?p=1720 (25.09.2016). [Accessed 14th March 2023].
26. Aaronson S. PHYS771 Lecture 6: P, NP, and Friends. Scott Aaronson.ru. Available from: https://www.scottaaronson.com/democritus/lec6.ht ml [Accessed 14th March 2023].
27. Lawler E.L., Lenstra J.K., Rinnooy Kan A.H.G., Shmoys D.B. The Traveling Salesman Problem: A Guid-ed Tour of Combinatorial Optimization, John Wiley & Sons, 1985.
28. Wegener I. Complexity Theory: Exploring the Limits of Efficient Algorithms. Springer, 2005. P. 189. https://doi.org/10.1007/3-540-27477-4.
Информация об авторе
Мартьянов Владимир Иванович,
д.ф-м.н., профессор кафедры автомобильных дорог,
Иркутский национальный исследовательский технический университет, 664074, г. Иркутск, ул. Лермонтова, 83, Россия, Байкальский государственный университет, 664003, г. Иркутск, ул. Ленина, 11, Россия Иркутский государственный университет, 664003, г. Иркутск, ул. Карла Маркса, 1, Россия е-таИ: MartVlIv@mail.ru https://orcid.org/0000-0003-2а59-0355
Вклад автора
Автор провел исследование, подготовил рукопись к печати и несет ответственность за плагиат.
Конфликт интересов
Автор заявляет об отсутствии конфликта интересов.
Автор прочитал и одобрил окончательный вариант рукописи.
Информация о статье
Статья поступила в редакцию 1а.0з.202з. Одобрена после рецензирования 10.04.202з. Принята к публикации 11.04.202з.
Information about the author
Vladimir I. Martyanov
Dr. Sci. (Phys.-Math.), Professor of the Department of Highways, Irkutsk National Research Technical University,
83 Lermontov St., Irkutsk 664074, Russia,
Baikal State University,
11 Lenin St., Irkutsk 664003, Russia
Irkutsk State University,
1 Karl Marx St., Irkutsk 664003, Russia
e-mail: MartVlIv@mail.ru
https://orcid.org/0000-0003-2659-0355
Contribution of the author
Autor has conducted the study, prepared the manuscript for publication and bears the responsibility for plagiarism.
Conflict of interests
The author declare no conflict of interests regarding the publication of this article.
The final manuscript has been read and approved by the author.
Information about the article
The article was submitted 16.03.2023. Approved after reviewing 10.04.2023. Accepted for publication 11.04.2023.
Том 13 № 2 2023 ISSN 2227-2917