46170

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Квантовое решение булевых уравнений и проблема P =? NP

ISBN/ISSN: 

2073-2597

Наименование источника: 

  • Информационные технологии в проектировании и производстве

Обозначение и номер тома: 

№ 1

Город: 

  • Москва

Издательство: 

  • Издательство ФГУП «НТЦ оборонного комплекса «Компас»»

Год издания: 

2018

Страницы: 

50-65
Аннотация
Приводится описание квантового D-алгоритма (QD-алгоритма) на примерах решения булевых уравнений. Предполагается, что QD-алгоритм функционируют на платформе квантового процессора-ускорителя (КвУ) с новым механизмом квантового параллелизма [1]. Чтобы избе-жать громоздких и не нужных подробностей вместо процессора-ускорителя рассматривается его вычислительная модель в виде квантового генератора тестов (КГТ) [2-5]. Для данного случая выведены оценки временной и пространственной сложности решений булевых уравнений (в частности, SAT-задачи). Указано на связь SAT-задачи с другими NP-полными задачами и общей проблемой: «P =? NP». Показано, что при использовании QD-алгоритмов и новой вычислитель-ной модели с новым механизмом квантового параллелизма для решения SAT-задачи требуются полиномиальные вычислительные ресурсы.

Библиографическая ссылка: 

Правильщиков П.А. Квантовое решение булевых уравнений и проблема P =? NP // Информационные технологии в проектировании и производстве. 2018. № 1. С. 50-65.